Back to search results

Person

Prof.dr. H. Brinksma

Pagina-navigatie:

Update Persondata

Export page

QR code

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

(the most recent at the top)
Model-based Testing
Redevoeringen dies natalis : 49ste dies natalis, 26-11-2010
Redevoeringen dies natalis : 48ste dies natalis, 27-11-2009
Dependability for high-tech systems: an industry-as-laboratory approach
Optimal infinite scheduling for multi-priced timed automata

All publications..

Completed research projects

(the most recent research is at the top)
Project leader	Formal Methods
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

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