Ramon R.H. Schiffelers - Google Scholar Citations

Cited by

	All	Since 2015
Citations	928	315
h-index	15	10
i10-index	26	12

2003200420052006200720082009201020112012201320142015201620172018201920206 11 25 36 40 76 58 82 85 69 68 44 44 59 51 63 70 28

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
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
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	62	2007
Formal specification and analysis of hybrid systems KL Man, RRH Schiffelers Eindhoven University of Technology, 2006	61	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	35	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, PJ Collins, DEN Agut, JE Rooda, RRH Schiffelers ADHS, 250-255, 2009	33	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
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
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	26	2012
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
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	19	2015
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
Assessing and improving quality of QVTo model transformations CM Gerpheide, RRH Schiffelers, A Serebrenik Software Quality Journal 24 (3), 797-834, 2016	15	2016
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
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	13	2014
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
Automated analyses of model-driven artifacts: obtaining insights into industrial application of MDE JGM Mengerink, A Serebrenik, RRH Schiffelers, MGJ van den Brand Proceedings of the 27th International Workshop on Software Measurement and …, 2017	11	2017

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