Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Hoofdstuk

A complete axiomatization of branching bisimilarity for a simple process language with probabilistic choice: (extended abstract)

van Glabbeek, R. J., Groote, J. F. & de Vink, E. P., 4 nov 2019, The Art of Modelling Computational Systems: {A} Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday. Alvim, M. S., Chatzikokolakis, K., Olarte, C. & Valencia, F. (redactie). Cham: Springer, blz. 139-162 (Lecture Notes in Computer Science; vol. 11760 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Adaptivity in professional printing systems

Verriet, J. H., Basten, T., Hamberg, R., Reckers, F. J. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (redactie). New York: Springer, blz. 1-9 (Embedded Systems; vol. 22).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

5 Downloads (Pure)

A flexible processor-store interface : an exercise in hardware design

Hoogerwoord, R. R., 1991, C.S. Scholten dedicata : van oude machines en nieuwe denkwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (redactie). Schoonhoven: Academic Service, blz. 101-108

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

A history of types

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2012, Logic: A History of its Central Concepts. Gabbay, D. M., Pelletier, F. J. & Woods, J. (redactie). Elsevier, blz. 451-511 (Handbook of the History of Logic; vol. 11).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Citaat (Scopus)

Algebraic Semantics of Message Sequence Charts

Mauw, S. & Reniers, M. A., 1995, Annex B to ITU Recommendation Z.120. ITU, X. (redactie). ITU, 50 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

A little exercise in deriving multiprograms

Feijen, W. H. J., 1990, Beauty is our business : a birthday salute to Edsger W. Dijkstra. Feijen, W. H. J., Gasteren, van, A. J. M., Gries, D. & Misra, J. (redactie). Berlin: Springer, blz. 119-126 (Texts and monographs in computer science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

alpha-logic

Gabbay, M. J. & Gabbay, M., 2005, We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. Artemov, S. N., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (redactie). College Publications, blz. 731-764

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

A master class on recursion

Verhoeff, T., 6 sep 2018, Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Böckenhauer, H-J., Komm, D. & Unger, W. (redactie). Springer, Vol. 11011. blz. 610-633 24 blz. (Lecture Notes in Computer Science; vol. 11011).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
1 Citaat (Scopus)
2 Downloads (Pure)

A menagerie of constants in process algebra

Baeten, J. C. M., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 11-20

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

A modeling approach to support safety assurance in the automotive domain

Luo, Y., Van den Brand, M., Engelen, L. & Klabbers, M., 1 jan 2014, Progress in Systems Engineering.. Selvaraj, H., Zydek, D. & Chmaj, G. (redactie). Springer, blz. 339-345 7 blz. (Advances in Intelligent Systems and Computing; vol. 366).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

Analysis of distributed systems with mCRL2

Groote, J. F., Mathijssen, A. H. J., Reniers, M. A., Usenko, Y. S. & Weerdenburg, van, M. J., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (redactie). Chapman & Hall, blz. 99-128 (CRC Computational Science Series; vol. 2).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

29 Citaten (Scopus)
2 Downloads (Pure)

An axiomatization of strong distribution bisimulation for a language with a parallel operator and probabilistic choice

Groote, J. F. & de Vink, E. P., 2019, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). ter Beek, M. H., Fantechi, A. & Semini, L. (redactie). Cham: Springer, blz. 449-463 15 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

A new recursive incremental algorithm for building minimal acyclic deterministic finite automata

Watson, B. W., 2003, Grammars and automata for string processes : from mathematics and computer science to biology, and back : essays in honour of Gheorghe Paun. Martin-Vide, C. & Mitrana, V. (redactie). Taylor and Francis Ltd., blz. 189- (Topics in Computer Mathematics; vol. 9).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

An introduction to the relational calculus

Feijen, W. H. J. & Gasteren, van, A. J. M., 1991, C.S. Scholten dedicata : van oude machines en nieuwe rekenwijzen. Feijen, W. H. J. & Gasteren, van, A. J. M. (redactie). Schoonhoven: Academic Service, blz. 57-81

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

A process algebra for Interworkings

Mauw, S. & Reniers, M. A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 1269-1327

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Architecting security with Paradigm

Andova, S., Groenewegen, L. P. J., Verschuren, J. H. S. & Vink, de, E. P., 2009, Architecting Dependable Systems VI. Lemos, de, R., Fabre, J. C., Gacek, C., Gadducci, F. & Beek, ter, M. (redactie). Berlin: Springer, blz. 255-283 (Lecture notes in computer science; vol. 5835).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
5 Citaten (Scopus)
97 Downloads (Pure)

A small step for mankind

Huizing, C., Koymans, R. L. C. & Kuiper, R., 2010, Concurrency, Compositionality, and Correctness (Essays in honor of Willem-Paul de Roever). Dams, D., Hannemann, U. & Steffen, M. (redactie). Berlin: Springer, blz. 66-73 8 blz. (Lecture Notes in Computer Science; vol. 5930).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)

Aspects of adaptive systems engineering: a professional printing case

