关注
Ramon R.H. Schiffelers
Ramon R.H. Schiffelers
在 tue.nl 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
1942006
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
722013
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
672007
Formal specification and analysis of hybrid systems
KL Man, RRH Schiffelers
672006
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
462015
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
402008
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
392009
Assessing and improving quality of QVTo model transformations
CM Gerpheide, RRH Schiffelers, A Serebrenik
Software Quality Journal 24, 797-834, 2016
382016
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
382009
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
352009
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
332016
Syntax and semantics of timed Chi
DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers
Technische Universiteit Eindhoven, 2005
322005
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
312019
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
312019
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
292012
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
282009
Chi 1.0 reference manual
AT Hofkamp, JE Rooda
Technische Universiteit Eindhoven, 2008
282008
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
272016
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
242004
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
232017
系统目前无法执行此操作,请稍后再试。
文章 1–20