publications:
- title: "McScM: A General Framework for the Verification of Communicating Machines"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Tristan Le Gall"
    link: "https://researchr.org/alias/tristan-le-gall"
  - name: "Grégoire Sutre"
    link: "https://researchr.org/alias/gr%C3%A9goire-sutre"
  year: "2012"
  doi: "http://dx.doi.org/10.1007/978-3-642-28756-5_34"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-28756-5_34"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/tacas/HeussnerGS12"
  researchr: "https://researchr.org/publication/HeussnerGS12-0"
  cites: 0
  citedby: 0
  pages: "478-484"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings"
  editor:
  - name: "Cormac Flanagan"
    link: "https://researchr.org/alias/cormac-flanagan"
  - name: "Barbara König"
    link: "https://researchr.org/alias/barbara-k%C3%B6nig"
  volume: "7214"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-28755-8"
  kind: "inproceedings"
  key: "HeussnerGS12-0"
- title: "Coloured Modelling Spider Diagrams"
  author:
  - name: "Paolo Bottoni"
    link: "https://researchr.org/alias/paolo-bottoni"
  - name: "Andrew Fish"
    link: "https://researchr.org/alias/andrew-fish"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  year: "2014"
  doi: "http://dx.doi.org/10.1007/978-3-662-44043-8_6"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-662-44043-8_6"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/diagrams/BottoniFH14"
  researchr: "https://researchr.org/publication/BottoniFH14"
  cites: 0
  citedby: 0
  pages: "45-47"
  booktitle: "Diagrammatic Representation and Inference - 8th International Conference, Diagrams 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014. Proceedings"
  editor:
  - name: "Tim Dwyer"
    link: "https://researchr.org/alias/tim-dwyer"
  - name: "Helen C. Purchase"
    link: "https://researchr.org/alias/helen-c.-purchase"
  - name: "Aidan Delaney"
    link: "https://researchr.org/alias/aidan-delaney"
  volume: "8578"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-662-44042-1"
  kind: "inproceedings"
  key: "BottoniFH14"
- title: "ω-Petri Nets: Algorithms and Complexity"
  author:
  - name: "Gilles Geeraerts"
    link: "https://researchr.org/alias/gilles-geeraerts"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "M. Praveen"
    link: "https://researchr.org/alias/m.-praveen"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2015"
  doi: "http://dx.doi.org/10.3233/FI-2015-1169"
  links:
    doi: "http://dx.doi.org/10.3233/FI-2015-1169"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/fuin/GeeraertsHPR15"
  researchr: "https://researchr.org/publication/GeeraertsHPR15"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "137"
  number: "1"
  pages: "29-60"
  kind: "article"
  key: "GeeraertsHPR15"
- title: "Conceptual Graphs with Relators and Roles A GFO Coined View onto CG s Relations"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  year: "2008"
  doi: "http://ceur-ws.org/Vol-354/p20.pdf"
  links:
    doi: "http://ceur-ws.org/Vol-354/p20.pdf"
  tags:
  - "graph-rewriting"
  - "rewriting"
  researchr: "https://researchr.org/publication/Heussner08"
  cites: 0
  citedby: 0
  pages: "25-32"
  booktitle: "Supplementary Proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, Toulouse, France, July 7-11, 2008"
  editor:
  - name: "Peter W. Eklund"
    link: "https://researchr.org/alias/peter-w.-eklund"
  - name: "Ollivier Haemmerlé"
    link: "https://researchr.org/alias/ollivier-haemmerl%C3%A9"
  volume: "354"
  series: "CEUR Workshop Proceedings"
  publisher: "CEUR-WS.org"
  kind: "inproceedings"
  key: "Heussner08"
