EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Brinksma, H.
Home Policy Brochure Browse Search User Area Contact Help

2011

Timmer, M. and Brinksma, H. and Stoelinga, M.I.A. (2011) Model-Based Testing. In: Software and Systems Safety: Specification and Verification. NATO Science for Peace and Security Series D: Information and Communication Security 30. IOS Press, Amsterdam, pp. 1-32. ISSN 1874-6268 ISBN 978-1-60750-710-9

2008

Bouyer, P. and Brinksma, H. and Larsen, K.G. (2008) Optimal infinite scheduling for multi-priced timed automata. Formal Methods in System Design, 32 (1). pp. 3-23. ISSN 0925-9856 *** ISI Impact 1,132 ***
Brinksma, H. and Hooman, J. (2008) Dependability for high-tech systems: an industry-as-laboratory approach. (Invited) In: Design, Automation and Test in Europe, 2008. DATE '08, 10-14 March 2008, Munich. pp. 1226-1231. IEEE Computer Society. ISBN 978-3-9810801-4-8

2007

Brinksma, H. (2007) The Challenges of Embedded Systems Engineering. In: Hybrid Systems: Computation and Control, 10th International Workshop, HSCC 2007, 03-05 April 2007, Pisa. 3. Lecture Notes in Computer Science 4416. Springer Verlag. ISBN 978-3-540-71492-7
Brinksma, H. and Hooman, J. (2007) Dependability for high-tech systems: an industry-as-laboratory approach. Technical Report ICIS-R07030, Radboud University, Nijmegen. ISSN 1571-5221

2006

Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. In: Automated Technology for Verification and Analysis, 23-26 Oct 2006. pp. 399-414. Lecture Notes in Computer Science 4218. Springer Verlag. ISBN 978-3-540-47237-7
Brandán Briones, L. and Brinksma, H. and Stoelinga, M.I.A. (2006) A Semantic Framework for Test Coverage. Technical Report TR-CTIT-06-24, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2005

Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Production Scheduling by Reachability Analysis - A Case Study. In: Workshop on Parallel and Distributed Real-Time Systems (WPDRTS), 4-5 Apr 2005, Denver, Colorado. 140a-140a. IEEE Computer Society. ISBN 0-7695-2312-9
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling Lacquer Production by Reachability Analysis -- A Case Study. Technical Report TR-CTIT-05-05, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Behrmann, G. and Brinksma, H. and Hendriks, M. and Mader, A.H. (2005) Scheduling lacquer production by reachability analysis - A case study. In: 16th IFAC World Congress, Prague, Czech Republic. MoA17TO3. International Federation of Automatic Control (IFAC). ISBN not assigned
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems (Extended Version). Technical Report TR-CTIT-05-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2005) Testing multi input-output real-time systems. In: Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005, 1-4 Nov 2005, Manchester, UK. pp. 264-279. Lecture Notes in Computer Science 3785. Springer Verlag. ISBN 3 540 29797 9
Brinksma, H. and Krilavičius, T. (2005) Behavioural Hybrid Process Calculus. Technical Report TR-CTIT-05-45, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brinksma, H. and Krilavičius, T. and Usenko, Y.S. (2005) A process-algebraic approach to hybrid systems. In: 16th IFAC World Congress, 3-8 Jul 2005, Prague, Czech Republic. IFAC. ISBN 008045108X
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (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. IEEE Computer Society. ISBN not assigned
Brinksma, H. and Mader, A.H. and Marincic, J. and Wieringa, R.J. (2005) A Modelling Method for Embedded Systems. Technical Report TR-CTIT-05-33, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. In: Proc. Ninth IEEE International EDOC Enterprise Computing Conference (EDOC), 19-23 Sep 2005, University of Twente, The Netherlands. pp. 58-69. IEEE Computer Society. ISBN 0-7695-2441-9
Jones, V.M. and Rensink, A. and Brinksma, H. (2005) Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise. Technical Report TR-CTIT-05-66, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

2004

Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems - extended version. Technical Report TR-CTIT-04-40, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Brandán Briones, L. and Brinksma, H. (2004) A test generation framework for quiescent real-time systems. In: Formal Approaches to Software Testing: 4th International Workshop, FATES 2004, 21 Sep 2004, Linz, Austria. pp. 64-78. Lecture Notes in Computer Science 3395. Springer Verlag. ISBN 978-3-540-25109-5
Brinksma, H. and Mader, A.H. (2004) On Verification Modelling of Embedded Systems. Technical Report TR-CTIT-04-03, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Jones, V.M. and Rensink, A. and Ruys, T.C. and Brinksma, H. and van Halteren, A.T. (2004) A formal MDA approach for mobile health systems. In: EWMDA-2, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations, 7-8 Sept 2004, Canterbury, England. pp. 28-35. University of Kent. ISBN not assigned

2003

Brinksma, H. (2003) Compositional Theories of Qualitative and Quantitative Behaviour. In: 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN), Eindhoven, The Netherlands. pp. 37-42. Springer-Verlag.
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 1. Automatisierungstechnik, 51 (8). pp. 13-16. ISSN 0178-2312 *** ISI Impact 0,212 ***
Brinksma, H. and Mader, A.H. (2003) Prozessalgebra, Teil 2. Automatisierungstechnik, 51 (9). pp. 17-20. ISSN 0178-2312 *** ISI Impact 0,212 ***
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, G.J. and Brinksma, H. (2003) TorX: Automated Model-Based Testing. In: First European Conference on Model-Driven Software Engineering, December 11-12, 2003, Nuremberg, Germany. pp. 31-43. ISBN not assigned

