Research Output 1987 2017

Filter
Conference contribution
2008
3 Citations

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: Scientific - peer-reviewConference contribution

Consumer electronics
Embedded systems
Costs
Industry
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: Scientific - peer-reviewConference contribution

Embedded systems
Embedded software
Systems analysis
Hardware
System theory
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 Verlag, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218)

Research output: Scientific - peer-reviewConference contribution

Specifications
Syntactics
Semantics
Testing
Costs
2005

A Modelling Method for Embedded Systems

Brinksma, H., Mader, A. H., Marincic, J. & Wieringa, R. J. Oct 2005 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. IEEE Computer Society, p. - 4 p.

Research output: Scientific - peer-reviewConference contribution

Embedded systems
Computer aided analysis
Blueprints
Decomposition
2 Citations

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: Scientific - peer-reviewConference contribution

Algebra
Dynamical systems
Equivalence classes
Discrete event simulation
Chemical analysis

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

Jones, V. M., Rensink, A. & Brinksma, H. 2005 Proc. Ninth IEEE International EDOC Enterprise Computing Conference (EDOC). Los Alamitos, USA: IEEE, p. 58-69 12 p.

Research output: Scientific - peer-reviewConference contribution

Health
Industry
Software engineering
Servers
19 Citations

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: Scientific - peer-reviewConference contribution

Scheduling
Model checking
Lacquers
Specifications
Planning

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: Scientific - peer-reviewConference contribution

Scheduling
Lacquers
Costs
Explosions
Experiments
14 Citations

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 Verlag, p. 264-279 16 p. (Lecture Notes in Computer Science; vol. 3785)

Research output: Scientific - peer-reviewConference contribution

Testing
2004

A formal MDA approach for mobile health systems

Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A. 7 Sep 2004 Second European workshop on model driven architecture (MDA). Akehurst, D. H. (ed.). Canterbury, UK: University of Kent, Computing laboratory, p. 28-35

Research output: Scientific - peer-reviewConference contribution

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 Verlag, p. 64-78 15 p. (Lecture Notes in Computer Science; vol. 3395, no. X)

Research output: Scientific - peer-reviewConference contribution

Real time systems
Specification languages
Data structures
Testing
43 Citations

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: Scientific - peer-reviewConference contribution

Timed automata
Schedule
Feature modeling
Optimality criteria
Finite graph

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: Scientific - peer-reviewConference contribution

Testing
Black-box testing
Embedded software
Formal methods
Real time systems
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 Verlag, p. 37-42 6 p. (Lecture Notes in Computer Science 2679; vol. 2679, no. XI)

Research output: Scientific - peer-reviewConference contribution

Formal methods
Random processes
Embedded systems
Algebra

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: Scientific - peer-reviewConference contribution

Testing
Formal methods
Specifications
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 Technology Foundation, p. 246-255 10 p.

Research output: ScientificConference contribution

Testing
Embedded software
Formal methods
Specifications
5 Citations

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: Scientific - peer-reviewConference contribution

Model checking
Hardware
Controllers
Embedded systems
Cost functions
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: Scientific - peer-reviewConference contribution

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 Verlag, p. 187-195 9 p. (Lecture Notes in Computer Science; vol. 2067)

Research output: ScientificConference contribution

Bibliographies
Testing
Semantics
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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

20 Citations

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 Verlag, p. 73-92 20 p. (Lecture Notes in Computer Science; vol. 1885)

Research output: Scientific - peer-reviewConference contribution

Programmable logic controllers
Controllers
Chemical plants
Model checking
Hybrid systems
1 Citations

Verification is Experimentation!

Brinksma, H. 21 Feb 2000 CONCUR 2000 - Concurrency Theory. University Park, PA, USA, p. 17-24 8 p.

Research output: Scientific - peer-reviewConference contribution

1999
10 Citations

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: Scientific - peer-reviewConference contribution

9 Citations

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: Scientific - peer-reviewConference contribution

