![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Ramon R. H. Schiffelers
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j10]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): 43 (2023) - 2021
- [j9]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): 103-135 (2021) - [j8]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): 124 (2021) - [j7]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): 15:1-15:26 (2021) - 2020
- [j6]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): 1519-1540 (2020) - 2016
- [j5]Christine M. Gerpheide
, Ramon R. H. Schiffelers, Alexander Serebrenik
:
Assessing and improving quality of QVTo model transformations. Softw. Qual. J. 24(3): 797-834 (2016) - [j4]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): 1218-1229 (2016) - 2014
- [j3]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): 20-32 (2014) - 2009
- [j2]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) - 2006
- [j1]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): 129-210 (2006)
Conference and Workshop Papers
- 2023
- [c45]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:
Eclipse ESCET™: The Eclipse Supervisory Control Engineering Toolkit. TACAS (2) 2023: 44-52 - 2022
- [c44]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: 146-158 - 2021
- [c43]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: 1-8 - [c42]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: 61-70 - [c41]Nan Yang, Pieter J. L. Cuijpers, Ramon R. H. Schiffelers, Johan Lukkien, Alexander Serebrenik:
Logs and models in engineering complex embedded systems. ICSME 2021: 695-700 - [c40]Gökhan Kahraman, Loek Cleophas, Ramon R. H. Schiffelers:
Modeling Relationships Between Feature Model Views. MoDELS (Companion) 2021: 437-446 - 2020
- [c39]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: 362-373 - 2019
- [c38]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: 486-493 - [c37]Lisette Sanchez
, Jan Friso Groote
, Ramon R. H. Schiffelers
:
Active Learning of Industrial Software with Data. FSEN 2019: 95-110 - [c36]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: 101-115 - [c35]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: 253-263 - 2018
- [c34]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: 130-139 - [c33]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: 665-674 - [c32]Kousar Aslam, Yaping Luo, Ramon R. H. Schiffelers, Mark van den Brand:
Interface protocol inference to aid understanding legacy software components. MoDELS (Workshops) 2018: 6-11 - [c31]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: 213-223 - [c30]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: 446-453 - [c29]Ramon R. H. Schiffelers, Yaping Luo, Josh Mengerink, Mark van den Brand
:
Towards Automated Analysis of Model-Driven Artifacts in Industry. MODELSWARD 2018: 743-751 - [c28]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: 1-9 - 2017
- [c27]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: 1-8 - [c26]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: 116-121 - [c25]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: 472-474 - 2016
- [c24]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: 1-8 - [c23]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: 1-6 - [c22]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: 144-154 - [c21]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: 2-7 - [c20]Josh Mengerink, Alexander Serebrenik, Mark van den Brand, Ramon R. H. Schiffelers:
Udapt: edapt extensions for industrial application. ITSLE@SPLASH 2016: 21-22 - [c19]Shreya Adyanthaya, Marc Geilen
, Twan Basten
, Jeroen Voeten, Ramon R. H. Schiffelers:
Communication aware multiprocessor binding for shared memory systems. SIES 2016: 244-253 - 2015
- [c18]João Bastos, Sander Stuijk
, Jeroen Voeten, Ramon R. H. Schiffelers, Johan Jacobs, Henk Corporaal:
Modeling resource sharing using FSM-SADF. MEMOCODE 2015: 96-101 - [c17]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: 416-425 - [c16]Shreya Adyanthaya, Marc Geilen
, Twan Basten
, Jeroen Voeten, Ramon R. H. Schiffelers:
Iterative robust multiprocessor scheduling. RTNS 2015: 23-32 - 2014
- [c15]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: 1-6 - [c14]Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik
:
A Bottom-Up Quality Model for QVTo. QUATIC 2014: 85-94 - [c13]Shreya Adyanthaya, Zhihui Zhang, Marc Geilen
, Jeroen Voeten, Twan Basten
, Ramon R. H. Schiffelers:
Robustness analysis of multiprocessor schedules. ICSAMOS 2014: 9-17 - 2013
- [c12]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: 979-988 - 2012
- [c11]Ramon R. H. Schiffelers, Wilbert Alberts, Jeroen Voeten:
Model-based specification, analysis and synthesis of servo controllers for lithoscanners. MPM@MoDELS 2012: 55-60 - 2009
- [c10]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: 1384-1390 - [c9]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: 250-255 - [c8]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: 4647-4652 - 2007
- [c7]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: 587-600 - 2006
- [c6]Dirk A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers:
Simulation and Verification of Hybrid Systems using Chi. ADHS 2006: 265-266 - [c5]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. LIX 2006: 21-53 - 2005
- [c4]D. A. van Beek, Jacobus E. Rooda, Ramon R. H. Schiffelers, Ka L. Man, Michel A. Reniers:
Relating Hybrid Chi to Other Formalisms. IFM Doctoral Symposium 2005: 85-113 - 2003
- [c3]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: 199-204 - [c2]Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man, Michel A. Reniers, Jacobus E. Rooda:
Formal Semantics of Hybrid Chi. FORMATS 2003: 151-165 - [c1]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: 632-640
Informal and Other Publications
- 2023
- [i2]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 abs/2302.03503 (2023) - 2014
- [i1]Christine M. Gerpheide, Ramon R. H. Schiffelers, Alexander Serebrenik:
QVTo Model Transformations: Assessing and Improving their Quality. ERCIM News 2014(99) (2014)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint