Hendrik Brinksma

prof.dr.

1987 …2017

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2008

    Dependability for high-tech systems: an industry-as-laboratory approach

    Brinksma, H. & Hooman, J., 14 Mar 2008, Design, Automation and Test in Europe, 2008. DATE '08. Piscataway: IEEE Computer Society, p. 1226-1231 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    3 Citations (Scopus)
    109 Downloads (Pure)
  • 2007

    The Challenges of Embedded Systems Engineering

    Brinksma, E., 3 Apr 2007, Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings. Bemporad, A., Bicchi, A. & Buttazzo, G. (eds.). Berlin: Springer, p. 3-3 (Lecture Notes in Computer Science; vol. 4416, no. 7).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2006

    A Semantic Framework for Test Coverage

    Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    91 Downloads (Pure)
  • 2005

    A process-algebraic approach to hybrid systems

    Brinksma, H., Krilavicius, T. & Usenko, Y. S., Jul 2005, 16th IFAC World Congress. Pitzek, P. (ed.). IFAC, p. - 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    12 Citations (Scopus)
    92 Downloads (Pure)
  • Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

    Jones, V., Rensink, A. & Brinksma, E., 2005, Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05). van Sinderen, M. J., Steen, M. W. A., Lankhorst, M. M., Aleksy, M. & Hung, P. C. K. (eds.). Los Alamitos, CA: IEEE, p. 58-69 12 p. (IEEE International EDOC Enterprise Computing Conference; vol. 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Downloads (Pure)
  • Production Scheduling by Reachability Analysis - A Case Study

    Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Apr 2005, Workshop on Parallel and Distributed Real-Time Systems (WPDRTS). Los Alamitos, California: IEEE Computer Society Press, p. 140a-140a

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    24 Citations (Scopus)
    97 Downloads (Pure)
  • Scheduling lacquer production by reachability analysis - A case study

    Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Jul 2005, 16th IFAC World Congress. Horacek, P., Simandl, M. & Zitek, P. (eds.). Laxenburg, Austria: Elsevier, p. MoA17TO3

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    75 Downloads (Pure)
  • Testing multi input-output real-time systems

    Brandan Briones, L. & Brinksma, H., Nov 2005, Formal Methods and Software Engineering: 7th International Conference on Formal Engineering Methods, ICFEM 2005. Lau, K. K. & Banach, R. (eds.). Berlin: Springer, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 3785).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    18 Citations (Scopus)
    67 Downloads (Pure)
  • 2004

    A formal MDA approach for mobile health systems

    Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sep 2004, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Akehurst, D. H. (ed.). University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    20 Downloads (Pure)
  • A test generation framework for quiescent real-time systems

    Brandan Briones, L. & Brinksma, H., Sep 2004, Formal Approaches to Software Testing: 4th International Workshop, FATES 2004. Grabowski, J. & Nielsen, B. (eds.). Berlin: Springer, p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 3395, no. X).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    43 Citations (Scopus)
    77 Downloads (Pure)
  • Staying alive as cheaply as possible

    Bouyer, P., Brinksma, H. & Larsen, K. G., 25 Mar 2004, Hybrid systems: computation and control. Alur, R. & Pappas, G. J. (eds.). Berlin: Springer, p. 203-218 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    51 Citations (Scopus)
  • Testing times: on model-driven test generation for non-deterministic real-time systems

    Brinksma, H., 16 Jun 2004, Fourth international conference on application of concurrency to system design: ACSD 2004. Kishinevsky, M. & Darondeau, P. (eds.). Los Alamitos: IEEE Computer Society, p. 3-4 36 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 2003

    Compositional Theories of Qualitative and Quantitative Behaviour

    Brinksma, H., Jan 2003, 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN). van der Aalst, W. & Best, E. (eds.). Heidelberg: Springer, p. 37-42 6 p. (Lecture Notes in Computer Science 2679; vol. 2679, no. XI).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    94 Downloads (Pure)
  • TorX: Automated Model-Based Testing

    Tretmans, G. J. & Brinksma, H., Dec 2003, First European Conference on Model-Driven Software Engineering. Hartman, A. & Dussa-Ziegler, K. (eds.). p. 31-43 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    438 Downloads (Pure)
  • 2002

    Côte de Resyste -- Automated Model Based Testing

    Tretmans, G. J. & Brinksma, H., 2002, 3rd PROGRESS workshop on Embedded Systems. Schweizer, M. (ed.). Utrecht: STW, p. 246-255 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    File
    59 Downloads (Pure)
  • Model checking embedded system designs

    Brinksma, H. & Mader, A. H., Oct 2002, 6th Int. Workshop on Discrete Event Systems (WODES). Los Alamitos, California: IEEE Computer Society, p. 151-158 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    5 Citations (Scopus)
    88 Downloads (Pure)
  • 2001

    Côte de Resyste -- Automatic Model-Based Testing of Communication Protocols

    Belinfante, A., Brinksma, H., Feenstra, J., Tretmans, G. J. & de Vries, R. G., 2001, Mobile Communications in Perspective -- 7th Annual CTIT Workshop. Heemstra de Groot, S. M. (ed.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 49-51 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Testing Transition Systems: An Annotated Bibliography

    Brinksma, H. & Tretmans, G. J., 2001, Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000. Cassez, F., Jard, C., Rozoy, B. & Ryan, M. D. (eds.). Berlin: Springer, p. 187-195 9 p. (Lecture Notes in Computer Science; vol. 2067).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 2000

    Model Checking: Verification or Debugging?

    Ruys, T. C. & Brinksma, H., 22 Feb 2000, Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA 2000). Las Vegas, Nevada, USA, p. 3009-3015 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Testing Transition Systems: An Annotated Bibliography

    Brinksma, H. & Tretmans, G. J., 21 Feb 2000, MOVEP'2k MOdelling and VErification of Parallel processes. Nantes, France, p. 44-50 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Verification and Optimization of a PLC Control Schedule

    Brinksma, H. & Mader, A. H., Aug 2000, 7th Int. SPIN Workshop on Model Checking of Software. Havelund, K., Penix, J. & Visser, W. (eds.). Berlin: Springer, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    21 Citations (Scopus)
    112 Downloads (Pure)
  • Verification Is Experimentation!

    Brinksma, E., 2000, CONCUR 2000 — Concurrency Theory : 11th International Conference University Park, PA, USA, August 22–25, 2000, Proceedings. Palamidessi, C. (ed.). Springer, p. 17-24 8 p. (Lecture Notes in Computer Science; vol. 1877).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • 1999

    A complete finite prefix for process algebra

    Langerak, R. & Brinksma, H., 14 Feb 1999, Proceedings CAV'99, LNCS 1663. Trento, Italy, p. 184-195 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • Formal Methods for Conformance Testing: Theory Can Be Practical

    Brinksma, H., 9 Jul 1999, Proceedings of Computer Aided Verification Lecture Notes in Computer Science 1633. Trento, Italy, p. 44-46 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)
  • Specification and Analysis of Soft Real-Time Systems: Quantity and Quality

    d' Argenio, P. R., Katoen, J. P. & Brinksma, H., Jan 1999, Real-Time Systems Symposium, 1999. Proceedings. The 20th IEEE. Los Alamitos: IEEE, p. 104-114 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    16 Citations (Scopus)
    94 Downloads (Pure)
  • 1998

    A Compositional Approach to Generalised semi-Markov Processes

    d' Argenio, P. R., Katoen, J. P. & Brinksma, E., 1998, WODES'98: International Workshop on Discrete Event Systems: 26-28 August 1998, Grand Hotel Chia Laguna, Cagliari, Sardinia. Giua, A., Smedinga, R. & Spathopoulos, M. P. (eds.). London: Institution of Electrical Engineers (IEE), p. 391-397 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

    d' Argenio, P. R., Katoen, J-P. & Brinksma, E., Jun 1998, Programming Concepts and Methods PROCOMET ’98: IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA. Gries, D. & de Roever, W-P. (eds.). Chapman & Hall, p. 126-147 22 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Experience with Literate Programming in the Modelling and Validation of Systems

    Ruys, T. C. & Brinksma, H., 1998, Tools and Algorithms for Construction and Analysis of Systems, 4th International Conference, TACAS '98. Steffen, B. (ed.). Berlin: Springer, p. 393-408 16 p. (Lecture Notes in Computer Science; vol. 1384).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
  • General Purpose Discrete Event Simulation

    d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 11 Feb 1998, 6th Internation Workshop on Process Algebra and Performance Modeling (PAPM'98). Nice, France, p. 85-102 18 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1997

    A Stochastic Automata Model and its Algebraic Approach

    d' Argenio, P. R., Katoen, J. P. & Brinksma, H., 1997, 5th International Workshop on Process Algebra and Performance Modeling (PAPM'97). Enschede: Centre for Telematics and Information Technology (CTIT), p. 1-16 16 p. (CTIT Technical Report Series; no. 97-14).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    35 Downloads (Pure)
  • Causal ambiguity and partial orders in event structures

    Langerak, R., Brinksma, H. & Katoen, J. P., 2 Jul 1997, Proceedings of CONCUR'97, Eighth International Conference on Concurrency Theory (A. Mazurkiewicz, J. Winkowski (Eds.); LNCS 1243, Springer Verlag. Warsaw, Poland, p. - 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Developments in testing transition systems

    Brinksma, H., Heerink, A. W. & Tretmans, G. J., 30 Sep 1997, Proceedings 10th IFIP International. Cheju Island, Korea, p. - 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Tools and Algorithms for the Construction and Analysis of Systems

    Brinksma, H., 2 Apr 1997, TACAS'97, Lecture Notes in Computer Science 1217 (Springer Verlag) (editor). University of Twente, Enschede, p. - 431 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1996

    A Calculus for Timed Automata (Extended Abstract)

    D'Argenio, P. R. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996. Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer, p. 110-129 20 p. (Lecture Notes in Computer Science; vol. 1135).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    83 Downloads (Pure)
  • A Consistent Causality-Based View on a Timed Process Algebra

    Katoen, J-P., Latella, D., Langerak, R., Brinksma, E. & Bolognesi, T., 18 Nov 1996, Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, p. 3-21 19 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • On specifying real-time systems in a causality-based setting

    Katoen, J-P., Langerak, R., Latella, D. & Brinksma, E., 1996, Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium Uppsala, Sweden, September 9–13, 1996, Proceedings. Jonsson, B. & Parrow, J. (eds.). Berlin, Heidelberg: Springer, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    28 Citations (Scopus)
    73 Downloads (Pure)
  • Stochastic simulation of event structures

    Katoen, J-P., Brinksma, E., Latella, D. & Langerak, R., 1996, Proceedings of the Fourth Workshop on Process Algebra and Performance Modelling: Torino, 4-5 July 1996. Ribaudo, M. (ed.). CLUT, p. 21-49 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    19 Downloads (Pure)
  • Using Formal Methods: if you're so smart, how come you ain't rich?

    Brinksma, H., 9 Oct 1996, Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, p. 333-333 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Validation in Context

    Heerink, A. W. & Brinksma, H., 1 Jun 1996, Proceedings of Protocol Specification, Testing and Verification XV, IFIP WG6.1. Warsaw, Poland, p. 221-236 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1995

    Fair Testing

    Brinksma, H., Rensink, A. & Vogler, W., 8 Feb 1995, CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. Lee, I. & Smolka, S. A. (eds.). p. 313-327 (Lecture notes in computer science; vol. 962).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    66 Citations (Scopus)
    54 Downloads (Pure)
  • Performance and formal design: a process algebraic perspective

    Brinksma, H., 3 Oct 1995, Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995. Durham, U.S.A.: IEEE, p. 124-125

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    1 Citation (Scopus)
    65 Downloads (Pure)
  • 1994

    Performance analysis and true concurrency semantics (extended abstract)

    Brinksma, H., Katoen, J. P., Langerak, R. & Latella, D., 1 Dec 1994, 2nd Workshop on process algebras and performance modelling. Erlangen, p. 157-174

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1992

    On the Design and Implementation of Distributed Systems Using LOTOS

    Brinksma, H., 15 Apr 1992, Proceedings 10th SBRC. Recife, Brazilie, p. - 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1991

    A framework for test selection

    Brinksma, H., Tretmans, G. J. & Verhaard, L., 17 Jun 1991, PSTV XI (11th International Symporsium on Protocol Specification, Testing and Verification. Stockholm, Zweden, p. 233-248 16 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Introduction to the PSTV-XI

    Brinksma, H., Scollo, G. & Vissers, C. A., 1 Sep 1991, 1991 Editoral Computer Networks and ISDN Systems 22 (1991). Noord-Holland: Elsevier, p. 1-6 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    76 Downloads (Pure)
  • Protocol conformance testing: a formal perspective on ISO IS-9646

    Tretmans, G. J., Kars, W. T. M. & Brinksma, H., 1 Sep 1991, IWPTS IV (International Workshop on Protocol Test Systems). Leidschendam, p. - 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Refining Interfaces of Cummunicating Systems

    Brinksma, E., Orava, F. & Jonsson, B., 8 Apr 1991, TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg: Springer, p. 297-312 16 p. (Lecture Notes in Computer Science; vol. 494).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    19 Citations (Scopus)
  • What is the method in formal methods

    Brinksma, H., 19 Nov 1991, FORTE 1991 (Fourth International Conference on Formal Description Techniques), invited. Sydney, Australia, p. - 20 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1990

    A formal approach to testing distibuted systems (abstract)

    Brinksma, H., 3 Oct 1990, 2nd Nordic workshop on Program Correctness. Aalborg, Denemarken, p. - 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review