2002

Brinksma, H. and Mader, A.H. (2002) Model checking embedded system designs. (Invited) In: 6th Int. Workshop on Discrete Event Systems (WODES), Zaragoza, Spain. pp. 151-158. IEEE Computer Society. ISBN 0-7695-1683-1
Brinksma, H. and Mader, A.H. and Fehnker, A. (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
Mesman, B. and Spaanenburg, L. and Brinksma, H. and Deprettere, E.F. and Verhulst, E. and Timmer, F. and van Gageldonk, H. and Eggermont, L.D.J. and van Leuken, R. and Krol, T. and Hendriksen, W. (2002) Embedded Systems Roadmap -- Vision on technology for the future of PROGRESS. Technology Foundation STW, Utrecht. ISBN 90-73461-30-8
Tretmans, G.J. and Brinksma, H. (2002) Côte de Resyste -- Automated Model Based Testing. In: 3rd PROGRESS workshop on Embedded Systems, Veldhoven, The Netherlands. pp. 246-255. Technology Foundation STW. ISBN 90-73461-34-0

2001

Belinfante, A.F.E. and Brinksma, H. and Feenstra, J. and Tretmans, G.J. and de Vries, R.G. (2001) Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols. In: Mobile Communications in Perspective -- 7th Annual CTIT Workshop. pp. 49-51. Centre for Telematics and Information Technology University of Twente. ISBN 90-3651-546-7
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 3-540-42479-2
Brinksma, H. and Katoen, J.P. (2001) Hooggespannen verwachtingen model checking. Bits en Chips, 3 (4). pp. 31-34. ISSN 1879-6443
Brinksma, H. and Tretmans, G.J. (2001) Testing Transition Systems: An Annotated Bibliography. In: Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, June 19-23, 2000, Nantes, France. pp. 187-195. Lecture Notes in Computer Science 2067. Springer-Verlag. ISBN 3-540-42787-2
Larsen, K.G. and Behrmann, G. and Brinksma, H. and Fehnker, A. and Petterson, P. and Romijn, J.M.T. (2001) As Cheap as Possible:Efficient Cost-Optimal Reachability for Priced Timed Automata. In: Computer Aided Verification, 13th International Conference, CAV 2001, July 18-22, 2001, Paris, France. pp. 493-505. Lecture Notes in Computer Science. Springer Verlag. ISBN 3-540-42345-1
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 *** ISI Impact 1,342 ***

2000

Brinksma, H. (2000) Verification Is Experimentation! In: CONCUR 2000 - Concurrency Theory, 11th International Conference, August 22-25, 2000, University Park, PA, USA. pp. 17-24. Lecture Notes in Computer Science 1877. Springer Verlag. ISBN 3-540-67897-2
Brinksma, H. and Mader, A.H. (2000) Verification and Optimization of a PLC Control Schedule. In: 7th Int. SPIN Workshop on Model Checking of Software, Stanford Univ., California. pp. 73-92. Springer-Verlag. ISBN 3-540-41030-9
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. 3009-3015. CSREA Press. ISBN 1-892512-51-3

1999

Brinksma, H. (1999) Cache Consistency by Design. Distributed Computing, 12 (2/3). pp. 552-565. ISSN 0178-2770 *** ISI Impact 1,263 ***
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. 44-46. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1999) Specification and Analysis of Soft Real-Time Systems: Quantity and Quality. In: Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE, 12/01/1999 - 12/03/1999, Phoenix, AZ, USA. pp. 104-114. IEEE Computer Society. ISBN 0-7695-0475-2
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2

