Model Driven Software Engineering W&I

Onderzoeksoutput

Filter
Hoofdstuk
2019

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

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

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

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

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

Model analytics for industrial MDE ecosystems

Babur, Ö., Suresh, A., Alberts, W., Cleophas, L. G. W. A., Schiffelers, R. R. H. & van den Brand, M. G. J., 17 sep 2019, Model Management and Analytics for Large Scale Systems. Elsevier, blz. 273-316 44 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

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. Cevallos-Torres, L. & Botto-Tobar, M. (redactie). Springer, blz. 87-96 10 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

Process sampling

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. 13-31 19 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Pseudo-random numbers and congruential methods

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. 33-58 26 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Random variable generation methods

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. 59-86 28 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

The system simulation and their learning processes

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. 1-11 11 blz. (Studies in Computational Intelligence; vol. 824).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Why algorithms are dangerous: what the role of aI should be in cybersecurity

Cappers, B. C. M., Mengerink, J. G. M. & van de Pasch, J., 12 mrt 2019, European Cyber Security Perspectives 2019. blz. 76-78 3 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

2 Downloads (Pure)
2018

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)

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)
2017

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

Problem solving using process algebra considered insightful.

Groote, J. F. & de Vink, E. P., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (redactie). Cham: Springer, blz. 48-63 16 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

4 Citaten (Scopus)
2016

Minimization of finite state automata through partition aggregation

Bjorklund, J. & Cleophas, L., 2016, Logical aspects of computational linguistics: celebrating 20 years of LACL (1996-2016). Amblard, M., de Groote, P., Pogodalla, S. & Retoré, C. (redactie). Berlin: Springer, blz. 328-328 (Lecture Notes in Computer Science; vol. 10054).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Parity games

Willemse, T. A. C. & Gazda, M. W., 2016, Encyclopedia of algorithms. Kao, M-Y. (redactie). 2nd redactie Berlin: Springer, blz. 1532-1537

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Platforms for ICME

Babur, Ö., Hashibon, A., Hanzich, M., Houzeaux, G. & Patzák, B., 2016, Handbook of software solutions for ICME. Schmitz, G. J. & Prahi, U. (redactie). Chichester: Wiley-VCH Verlag, blz. 533-564 32 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Towards a proof method for paradigm

Groenewegen, L. P. J., Kuiper, R. & de Vink, E. P., 2016, Theory and practice of formal methods: essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. Abraham, E., Bonsangue, M. M. & Johnsen, E. B. (redactie). Lecture Notes in Computer Science redactie Berlin: Springer, Vol. 9660. blz. 242-260 19 blz. (Lecture notes in computer science ; vol. 9660).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)

Towards statistical comparison and analysis of models

Babur, Ö., Cleophas, L., Verhoeff, T. & van den Brand, M., 2016, Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, February 19-21, 2016, in Rome, Italy . blz. 361-367

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Open Access
Bestand
7 Citaten (Scopus)
110 Downloads (Pure)

Verifying a verifier: on the formal correctness of an LTS transformation verification technique

de Putter, S. M. J. & Wijs, A. J., 2016, Fundamental Approaches to Software Engineering. Dordrecht: Springer, blz. 383-400 18 blz. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9633).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

3 Citaten (Scopus)
2 Downloads (Pure)
2015

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)

Reducing the cost of grammar-based testing using pattern coverage

Hentz, C., Vinju, J. J. & Moreira, A. M., 2015, Testing Software and Systems, ICTSS 2015. El-Fakih, K., Barlas, G. & Yevtushenko, N. (redactie). Vol. 9447. blz. 71-85 15 blz. (Lecture Notes in Computer Science).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Downloads (Pure)
2014

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)

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)

Robustness of the gray code arrangements of the genetic code in mitochondria

Bosnacki, D., Eikelder, ten, H. M. M., Maanders, M. & Hilbers, P. A. J., 2014, ICT Innovations 2014 : World of Data. Madevska Bogdanova, A. & Gjorgjevikj, D. (redactie). Cham: Springer, blz. 299-308 (Advances in Intelligent Systems and Computing; vol. 311).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

Studying evolving software ecosystems based on ecological models

Mens, T., Claes, M., Grosjean, P. & Serebrenik, A., 2014, Evolving Software Systems. Mens, T., Serebrenik, A. & Cleve, A. (redactie). Berlin: Springer, blz. 297-326

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

30 Citaten (Scopus)
2 Downloads (Pure)
2013

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)

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)

Model-driven design-space exploration for software-intensive embedded systems

Basten, T., Hendriks, M., Trcka, N., Somers, L. J. A. M., Geilen, M. C. W., Yang, Y., Igna, G., Smet, de, S., Voorhoeve, M., Aalst, van der, W. M. P., Corporaal, H. & Vaandrager, F. W., 2013, Model-Based Design of Adaptive Embedded Systems. Basten, T., Hamberg, R., Reckers, F. & Verriet, J. (redactie). New York: Springer, blz. 189-244 (Embedded Systems; vol. 22).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Downloads (Pure)
2012

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)

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

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)

Model-driven software engineering

Amstel, van, M. F., Brand, van den, M. G. J., Protic, Z. & Verhoeff, T., 1 jun 2012, Automation in Warehouse Development. Hamberg, R. & Verriet, J. (redactie). London: Springer, blz. 45-58 14 blz.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)
1 Downloads (Pure)
2011

Modeling and analysis of biological networks with model checking (Chapter 39)

Bosnacki, D., Hilbers, P. A. J., Mans, R. S. & Vink, de, E. P., 2011, Algorithms in computational molecular biology : techniques, approaches and applications. Elloumi, M. & Zomaya, A. Y. (redactie). Hoboken: Wiley, blz. 915-940 (Wiley Series in Bioinformatics).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2 Citaten (Scopus)
7 Downloads (Pure)

Typography in process algebra

Baeten, J. C. M. & Klop, J. W., 2011, Jan Karel Lenstra, the traveling science man. Liber amicorum. Vonderen, van, C. (redactie). Amsterdam: Centrum voor Wiskunde en Informatica, blz. 127-138

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukProfessioneel

2010

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)
2009

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)
94 Downloads (Pure)

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

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

Type checking evolving languages with MSOS

Brand, van den, M. G. J., Meer, van der, A. P. & Serebrenik, A., 2009, Semantics and Algebraic Specification. Palsberg, J. (redactie). Berlin: Springer, blz. 207-226 (Lecture notes in computer science; vol. 5700).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

1 Citaat (Scopus)

What is 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. 147-160 (Texts in Logic and Games; vol. 5).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

2008

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)

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

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

PARS : a process algebraic approach to resources and schedulers

Mousavi, M. R., Reniers, M. A., Basten, T. & Chaudron, M. R. V., 2008, Process Algebra for Parallel and Distributed Processing. Alexander, M. & Gardner, W. (redactie). Chapman & Hall, blz. 331-358 (CRC Computational Science Series; vol. 2).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic

3 Citaten (Scopus)
2 Downloads (Pure)

The lambda-calculus is nominal algebraic

Gabbay, M. J. & Mathijssen, A. H. J., 2008, Reasoning in simple type theory : Festschrift in honour of Peter B. Andrews on his 70th birthday. Benzmüller, C., Brown, C. E., Siekmann, J. & Statman, R. (redactie). London: College Publications, blz. 271-302 (Studies in Logic; vol. 17).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademic