J. E. Rooda

	2009
23		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
22		Rong Su, Jan H. van Schuppen, J. E. Rooda: Synthesizing nonblocking distributed supervisors based on automaton abstraction. CDC 2008: 883-888
21		N. 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)
20		Jos 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)
19		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)
18		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)
	2007
17		D. 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
16		D. 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
15		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)
14		D. 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
12		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)
	2003
11		Ramon 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
10		D. 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
9		D. 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)
8		J. 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
6		S. 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
3		J. J. T. Kleijn, J. E. Rooda, Michel A. Reniers: A Process Algebra Based Verification of a Production System. ICFEM 1998: 90-99
	1997
2		D. 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

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

Colors in the list of coauthors