Back to search results

Person

Prof.dr. H. Brinksma

Pagina-navigatie:

Update Persondata

Expertise	Modelling and analysis of reactive systems, in particular distributed, real-time, and stochastic systems; System verification using model-checking and testing techniques
Expertise (NL)	Modellering en analyse van reactieve systemen, i.h.b. gedistribueerde, real-time en stochastische systemen; Systeemverificatie m.b.v. model-checking en testtechnieken.
Digital Author ID	info:eu-repo/dai/nl/07390497X
Addition	Afdelingsvoorzitter INF

Active as

Part-time professor
Organisation	Chair Formal Methods and Tools (UT)
Chair (EN)	Formal methods and tools
Chair (NL)	Formal methods and tools
Phone	+31-53-4893676
Email	h. brinksma -at- utwente. nl
URL	http://www.utwente.nl/cvb/leden_cvb/

Rector
Organisation	University of Twente (UT)
Email	h. brinksma -at- utwente. nl

Management
Organisation	Research Group Pervasive Systems (UT)
URL	http://ps.ewi.utwente.nl/people.php?person=Brinksma,_H

Publications

On changing models in model-based testing
Model-based Testing
Optimal infinite scheduling for multi-priced timed automata
Dependability for high-tech systems: An Industry-as-laboratory approach
Dependability for high-tech systems:an industry-as-laboratory approach

All publications..

Current research

(the most recent research is at the top)
Project leader	Formal Methods

Completed research projects

(the most recent research is at the top)
Project leader	Validation of Stochastic Systems II (VOSSII)
Project leader	ARTIST2 - Embedded System Design
Researcher	Transmission Control Protocols for the Internet
Project leader	Verification of hard and softly timed systems
Project leader	Systematic Testing of Realtime Embedded Software Systems (STRESS)

All completed research..

Classification

D16200	Software, algorithms, control systems
D16300	Theoretical computer science

Go to page top
Go back to contents
Go back to site navigation