A Hybrid Language for Modeling, Simulation and Verification. - Ramon R. H. Schiffelers; Dirk A. van Beek; Ka Lok Man; Michel A. Reniers; Jacobus E. Rooda (ADHS, 2003)

Formal Semantics of Hybrid Chi. - Ramon R. H. Schiffelers; D. A. van Beek; Ka L. Man; Michel A. Reniers; Jacobus E. Rooda (FORMATS, 2003)

Hybrid dynamic systems: relating Chi to hybrid automata. - D. A. van Beek; Niek G. Jansen; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (WSC, 2003)

Relating Hybrid Chi to Other Formalisms. - D. A. van Beek; Jacobus E. Rooda; Ramon R. H. Schiffelers; Ka L. Man; Michel A. Reniers (IFM Doctoral Symposium, 2005)

Simulation and Verification of Hybrid Systems using Chi. - Dirk A. van Beek; Jacobus E. Rooda; Ramon R. H. Schiffelers (ADHS, 2006)

Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. - Jos C. M. Baeten; Dirk A. van Beek; Pieter J. L. Cuijpers; Michel A. Reniers; Jacobus E. Rooda; Ramon R. H. Schiffelers; Rolf J. M. Theunissen (LIX, 2006)

Syntax and consistent equation semantics of hybrid Chi. - D. A. van Beek; Ka L. Man; Michel A. Reniers; Jacobus E. Rooda; Ramon R. H. Schiffelers (J. Log. Algebraic Methods Program., 2006)

Foundations of a Compositional Interchange Format for Hybrid Systems. - D. A. van Beek; Michel A. Reniers; Ramon R. H. Schiffelers; Jacobus E. Rooda (HSCC, 2007)

Hybrid modeling and simulation of plant/controller combinations. - Ramon R. H. Schiffelers; Alexander Yu. Pogromsky; Dirk A. van Beek; Jacobus E. Rooda (CCA/ISIC, 2009)

New Concepts in the Abstract Format of the Compositional Interchange Format. - Dirk A. van Beek; Pieter Collins; D. E. Nadales Agut; Jacobus E. Rooda; Ramon R. H. Schiffelers (ADHS, 2009)

Supervisory control synthesis for a patient support system. - Rolf J. M. Theunissen; Ramon R. H. Schiffelers; D. A. van Beek; Jacobus E. Rooda (ECC, 2009)

