| A scenario-aware data flow model for combined long-run average and worst-case performance analysis BD Theelen, MCW Geilen, T Basten, JPM Voeten, SV Gheorghita, S Stuijk Fourth ACM and IEEE International Conference on Formal Methods and Models …, 2006 | 272 | 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 | 118 | 2007 |
| Specification of reactive hardware/software systems: the method software/hardware engineering (SHE) PHA van der Putten, JPM Voeten | 117 | 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 | 70 | 2001 |
| 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 | 54 | 2015 |
| 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 | 43 | 2003 |
| Scenario-aware dataflow BD Theelen, MCW Geilen, S Stuijk, V Gheorghita, T Basten, JPM Voeten, ... Technische Universiteit Eindhoven, 2008 | 36 | 2008 |
| 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 | 35 | 2016 |
| Performance modelling of a network processor using POOSL BD Theelen, JPM Voeten, RDJ Kramer Computer Networks 41 (5), 667-684, 2003 | 35 | 2003 |
| 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 | 34 | 2017 |
| 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 | 31 | 2012 |
| 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 | 26 | 2007 |
| Real-time concepts for a formal specification language for software/hardware systems MCW Geilen, JPM Voeten Proc. of ProRISC 97, 185-192, 1997 | 26 | 1997 |
| Data-age analysis for multi-rate task chains under timing uncertainty P Gohari, M Nasri, J Voeten Proceedings of the 30th international conference on real-time networks and …, 2022 | 25 | 2022 |
| 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 | 25 | 2014 |
| 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 | 25 | 1999 |
| Predictable real-time software synthesis J Huang, J Voeten, H Corporaal Real-time systems 36 (3), 159-198, 2007 | 24 | 2007 |
| Object-oriented co-design for hardware/software systems PHA Van Der Putten, JPM Voeten, MPJ Stevens 21st EUROMICRO Conference" Design of Hardware/Software Systems", September 4 …, 1995 | 24 | 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 | 22 | 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 | 22 | 2011 |
