Travelled to:1 × Cyprus
1 × Estonia
1 × United Kingdom
Collaborated with:C.M.Poskitt C.Corrodi G.Sutre ∅ T.L.Gall B.Morandi J.Leroux A.Muscholl
Talks about:graph (4) communic (3) concurr (2) verif (2) model (2) base (2) workbench (1) framework (1) asynchron (1) reachabl (1)
Person: Alexander Heußner
DBLP: Heu=szlig=ner:Alexander
Contributed to:
2015
2012
2012
2010
2016Wrote 5 papers:
- GaM-2015-HeussnerPCM #concurrent #graph #object-oriented #towards #verification
- Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model (AH, CMP, CC, BM), pp. 32–47.
- GT-VMT-2012-Heussner #communication #graph #graph grammar #model checking #process
- Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO (AH).
- TACAS-2012-HeussnerGS #communication #framework #named #verification
- McScM: A General Framework for the Verification of Communicating Machines (AH, TLG, GS), pp. 478–484.
- FoSSaCS-2010-HeussnerLMS #analysis #automaton #communication #reachability
- Reachability Analysis of Communicating Pushdown Systems (AH, JL, AM, GS), pp. 267–281.
- FASE-2016-CorrodiHP #concurrent #graph #semantics #source code
- A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs (CC, AH, CMP), pp. 31–48.