- title: "Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Christopher M. Poskitt"
    link: "http://chrisposkitt.com/"
  - name: "Claudio Corrodi"
    link: "http://se.inf.ethz.ch/student_projects/claudio_corrodi/"
  - name: "Benjamin Morandi"
    link: "http://se.inf.ethz.ch/people/morandi/"
  year: "2015"
  doi: "http://dx.doi.org/10.4204/EPTCS.181.3"
  links:
    doi: "http://dx.doi.org/10.4204/EPTCS.181.3"
  researchr: "https://researchr.org/publication/Heussner-PCM15a"
  cites: 0
  citedby: 0
  pages: "32-47"
  booktitle: "Proc. Graphs as Models (GaM 2015)"
  volume: "181"
  series: "Electronic Proceedings in Theoretical Computer Science"
  kind: "inproceedings"
  key: "Heussner-PCM15a"
- title: "A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs"
  author:
  - name: "Claudio Corrodi"
    link: "http://se.inf.ethz.ch/student_projects/claudio_corrodi/"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Christopher M. Poskitt"
    link: "https://researchr.org/alias/christopher-m.-poskitt"
  year: "2016"
  note: "To appear"
  researchr: "https://researchr.org/publication/Corrodi-HP16a"
  cites: 0
  citedby: 0
  booktitle: "Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016)"
  series: "LNCS"
  publisher: "Springer"
  kind: "inproceedings"
  key: "Corrodi-HP16a"
- title: "Reachability in Higher-Order-Counters"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Alexander Kartzow"
    link: "https://researchr.org/alias/alexander-kartzow"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-40313-2_47"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-40313-2_47"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/mfcs/HeussnerK13"
  researchr: "https://researchr.org/publication/HeussnerK13"
  cites: 0
  citedby: 0
  pages: "528-539"
  booktitle: "Mathematical Foundations of Computer Science 2013 - 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings"
  editor:
  - name: "Krishnendu Chatterjee"
    link: "https://researchr.org/alias/krishnendu-chatterjee"
  - name: "Jiri Sgall"
    link: "https://researchr.org/alias/jiri-sgall"
  volume: "8087"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-40312-5"
  kind: "inproceedings"
  key: "HeussnerK13"
- title: "Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  year: "2012"
  doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/725"
  links:
    doi: "http://journal.ub.tu-berlin.de/eceasst/article/view/725"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/eceasst/Heussner12"
  researchr: "https://researchr.org/publication/Heussner12"
  cites: 0
  citedby: 0
  journal: "ECEASST"
  volume: "47"
  kind: "article"
  key: "Heussner12"
- title: "Queue-Dispatch Asynchronous Systems"
  author:
  - name: "Gilles Geeraerts"
    link: "https://researchr.org/alias/gilles-geeraerts"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2013"
  doi: "http://dx.doi.org/10.1109/ACSD.2013.18"
  links:
    doi: "http://dx.doi.org/10.1109/ACSD.2013.18"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/acsd/GeeraertsHR13"
  researchr: "https://researchr.org/publication/GeeraertsHR13"
  cites: 0
  citedby: 0
  pages: "150-159"
  booktitle: "13th International Conference on Application of Concurrency to System Design, ACSD 2013, Barcelona, Spain, 8-10 July, 2013"
  publisher: "IEEE"
  kind: "inproceedings"
  key: "GeeraertsHR13"
- title: "Annotating spiders with resource information"
  author:
  - name: "Paolo Bottoni"
    link: "https://researchr.org/alias/paolo-bottoni"
  - name: "Andrew Fish"
    link: "https://researchr.org/alias/andrew-fish"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  year: "2014"
  doi: "http://dx.doi.org/10.1109/VLHCC.2014.6883018"
  links:
    doi: "http://dx.doi.org/10.1109/VLHCC.2014.6883018"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/vl/BottoniFH14"
  researchr: "https://researchr.org/publication/BottoniFH14-0"
  cites: 0
  citedby: 0
  pages: "33-40"
  booktitle: "IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2014, Melbourne, VIC, Australia, July 28 - August 1, 2014"
  editor:
  - name: "Scott D. Fleming"
    link: "https://researchr.org/alias/scott-d.-fleming"
  - name: "Andrew Fish"
    link: "https://researchr.org/alias/andrew-fish"
  - name: "Christopher Scaffidi"
    link: "https://researchr.org/alias/christopher-scaffidi"
  publisher: "IEEE"
  isbn: "978-1-4799-4035-6"
  kind: "inproceedings"
  key: "BottoniFH14-0"
