Author Publications

2011

Timmer, Mark and Brinksma, Ed and Stoelinga, Mariëlle (2011) Model-based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series - D: Information and Communication Security . IOS Press, Amsterdam.

2010

Brinksma, H. and Bressers, J.T.A. (2010) Redevoeringen dies natalis : 49ste dies natalis, 26-11-2010. [Lecture]

2009

Brinksma, H. and Berg van den, A. (2009) Redevoeringen dies natalis : 48ste dies natalis, 27-11-2009. [Lecture]

2008

Bouyer, Patricia and Brinksma, Ed and Larsen, Kim G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856

Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich.

2007

Brinksma, Ed (2007) The Challenges of Embedded Systems Engineering. In: 10th International Workshop on Hybrid Systems: Computation and Control, HSCC 2007, 3-5 April 2007, Pisa, Italy.

Brinksma, H. and Hooman, J. (2007) Dependability for high-tech systems: an industry-as-laboratory approach. [Report]

2006

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. In: 4th International Symposium on Automated Technology for Verification and Analysis, ATVA, October 23-26, 2006, Beijing, China.

Brandan Briones, Laura and Brinksma, Ed and Stoelinga, Mariëlle (2006) A Semantic Framework for Test Coverage. [Report]

Brinksma, Ed and Stoelinga, Mariëlle and Brandan Briones, Laura (2006) A Semantic Framework for Test Coverage (Extended Version). [Report]

2005

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Production Scheduling by Reachability Analysis - A Case Study. In: 19th IEEE International Parallel and Distributed Processing Symposium, IPDPS, 04-08 April 2005, Denver, Colorado.

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic.

Behrmann, Gerd and Brinksma, Ed and Hendriks, Martijn and Mader, Angelika (2005) Scheduling lacquer production by reachability analysis - A case study. [Report]

Brandan Briones, Laura and Brinksma, Ed (2005) A test generation framework for quiescent real-time systems. In: 4th International Workshop on Formal Approaches to Software Testing, FATES, September 21, 2004, Linz, Austria.

Brandan Briones, Laura and Brinksma, Ed (2005) Testing real-time multi input-output systems. In: 7th International Conference on Formal Engineering Methods, ICFEM, November 1-4, 2005, Manchester, United Kingdom.

Brandan Briones, Laura and Brinksma, Ed (2005) Testing multi input-output real-time systems (Extended Version). [Report]

Brinksma, Ed and Krilavicius, Tomas and Usenko, Yaroslav S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, July 4-8, 2005, Prague, Czech Republic.

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A Modelling Method for Embedded Systems. [Report]

Brinksma, Ed and Mader, Angelika and Marincic, Jelena and Wieringa, Roel (2005) A Modelling Method for Embedded Systems. In: 2nd Workshop on Model Design and Validation (MoDeVa 05) as part of the ACM/IEEE 8th International Conference on Model Driven Engineering Languages and Systems, Oct 2005, Montego Bay, Jamaica.

Brinksma, H. and Krilavicius, T. (2005) Behavioural Hybrid Process Calculus. [Report]

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Ninth IEEE International EDOC Enterprise Computing Conference, 2005, 19-23 September 2005, Enschede, the Netherlands.

