Ed Brinksma

Research output

Research output per year 1987 1990 1991 1992 1993 1994 1995 1996 1997 1998 2001 2004 2005 2017

• 49 Conference contribution
• 30 Report
• 24 Article
• 15 Chapter
• 29 More
  • 14 Paper
  • 4 Book
  • 3 Book editing
  • 3 Other contribution
  • 2 Abstract
  • 1 Inaugural speech
  • 1 Conference article
  • 1 Working paper

Research output per year

Research output per year

Search results

• 2017

  Testing Divergent Transition Systems

  Brinksma, E., Stoelinga, M. & Timmer, M., 25 Jul 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingolfsdottir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 339 366 p. (Lecture Notes in Computer Science; vol. 10460).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File

  • Transition System 100%
  • Testing 100%
  • Contexts 60%
  • Input/Output 60%
  • Standards 40%
  246 Downloads (Pure)
• 2011

  Model-Based Testing

  Timmer, M., Brinksma, H. & Stoelinga, M. I. A., Apr 2011, Software and Systems Safety: Specification and Verification. Broy, M., Leuxner, C. & Hoare, C. A. R. (eds.). Amsterdam: IOS, p. 1-32 32 p. (NATO Science for Peace and Security Series D: Information and Communication Security; vol. 30, no. 30).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  File
  608 Downloads (Pure)
• 2010

  Duurzaam onderwijs

  Brinksma, H., 26 Nov 2010, Redevoeringen 49ste Dies Natalis: Duurzame wetenschap. Brinksma, H. & Bressers, J. T. A. (eds.). Enschede: University of Twente, p. 4-19 16 p.

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  Open Access

  File
  62 Downloads (Pure)
• 2009

  Redevoeringen dies natalis : 48ste dies natalis, 27-11-2009

  Brinksma, H. & van den Berg, A., 27 Nov 2009, Enschede: University of Twente. 46 p.

  Research output: Book/Report › Inaugural speech › Other research output

  Open Access

  File
  155 Downloads (Pure)
• 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, p. 1226-1231 6 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  3 Citations (Scopus)

  224 Downloads (Pure)

• Optimal infinite scheduling for multi-priced timed automata

  Bouyer, P., Brinksma, E. & Larsen, K. G., Feb 2008, In: Formal methods in system design. 32, 1, p. 3-23 21 p.

  Research output: Contribution to journal › Conference article › Academic › peer-review

  • Corner Point 100%
  • Wide Class 100%
  • Finite Graph 100%
  • Classes 100%
  • Modeling 100%
  55 Citations (Scopus)

  53 Downloads (Pure)
• 2007

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

  Brinksma, H. & Hooman, J., Dec 2007, Nijmegen: Radboud University. 6 p. (Technical Report of the Radboud University Nijmegen. Institute for Computing and Information Sciences; no. 7/ICIS-R07030)

  Research output: Book/Report › Report › Professional

  1 Downloads (Pure)

• 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 proceeding › Conference contribution › Academic › peer-review

  • Embedded System Design 100%
  • Hybrid Modeling 50%
  • Software Complexity 50%
  • Digital Control 50%
  • Physical Platform 50%
  1 Downloads (Pure)
• 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 proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Semantics 100%
  • Coverage Test 100%
  • Testing 66%
  • Algorithms 66%
  • Models 33%
  175 Downloads (Pure)

• A Semantic Framework for Test Coverage

  Brandan Briones, L., Brinksma, E. & Stoelinga, M., 10 Dec 2006, Enschede: Centre for Telematics and Information Technology (CTIT). 31 p. (CTIT Technical Report Series; no. 06-24)

  Research output: Book/Report › Report › Professional

  File
  14 Citations (Scopus)

  121 Downloads (Pure)

• A Semantic Framework for Test Coverage (Extended Version)

  Brinksma, E., Stoelinga, M. & Brandan Briones, L., 2006, University of Twente, 23 p.

  Research output: Working paper

  File

  • Extended Version 100%
  • Semantics 100%
  • Coverage Test 100%
  • Models 66%
  • Testing 66%
  43 Downloads (Pure)
• 2005

  A Modelling Method for Embedded Systems

  Brinksma, E., Mader, A., Marincic, J. & Wieringa, R., Jul 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 4 p. (CTIT Technical Report Series; no. 05-33)

  Research output: Book/Report › Report › Professional

  Open Access

  File

  • product family 100%
  • Stepwise Refinement 100%
  • Computer Aided Analysis 100%
  • Modeling Error 100%
  • Frame Problem 100%
  57 Downloads (Pure)

• A Modelling Method for Embedded Systems

  Brinksma, E., Mader, A., Marincic, J. & Wieringa, R., Oct 2005. 4 p.

  Research output: Contribution to conference › Paper › peer-review

  Open Access

  File

  • Models 100%
  • Embedded Systems 100%
  • Modeling Process 25%
  • product family 25%
  • Design 25%
  54 Downloads (Pure)

• 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 proceeding › Conference contribution › Academic › peer-review

  File
  13 Citations (Scopus)

  161 Downloads (Pure)

