dblp.uni-trier.dewww.uni-trier.de

J. M. van de Mortel-Fronczak Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
9EER. 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
8EEN. C. W. M. Braspenning, E. 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)
7EER. 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)
6EER. 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
5EEN. 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
3EEE. 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

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)