Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003 | 2002 | 2001 | 2000 | 1999 | 1998 | 1997 | 1996 | 1995 | 1994 | 1991 | 1987
Number of items: 72.

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, A. van den (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 (pp. pp. 1226-1231).

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 (pp. p. 3).

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 (pp. pp. 399-414).

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 (pp. pp. 64-78).

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 (pp. pp. 264-279).

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 (pp. pp. 58-69).

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]

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 (pp. pp. 3-4).

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, Aart van (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 (pp. pp. 28-35).

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 (pp. pp. 37-42).

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 (pp. pp. 31-43).

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 (pp. pp. 151-158).

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 (pp. pp. 246-255).

2001

Belinfante, Axel 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, 8 February 2001, Enschede, the Netherlands (pp. pp. 49-51).

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 (pp. pp. 187-195).

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 (pp. pp. 493-505).

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 (pp. pp. 73-92).

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

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 (pp. pp. 3009-3015).

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 (pp. pp. 44-46).

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 (pp. pp. 104-114).

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 (pp. pp. 184-195).

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 (pp. pp. 67-82).

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 (pp. pp. 126-147).

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 (pp. pp. 391-397).

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 (pp. pp. 393-408).

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 (pp. pp. 143-166).

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 (pp. pp. 1-16).

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 (pp. pp. 317-332).

1996

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

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 (pp. pp. 110-129).

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 (pp. pp. 21-49).

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 (pp. pp. 124-125).

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 (pp. pp. 313-327).

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, Marten van 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

This list was generated on Fri Jul 25 05:22:17 2014 CEST.