Jones, Val and Rensink, Arend and Brinksma, Ed (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. [Report]

2004

Brandan Briones, Laura and Brinksma, Ed (2004) A test generation framework for quiescent real-time systems. [Report]

Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. [Report]

Brinksma, Ed (2004) Testing Times: On Model Driven Test Generation for Non Deterministic Real Time Systems. In: Fourth International Conference on Application of Concurrency to System Design, ACSD, 16-18 June 2004 , Hamilton, Canada.

Brinksma, Ed and Mader, Angelika (2004) On Verification Modelling of Embedded Systems. [Report]

Jones, Val and Rensink, Arend and Ruys, Theo and Brinksma, Ed and Halteren van, Aart (2004) A formal MDA approach for mobile health systems. In: Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, EWMDA-2, 7-8 September 2004, Canterbury, England.

2003

Brinksma, Ed (2003) Compositional Theories of Qualitative and Quantitative Behaviour. In: 24th International Conference on Applications and Theory of Petri Nets, ICATPN, June 23-27, 2003, Eindhoven, The Netherlands.

Ruys, T.C. and Brinksma, H. (2003) Managing the Verification Trajectory. International journal on software tools for technology transfer, 4 (2). pp. 246-259. ISSN 1433-2779

Tretmans, Jan and Brinksma, Ed (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany.

2002

Brinksma, E. and Hendriks, J. and Hulscher, S.J.M.H. and Spijk, J. and Visser, Max and Vreugdenhil, J.M. (2002) Betavrouw en carriere. [Report]

Brinksma, Ed and Mader, Angelika (2002) Model checking embedded system designs. In: Sixth International Workshop on Discrete Event Systems, WODES 2002, 2-4 October 2002, Zaragoza, Spain.

Brinksma, Ed and Mader, Angelika and Fehnker, Ansgar (2002) Verification and optimization of a PLC control schedule. International Journal on Software Tools for Technology Transfer (STTT), 4 (1). pp. 21-33. ISSN 1433-2779

Tretmans, Jan and Brinksma, Ed (2002) Côte de Resyste : Automated Model Based Testing. In: 3rd PROGRESS Workshop on Embedded Systems, 24 October 2002, Utrecht, Netherlands.

2001

Belinfante, Alex and Brinksma, Ed and Feenstra, Jan and Tretmans, Jan and Vries, René (2001) Côte de Resyste : Automatic Model-Based Testing of Communication Protocols. In: 7th Annual CTIT Workshop on Mobile Communications in Perspective, 7 Feb 2001, Enschede, the Netherlands.

Brinksma, Ed and Katoen, Joost-Pieter (2001) Hooggespannen verwachtingen model checking. Bits & chips : tweewekelijks nieuwsmagazine voor de hightechindustrie, 3 (4). pp. 31-34. ISSN 1879-6443

Brinksma, Ed and Tretmans, Jan (2001) Testing Transition Systems: An Annotated Bibliography. In: 4th Summer School on Modeling and Verification of Parallel Processes, MOVEP 2000, June 19-23, 2000, Nantes, France.

Brinksma, H. (2001) Verification is experimentation! Software Tools for Technology Transfer, 3 (2). pp. 107-217. ISSN 1433-2779

Brinksma, H. and Hermanns, H. (2001) Process Algebra and Markov Chains. In: Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 2090 . Springer Verlag, Berlin, pp. 183-231. ISBN 9783540424796

Brinksma, H. and Hermanns, H. and Katoen, J.P., eds. (2001) Lectures on Formal Methods and Performance Analysis. Lecture Notes in Computer Science, 2090 . Springer Verlag, Berlin. ISBN 9783540424796

Larsen, Kim and Behrmann, Gerd and Brinksma, Ed and Fehnker, Ansgar and Hune, Thomas and Petterson, Paul and Romijn, Judi (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: 13th International Conference on Computer Aided Verification, CAV 2001, July 18-22, 2001, Paris, France.

Mader, A.H. and Brinksma, H. and Wupper, H. and Bauer, N. (2001) Design of a PLC Control Program for a Batch Plant - VHS Case Study 1. European Journal of Control, 7 (4). pp. 416-439. ISSN 0947-3580

(2001) Formal Approaches to Testing of Software FATES'01. [Report]

2000

Brinksma, Ed and D'Argenio, Pedro R. and Katoen, Joost-Pieter (2000) Stochastic process algebras: linking process descriptions with performance. Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica . pp. 34-42.

Brinksma, Ed and Mader, Angelika (2000) Verification and Optimization of a PLC Control Schedule. In: 7th International SPIN Workshop, August/September 2000, Stanford, CA, USA.

Brinksma, H. (2000) Verification Is Experimentation! In: CONCUR 2000 - Concurrency Theory, 11th International Conference, August 22-25, 2000, University Park, PA, USA.

Ruys, T.C. and Brinksma, H. (2000) Model Checking: Verification or Debugging? In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000), 26-29 June 2000, Las Vegas, Nevada, USA.

1999

Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770

Brinksma, H. (1999) Formal Methods for Conformance Testing: Theory Can Be Practical! In: Computer Aided Verification: 11th International Conference (CAV), July 1999, Trento, Italy.

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: 20th IEEE Real-Time Systems Symposium, 1-3 Dec. 1999 , Phoenix, Arizona.

Langerak, Rom and Brinksma, Ed (1999) A complete finite prefix for process algebra. In: 11th International Conference on Computer Aided Verification, CAV '99, July 6-10, 1999, Trento, Italy.

1998

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1998) Partial-order models for quantitative extensions of LOTOS. Computer Networks and ISDN Systems, 30 (9-10). pp. 925-950. ISSN 0169-7552

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1998) Factorized Test Generation for Multi Input/Output Transition Systems. In: Proceedings of the IFIP TC6 11th International Workshop on Testing Communicating Systems.

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract). In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98), 8-12 June 1998, Shelter Island, New York.

