| Syntax and consistent equation semantics of hybrid Chi DA van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers The Journal of Logic and Algebraic Programming 68 (1-2), 129-210, 2006 | 194 | 2006 |
| Application of supervisory control synthesis to a patient support table of a magnetic resonance imaging scanner RJM Theunissen, M Petreczky, RRH Schiffelers, DA van Beek, JE Rooda IEEE Transactions on Automation Science and Engineering 11 (1), 20-32, 2013 | 72 | 2013 |
| Foundations of a compositional interchange format for hybrid systems DA van Beek, MA Reniers, RRH Schiffelers, JE Rooda Hybrid Systems: Computation and Control: 10th International Workshop, HSCC …, 2007 | 67 | 2007 |
| Formal specification and analysis of hybrid systems KL Man, RRH Schiffelers | 67 | 2006 |
| Modular model-based supervisory controller design for wafer logistics in lithography machines B van der Sanden, M Reniers, M Geilen, T Basten, J Jacobs, J Voeten, ... 2015 ACM/IEEE 18th International Conference on Model Driven Engineering …, 2015 | 46 | 2015 |
| Concrete syntax and semantics of the compositional interchange format for hybrid systems DA van Beek, MA Reniers, JE Rooda, RRH Schiffelers IFAC Proceedings Volumes 41 (2), 7979-7986, 2008 | 40 | 2008 |
| Model-based engineering of supervisory controllers using CIF RRH Schiffelers, RJM Theunissen, DA van Beek, JE Rooda Proceedings of the 3rd International Workshop on Multi-Paradigm Modeling …, 2009 | 39 | 2009 |
| Assessing and improving quality of QVTo model transformations CM Gerpheide, RRH Schiffelers, A Serebrenik Software Quality Journal 24, 797-834, 2016 | 38 | 2016 |
| Supervisory control synthesis for a patient support system RJM Theunissen, RRH Schiffelers, DA Van Beek, JE Rooda 2009 European Control Conference (ECC), 4647-4652, 2009 | 38 | 2009 |
| New concepts in the abstract format of the compositional interchange format DA van Beek, P Collins, DE Nadales, JE Rooda, RRH Schiffelers IFAC Proceedings Volumes 42 (17), 250-255, 2009 | 35 | 2009 |
| Compositional specification of functionality and timing of manufacturing systems B van der Sanden, J Bastos, J Voeten, M Geilen, M Reniers, T Basten, ... 2016 Forum on Specification and Design Languages (FDL), 1-8, 2016 | 33 | 2016 |
| Syntax and semantics of timed Chi DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers Technische Universiteit Eindhoven, 2005 | 32 | 2005 |
| Improving model inference in industry by combining active and passive learning N Yang, K Aslam, R Schiffelers, L Lensink, D Hendriks, L Cleophas, ... 2019 IEEE 26th International Conference on Software Analysis, Evolution and …, 2019 | 31 | 2019 |
| RERS 2019: combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019 | 31 | 2019 |
| Model-based specification, analysis and synthesis of servo controllers for lithoscanners RRH Schiffelers, W Alberts, JPM Voeten Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 55-60, 2012 | 29 | 2012 |
| Modeling and simulation using the compositional interchange format for hybrid systems C Sonntag, RRH Schiffelers, DA van Beek, JE Rooda, S Engell International Conference on Mathematical Modelling (MATHMOD), 640-650, 2009 | 28 | 2009 |
| Chi 1.0 reference manual AT Hofkamp, JE Rooda Technische Universiteit Eindhoven, 2008 | 28 | 2008 |
| A complete operator library for DSL evolution specification JGM Mengerink, A Serebrenik, RRH Schiffelers, MGJ Van Den Brand 2016 IEEE International Conference on Software Maintenance and Evolution …, 2016 | 27 | 2016 |
| Formal semantics of hybrid Chi RRH Schiffelers, DA Van Beek, KL Man, MA Reniers, JE Rooda Formal Modeling and Analysis of Timed Systems: First International Workshop …, 2004 | 24 | 2004 |
| Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE JGM Mengerink, A Serebrenik, RRH Schiffelers, MGJ van den Brand Proceedings of the 27th International Workshop on Software Measurement and …, 2017 | 23 | 2017 |
j.e. roodahoogleraar Systems Engineering, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
