Alexander Heußner

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