Model-Based Engineering of Supervisory Controllers using CIF. - Ramon R. H. Schiffelers; Rolf J. M. Theunissen; Dirk A. van Beek; Jacobus E. Rooda (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Model-based specification, analysis and synthesis of servo controllers for lithoscanners. - Ramon R. H. Schiffelers; Wilbert Alberts; Jeroen Voeten (MPM@MoDELS, 2012)

Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. - Shreya Adyanthaya; Marc Geilen; Twan Basten; Ramon R. H. Schiffelers; Bart D. Theelen; Jeroen Voeten (DSD, 2013)

Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs. - Raymond Frijns; Shreya Adyanthaya; Sander Stuijk; Jeroen Voeten; Marc C. W. Geilen; Ramon R. H. Schiffelers; Henk Corporaal (DATE, 2014)

A Bottom-Up Quality Model for QVTo. - Christine M. Gerpheide; Ramon R. H. Schiffelers; Alexander Serebrenik (QUATIC, 2014)

Robustness analysis of multiprocessor schedules. - Shreya Adyanthaya; Zhihui Zhang; Marc Geilen; Jeroen Voeten; Twan Basten; Ramon R. H. Schiffelers (ICSAMOS, 2014)

QVTo Model Transformations: Assessing and Improving their Quality. - Christine M. Gerpheide; Ramon R. H. Schiffelers; Alexander Serebrenik (ERCIM News, 2014)

Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. - Rolf J. M. Theunissen; Mihály Petreczky; Ramon R. H. Schiffelers; Dirk A. van Beek; Jacobus E. Rooda (IEEE Trans Autom. Sci. Eng., 2014)

Modeling resource sharing using FSM-SADF. - João Bastos; Sander Stuijk; Jeroen Voeten; Ramon R. H. Schiffelers; Johan Jacobs; Henk Corporaal (MEMOCODE, 2015)

Modular model-based supervisory controller design for wafer logistics in lithography machines. - Bram van der Sanden; Michel A. Reniers; Marc Geilen; Twan Basten; Johan Jacobs; Jeroen Voeten; Ramon R. H. Schiffelers (MoDELS, 2015)

Iterative robust multiprocessor scheduling. - Shreya Adyanthaya; Marc Geilen; Twan Basten; Jeroen Voeten; Ramon R. H. Schiffelers (RTNS, 2015)

Compositional specification of functionality and timing of manufacturing systems. - Bram van der Sanden; João Bastos; Jeroen Voeten; Marc Geilen; Michel A. Reniers; Twan Basten; Johan Jacobs; Ramon R. H. Schiffelers (FDL, 2016)

Maintenance of specification models in industry using Edapt. - Y. Vissers; J. G. M. Mengerink; Ramon R. H. Schiffelers; Alexander Serebrenik; Michel A. Reniers (FDL, 2016)

A Complete Operator Library for DSL Evolution Specification. - J. G. M. Mengerink; Alexander Serebrenik; Ramon R. H. Schiffelers; M. G. J. van den Brand (ICSME, 2016)

DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems. - Josh Mengerink; Ramon R. H. Schiffelers; Alexander Serebrenik; Mark van den Brand (ME@MoDELS, 2016)

Udapt: edapt extensions for industrial application. - Josh Mengerink; Alexander Serebrenik; Mark van den Brand; Ramon R. H. Schiffelers (ITSLE@SPLASH, 2016)

Communication aware multiprocessor binding for shared memory systems. - Shreya Adyanthaya; Marc Geilen; Twan Basten; Jeroen Voeten; Ramon R. H. Schiffelers (SIES, 2016)

Assessing and improving quality of QVTo model transformations. - Christine M. Gerpheide; Ramon R. H. Schiffelers; Alexander Serebrenik (Softw. Qual. J., 2016)

The Impact of Deadline Misses on the Control Performance of High-End Motion Control Systems. - W. Geelen; Duarte Antunes; Jeroen Voeten; Ramon R. H. Schiffelers; W. P. M. H. Heemels (IEEE Trans. Ind. Electron., 2016)

Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. - João Bastos; Bram van der Sanden; Olaf Donk; Jeroen Voeten; Sander Stuijk; Ramon R. H. Schiffelers; Henk Corporaal (FDL, 2017)

Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE. - Josh Mengerink; Alexander Serebrenik; Ramon R. H. Schiffelers; Mark G. J. van den Brand (IWSM-Mensura, 2017)

A Case of Industrial vs. Open-source OCL: Not So Different After All. - Josh G. M. Mengerink; Jeroen Noten; Ramon R. H. Schiffelers; Mark G. J. van den Brand; Alexander Serebrenik (MoDELS (Satellite Events), 2017)

Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. - Ruben Jonk; Jeroen Voeten; Marc Geilen; Twan Basten; Ramon R. H. Schiffelers (DSD, 2018)

Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software. - Maikel Leemans; Wil M. P. van der Aalst; Mark G. J. van den Brand; Ramon R. H. Schiffelers; Leonard Lensink (ICSME, 2018)

Interface protocol inference to aid understanding legacy software components. - Kousar Aslam; Yaping Luo; Ramon R. H. Schiffelers; Mark van den Brand (MoDELS (Workshops), 2018)

Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts. - Rodi Jolak; Truong Ho-Quang; Michel R. V. Chaudron; Ramon R. H. Schiffelers (MoDELS, 2018)

Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository. - Josh G. M. Mengerink; Bram van der Sanden; Bram C. M. Cappers; Alexander Serebrenik; Ramon R. H. Schiffelers; Mark G. J. van den Brand (MODELSWARD, 2018)

Towards Automated Analysis of Model-Driven Artifacts in Industry. - Ramon R. H. Schiffelers; Yaping Luo; Josh Mengerink; Mark van den Brand (MODELSWARD, 2018)

Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems. - João Bastos; Sander Stuijk; Jeroen Voeten; Ramon R. H. Schiffelers; Henk Corporaal (SCOPES, 2018)

Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. - Sander Thuijsman; Dennis Hendriks; Rolf J. M. Theunissen; Michel A. Reniers; Ramon R. H. Schiffelers (CASE, 2019)

Active Learning of Industrial Software with Data. - Lisette Sanchez; Jan Friso Groote; Ramon R. H. Schiffelers (FSEN, 2019)

RERS 2019: Combining Synthesis with Real-World Models. - Marc Jasper; Malte Mues; Alnis Murtovi; Maximilian Schlüter; Falk Howar; Bernhard Steffen; Markus Schordan; Dennis Hendriks; Ramon R. H. Schiffelers; Harco Kuppens; Frits W. Vaandrager (TACAS (3), 2019)

Improving Model Inference in Industry by Combining Active and Passive Learning. - Nan Yang 009; Kousar Aslam; Ramon R. H. Schiffelers; Leonard Lensink; Dennis Hendriks; Loek Cleophas; Alexander Serebrenik (SANER, 2019)

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (MSR, 2020)

Interface protocol inference to aid understanding legacy software components. - Kousar Aslam; Loek Cleophas; Ramon R. H. Schiffelers; Mark van den Brand (Softw. Syst. Model., 2020)

LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. - Bram van der Sanden; Yuri Blankenstein; Ramon R. H. Schiffelers; Jeroen Voeten (CASE, 2021)

An Interview Study of how Developers use Execution Logs in Embedded Software Engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (ICSE (SEIP), 2021)

Logs and models in engineering complex embedded systems. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (ICSME, 2021)

Modeling Relationships Between Feature Model Views. - Gökhan Kahraman; Loek Cleophas; Ramon R. H. Schiffelers (MoDELS (Companion), 2021)

Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. - Berend Jan Christiaan van Putten; Bram van der Sanden; Michel A. Reniers; Jeroen Voeten; Ramon R. H. Schiffelers (Discret. Event Dyn. Syst., 2021)

Single-state state machines in model-driven software engineering: an exploratory study. - Nan Yang 009; Pieter J. L. Cuijpers; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (Empir. Softw. Eng., 2021)

Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems. - João Bastos; Jeroen Voeten; Sander Stuijk; Ramon R. H. Schiffelers; Henk Corporaal (ACM Trans. Cyber Phys. Syst., 2021)

Constructive Model Inference: Model Learning for Component-based Software Architectures. - Bram Hooimeijer; Marc Geilen; Jan Friso Groote; Dennis Hendriks; Ramon R. H. Schiffelers (ICSOFT, 2022)

Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. - Wan J. Fokkink; Martijn A. Goorden; Dennis Hendriks; D. A. van Beek; Albert T. Hofkamp; Ferdie F. H. Reijnen; L. F. P. Etman; Lars Moormann; Joanna M. van de Mortel-Fronczak; Michel A. Reniers; Jacobus E. Rooda; Bram van der Sanden; et al. (TACAS (2), 2023)

Tool interoperability for model-based systems engineering. - Sander Thuijsman; Gökhan Kahraman; Alireza Mohamadkhani; Ferry Timmers; Loek Cleophas; Marc Geilen; Jan Friso Groote; Michel A. Reniers; Ramon R. H. Schiffelers; Jeroen Voeten (CoRR, 2023)

An interview study about the use of logs in embedded software engineering. - Nan Yang 009; Pieter J. L. Cuijpers; Dennis Hendriks; Ramon R. H. Schiffelers; Johan Lukkien; Alexander Serebrenik (Empir. Softw. Eng., 2023)