Ramon R. H. Schiffelers

According to our database, Ramon R. H. Schiffelers authored at least 57 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

An interview study about the use of logs in embedded software engineering.

Nan Yang, Pieter J. L. Cuijpers, Dennis Hendriks, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Empir. Softw. Eng., March, 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

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, Ramon R. H. Schiffelers, Sander Thuijsman, J. J. Verbakel, J. A. Vogel

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Constructive Model Inference: Model Learning for Component-based Software Architectures.

Bram Hooimeijer, Marc Geilen, Jan Friso Groote, Dennis Hendriks, Ramon R. H. Schiffelers

Proceedings of the 17th International Conference on Software Technologies, 2022

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

Single-state state machines in model-driven software engineering: an exploratory study.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Empir. Softw. Eng., 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

Modeling Relationships Between Feature Model Views.

Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Logs and models in engineering complex embedded systems.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021

An Interview Study of how Developers use Execution Logs in Embedded Software Engineering.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2021

LSAT: Specification and Analysis of Product Logistics in Flexible Manufacturing Systems.

Bram van der Sanden, Yuri Blankenstein, Ramon R. H. Schiffelers, Jeroen Voeten

Proceedings of the 17th IEEE International Conference on Automation Science and Engineering, 2021

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

Painting Flowers: Reasons for Using Single-State State Machines in Model-Driven Engineering.

Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik

Proceedings of the MSR '20: 17th International Conference on Mining Software Repositories, 2020

2019

Improving Model Inference in Industry by Combining Active and Passive Learning.

Nan Yang, Kousar Aslam, Ramon R. H. Schiffelers, Leonard Lensink, Dennis Hendriks, Loek Cleophas, Alexander Serebrenik

Proceedings of the 26th IEEE International Conference on Software Analysis, 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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Active Learning of Industrial Software with Data.

Lisette Sanchez, Jan Friso Groote, Ramon R. H. Schiffelers

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

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

Proceedings of the 15th IEEE International Conference on Automation Science and Engineering, 2019

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

Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Towards Automated Analysis of Model-Driven Artifacts in Industry.

Ramon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 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

Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 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

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Interface protocol inference to aid understanding legacy software components.

Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand

Proceedings of MODELS 2018 Workshops: ModComp, 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

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

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

Proceedings of the 21st Euromicro Conference on Digital System Design, 2018

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

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 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

Proceedings of the 27th International Workshop on Software Measurement and 12th International Conference on Software Process and Product Measurement, 2017

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

Proceedings of the 2017 Forum on Specification and Design Languages, 2017

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

Assessing and improving quality of QVTo model transformations.

Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik

Softw. Qual. J., 2016

Communication aware multiprocessor binding for shared memory systems.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 11th IEEE Symposium on Industrial Embedded Systems, 2016

Udapt: edapt extensions for industrial application.

Josh Mengerink, Alexander Serebrenik, Mark van den Brand, Ramon R. H. Schiffelers

Proceedings of the 1st Industry Track on Software Language Engineering, 2016

DSL/Model Co-Evolution in Industrial EMF-Based MDSE Ecosystems.

Josh Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Mark van den Brand

Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 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

Proceedings of the 2016 IEEE International Conference on Software Maintenance and Evolution, 2016

Maintenance of specification models in industry using Edapt.

Y. Vissers, J. G. M. Mengerink, Ramon R. H. Schiffelers, Alexander Serebrenik, Michel A. Reniers

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

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

Proceedings of the 2016 Forum on Specification and Design Languages, 2016

2015

Iterative robust multiprocessor scheduling.

Shreya Adyanthaya, Marc Geilen, Twan Basten, Jeroen Voeten, Ramon R. H. Schiffelers

Proceedings of the 23rd International Conference on Real Time Networks and Systems, 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

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Modeling resource sharing using FSM-SADF.

João Bastos, Sander Stuijk, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

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

QVTo Model Transformations: Assessing and Improving their Quality.

Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik

ERCIM News, 2014

Robustness analysis of multiprocessor schedules.

Shreya Adyanthaya, Zhihui Zhang, Marc Geilen, Jeroen Voeten, Twan Basten, Ramon R. H. Schiffelers

Proceedings of the XIVth International Conference on Embedded Computer Systems: Architectures, 2014

A Bottom-Up Quality Model for QVTo.

Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik

Proceedings of the 9th International Conference on the Quality of Information and Communications Technology, 2014

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

2013

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

Proceedings of the 2013 Euromicro Conference on Digital System Design, 2013

2012

Model-based specification, analysis and synthesis of servo controllers for lithoscanners.

Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten

Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

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

Supervisory control synthesis for a patient support system.

Rolf J. M. Theunissen, Ramon R. H. Schiffelers, D. A. van Beek, Jacobus E. Rooda

Proceedings of the 10th European Control Conference, 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

Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, 2009

Hybrid modeling and simulation of plant/controller combinations.

Ramon R. H. Schiffelers, Alexander Yu. Pogromsky, Dirk A. van Beek, Jacobus E. Rooda

Proceedings of the IEEE International Conference on Control Applications, 2009

2007

Foundations of a Compositional Interchange Format for Hybrid Systems.

D. A. van Beek, Michel A. Reniers, Ramon R. H. Schiffelers, Jacobus E. Rooda

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

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

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

Proceedings of the LIX Colloquium on Emerging Trends in Concurrency Theory, 2006

Simulation and Verification of Hybrid Systems using Chi.

Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers

Proceedings of the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, 2006

2005

Relating Hybrid Chi to Other Formalisms.

D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers

Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated Formal Methods Conference, 2005

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

Proceedings of the 35th Winter Simulation Conference: Driving Innovation, 2003

Formal Semantics of Hybrid Chi.

Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

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

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003