| Introduction to the ISO specification language LOTOS T Bolognesi, E Brinksma Computer Networks and ISDN systems 14 (1), 25-59, 1987 | 2302 | 1987 |
| A theory for the derivation of tests E Brinksma Proc. 8th Int. Conf. Protocol Specification, Testing and Verification, 63-74, 1988 | 491 | 1988 |
| Torx: Automated model-based testing GJ Tretmans, H Brinksma First European Conference on Model-Driven Software Engineering, 31-43, 2003 | 362* | 2003 |
| LOTOS specifications, their implementations and their tests E Brinksma Protocol Specification, Testing, and Verification, 349-360, 1987 | 277 | 1987 |
| Testing transition systems: An annotated bibliography E Brinksma, J Tretmans Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP …, 2001 | 229 | 2001 |
| Specification styles in distributed systems design and verification CA Vissers, G Scollo, M van Sinderen, E Brinksma Theoretical Computer Science 89 (1), 179-206, 1991 | 224 | 1991 |
| As cheap as possible: effcient cost-optimal reachability for priced timed automata K Larsen, G Behrmann, E Brinksma, A Fehnker, T Hune, P Pettersson, ... Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001 | 171 | 2001 |
| A tutorial on LOTOS E Brinksma Protocol Specification, Testing, and Verification, 171-194, 1986 | 152 | 1986 |
| A Test Generation Framework for quiescent Real-Time Systems LB Briones, E Brinksma Formal Approaches to Software Testing: 4th International Workshop, FATES …, 2005 | 138 | 2005 |
| Fair testing E Brinksma, A Rensink, W Vogler CONCUR'95: Concurrency Theory: 6th International Conference Philadelphia, PA …, 1995 | 121 | 1995 |
| An algebraic approach to the specification of stochastic systems PR D’Argenio, JP Katoen, E Brinksma Programming Concepts and Methods PROCOMET’98: IFIP TC2/WG2. 2, 2.3 …, 1998 | 105 | 1998 |
| Information processing systems–open systems interconnection–lotos–a formal description technique based on the temporal ordering of observational behaviour E Brinksma International Standard, ISO 8807, 1988 | 105 | 1988 |
| A stochastic causality-based process algebra E Brinksma, JP Katoen, R Langerak, D Latella The Computer Journal 38 (7), 552-565, 1995 | 104 | 1995 |
| Process algebra and Markov chains E Brinksma, H Hermanns Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer …, 2001 | 101 | 2001 |
| Optimal infinite scheduling for multi-priced timed automata P Bouyer, E Brinksma, KG Larsen Formal Methods in System Design 32, 3-23, 2008 | 97 | 2008 |
| Formal approach to conformance testing E Brinksma Proc. Int. Workshop on Protocol Test Systems, 311-325, 1989 | 93 | 1989 |
| Formal notions of implementation and conformance in LOTOS H Brinksma, G Scollo Twente University of Technology, Department of Computer Science, 1986 | 93 | 1986 |
| Staying alive as cheaply as possible P Bouyer, E Brinksma, KG Larsen Hybrid Systems: Computation and Control: 7th International Workshop, HSCC …, 2004 | 76 | 2004 |
| Verification and optimization of a PLC control schedule E Brinksma, A Mader SPIN 1885, 73-92, 2000 | 61 | 2000 |
| Verification and optimization of a PLC control schedule E Brinksma, A Mader, A Fehnker International Journal on Software Tools for Technology Transfer 4, 21-33, 2002 | 56 | 2002 |
