 | 2009 |
|---|
| 9 |       | 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 |
|---|
| 8 | | 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) |
| 7 | | 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 | | 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 | | 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 |  | 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 |
| 3 | | 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) |
| 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 |
