J. M. van de Mortel-Fronczak

2009
8	EE	R. Boumen, I. 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)
2008
7	EE	R. Boumen, I. 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)
6	EE	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)
2006
5	EE	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)
2005
4		E. 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
3	EE	E. 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)
2000
2		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
1999
1		J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda: Experimental comparison of control architectures. APMS 1999: 530-537

Coauthor Index

1	Jos C. M. Baeten	[3]
2	D. A. van Beek	[4]
3	E. M. Bortnik	[3] [4]
4	R. Boumen	[6] [7] [8]
5	N. C. W. M. Braspenning	[5]
6	Wan Fokkink	[3]
7	R. J. A. Gorter	[2]
8	I. S. M. de Jong	[7] [8]
9	I. de Jong	[6]
10	Bas Luttik (S. P. Luttik)	[3]
11	J. M. G. Mestrom	[8]
12	J. E. Rooda	[1] [2] [3] [4] [5] [6] [7] [8]
13	J. P. M. Schmitz	[1]
14	Nikola Trcka	[3]
15	J. W. H. Vermunt	[6] [7]
16	Anton Wijs	[3]