16 Citations

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: Scientific - peer-reviewConference contribution

Algebra
Specifications
Discrete event simulation
Probability distributions
Clocks
1998

A Compositional Approach to Generalised Semi-Markov Processes

d' Argenio, P. R., Katoen, J. P. & Brinksma, H. 11 Feb 1998 4th International Workshop on Discrete Event Systems (WODES'98). Gagliari, Italy, p. 391-397 7 p.

Research output: Scientific - peer-reviewConference contribution

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

d' Argenio, P. R., Katoen, J. P. & Brinksma, H. 8 Feb 1998 IFIP Working Conference on Programming Concepts and Methods, PROCOMET'98. Skelter Island, New York, USA, p. 126-147 22 p.

Research output: Scientific - peer-reviewConference contribution

14 Citations

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 Verlag, p. 393-408 16 p. (Lecture Notes in Computer Science; vol. 1384)

Research output: Scientific - peer-reviewConference contribution

Formal methods
Trajectories

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: Scientific - peer-reviewConference contribution

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. (Technical Report; vol. TR-CTIT-97-14)

Research output: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

1996

A Calculus for Timed Automata

d' Argenio, P. R. & Brinksma, H. 9 Sep 1996 Proceedings of the Fourth International School and Symposium on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT'96), Lecture Notes in Computer Science 1135, Springer Verlag. Uppsala, Sweden, p. 110-129 20 p.

Research output: Scientific - peer-reviewConference contribution

A Consistent Causality-Based View on a Timed Process Algebra

Katoen, J. P., Latella, D., Langerak, R., Brinksma, H. & Bolognesi, T. 18 Nov 1996 Proceedings of the 3rd AMAST Workshop on Real-Time Systems. Salt Lake City, Utah, p. 212-227 16 p.

Research output: Scientific - peer-reviewConference contribution

Applications of Fair Testing

Brinksma, H., Rensink, A. & Vogler, W. 9 Oct 1996 Formal Description Techniques IX, Theory, Application and Tools. FORTE/PSTV'96, Kaiserslautern, Germany, p. 145-160 16 p.

Research output: Scientific - peer-reviewConference contribution

28 Citations

On specifying real-time systems in a causality-based setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H. 1996 Formal Techniques in Real-Time and Fault-Tolerant Systems. Jonsson, B. & Parrow, J. (eds.). Berlin: Springer Verlag, p. 385-405 21 p. (Lecture Notes in Computer Science; vol. 1135)

Research output: Scientific - peer-reviewConference contribution

On Specifying Real-Time Systems in a Causality-Based Setting

Katoen, J. P., Latella, D., Langerak, R. & Brinksma, H. 13 Sep 1996 Proceedings "Formal Techniques in Real-Time and Fault-Tolerant Systems", Vol. 1135 of Lecture Notes in Computer Science. Uppsala, Sweden, p. 385-404 20 p.

Research output: Scientific - peer-reviewConference contribution

Stochastic Simulation of Event Structures

Katoen, J. P., Brinksma, H., Latella, D. & Langerak, R. 31 Jul 1996 Proceedings of the 4th Workshop on Process Algebra and Performance Modelling (PAPM'96). Universita di Torino, Italy, p. 21-40 20 p.

Research output: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

1995

Fair Testing

Brinksma, H., Rensink, A. & Vogler, W. 8 Feb 1995 CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. p. 313-327

Research output: Scientific - peer-reviewConference contribution

1 Citations

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: Scientific - peer-reviewConference contribution

Formal methods
Random processes
Petri nets
Merging
Algebra
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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

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: Scientific - peer-reviewConference contribution

Refining Interfaces of Cummunicating Systems

Brinksma, H., Jonsson, B. & Orava, F. 8 Apr 1991 TAPSOFT 91. Brighton, Engeland, p. 297-312 16 p.

Research output: Scientific - peer-reviewConference contribution