Alexander Heußner

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 10

Top Topics

Concurrent Programming

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

ACM Trans. Embed. Comput. Syst.

Publications

Alexander Heußner, Moritz Höser, Sven Ziemer
Towards Data Awareness by Socio-technological Knowledge Management. KMIS (2019)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A semantics comparison workbench for a concurrent, asynchronous, distributed programming language. Formal Aspects Comput. 30 (1) (2018)
Jos Lehmann, Alexander Heußner, Michael Shamiyeh, Sven Ziemer
Extracting and Modeling Knowledge about Aviation for Multilingual Semantic Applications in Industry 4.0. ES (2018)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Semantics Comparison Workbench for a Concurrent, Asynchronous, Distributed Programming Language. CoRR (2017)
Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce
Resource-aware policies. J. Vis. Lang. Comput. 38 (2017)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. CoRR (2016)
Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs. FASE (2016)
Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin
ω-Petri Nets: Algorithms and Complexity. Fundam. Informaticae 137 (1) (2015)
Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model. GaM (2015)
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin
On the Verification of Concurrent, Asynchronous Programs with Waiting Queues. ACM Trans. Embed. Comput. Syst. 14 (3) (2015)
Paolo Bottoni, Andrew Fish, Alexander Heußner
Coloured Modelling Spider Diagrams. Diagrams (2014)
Paolo Bottoni, Andrew Fish, Alexander Heußner
Annotating spiders with resource information. VL/HCC (2014)
Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin
ω-Petri Nets. Petri Nets (2013)
Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin
ω-Petri nets CoRR (2013)
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin
Queue-Dispatch Asynchronous Systems. ACSD (2013)
Alexander Heußner, Alexander Kartzow
Reachability in Higher-Order-Counters. MFCS (2013)
Alexander Heußner, Alexander Kartzow
Reachability in Higher-Order-Counters. CoRR (2013)
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin
Queue-Dispatch Asynchronous Systems CoRR (2012)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
McScM: A General Framework for the Verification of Communicating Machines. TACAS (2012)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Safety Verification of Communicating One-Counter Machines. FSTTCS (2012)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems Log. Methods Comput. Sci. 8 (3) (2012)
Alexander Heußner
Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 47 (2012)
Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre
Reachability Analysis of Communicating Pushdown Systems. FoSSaCS (2010)
Alexander Heußner, Tristan Le Gall, Grégoire Sutre
Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems. SPIN (2009)
Alexander Heußner
Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations. ICCS Supplement (2008)