Publications
Research Interests:
Graph Rewriting, Static
Analysis and Verification of Concurrent Systems, Process Calculi,
Petri Nets, Behavioural Equivalences, True Concurrency Semantics,
Adhesive Categories, Type Systems, Model-Based Diagnosis
Events/Professional Activities
- Organizer of CONCUR 2011 in Aachen
- ICGT 2010:
Fifth International Conference
on Graph Transformation (Twente, The Netherlands)
- GraBaTs 2010:
Sixth International Workshop on Graph Based Tools
(affiliated with
ICGT 2010
in Twente, The Netherlands)
- IFIP TCS 2010
(Track B):
6th IFIP International Conference on Theoretical Computer
Science (Brisbane, Australia)
- GT-VMT 2010:
Ninth International Workshop on Graph
Transformation and Visual Modeling Techniques
(affiliated with
ETAPS 2010
in Cyprus)
- Formal Methods Letters
Projects
|