1998

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. 67-82. IFIP Conference Proceedings 131. Kluwer Academic Publishers. ISBN 0-412-84430-3
Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1998) An Algebraic Approach to the Specification of Stochastic Systems. Technical Report TR-CTIT-98-02, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
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. 391-397. IEE. ISBN 0852967101
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. 126-147. IFIP Conference Proceedings 125. Chapman & Hall. ISBN 0-412-83760-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T. (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 *** ISI Impact 1,132 ***
Ruys, T.C. and Brinksma, H. (1998) Experience with Literate Programming in the Modelling and Validation of Systems. In: Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98, March 28 - April 4, 1998, Lisbon, Portugal. pp. 393-408. Lecture Notes in Computer Science 1384. Springer Verlag. ISBN 3-540-64356-7

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. 143-166. IFIP International Federation for Information Processing. Chapman & Hall. ISSN 1571-5736 ISBN 0 412 81730 6
Brinksma, H. and Nymeyer, A. (1997) Process Algebra and Performance Modelling. Technical Report TR-CTIT-97-14, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
D'Argenio, P.R. and Katoen, J.P. and Brinksma, H. (1997) A Stochastic Automata Model and its Algebraic Approach. In: 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97), 26-27 Jun 1997, Enschede, the Netherlands. pp. 1-16. Technical Report TR-CTIT-97-14. Centre for Telematics and Information Technology University of Twente. ISSN 1381-3625
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland. pp. 317-332. Lecture Notes in Computer Science 1243. Springer Verlag. ISBN 3-540-63141-0

1996

Brinksma, H. and Rensink, A. and Vogler, W. (1996) Applications of Fair Testing. In: Protocol Specification, Testing and Verification XVI (PSTV). pp. 145-160. IFIP Conference Proceedings 69. Chapman & Hall. ISBN 0-412-79490-X
D'Argenio, P.R. and Brinksma, H. (1996) A Calculus for Timed Automata. Technical Report 96-13, University of Twente.
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. 110-129. Lecture Notes in Computer Science 1135. Springer Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) Stochastic simulation of event structures. In: Proceedings of the Fourth Process Algebra and Performance Modelling Workshop (PAPM'96). pp. 21-49. CLUT Press.

1995

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 1,000 ***
Brinksma, H. and Langerak, R. (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13. pp. 2-13. ISSN 1015-7999
Brinksma, H. and Rensink, A. and Vogler, W. (1995) Fair Testing. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 313-327. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7

1994

Brinksma, H. and Parrow, J. and Rensink, A. and Heymer, S. (1994) Specification of Systems: Theory in Search of Practice. Hildesheimer Informatik-Bericht 24/94, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014
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

Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1991) Specification styles in distributed systems design and verification. Theoretical Computer Science, 89 (1). pp. 179-206. ISSN 0304-3975 *** ISI Impact 0,643 ***

1989

Vissers, C.A. and Scollo, G. and van Sinderen, M.J. and Brinksma, H. (1989) On the use of specification styles in the design of distributed systems. (Invited) In: Third International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1989, Volume 2, 13-17 Mar 1989, Barcelona, Spain. pp. 60-60. Lecture Notes in Computer Science 352. Springer Verlag. ISBN 3-540-50940-2