J. M. van de Mortel-Fronczak

Jasen Markovski, J. M. van de Mortel-Fronczak: Modeling for Safety in a Synthesis-Centric Systems Engineering Framework. SAFECOMP Workshops 2012: 36-49

N. C. W. M. Braspenning, R. Boumen, J. M. van de Mortel-Fronczak, J. E. Rooda: Estimating and quantifying the impact of using models for integration and testing. Computers in Industry 62(1): 65-77 (2011)

R. Boumen, Ivo S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda: Integration and Test Sequencing for Complex Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(1): 177-187 (2009)

R. Boumen, Sui Ruan, I. de Jong, J. M. van de Mortel-Fronczak, J. E. Rooda, Krishna R. Pattipati: Hierarchical Test Sequencing for Complex Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 39(3): 640-649 (2009)

N. C. W. M. Braspenning, Elena M. Bortnik, J. M. van de Mortel-Fronczak, J. E. Rooda: Model-based system analysis using Chi and Uppaal: An industrial case study. Computers in Industry 59(1): 41-54 (2008)

R. Boumen, Ivo S. M. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda: Test Sequencing in Complex Manufacturing Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(1): 25-37 (2008)

R. Boumen, I. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda: Risk-Based Stopping Criteria for Test Sequencing. IEEE Transactions on Systems, Man, and Cybernetics, Part A 38(6): 1 (2008)

N. C. W. M. Braspenning, J. M. van de Mortel-Fronczak, J. E. Rooda: A Model-based Integration and Testing Method to Reduce System Development Effort. Electr. Notes Theor. Comput. Sci. 164(4): 13-28 (2006)

Elena M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda: Analyzing a chi model of a turntable system using Spin, CADP and Uppaal. J. Log. Algebr. Program. 65(2): 51-104 (2005)

Elena M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda: Verification of timed chi models using uppaal. ICINCO 2005: 486-492

J. M. van de Mortel-Fronczak, R. J. A. Gorter, J. E. Rooda: A case study in simulation based system specification and design. ESM 2000: 232-238

J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda: Experimental comparison of control architectures. APMS 1999: 530-537