| A scenario-aware data flow model for combined long-run average and worst-case performance analysis. BD Theelen, M Geilen, T Basten, J Voeten, SV Gheorghita, S Stuijk MEMOCODE 6, 185-194, 2006 | 257 | 2006 |
| Software/hardware engineering with the parallel object-oriented specification language BD Theelen, O Florescu, MCW Geilen, J Huang, PHA Van Der Putten, ... 2007 5th IEEE/ACM International Conference on Formal Methods and Models for …, 2007 | 111 | 2007 |
| Specification of reactive hardware/software systems PHA van der Putten, JPM Voeten PhD thesis, Eindhoven University of Technology, The Netherlands, 1997 | 107 | 1997 |
| Specification of reactive hardware/software systems PHA van der Putten, JPM Voeten PhD thesis, Eindhoven University of Technology, The Netherlands, 1997 | 107 | 1997 |
| Specification of reactive hardware/software systems PHA van der Putten, JPM Voeten PhD thesis, Eindhoven University of Technology, The Netherlands, 1997 | 107 | 1997 |
| Object-oriented modelling and specification using SHE MCW Geilen, JPM Voeten, PHA Van Der Putten, LJ van Bokhoven, ... Computer Languages 27 (1-3), 19-38, 2001 | 68 | 2001 |
| Real-time property preservation in approximations of timed systems J Huang, J Voeten, M Geilen First ACM and IEEE International Conference on Formal Methods and Models for …, 2003 | 41 | 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 | 34 | 2015 |
| Performance modelling of a network processor using POOSL BD Theelen, JPM Voeten, RDJ Kramer Computer Networks 41 (5), 667-684, 2003 | 33 | 2003 |
| Scenario-aware dataflow BD Theelen, MCW Geilen, S Stuijk, SV Gheorghita, T Basten, JPM Voeten, ... ES Reports, 2008 | 31 | 2008 |
| 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 |
| 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 |
| Real-time concepts for a formal specification language for software/hardware systems MCW Geilen, JPM Voeten Proc. of ProRISC 97, 185-192, 1997 | 25 | 1997 |
| A model-driven design approach for mechatronic systems J Huang, J Voeten, M Groothuis, J Broenink, H Corporaal Seventh International Conference on Application of Concurrency to System …, 2007 | 24 | 2007 |
| xCPS: a tool to explore cyber physical systems S Adyanthaya, HA Ara, J Bastos, A Behrouzian, RM Sánchez, ... ACM sigbed review 14 (1), 81-95, 2017 | 23 | 2017 |
| Software synthesis for system level design using process execution trees LJ van Bokhoven, JPM Voeten, MCW Geilen Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for …, 1999 | 23 | 1999 |
| Object-oriented co-design for hardware/software systems PHA Van Der Putten, JPM Voeten, MPJ Stevens Proceedings of EUROMICRO 95, 718-726, 1995 | 22 | 1995 |
| 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 |
| Performance model checking scenario-aware dataflow B Theelen, M Geilen, J Voeten International Conference on Formal Modeling and Analysis of Timed Systems, 43-59, 2011 | 20 | 2011 |
| Predictable real-time software synthesis J Huang, J Voeten, H Corporaal Real-time systems 36 (3), 159-198, 2007 | 20 | 2007 |
