J. E. Rooda - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

2017

Supervisory control synthesis for a waterway lockF. F. H. Reijnen, M. A. Goorden, J. M. van de Mortel-Fronczak, J. E. Rooda. ccta 2017: 1562-1563 [doi]

2013

Syntax and semantics of the compositional interchange format for hybrid systemsD. E. Nadales Agut, D. A. van Beek, J. E. Rooda. jlp, 82(1):1-52, 2013. [doi]

2012

Designs of optimal switching feedback decentralized control policies for fluid queueing networksV. Feoktistova, A. Matveev, Erjen Lefeber, J. E. Rooda. mcss, 24(4):477-503, 2012. [doi]

Aggregate simulation modeling of an MRI department using effective process timesF. J. A. Jansen, L. F. P. Etman, J. E. Rooda, Ivo J. B. F. Adan. wsc 2012: 82 [doi]

2011

2010

A state-based framework for supervisory control synthesis and verificationJasen Markovski, Dirk A. van Beek, Rolf J. M. Theunissen, Koen G. M. Jacobs, J. E. Rooda. cdc 2010: 3481-3486 [doi]

Reconciling Urgency and Variable Abstraction in a Hybrid Compositional SettingDirk A. van Beek, Pieter J. L. Cuijpers, Jasen Markovski, D. E. Nadales Agut, J. E. Rooda. formats 2010: 47-61 [doi]

2009

Integration and Test Sequencing for Complex SystemsR. Boumen, I. S. M. de Jong, J. M. G. Mestrom, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 39(1):177-187, 2009. [doi]

Hierarchical Test Sequencing for Complex SystemsR. Boumen, Sui Ruan, I. de Jong, J. M. van de Mortel-Fronczak, J. E. Rooda, Krishna R. Pattipati. tsmc, 39(3):640-649, 2009. [doi]

Scheduling with sequence dependent setup times in application to Magnetic Resonance Imaging scans processingE. N. Ivanov, Alexander Yu. Pogromsky, J. E. Rooda. IEEEcca 2009: 867-872 [doi]

Supervisory control synthesis for a patient support systemRolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, J. E. Rooda. eucc 2009: 4647-4652 [doi]

New Concepts in the Abstract Format of the Compositional Interchange FormatDirk A. van Beek, Pieter J. Collins, D. E. Nadales Agut, J. E. Rooda, Ramon R. H. Schiffelers. adhs 2009: 250-255 [doi]

2008

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra ChiJos 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. ENTCS, 209:21-53, 2008. [doi]

Test Sequencing in Complex Manufacturing SystemsR. Boumen, I. S. M. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 38(1):25-37, 2008. [doi]

Risk-Based Stopping Criteria for Test SequencingR. Boumen, I. de Jong, J. W. H. Vermunt, J. M. van de Mortel-Fronczak, J. E. Rooda. tsmc, 38(6):1, 2008. [doi]

Model-based system analysis using Chi and Uppaal: An industrial case studyN. C. W. M. Braspenning, Elena M. Bortnik, J. M. van de Mortel-Fronczak, J. E. Rooda. cii, 59(1):41-54, 2008. [doi]

Performance measurement and lumped parameter modeling of single server flow lines subject to blocking: An effective process time approachA. A. A. Kock, F. J. J. Wullems, L. F. P. Etman, Ivo J. B. F. Adan, F. Nijsse, J. E. Rooda. candie, 54(4):866-878, 2008. [doi]

Synthesizing nonblocking distributed supervisors based on automaton abstractionRong Su, Jan H. van Schuppen, J. E. Rooda. cdc 2008: 883-888 [doi]

2007

Relating Hybrid Chi to Other FormalismsD. A. van Beek, J. E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers. ENTCS, 191:85-113, 2007. [doi]

Foundations of a Compositional Interchange Format for Hybrid SystemsD. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, J. E. Rooda. hybrid 2007: 587-600 [doi]

2006

2005

Verification of timed chi models using uppaalE. M. Bortnik, D. A. van Beek, J. M. van de Mortel-Fronczak, J. E. Rooda. icinco 2005: 486-492

Analyzing a ::::chi:::: model of a turntable system using Spin, CADP and UppaalE. M. Bortnik, Nikola Trcka, Anton Wijs, Bas Luttik, J. M. van de Mortel-Fronczak, Jos C. M. Baeten, Wan Fokkink, J. E. Rooda. jlp, 65(2):51-104, 2005. [doi]

2003

2000

Simulation optimization of stochastic systems with integer variables by sequential linearizationS. J. Abspoel, L. F. P. Etman, J. Vervoort, J. E. Rooda. wsc 2000: 715-723 [doi]

A case study in simulation based system specification and designJ. M. van de Mortel-Fronczak, R. J. A. Gorter, J. E. Rooda. scesm 2000: 232-238

1999

Experimental comparison of control architecturesJ. M. van de Mortel-Fronczak, J. P. M. Schmitz, J. E. Rooda. ifip5-7 1999: 530-537

1998

Integration of The Discrete and The Continuous Behaviour in the Hybrid xSimulatorGina Fábián, D. A. van Beek, J. E. Rooda. scesm 1998: 252-256

A Process Algebra Based Verification of a Production SystemJ. J. T. Kleijn, J. E. Rooda, Michel A. Reniers. icfem 1998: 90-99 [doi]

1997

Integrating continuous-time and discrete-event concepts in modelling and simulation of manufacturing machinesD. A. van Beek, S. H. F. Gordijn, J. E. Rooda. simpra, 5(7-8):653-669, 1997. [doi]

1995

A Combined Continuous-Time / Discrete-Event Approach to Modelling and Simulation of Manufacturing MachinesD. A. van Beek, J. E. Rooda, S. H. F. Gordijn. eurosim 1995: 1029-1034

All Publications

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'J. E. Rooda'

Viewing Publication 1 - 40 from 40

2017

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2000

1999

1998

1997

1995

All Publications

Filter by YearOR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'J. E. Rooda'

Viewing Publication 1 - 40 from 40

2017

2013

2012

2011

2010

2009

2008

2007

2006

2005

2003

2000

1999

1998

1997

1995

Filter by Year
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1