@inproceedings{HeussnerGS12-0,
  title = {McScM: A General Framework for the Verification of Communicating Machines},
  author = {Alexander Heußner and Tristan Le Gall and Grégoire Sutre},
  year = {2012},
  doi = {10.1007/978-3-642-28756-5_34},
  url = {http://dx.doi.org/10.1007/978-3-642-28756-5_34},
  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 = {Cormac Flanagan and Barbara König},
  volume = {7214},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-28755-8},
}

@inproceedings{BottoniFH14,
  title = {Coloured Modelling Spider Diagrams},
  author = {Paolo Bottoni and Andrew Fish and Alexander Heußner},
  year = {2014},
  doi = {10.1007/978-3-662-44043-8_6},
  url = {http://dx.doi.org/10.1007/978-3-662-44043-8_6},
  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 = {Tim Dwyer and Helen C. Purchase and Aidan Delaney},
  volume = {8578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-44042-1},
}

@article{GeeraertsHPR15,
  title = {ω-Petri Nets: Algorithms and Complexity},
  author = {Gilles Geeraerts and Alexander Heußner and M. Praveen and Jean-François Raskin},
  year = {2015},
  doi = {10.3233/FI-2015-1169},
  url = {http://dx.doi.org/10.3233/FI-2015-1169},
  researchr = {https://researchr.org/publication/GeeraertsHPR15},
  cites = {0},
  citedby = {0},
  journal = {Fundamenta Informaticae},
  volume = {137},
  number = {1},
  pages = {29-60},
}

@inproceedings{Heussner08,
  title = {Conceptual Graphs with Relators and Roles A GFO Coined View onto CG s Relations},
  author = {Alexander Heußner},
  year = {2008},
  url = {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 = {Peter W. Eklund and Ollivier Haemmerlé},
  volume = {354},
  series = {CEUR Workshop Proceedings},
  publisher = {CEUR-WS.org},
}

@inproceedings{Heussner-PCM15a,
  title = {Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model},
  author = {Alexander Heußner and Christopher M. Poskitt and Claudio Corrodi and Benjamin Morandi},
  year = {2015},
  doi = {10.4204/EPTCS.181.3},
  url = {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},
}

@inproceedings{Corrodi-HP16a,
  title = {A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs},
  author = {Claudio Corrodi and Alexander Heußner and 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},
}

@inproceedings{HeussnerK13,
  title = {Reachability in Higher-Order-Counters},
  author = {Alexander Heußner and Alexander Kartzow},
  year = {2013},
  doi = {10.1007/978-3-642-40313-2_47},
  url = {http://dx.doi.org/10.1007/978-3-642-40313-2_47},
  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 = {Krishnendu Chatterjee and Jiri Sgall},
  volume = {8087},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-40312-5},
}

@article{Heussner12,
  title = {Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO},
  author = {Alexander Heußner},
  year = {2012},
  url = {http://journal.ub.tu-berlin.de/eceasst/article/view/725},
  researchr = {https://researchr.org/publication/Heussner12},
  cites = {0},
  citedby = {0},
  journal = {ECEASST},
  volume = {47},
}

@inproceedings{GeeraertsHR13,
  title = {Queue-Dispatch Asynchronous Systems},
  author = {Gilles Geeraerts and Alexander Heußner and Jean-François Raskin},
  year = {2013},
  doi = {10.1109/ACSD.2013.18},
  url = {http://dx.doi.org/10.1109/ACSD.2013.18},
  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},
}

@inproceedings{BottoniFH14-0,
  title = {Annotating spiders with resource information},
  author = {Paolo Bottoni and Andrew Fish and Alexander Heußner},
  year = {2014},
  doi = {10.1109/VLHCC.2014.6883018},
  url = {http://dx.doi.org/10.1109/VLHCC.2014.6883018},
  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 = {Scott D. Fleming and Andrew Fish and Christopher Scaffidi},
  publisher = {IEEE},
  isbn = {978-1-4799-4035-6},
}

@article{GeeraertsHR15,
  title = {On the Verification of Concurrent, Asynchronous Programs with Waiting Queues},
  author = {Gilles Geeraerts and Alexander Heußner and Jean-François Raskin},
  year = {2015},
  doi = {10.1145/2700072},
  url = {http://doi.acm.org/10.1145/2700072},
  researchr = {https://researchr.org/publication/GeeraertsHR15},
  cites = {0},
  citedby = {0},
  journal = {ACM Trans. Embedded Comput. Syst.},
  volume = {14},
  number = {3},
  pages = {58},
}

@inproceedings{HeussnerGS12,
  title = {Safety Verification of Communicating One-Counter Machines},
  author = {Alexander Heußner and Tristan Le Gall and Grégoire Sutre},
  year = {2012},
  doi = {10.4230/LIPIcs.FSTTCS.2012.224},
  url = {http://dx.doi.org/10.4230/LIPIcs.FSTTCS.2012.224},
  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 = {Deepak D'Souza and Telikepalli Kavitha and Jaikumar Radhakrishnan},
  volume = {18},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-47-7},
}

@inproceedings{GeeraertsHPR13,
  title = {ω-Petri Nets},
  author = {Gilles Geeraerts and Alexander Heußner and M. Praveen and Jean-François Raskin},
  year = {2013},
  doi = {10.1007/978-3-642-38697-8_4},
  url = {http://dx.doi.org/10.1007/978-3-642-38697-8_4},
  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 = {José Manuel Colom and Jörg Desel},
  volume = {7927},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-38696-1},
}

@inproceedings{HeussnerGS09,
  title = {Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems},
  author = {Alexander Heußner and Tristan Le Gall and Grégoire Sutre},
  year = {2009},
  doi = {10.1007/978-3-642-02652-2_11},
  url = {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 = {Corina S. Pasareanu},
  volume = {5578},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-02651-5},
}