Hamberg, R., Waarsing, R., Basten, T., Reckers, F. J., Verriet, J. H. & Somers, L. J. A. M., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (redactie). Berlin: Springer, blz. 11-40 (Embedded Systems; vol. 22).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Downloads (Pure)

Bits, trits, qits, pits of hits

Groote, J. F., 2002, Liber Amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. Y., Klint, P. & Rutten, J. J. M. M. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 89-92 226 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)

Building metric structures with the Maes-factor

Hartog, den, J. I. & Vink, de, E. P., 2002, Liber amicorum Jaco de Bakker. Boer, de, F. S., Heijden, van der, M. & Klint, P. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 93-107

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

1 Downloads (Pure)

Case study: Project-based learning to evaluate probability distributions in medical area

Cevallos-Torres, L. & Botto-Tobar, M., 1 jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (redactie). Springer, blz. 111-122 12 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Case study: Logistical behavior in the use of urban transport using the monte carlo simulation method

Cevallos-Torres, L. & Botto-Tobar, M., 1 jan 2019, Problem-based learning: A didactic strategy in the teaching of system simulation. Cevalles-Torres, L. & Botto-Tobar, M. (redactie). Springer, blz. 97-110 14 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Case study: Probabilistic estimates in the application of inventory models for perishable products in SMEs

Cevallos-Torres, L. & Botto-Tobar, M., 1 jan 2019, Problem-based learning: a didactic strategy in the teaching of system simulation. Cevallos-Torres, L. & Botto-Tobar, M. (redactie). Springer, blz. 123-132 10 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Combining regular expressions with near-optimal automata

Watson, B. W., Frishert, M. & Cleophas, L. G. W. A., 2005, Inquiries into Words, Constraints and Contexts (Festschrift in the Honour of Professor Kimmo Koskenniemi on his 60th Birthday). Arppe, A. & et al., X. (redactie). Stanford CA, USA: CSLI, blz. 163-171 (CSLI Studies in Computational Linguistics).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Coordination control of complex machines

Baeten, J. C. M., Beek, van, D. A., Markovski, J. & Somers, L. J. A. M., 2015, Coordination Control of Distributed Systems. Schuppen, van, J. H. & Villa, T. (redactie). Cham: Springer, blz. 61-68 (Lecture Notes in Control and Information Sciences; vol. 456).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

5 Downloads (Pure)

Core security requirements of DRM systems

Jonker, H. L. & Mauw, S., 2008, Digital Rights Management : An Introduction. Satish, D. (redactie). Hyderabad: Icfai Books, blz. 73-90

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

CSP for parallelising Brzozowski's DFA construction algorithm

Strauss, T., Watson, B. W., Kourie, D. G. & Cleophas, L. G. W. A., 2017, The Role of Theory in Computer Science : Essays Dedicated to Janusz Brzozowski. s.l.: World Scientific, blz. 217-244 28 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

De Bruijn's Automath and pure type systems

Kamareddine, F., Laan, T. D. L. & Nederpelt, R. P., 2003, Thirty Five Years of Automating Mathematics. Kamareddine, F. D. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 71-124 (Applied Logic Series; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Declarations of dependence

Dechesne, F., 2008, New Perspectives on Games and Interaction. Apt, K. R. & Rooij, van, R. (redactie). Amsterdam: Amsterdam University Press, blz. 255-263 (Texts in Logic and Games; vol. 4).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Discrete time process algebra and the semantics of SDL

Bergstra, J. A., Middelburg, C. A. & Usenko, Y. S., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (redactie). Amsterdam: Elsevier, blz. 1209-1268

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Discrete-time process algebra with empty process

Baeten, J. C. M. & Vereijken, J. J., 1997, Dat is dus heel interessant : liber amicorum voor Paul Klint. Brune, M., Deursen, van, A. & Heering, J. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 5-24

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Open Access
Bestand
28 Downloads (Pure)

Discrete time process algebra with silent step

Baeten, J. C. M., Bergstra, J. A. & Reniers, M. A., 2000, Proof, language and interaction: essays in honour of Robin Milner. Plotkin, G., Stirling, C. & Tofte, M. (redactie). Cambridge MA, USA: MIT Press, blz. 535-569 35 blz. (Foundations of Computing).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Dynamic epistemic logic for protocol analysis

Dechesne, F., Eijck, van, J., Teepe, W. & Wang, Y., 2009, Discourses on Social Software. Eijck, van, J. & Verbrugge, R. (redactie). Amsterdam: Amsterdam University Press, blz. 161-146 (Texts in Logic and Games; vol. 5).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Embedded systems modeling, analysis and synthesis

Brand, van den, M. G. J., Engelen, L. J. P., Hamilton, M., Levytskyy, A. & Voeten, J. P. M., 2007, Ideals: evolvability of software-intensive high-tech systems. Voeten, J. P. M. (redactie). Eindhoven: Embedded Systems Institute, blz. 99-112

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Emerging trends in software evolution (Appendix A)

Serebrenik, A. & Mens, T., 2014, Evolving software systems. Mens, T., Serebrenik, A. & Cleve, A. (redactie). Berlin: Springer, blz. 329-332

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

4 Downloads (Pure)

Esterel and the semantics of causality

Mousavi, M. R., 2012, Handbook of Finite State Based Models and Applications. Wang, J. (redactie). CRC Press, blz. 191-206

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Extending paradigm with data

Groenewegen, L. P. J., Verschuren, J. H. S. & de Vink, E. P., 1 jan 2018, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). de Boer, F., Bonsangue, M. & Rutten, J. (redactie). Dordrecht: Springer, blz. 224-244 21 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10865 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Finite equational bases in process algebra : results and open questions