- title: "On the Verification of Concurrent, Asynchronous Programs with Waiting Queues"
  author:
  - name: "Gilles Geeraerts"
    link: "https://researchr.org/alias/gilles-geeraerts"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2015"
  doi: "http://doi.acm.org/10.1145/2700072"
  links:
    doi: "http://doi.acm.org/10.1145/2700072"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/tecs/GeeraertsHR15"
  researchr: "https://researchr.org/publication/GeeraertsHR15"
  cites: 0
  citedby: 0
  journal: "ACM Trans. Embedded Comput. Syst."
  volume: "14"
  number: "3"
  pages: "58"
  kind: "article"
  key: "GeeraertsHR15"
- title: "Safety Verification of Communicating One-Counter Machines"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Tristan Le Gall"
    link: "https://researchr.org/alias/tristan-le-gall"
  - name: "Grégoire Sutre"
    link: "https://researchr.org/alias/gr%C3%A9goire-sutre"
  year: "2012"
  doi: "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.224"
  links:
    doi: "http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.224"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/fsttcs/HeussnerGS12"
  researchr: "https://researchr.org/publication/HeussnerGS12"
  cites: 0
  citedby: 0
  pages: "224-235"
  booktitle: "IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2012, December 15-17, 2012, Hyderabad, India"
  editor:
  - name: "Deepak D'Souza"
    link: "https://researchr.org/alias/deepak-d%27souza"
  - name: "Telikepalli Kavitha"
    link: "https://researchr.org/alias/telikepalli-kavitha"
  - name: "Jaikumar Radhakrishnan"
    link: "https://researchr.org/alias/jaikumar-radhakrishnan"
  volume: "18"
  series: "LIPIcs"
  publisher: "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik"
  isbn: "978-3-939897-47-7"
  kind: "inproceedings"
  key: "HeussnerGS12"
- title: "ω-Petri Nets"
  author:
  - name: "Gilles Geeraerts"
    link: "https://researchr.org/alias/gilles-geeraerts"
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "M. Praveen"
    link: "https://researchr.org/alias/m.-praveen"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2013"
  doi: "http://dx.doi.org/10.1007/978-3-642-38697-8_4"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-38697-8_4"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/apn/GeeraertsHPR13"
  researchr: "https://researchr.org/publication/GeeraertsHPR13"
  cites: 0
  citedby: 0
  pages: "49-69"
  booktitle: "Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings"
  editor:
  - name: "José Manuel Colom"
    link: "https://researchr.org/alias/jos%C3%A9-manuel-colom"
  - name: "Jörg Desel"
    link: "https://researchr.org/alias/j%C3%B6rg-desel"
  volume: "7927"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-38696-1"
  kind: "inproceedings"
  key: "GeeraertsHPR13"
- title: "Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems"
  author:
  - name: "Alexander Heußner"
    link: "http://www.swt-bamberg.de/aheussner/"
  - name: "Tristan Le Gall"
    link: "https://researchr.org/alias/tristan-le-gall"
  - name: "Grégoire Sutre"
    link: "https://researchr.org/alias/gr%C3%A9goire-sutre"
  year: "2009"
  doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_11"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-02652-2_11"
  tags:
  - "rule-based"
  - "refinement"
  - "abstraction"
  researchr: "https://researchr.org/publication/HeussnerGS09"
  cites: 0
  citedby: 0
  pages: "107-124"
  booktitle: "Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings"
  editor:
  - name: "Corina S. Pasareanu"
    link: "https://researchr.org/alias/corina-s.-pasareanu"
  volume: "5578"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-02651-5"
  kind: "inproceedings"
  key: "HeussnerGS09"