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

J. E. Rooda

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

2009
21EER. 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
20EEJos C. M. Baeten, D. A. van Beek, Pieter J. L. Cuijpers, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers, R. J. M. Theunissen: Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electr. Notes Theor. Comput. Sci. 209: 21-53 (2008)
19EER. 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)
18EER. 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)
2007
17EED. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda: Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC 2007: 587-600
16EED. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Relating Hybrid Chi to Other Formalisms. Electr. Notes Theor. Comput. Sci. 191: 85-113 (2007)
2006
15EEN. 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)
14EED. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda, Ramon R. H. Schiffelers: Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebr. Program. 68(1-2): 129-210 (2006)
2005
13 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
12EEE. 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)
2003
11EERamon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, J. E. Rooda: Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165
10EED. A. van Beek, Niek G. Jansen, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers: Hybrid dynamic systems: relating Chi to hybrid automata. Winter Simulation Conference 2003: 632-640
9EED. A. van Beek, Victor Bos, J. E. Rooda: Declaration of unknowns in DAE-based hybrid system specification. ACM Trans. Model. Comput. Simul. 13(1): 39-61 (2003)
8EEJ. J. T. Kleijn, Michel A. Reniers, J. E. Rooda: Analysis of an Industrial System. Formal Methods in System Design 22(3): 249-282 (2003)
2000
7 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
6EES. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda: Simulation optimization of stochastic systems with integer variables by sequential linearization. Winter Simulation Conference 2000: 715-723
1999
5 J. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda: Experimental comparison of control architectures. APMS 1999: 530-537
1998
4 Gina Fábián, D. A. van Beek, J. E. Rooda: Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulator. ESM 1998: 252-256
3EEJ. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99
1997
2EED. A. van Beek, S. H. F. Gordijn, J. E. Rooda: Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machines. Simul. Pr. Theory 5(7-8): 653-669 (1997)
1995
1 D. A. van Beek, J. E. Rooda, S. H. F. Gordijn: A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing Machines. EUROSIM 1995: 1029-1034

Coauthor Index

1S. J. Abspoel [6]
2Jos C. M. Baeten [12] [20]
3D. A. van Beek [1] [2] [4] [9] [10] [11] [13] [14] [16] [17] [20]
4E. M. Bortnik [12] [13]
5Victor Bos [9]
6R. Boumen [18] [19] [21]
7N. C. W. M. Braspenning [15]
8Pieter J. L. Cuijpers [20]
9L. F. P. Etman [6]
10Gina Fábián [4]
11Wan Fokkink [12]
12S. H. F. Gordijn [1] [2]
13R. J. A. Gorter [7]
14Niek G. Jansen [10]
15I. S. M. de Jong [19] [21]
16I. de Jong [18]
17J. J. T. Kleijn [3] [8]
18Bas Luttik (S. P. Luttik) [12]
19Ka Lok Man (Ka L. Man) [10] [11] [14] [16]
20J. M. G. Mestrom [21]
21J. M. van de Mortel-Fronczak [5] [7] [12] [13] [15] [18] [19] [21]
22Michel A. Reniers [3] [8] [10] [11] [14] [16] [17] [20]
23Ramon R. H. Schiffelers [10] [11] [14] [16] [17] [20]
24J. P. M. Schmitz [5]
25R. J. M. Theunissen [20]
26Nikola Trcka [12]
27J. W. H. Vermunt [18] [19]
28J. Vervoort [6]
29Anton Wijs [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)