KNAW
Narcis
Back to search results
Person
Prof.dr.ir. A. Rensink
Pagina-navigatie:
Main
Current research (1)
Completed research (4)
Publications (87)
Miscellaneous (3)
Update Persondata
architecture
driven
formal
graph
methods
model
software
tools
transformation
verification
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
Graven in software
Solving the TTC 2011 Compiler Optimization Case with GROOVE
All publications..
Current research
(the most recent research is at the top)
Project leader
Graphs for the Abstract Interpretation of Languages
Completed research projects
(the most recent research is at the top)
Project leader
GRASLAND - GRAphs for Software LANguage Definitions
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 Website Navigation:
Home
about narcis
Nederlands
Royal Netherlands Academy of Arts and Sciences
Go to page top
Go back to contents
Go back to site navigation