• Behavioural Hybrid Process Calculus

  Brinksma, H. & Krilavicius, T., 4 Oct 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT technical report series; no. 1381-3625)

  Research output: Book/Report › Report › Professional

  File

  • Calculus 100%
  • Process Algebra 100%
  • Modeling 66%
  • Events 66%
  • Dynamical System 66%
  155 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 proceeding › Conference contribution › Academic › peer-review

  • Driven Development 100%
  • Application Modeling 50%
  • Development Methodology 50%
  • Clinical Setting 50%
  18 Downloads (Pure)

• Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

  Jones, V. M., Rensink, A. & Brinksma, H., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

  Research output: Book/Report › Report › Professional

  File
  13 Citations (Scopus)

  205 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, p. 140a-140a

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File

  • Timed Automaton 100%
  • Case Study 100%
  • Reachability Analysis 100%
  • Production Scheduling 100%
  • Models 40%
  24 Citations (Scopus)

  139 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 proceeding › Conference contribution › Academic › peer-review

  File
  180 Downloads (Pure)

• Scheduling Lacquer Production by Reachability Analysis -- A Case Study

  Behrmann, G., Brinksma, H., Hendriks, M. & Mader, A. H., Feb 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 6 p. (CTIT Technical Report Series; no. TR-CTIT-05-05)

  Research output: Book/Report › Report › Professional

  File
  10 Citations (Scopus)

  233 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 proceeding › Conference contribution › Academic › peer-review

  File
  20 Citations (Scopus)

  150 Downloads (Pure)

• Testing multi input-output real-time systems (Extended Version)

  Brandan Briones, L. & Brinksma, H., Sept 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 20 p. (CTIT Technical Report Series; no. TR-CTIT-05-40)

  Research output: Book/Report › Report › Professional

  File
  39 Downloads (Pure)
• 2004

  A formal MDA approach for mobile health systems

  Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sept 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.). Kent, UK: University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  Open Access

  File

  • Rapid Deployment 100%
  73 Downloads (Pure)

• A test generation framework for quiescent real-time systems

  Brandan Briones, L. & Brinksma, H., Sept 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 proceeding › Conference contribution › Academic › peer-review

  File
  46 Citations (Scopus)

  142 Downloads (Pure)

• A test generation framework for quiescent real-time systems - extended version

  Brandan Briones, L. & Brinksma, H., Oct 2004, Enschede: INF-Centre for Telematics and Information Techn. 20 p. (CTIT technical report series; no. TR-CTIT-04-40)

  Research output: Book/Report › Report › Professional

  File
  61 Downloads (Pure)

• Guest editorial: Design, implementation, and analysis of communication protocols

  Brinksma, H., Hao, R., Lee, D. & Miller, R. E., 2004, In: IEEE journal on selected areas in communications. 22, 10, p. 1917-1919

  Research output: Contribution to journal › Article › Academic

  File
  144 Downloads (Pure)

• On Verification Modelling of Embedded Systems

  Brinksma, H. & Mader, A. H., Jan 2004, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. 04-03)

  Research output: Book/Report › Report › Professional

  Open Access

  File
  66 Downloads (Pure)

• Staying alive as cheaply as possible

  Bouyer, P., Brinksma, E. & Larsen, K. G., 25 Mar 2004, Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings. Alur, R. & Pappas, G. J. (eds.). Berlin, Heidelberg: Springer, p. 203-218 16 p. (Lecture Notes in Computer Science; vol. 2993).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Corner Point 100%
  • Wide Class 100%
  • Finite Graph 100%
  • Classes 100%
  • Modeling 100%
  53 Citations (Scopus)

  13 Downloads (Pure)

• 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, p. 3-4 36 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Test Generation 100%
  • Reactive System 25%
  • Functional Test 25%
  4 Downloads (Pure)
• 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 proceeding › Conference contribution › Academic › peer-review

  File
  175 Downloads (Pure)

• Managing the Verification Trajectory

  Ruys, T. C. & Brinksma, E., Feb 2003, In: International journal on software tools for technology transfer. 4, 2, p. 246-259 14 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  • Software Configuration Management 100%
  • Verification Process 100%
  8 Citations (Scopus)

  9 Downloads (Pure)

• Prozessalgebra, Teil 1

  Brinksma, H. & Mader, A. H., 2003, In: Automatisierungstechnik. 51, 8, p. 13-16 4 p.

  Research output: Contribution to journal › Article › Professional
  1 Citation (Scopus)

• Prozessalgebra, Teil 2

  Brinksma, H. & Mader, A. H., 2003, In: Automatisierungstechnik. 51, 9, p. 17-20 4 p.

  Research output: Contribution to journal › Article › Professional

• 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 proceeding › Conference contribution › Academic › peer-review

  File
  704 Downloads (Pure)
• 2002

  Bètavrouw en carrière

  Brinksma, H., Hendriks, J., Hulscher, S. J. M. H., Spijk, J., Visser, M. & Vreugdenhil, J. M., 2002, Utrecht: NIMF. 53 p.

  Research output: Book/Report › Report › Other research output

• Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002: Proceedings

  Brinksma, E. (Editor) & Larsen, K. G. (Editor), 2002, Berlin, Heidelberg: Springer. 626 p. (Lecture Notes in Computer Science; vol. 2404)

  Research output: Book/Report › Book editing › Academic

  Open Access

  File
  761 Downloads (Pure)

• 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 proceeding › Conference contribution › Academic

  File
  110 Downloads (Pure)

• Embedded Systems Roadmap 2002: Vision on technology for the future of PROGRESS

  Mesman, B., Spaanenburg, B., Brinksma, E., Deprettere, E., Verhulst, E., Timmer, F., van Gageldonk, H., Eggermont, L. D. J., van Leuken, R., Krol, T. & Hendriksen, W., Mar 2002, Utrecht: STW. 178 p.

  Research output: Book/Report › Book › Academic

  Open Access

  File
  251 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, p. 151-158 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  File
  5 Citations (Scopus)

  177 Downloads (Pure)

• Verification and Optimization of a PLC Control Schedule

  Brinksma, E., Mader, A. & Fehnker, A., 2002, In: International journal on software tools for technology transfer. 4, 1, p. 21-33 13 p.

  Research output: Contribution to journal › Article › Academic › peer-review

  Open Access

  File

  • Time-Optimal Schedule 100%
  • Chemical Plant 100%
  • Space Requirement 100%
  26 Citations (Scopus)

  110 Downloads (Pure)
• 2001

  As Cheap as Possible: Efficient Cost-Optimal Reachability for Priced Timed Automata

  Larsen, K., Behrmann, G., Brinksma, E., Fehnker, A., Hune, T., Pettersson, P. & Romijn, J., 2001, Computer Aided Verification: 13th International Conference, CAV 2001 Paris, France, July 18–22, 2001 Proceedings. Berry, G., Comon, H. & Finkel, A. (eds.). Heidelberg: Springer, Vol. 2102. p. 493-505 13 p. (Lecture Notes in Computer Science; vol. 2102).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

  • Region 100%
  • Cost 100%
  • Timed Automaton 100%
  • Costs 100%
  • Extension 50%
  115 Citations (Scopus)

  211 Downloads (Pure)

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

  Belinfante, A., Brinksma, E., Feenstra, J., Tretmans, J. & de Vries, R., 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 proceeding › Conference contribution › Academic › peer-review

  1 Downloads (Pure)

• Design of a PLC Control Program for a Batch Plant

  Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N., 2001, In: European journal of control. 7, 4, p. 416-439 23 p.

  Research output: Contribution to journal › Article › Academic

• Design of a PLC Control Program for a Batch Plant, VHS Case Study 1

  Brinksma, H., Mader, A. H., Wupper, H. & Bauer, N., 2001, In: European journal of control. 7, 4, p. - 439 p.

  Research output: Contribution to journal › Article › Academic › peer-review

• Design of a PLC Control Program for a Batch Plant - VHS Case Study 1

  Mader, A. H., Brinksma, H., Wupper, H. & Bauer, N., 2001, In: European journal of control. 7, 4, p. 416-439 24 p., 10.3166/ejc.7.416-439.

  Research output: Contribution to journal › Article › Academic › peer-review

  File
  4 Citations (Scopus)

  270 Downloads (Pure)

• Hooggespannen verwachtingen model checking

  Brinksma, H. & Katoen, J. P., 2001, In: Bits en chips. 3, 4, p. 31-34 4 p.

  Research output: Contribution to journal › Article › Academic
  1 Downloads (Pure)

• Hooggespannen verwachtingen model checking

  Brinksma, H. & Katoen, J. P., 2001, In: Bits en chips. 3, 4, p. - 4 p.

  Research output: Contribution to journal › Article › Professional

• Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

  Brinksma, H. (Editor), Hermanns, H. (Editor) & Katoen, J. P. (Editor), Aug 2001, Berlin: Springer. 430 p. (Lecture Notes in Computer Science; vol. 2090)

  Research output: Book/Report › Book editing › Academic

  File
  181 Downloads (Pure)

• Proceedings of the Workshop on Formal Approaches to Testing of Software, FATES'01, Aalborg, Denmark, August 25, 2001

  Brinksma, H. (Editor) & Tretmans, G. J. (Editor), 25 Aug 2001, Arhus, Denmark: BRICS, University of Aarhus. 156 p.

  Research output: Book/Report › Book editing › Academic

  File
  94 Downloads (Pure)

• Process Algebra and Markov Chains

  Brinksma, H. & Hermanns, H., Jul 2001, Lectures on Formal Methods and Performance Analysis. Brinksma, H., Hermanns, H. & Katoen, J. P. (eds.). Berlin: Springer, p. 183-231 49 p. (Lecture Notes in Computer Science; vol. 2090).

  Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

  • Concludes 100%
  • Markovian Stochastic Process 100%
  • Stochastic Process 85%
  48 Citations (Scopus)

  8 Downloads (Pure)