D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) A Compositional Approach to Generalised semi-Markov Processes. In: Proceedings of the 4th Int. Workshop on Discrete Event Systems (WODES'98), Cagliari, Italy.

Katoen, Joost-Pieter and Latella, Diego and Langerak, Rom and Brinksma, Ed and Bolognesi, Tommaso (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856

Ruys, Theo C. and Brinksma, Ed (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: 4th International Conference on Tools and Algorithms for Construction and Analysis of Systems, TACAS 1998, March 28 - April 4, 1998, Lisbon, Portugal.

1997

Brinksma, H. and Heerink, A.W. and Tretmans, G.J. (1997) Developments in Testing Transition Systems. In: Int. Workshop on Testing of Communicating Systems X.

D'Argenio, Pedro R. and Katoen, Joost-Pieter and Brinksma, Ed (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling, PAPM 1997, 26-27 June 1997, Enschede, the Netherlands.

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. [Report]

Langerak, Rom and Brinksma, Ed and Katoen, Joost-Pieter (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland.

1996

Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV).

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. [Report]

D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata (Extended Abstract). In: Formal Techniques in Real-Time and Fault-Tolerant Systems, 4th International Symposium, FTRTFT'96, September 9-13, 1996, Uppsala, Sweden.

Katoen, Joost-Pieter and Brinksma, Ed and Latella, Diego and Langerak, Rom (1996) Stochastic simulation of event structures. In: Fourth Process Algebra and Performance Modelling Workshop, PAPM '96, 4-5 July 1996, Torino, Italy.

1995

Brinksma, Ed (1995) Performance and Formal Design: A Process-Algebraic Perspective. In: Sixth International Workshop on Petri Nets and Performance Models, 3-6 Oct. 1995, Durham, USA.

Brinksma, Ed and Katoen, Joost-Pieter and Langerak, Rom and Latella, Diego (1995) A stochastic causality-based process algebra. The Computer Journal, 38 (7). pp. 552-565. ISSN 0010-4620

Brinksma, Ed and Langerak, Rom (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13 . pp. 2-13. ISSN 1015-7999

Brinksma, Ed and Rensink, Arend and Vogler, Walter (1995) Fair Testing. In: 6th International Conference on Concurrency Theory, CONCUR 1995, August 21–24, 1995 , Philadelphia, PA, USA.

1994

Vis, J. and Brinksma, H. and de By, R.A. (1994) Formal Specification of Distributed Information Systems. In: CAiSE'94 workshop on Formal Descriptions of Distributed Information Systems, Utrecht, The Netherlands.

1991

Brinksma, Ed and Scollo, Giuseppe and Vissers, Chris A. (1991) Guest editorial: Introduction to the PSTV-IX. Computer Networks and ISDN Systems, 22 (1). pp. 1-6. ISSN 0169-7552

Vissers, Chris A. and Scollo, Giuseppe and Sinderen van, Marten and Brinksma, Ed (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975

1987

Bolognesi, Tomasso and Brinksma, Ed (1987) Introduction to the ISO specification language LOTOS. Computer Networks and ISDN Systems, 14 (1). pp. 25-59. ISSN 0169-7552