Ramon R.H. Schiffelers

Cited by

	All	Since 2017
Citations	1158	420
h-index	18	13
i10-index	32	15

100

200320042005200620072008200920102011201220132014201520162017201820192020202120225 11 25 42 41 75 60 89 89 65 68 43 46 59 60 70 72 95 89 31

Public access

View all

7 articles

0 articles

available

not available

Based on funding mandates

Co-authors

j.e. roodahoogleraar Systems Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Michel Reniersassociate professor, Mechanical Engineering, TU/eVerified email at tue.nl
Jeroen VoetenProfessor Electronic Systems, Eindhoven University of TechnologyVerified email at tue.nl
Ka Lok ManXi'an Jiaotong-Liverpool University Verified email at xjtlu.edu.cn
Alexander SerebrenikFull Professor of Social Software Engineering, Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Mark van den BrandProfessor Software Engineering and Technology, Eindhoven University of TechnologyVerified email at tue.nl
Josh MengerinkAnalyzeDataVerified email at analyzedata.com
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven University of TechnologyVerified email at tue.nl
Bram van der SandenESI (TNO)Verified email at tno.nl
João BastosProfessor de Engenharia Mecânica, Instituto Superior de Engenharia do Porto. Instituto PolitécnicoVerified email at isep.ipp.pt
Pieter CuijpersTechnische Universiteit Eindhoven, Aalborg UniversitetVerified email at tue.nl
Henk CorporaalProfessor Embedded System Architectures, Eindhoven University of Technology, the NetherlandsVerified email at tue.nl
Sander StuijkAssociate Professor, Eindhoven University of TechnologyVerified email at tue.nl
Mihaly PetreczkyCentre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL), UMR CNRS 9189, CNRSVerified email at centralelille.fr
Jos BaetenVerified email at cwi.nl
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityVerified email at maastrichtuniversity.nl
Maurice HeemelsFull Professor Eindhoven University of TechnologyVerified email at tue.nl
Duarte AntunesEindhoven University of TechnologyVerified email at tue.nl
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk

Ramon R.H. Schiffelers

Assistant Professor, Eindhoven University of Technology

Verified email at tue.nl

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	186	2006
Foundations of a compositional interchange format for hybrid systems DA van Beek, MA Reniers, RRH Schiffelers, JE Rooda International Workshop on Hybrid Systems: Computation and Control, 587-600, 2007	65	2007
Formal specification and analysis of hybrid systems KL Man, RRH Schiffelers Eindhoven University of Technology, 2006	64	2006
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	57	2013
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	38	2008
Model-based engineering of supervisory controllers using CIF RRH Schiffelers, RJM Theunissen, DA Van Beek, JE Rooda Electronic Communications of the EASST 21, 2010	37	2010
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	36	2009
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	36	2009
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	34	2015
Syntax and semantics of timed Chi DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers Computer Science Reports, 05-09, 2005	30	2005
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	29	2012
Assessing and improving quality of QVTo model transformations CM Gerpheide, RRH Schiffelers, A Serebrenik Software Quality Journal 24 (3), 797-834, 2016	28	2016
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	28	2009
Chi 1.0 reference manual AT Hofkamp, JE Rooda, RRH Schiffelers, DA van Beek Systems Engineering Report, Eindhoven (August 2007) http://se. wtb. tue. nl …, 2007	28	2007
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	25	2016
Formal semantics of hybrid Chi RRH Schiffelers, DA Van Beek, KL Man, MA Reniers, JE Rooda International Conference on Formal Modeling and Analysis of Timed Systems …, 2003	25	2003
RERS 2019: combining synthesis with real-world models M Jasper, M Mues, A Murtovi, M Schlüter, F Howar, B Steffen, M Schordan, ... International Conference on Tools and Algorithms for the Construction and …, 2019	23	2019
Fast multiprocessor scheduling with fixed task binding of large scale industrial cyber physical systems S Adyanthaya, M Geilen, T Basten, R Schiffelers, B Theelen, J Voeten 2013 Euromicro Conference on Digital System Design, 979-988, 2013	20	2013
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	18	2019
Robustness analysis of multiprocessor schedules S Adyanthaya, Z Zhang, M Geilen, J Voeten, T Basten, R Schiffelers 2014 International Conference on Embedded Computer Systems: Architectures …, 2014	18	2014

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors