![]() | ![]() |
| 2012 | ||
|---|---|---|
| 5 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre: McScM: A General Framework for the Verification of Communicating Machines. TACAS 2012: 478-484 | |
| 4 | Gilles Geeraerts, Alexander Heußner, Jean-François Raskin: Queue-Dispatch Asynchronous Systems CoRR abs/1201.4871: (2012) | |
| 2010 | ||
| 3 | Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre: Reachability Analysis of Communicating Pushdown Systems. FOSSACS 2010: 267-281 | |
| 2009 | ||
| 2 | Alexander Heußner, Tristan Le Gall, Grégoire Sutre: Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN 2009: 107-124 | |
| 2008 | ||
| 1 | Alexander Heußner: Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. ICCS Supplement 2008: 25-32 | |
| 1 | Tristan Le Gall | [2] [5] |
| 2 | Gilles Geeraerts | [4] |
| 3 | Jérôme Leroux | [3] |
| 4 | Anca Muscholl | [3] |
| 5 | Jean-François Raskin | [4] |
| 6 | Grégoire Sutre | [2] [3] [5] |
Data released under the ODC-BY 1.0 license — See also our legal information page