publications

journal papers

Alexander Heußner Model Checking, Communicating Processes, Run Graphs, Graph Grammars, and MSO, in Electronic Communications of the EASST, 2012 (to be published)

Alexander Heußner, Jérome Leroux, Anca Muscholl, Grégoire Sutre: Reachability Analysis of Communicating Pushdown Automata, in Logical Methods in Computer Science, to appear 2011

conference papers

Alexander Heußner, Tristan Le Gall, Grégoire Sutre: McScM : A Framework for Verifying Communicating Processes, in Proc. of TACAS 2012, LNCS, Springer (to be published)

Alexander Heußner Run Graphs of Communicating Processes and MSO, in Bas Luttik (ed.): Proc. of CONCUR Young Researchers Workshop 2010, Vol.2, pp.75–78, 2010

Alexander Heußner, Jérome Leroux, Anca Muscholl, Grégoire Sutre: Reachability Analysis of Communicating Pushdown Automata, in Luke Ong (ed.): Proc. of FOSSACS 2010, LNCS 6014, pp.267–281, Springer 2010

Alexander Heußner, Jérome Leroux, Anca Muscholl, Grégoire Sutre: Reachability Analysis of Communicating Networks with Pushdowns, in E. Cariou et al. (ed.): Actes des deuxièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pau 2010, pp.105–107, CNRS, 2007

Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems, in Corina Păsăreanu (ed.): Proc. 16th Int. SPIN Workshop on Model Checking Software (SPIN 2009), LNCS 5578, pp. 107–124, Springer 2009

Alexander Heußner CEGAR for Communicating FIFO Machines, Proceedings of MEMICS Workshop 2008 Znojmo, 2008, pp. 68–75

Alexander Heußner Conceptual Graphs with Relations and Roles — A GFO-coined view onto CG relations, Supplementary Proceedings of ICCS 2008 Toulouse, 2008, pp. 25–32
(see Diploma thesis for a more general embedding)

Alexander Heußner Abstracting Socket-based, Distributed, Communicating Processes — Applying CFMs and MSCs to TCP/IP based Applications, Proceedings of MOVEP 2008, pp. 335–340

techreports

Alexander Heußner, Jérome Leroux, Anca Muscholl, Grégoire Sutre: Reachability Analysis of Communicating Pushdown Automata, January 2010, http://hal.archives-ouvertes.fr/hal-00443529/

Alexander Heußner "Model Extraction for Sockets-based Distributed Programs", October 2009, http://hal.archives-ouvertes.fr/hal-00425099/

Alexander Heußner, Tristan Le Gall, Grégoire Sutre: "Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems", LaBRI Rapport de Recherche RR-1459-09, Mai 2009
http://hal.archives-ouvertes.fr/hal-00380517/

theses

Alexander Heußner "Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité & raffinement des abstractions" (transl.: Towards the verfication of safety properties for infinite communicating systems: decidability and abstraction refinement; written language is English), PhD thesis, Université de Bordeaux, June 2011

Alexander Heußner "Semantic Foundation of Diagrammatic Modelling Languages — Applying the Pictorial Turn to Conceptual Modelling", Diploma thesis / Diplomarbeit, University of Leipzig, 2007

misc

Alexander Heußner Introduction to Existential Graphs: A first-order diagrammatical logic
presentation slides, Nov. 2011

Alexander Heußner Verification of Run Graphs (Some Preliminary Results)
presentation slides used at CONCUR-YR Workshop, Sept. 2010

Alexander Heußner How I stopped worrying and love Static Typing — Approaching OCaml from a Python Programmer's Perspective, presentation at RMLL 2010, July 2010
(PDF on right is only static excerpt (attention: >21MB), see complete, low-res, dynamic version here)

Alexander Heußner et al. Reachability Analysis of Communicating Pushdown Systems,
presentation slides used at FOSSACS, Mars 2010

Alexander Heußner Of Conceptualization, Crises, Crayons, and Creativity,
communication proposal, 2009

Alexander Heußner et al. Extrapolation based Path Inviariants for Abstraction Refinement,
presentation slides used at SPIN, June 2009