Back to search results

Person

Prof.dr.ir. A. Rensink

Pagina-navigatie:

Update Persondata

Expertise	Formal methods, Software verification, Model-Driven Architecture, Graph transformation
Expertise (NL)	Formele methoden, Softwareverificatie, Modelgedreven Architectuur, Graaftransformatie
Digital Author ID	info:eu-repo/dai/nl/07273678X

Active as

Professor
Organisation	Chair Formal Methods and Tools (UT)
Chair (EN)	Formal Methods and Tools
Chair (NL)	Formal Methods and Tools
Phone	+31-53-4894862
Email	rensink -at- cs. utwente. nl
URL	http://wwwhome.cs.utwente.nl/~rensink/

Publications

Graph Transforming Java Data
Graph Passing in Graph Transformation
Formal Semantics of the CHART Transformation Language
Knowledge-based Graph Exploration Analysis
Using Graph Transformations and Graph Abstractions for Software Verification

All publications..

Current research

(the most recent research is at the top)
Project leader	Graphs for the Abstract Interpretation of Languages
Project leader	GRASLAND - GRAphs for Software LANguage Definitions

Completed research projects

(the most recent research is at the top)
Project leader	Graphs for Object-Oriented Verification
Researcher	Twente Research and Educational Engineering
Project leader	Atomyste: ATOm splitting in eMbedded sYStems TEsting

Classification

D16200	Software, algorithms, control systems

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