Terug naar zoekresultaat

Persoon

Prof.dr.ir. A. Rensink

Pagina-navigatie:

Wijzig persoonsdata

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

Werkzaam als

Hoogleraar
Organisatie	Leerstoel Formal Methods and Tools - FMT (UT)
Leeropdracht (NL)	Formal Methods and Tools
Leeropdracht (EN)	Formal Methods and Tools
Telefoon	+31-53-4894862
Email	rensink -at- cs. utwente. nl
URL	http://wwwhome.cs.utwente.nl/~rensink/

Publicaties

Graph Transforming Java Data
Graph Passing in Graph Transformation
Formal Semantics of the CHART Transformation Language
Graven in software
Solving the TTC 2011 Compiler Optimization Case with GROOVE

Alle publicaties

Lopende onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	Graphs for the Abstract Interpretation of Languages

Afgesloten onderzoeksactiviteiten

(de meest recente activiteit is bovenaan geplaatst)
Projectleider	GRASLAND - GRAphs for Software LANguage Definitions
Projectleider	Graphs for Object-Oriented Verification
Onderzoeker	Twente Research and Educational Engineering
Projectleider	Atomyste: ATOm splitting in eMbedded sYStems TEsting

Classificatie

D16200	Software, algoritmen, besturingssystemen

Omhoog
Ga terug naar de inhoud
Ga terug naar de site navigatie