@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 = {TACAS},
}

@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 = {diagrams},
}

@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 = {FUIN},
  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 = {iccS},
}

@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)},
}

@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},
  researchr = {https://researchr.org/publication/Corrodi-HP16a},
  cites = {0},
  citedby = {0},
  booktitle = {Proc. International Conference on Fundamental Approaches to Software Engineering (FASE 2016)},
}

@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 = {mfcs},
}

@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 = {acsd},
}

@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 = {vl},
}

@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 = {tecs},
  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 = {fsttcs},
}

@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 = {apn},
}

@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 = {spin},
}