J. E. Rooda

2009
21	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
20	EE	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	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)
18	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)
2007
17	EE	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	EE	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	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)
14	EE	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	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)
2003
11	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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	EE	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]
5	Victor Bos	[9]
6	R. Boumen	[18] [19] [21]
7	N. C. W. M. Braspenning	[15]
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] [21]
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	[21]
21	J. M. van de Mortel-Fronczak	[5] [7] [12] [13] [15] [18] [19] [21]
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	R. J. M. Theunissen	[20]
26	Nikola Trcka	[12]
27	J. W. H. Vermunt	[18] [19]
28	J. Vervoort	[6]
29	Anton Wijs	[12]

Colors in the list of coauthors