Alexander Heußner

According to our database, Alexander Heußner authored at least 19 papers between 2008 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Towards Data Awareness by Socio-technological Knowledge Management.

Alexander Heußner, Moritz Höser, Sven Ziemer

Proceedings of the 11th International Joint Conference on Knowledge Discovery, 2019

2018

A semantics comparison workbench for a concurrent, asynchronous, distributed programming language.

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Formal Aspects Comput., 2018

Extracting and Modeling Knowledge about Aviation for Multilingual Semantic Applications in Industry 4.0.

Jos Lehmann, Alexander Heußner, Michael Shamiyeh, Sven Ziemer

Proceedings of the Sixth International Conference on Enterprise Systems, 2018

2017

Resource-aware policies.

Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce

J. Vis. Lang. Comput., 2017

2016

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs.

Claudio Corrodi, Alexander Heußner, Christopher M. Poskitt

Proceedings of the Fundamental Approaches to Software Engineering, 2016

2015

On the Verification of Concurrent, Asynchronous Programs with Waiting Queues.

Gilles Geeraerts, Alexander Heußner, Jean-François Raskin

ACM Trans. Embed. Comput. Syst., 2015

ω-Petri Nets: Algorithms and Complexity.

Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin

Fundam. Informaticae, 2015

Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model.

Alexander Heußner, Christopher M. Poskitt, Claudio Corrodi, Benjamin Morandi

Proceedings of the Proceedings Graphs as Models, 2015

2014

Annotating spiders with resource information.

Paolo Bottoni, Andrew Fish, Alexander Heußner

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Coloured Modelling Spider Diagrams.

Paolo Bottoni, Andrew Fish, Alexander Heußner

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Reachability in Higher-Order-Counters.

Alexander Heußner, Alexander Kartzow

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

ω-Petri Nets.

Gilles Geeraerts, Alexander Heußner, M. Praveen, Jean-François Raskin

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Queue-Dispatch Asynchronous Systems.

Gilles Geeraerts, Alexander Heußner, Jean-François Raskin

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Model Checking Communicating Processes: Run Graphs, Graph Grammars, and MSO.

Alexander Heußner

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

Reachability Analysis of Communicating Pushdown Systems

Alexander Heußner, Jérôme Leroux, Anca Muscholl, Grégoire Sutre

Log. Methods Comput. Sci., 2012

McScM: A General Framework for the Verification of Communicating Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Safety Verification of Communicating One-Counter Machines.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

2009

Extrapolation-Based Path Invariants for Abstraction Refinement of Fifo Systems.

Alexander Heußner, Tristan Le Gall, Grégoire Sutre

Proceedings of the Model Checking Software, 2009

2008

Conceptual Graphs with Relators and Roles A GFO Coined View onto CG's Relations.

Alexander Heußner

Proceedings of the Supplementary Proceedings of the 16th International Conference on Conceptual Structures, 2008