Ramon R. H. Schiffelers

Publication Activity (10 Years)

Years Active: 2003-2023
Publications (10 Years): 35

Top Topics

Embedded Software

Directed Acyclic Graph

Manufacturing Systems

Top Venues

Empir. Softw. Eng.

Publications

Wan J. Fokkink, Martijn A. Goorden, Dennis Hendriks, D. A. van Beek, Albert T. Hofkamp, Ferdie F. H. Reijnen, L. F. P. Etman, L. Moormann, Joanna M. van de Mortel-Fronczak, Michel A. Reniers, Jacobus E. Rooda, Jeffrey L. Derevensky, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) (2023)
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
Tool interoperability for model-based systems engineering. CoRR (2023)
Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
An interview study about the use of logs in embedded software engineering. Empir. Softw. Eng. 28 (2) (2023)
Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers
Constructive Model Inference: Model Learning for Component-based Software Architectures. ICSOFT (2022)
João Bastos, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
Taming the State-space Explosion in the Makespan Optimization of Flexible Manufacturing Systems. ACM Trans. Cyber Phys. Syst. 5 (2) (2021)
Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten
LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems. CASE (2021)
Berend Jan Christiaan van Putten, Bram van der Sanden, Michel A. Reniers, Jeroen Voeten, Ramon R. H. Schiffelers
Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems. Discret. Event Dyn. Syst. 31 (1) (2021)
Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers
Modeling Relationships Between Feature Model Views. MoDELS (Companion) (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
An Interview Study of how Developers use Execution Logs in Embedded Software Engineering. ICSE (SEIP) (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Single-state state machines in model-driven software engineering: an exploratory study. Empir. Softw. Eng. 26 (6) (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Logs and models in engineering complex embedded systems. ICSME (2021)
Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik
Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering. MSR (2020)
Kousar Aslam, Loek Cleophas, Ramon R. H. Schiffelers, Mark van den Brand
Interface protocol inference to aid understanding legacy software components. Softw. Syst. Model. 19 (6) (2020)
Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik
Improving Model Inference in Industry by Combining Active and Passive Learning. SANER (2019)
Sander Thuijsman, Dennis Hendriks, Rolf J. M. Theunissen, Michel A. Reniers, Ramon R. H. Schiffelers
Computational Effort of BDD-based Supervisor Synthesis of Extended Finite Automata. CASE (2019)
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
RERS 2019: Combining Synthesis with Real-World Models. TACAS (3) (2019)
Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers
Active Learning of Industrial Software with Data. FSEN (2019)
Josh G. M. Mengerink, Bram van der Sanden, Bram C. M. Cappers, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand
Exploring DSL Evolutionary Patterns in Practice - A Study of DSL Evolution in a Large-scale Industrial DSL Repository. MODELSWARD (2018)
Ruben Jonk, Jeroen Voeten, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers
Timing Prediction for Service-Based Applications Mapped on Linux-Based Multi-core Platforms. DSD (2018)
Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand
Interface protocol inference to aid understanding legacy software components. MoDELS (Workshops) (2018)
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Henk Corporaal
Exploiting Specification Modularity to Prune the Optimization-Space of Manufacturing Systems. SCOPES (2018)
Rodi Jolak, Truong Ho-Quang, Michel R. V. Chaudron, Ramon R. H. Schiffelers
Model-Based Software Engineering: A Multiple-Case Study on Challenges and Development Efforts. MoDELS (2018)
Ramon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand
Towards Automated Analysis of Model-Driven Artifacts in Industry. MODELSWARD (2018)
Maikel Leemans, Wil M. P. van der Aalst, Mark G. J. van den Brand, Ramon R. H. Schiffelers, Leonard Lensink
Software Process Analysis Methodology - A Methodology Based on Lessons Learned in Embracing Legacy Software. ICSME (2018)
Josh G. M. Mengerink, Jeroen Noten, Ramon R. H. Schiffelers, Mark G. J. van den Brand, Alexander Serebrenik
A Case of Industrial vs. Open-source OCL: Not So Different After All. MoDELS (Satellite Events) (2017)
Josh Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, Mark G. J. van den Brand
Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE. IWSM-Mensura (2017)
João Bastos, Bram van der Sanden, Olaf Donk, Jeroen Voeten, Sander Stuijk, Ramon R. H. Schiffelers, Henk Corporaal
Identifying bottlenecks in manufacturing systems using stochastic criticality analysis. FDL (2017)
W. Geelen, Duarte Antunes, Jeroen Voeten, Ramon R. H. Schiffelers, W. P. M. H. Heemels
The Impact of Deadline Misses on the Control Performance of High-End Motion Control Systems. IEEE Trans. Ind. Electron. 63 (2) (2016)
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
Assessing and improving quality of QVTo model transformations. Softw. Qual. J. 24 (3) (2016)
J. G. M. Mengerink, Alexander Serebrenik, Ramon R. H. Schiffelers, M. G. J. van den Brand
A Complete Operator Library for DSL Evolution Specification. ICSME (2016)
Bram van der Sanden, João Bastos, Jeroen Voeten, Marc Geilen, Michel A. Reniers, Twan Basten, Johan Jacobs, Ramon R. H. Schiffelers
Compositional specification of functionality and timing of manufacturing systems. FDL (2016)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Communication aware multiprocessor binding for shared memory systems. SIES (2016)
Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers
Maintenance of specification models in industry using Edapt. FDL (2016)
Josh Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Mark van den Brand
DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems. ME@MoDELS (2016)
Josh Mengerink, Alexander Serebrenik, Mark van den Brand, Ramon R. H. Schiffelers
Udapt: edapt extensions for industrial application. ITSLE@SPLASH (2016)
João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal
Modeling resource sharing using FSM-SADF. MEMOCODE (2015)
Bram van der Sanden, Michel A. Reniers, Marc Geilen, Twan Basten, Johan Jacobs, Jeroen Voeten, Ramon R. H. Schiffelers
Modular model-based supervisory controller design for wafer logistics in lithography machines. MoDELS (2015)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers
Iterative robust multiprocessor scheduling. RTNS (2015)
Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers
Robustness analysis of multiprocessor schedules. ICSAMOS (2014)
Raymond Frijns, Shreya Adyanthaya, Sander Stuijk, Jeroen Voeten, Marc C. W. Geilen, Ramon R. H. Schiffelers, Henk Corporaal
Timing analysis of First-Come First-Served scheduled interval-timed Directed Acyclic Graphs. DATE (2014)
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
QVTo Model Transformations: Assessing and Improving their Quality. ERCIM News 2014 (99) (2014)
Rolf J. M. Theunissen, Mihály Petreczky, Ramon R. H. Schiffelers, Dirk A. van Beek, Jacobus E. Rooda
Application of Supervisory Control Synthesis to a Patient Support Table of a Magnetic Resonance Imaging Scanner. IEEE Trans Autom. Sci. Eng. 11 (1) (2014)
Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
A Bottom-Up Quality Model for QVTo. QUATIC (2014)
Shreya Adyanthaya, Marc Geilen, Twan Basten, Ramon R. H. Schiffelers, Bart D. Theelen, Jeroen Voeten
Fast Multiprocessor Scheduling with Fixed Task Binding of Large Scale Industrial Cyber Physical Systems. DSD (2013)
Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten
Model-based specification, analysis and synthesis of servo controllers for lithoscanners. MPM@MoDELS (2012)
Ramon R. H. Schiffelers, Rolf J. M. Theunissen, Dirk A. van Beek, Jacobus E. Rooda
Model-Based Engineering of Supervisory Controllers using CIF. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 21 (2009)
Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda
Supervisory control synthesis for a patient support system. ECC (2009)
Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda
Hybrid modeling and simulation of plant/controller combinations. CCA/ISIC (2009)
Dirk A. van Beek, Pieter Collins, D. E. Nadales Agut, Jacobus E. Rooda, Ramon R. H. Schiffelers
New Concepts in the Abstract Format of the Compositional Interchange Format. ADHS (2009)
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
Model-based Engineering of Embedded Systems Using the Hybrid Process Algebra Chi. Electron. Notes Theor. Comput. Sci. 209 (2008)
D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Relating Hybrid Chi to Other Formalisms. Electron. Notes Theor. Comput. Sci. 191 (2007)
D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda
Foundations of a Compositional Interchange Format for Hybrid Systems. HSCC (2007)
Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers
Simulation and Verification of Hybrid Systems using Chi. ADHS (2006)
D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda, Ramon R. H. Schiffelers
Syntax and consistent equation semantics of hybrid Chi. J. Log. Algebraic Methods Program. 68 (1-2) (2006)
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda
Formal Semantics of Hybrid Chi. FORMATS (2003)
D. A. van Beek, Niek G. Jansen, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers
Hybrid dynamic systems: relating Chi to hybrid automata. WSC (2003)
Ramon R. H. Schiffelers, Dirk A. van Beek, Ka Lok Man, Michel A. Reniers, Jacobus E. Rooda
A Hybrid Language for Modeling, Simulation and Verification. ADHS (2003)