Aceto, L., Fokkink, W. J., Ingólfsdóttir, A. & Luttik, B., 2005, Processes, Terms and Cycles : Steps on the Road to Infinity, Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Middeldorp, A., Oostrom, van, V., Raamsdonk, van, F. & Vrijer, de, R. C. (redactie). Berlin: Springer, blz. 338-367 (Lecture Notes in Computer Science; vol. 3838).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

33 Citaten (Scopus)

Formal considerations on Gabbay's restart rule in natural deduction and goal-directed reasoning

Gabbay, M. & Gabbay, M. J., 2005, We Will Show Them! Essays in Honour of Dov Gabbay, volume 1. Artemov, S. N., Barringer, H., d'Avila Garcez, A. S., Lamb, L. C. & Woods, J. (redactie). College Publications, blz. 701-730

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Formal semantics of Message Sequence Charts

Mauw, S. & Reniers, M. A., 1998, Annex B to ITU Recommendation Z.120. ITU, X. (redactie). ITU, 76 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)

Grammaire à la grand-mère

Geldrop - van Eijk, van, H. P. J., 1995, Simplex Sigillum Veri : een liber amicorum voor prof.dr. F.E.J. Kruseman Aretz. Aarts, E. H. L., Eikelder, ten, H. M. M., Hemerik, C. & Rem, M. (redactie). Eindhoven: Technische Universiteit Eindhoven, blz. 149-156

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

Hard real-time development environments

Baeten, J. C. M., Baufreton, P., Benveniste, A., Boutin, S., Bouyssounouse, B., Brière, D., Caspi, P., Damm, W., Fuchs, E., Gafni, V., Gautier, T., Goshen, D., Gruensteidl, G., Halbwachs, N., Kopetz, H., Larsen, K. G., Le Berre, H., Leupers, R., Nielsen, B., Olderog, E-R. & 13 anderen, Papadopoulos, Y., Peti, P., Pisecky, M., Puschner, P., Rennhack, J., Sangiovanni-Vincentelli, A., Scheidler, C., Skou, A., Sorel, Y., Virnich, U., Vogel-Heuser, B., Wilhelm, R. & Willemse, T. A. C., 2005, Embedded systems design: the ARTIST roadmap for research and development. Bouyssounouse, B. & Sifakis, J. (redactie). Berlin: Springer, blz. 1-102 (Lecture Notes in Computer Science; vol. 3436).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Hoare logic with explicit contexts

Franssen, M. G. J., 2003, Thirty five years of automating mathematics. Kamareddine, F. D. (redactie). Dordrecht: Kluwer Academic Publishers, blz. 125-148 (Applied Logic Series; vol. 28).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Hoe veilig is PGP?

Verhoeff, T., 2004, WIRE Jarenboek 2001-2003. Eindhoven: WIRE, blz. 37-42

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

1 Downloads (Pure)

In silico modelling and analysis of ribosome kinetics and aa-tRNA competition

Bosnacki, D., Pronk, T. E. & Vink, de, E. P., 2009, Transactions on Computational Systems Biology XI. Priami, C., Back, R. J. & Petre, I. (redactie). Berlin: Springer, blz. 69-89 (Lecture notes in computer science; vol. 5750).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)

Interchange formats and tool integration

Beek, van, D. A., Reniers, M. A., Rooda, J. E. & Schiffelers, R. R. H., 2009, Handbook of hybrid systems control : theory, tools, applications. Lunze, J. & Lamnabhi-Lagarrigue, F. (redactie). New York: Cambridge University Press, blz. 361-374

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Introduction to model management and analytics

Babur, Ö., Tekinerdogan, B., Cleophas, L. G. W. A., van den Brand, M. G. J. & Aksit, M., 17 sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, blz. 3-11 9 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Iteration and primitive recursion in categorical terms

Geuvers, J. H. & Poll, E., 2007, Reflections on Type Theory, Lambda Calculus, and the Mind. Barendsen, E., Capretta, V., Geuvers, H. & Niqui, M. (redactie). blz. 101-114

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Downloads (Pure)

MDE basics with a DSL focus

Andova, S., Brand, van den, M. G. J., Engelen, L. J. P. & Verhoeff, T., 2012, Formal Methods for Model-Driven Engineering (12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures). Bernardo, M., Cortellassa, V. & Pierantonio, A. (redactie). Berlin: Springer, blz. 21-57 (Lecture Notes in Computer Science; vol. 7320).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)
1 Downloads (Pure)

Message Sequence Chart (MSC)

Mauw, S., 1996, Draft Recommandation Z. 120. ITU, ITU. (redactie). blz. 74-

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review