Resource-aware policies
Bottoni, Paolo, Fish, Andrew, Heußner, Alexander, Presicce, Francesco Parisi
Published in Journal of visual languages and computing (01.02.2017)
Published in Journal of visual languages and computing (01.02.2017)
Get full text
Journal Article
ω-Petri Nets: Algorithms and Complexity
Geeraerts, Gilles, Heußner, Alexander, Praveen, M., Raskin, Jean-François
Published in Fundamenta informaticae (2015)
Published in Fundamenta informaticae (2015)
Get full text
Journal Article
Reachability Analysis of Communicating Pushdown Systems
Heussner, Alexander, Leroux, Jérôme, Muscholl, Anca, Sutre, Grégoire
Published in Logical methods in computer science (27.09.2012)
Published in Logical methods in computer science (27.09.2012)
Get full text
Journal Article
Proceedings Second Graphs as Models Workshop: Preface
Heußner, Alexander, Kissinger, Aleks, Wijs, Anton
Published in Electronic proceedings in theoretical computer science (04.12.2016)
Published in Electronic proceedings in theoretical computer science (04.12.2016)
Get full text
Journal Article
Queue-Dispatch Asynchronous Systems
Geeraerts, Gilles, Heussner, Alexander, Raskin, Jean-Francois
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)
Published in 2013 13th International Conference on Application of Concurrency to System Design (01.07.2013)
Get full text
Conference Proceeding
A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs
Get full text
Paper
Journal Article
Towards Practical Graph-Based Verification for an Object-Oriented Concurrency Model
Heußner, Alexander, Poskitt, Christopher M, Corrodi, Claudio, Morandi, Benjamin
Published in arXiv.org (10.04.2015)
Published in arXiv.org (10.04.2015)
Get full text
Paper
Journal Article
Annotating spiders with resource information
Bottoni, Paolo, Fish, Andrew, Heubner, Alexander
Published in 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (01.07.2014)
Published in 2014 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) (01.07.2014)
Get full text
Conference Proceeding