Ramon R.H. Schiffelers - Google Scholar Citations

Cited by

	All	Since 2015
Citations	954	336
h-index	16	10
i10-index	26	12

2003200420052006200720082009201020112012201320142015201620172018201920205 11 25 36 40 77 60 82 86 69 68 43 45 59 54 63 68 47

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 SerebrenikAssociate Professor of Computer Science, Eindhoven University of TechnologyVerified email at tue.nl
Marc GeilenEindhoven University of TechnologyVerified email at tue.nl
Twan BastenProfessor of Computational Models, Electrical Engineering, Eindhoven 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
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
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 ec-lille.fr
Jos BaetenVerified email at cwi.nl
Pieter CollinsDepartment of Data Science and Knowledge Engineering, Maastricht UniversityVerified email at maastrichtuniversity.nl
Pieter CuijpersTechnische Universiteit Eindhoven, Aalborg UniversitetVerified email at tue.nl
Kenneth Yrke JørgensenDepartment of Computer Science, Aalborg UniversityVerified email at cs.aau.dk
Maurice HeemelsFull Professor Eindhoven University of TechnologyVerified email at tue.nl
Duarte AntunesEindhoven University of TechnologyVerified email at tue.nl

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	179	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	63	2007
Formal specification and analysis of hybrid systems KL Man, RRH Schiffelers Eindhoven University of Technology, 2006	62	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	38	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	36	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	34	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	34	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	34	2009
Syntax and semantics of timed Chi DA Van Beek, KL Man, MA Reniers, JE Rooda, RRH Schiffelers Computer Science Reports, 05-09, 2005	29	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	28	2012
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	27	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	27	2007
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	24	2003
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	20	2015
Assessing and improving quality of QVTo model transformations CM Gerpheide, RRH Schiffelers, A Serebrenik Software Quality Journal 24 (3), 797-834, 2016	19	2016
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	18	2013
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	15	2014
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	13	2016
Model-based engineering of embedded systems using the hybrid process algebra Chi JCM Baeten, DA van Beek, PJL Cuijpers, MA Reniers, JE Rooda, ... Electronic Notes in Theoretical Computer Science 209, 21-53, 2008	13	2008
A semantic-preserving transformation from the Compositional Interchange Format to UPPAAL DEN Agut, MA Reniers, RRH Schiffelers, KY Jørgensen, DA Van Beek IFAC Proceedings Volumes 44 (1), 12496-12502, 2011	12	2011

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

Upload PDF

Follow this author

Cited by

Co-authors