Back to search results

Person

Dr.ir. R. Langerak

Pagina-navigatie:

Update Persondata

Digital Author ID	info:eu-repo/dai/nl/10074950X

Active as

Associate professor
Organisation	Chair Formal Methods and Tools (UT)
Chair (EN)	Formal Methods and Tools
Chair (NL)	Formal Methods and Tools
Phone	+31-53-4893714
Email	langerak -at- cs. utwente. nl
URL	http://wwwhome.ewi.utwente.nl/~langerak/

Publications

Multi-Core Nested Depth-First Search
UPPAAL in Practice: Quantitative Verication of a RapidIO Network
From POOSL to UPPAAL: Transformation and Quantitative Analysis
Stability criteria for planar linear systems with state reset
Re-verification of a Lip Synchronization Protocol using Robust Reachability

All publications..

Current research

(the most recent research is at the top)
Project leader	Quasimodo: Quantitative System Properties in Model-Driven Design of Embedded Systems
Project leader	ControL and Analysis for the Stability of Hybrid and Embedded Systems

Completed research projects

(the most recent research is at the top)
Project leader	HYCON - Taming Heterogeneity and Complexity of Networked Embedded Systems
Project leader	Design and analysis of robust timed systems
Project leader	Implementing McMillan Prefixes Against the State Space Explosion (IMPASSE)

Classification

D16200	Software, algorithms, control systems

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