ACSD 2014 Accepted Papers
- Semantics for Modal Transition Systems
Ferenc Bujtor and Walter Vogler. Failure
- Multi-Rate Equivalents of Cyclo-Static Synchronous Dataflow Graphs
Robert de Groote, Philip Hölzenspies, Jan Kuper and Gerard Smit.
- Diagnosability under Weak Fairness
Vasileios Germanos, Stefan Haar, Victor Khomenko and Stefan Schwoon.
- The MTS Control Problem Revisited
Nicolas D'Ippolito, Victor Braberman, Nir Piterman and Sebastian Uchitel.
- Memory Model-aware Testing - a Unified Complexity Analysis
Florian Furbach, Roland Meyer, Klaus Schneider and Maximilian Senftleben.
- Layered Reduction for Abstract Probabilistic Automata
Arpit Sharma and Joost-Pieter Katoen.
- Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata
Waheed Ahmad, Robert De Groote, Philip K.F. Hölzenspies, Mariëlle Stoelinga and Jaco van de Pol.
- The Omniscient Garbage Collector: a Resource Analysis Framework (extended abstract)
Aurelien Deharbe and Frederic Peschanski.
- Action Synthesis for Branching Time Logic: Theory and Applications
Michał Knapik, Artur Meski and Wojciech Penczek.
- New Automatic Agent-based Solutions for Feasible Reconfigurable MP-SoC Architectures
Imen Khemaissia, Olfa Mosbahi and Mohamed Khalgui.
- Sessions with an unbounded number of agents
Loic Helouet, S. Akshay and Madhavan Mukund.
- Quantified Dynamic Metric Temporal Logic for Dynamic Networks of Stochastic Hybrid Automata
Alexandre David, Kim Guldstrand Larsen, Axel Legay, Guangyuan Li and Danny Bøgsted Poulsen.
- Cyclo-Static Data Flow Model for TDM
Alok Lele, Orlando Moreira, Kaushal Butala, Pieter J. L. Cuijpers and Kees van Berkel.
- Modular mu-calculus model-checking with formula-dependent hierarchical abstractions
Yves-Stan Le Cornec and Franck Pommereau.
- Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution
Kari Kähkönen and Keijo Heljanko.
- Parametrised Interface Automata
Antti Siirtola.
- Modelling Data Processing for Interactive Scores Using Coloured Petri Nets
Jaime Arias, Myriam Desainte-Catherine and Camilo Rueda.
- Static mapping of real-time applications onto massively parallel processor arrays
Thomas Carle, Manel Djemal, Dumitru Potop Butucaru, Robert De Simone and Zhen Zhang.
- BenchKit, a Tool for Massive Concurrent Benchmarking
Fabrice Kordon and Francis Hulin-Hubard.
- Studying the Interplay of Concurrency, Performance, Energy and Reliability with ArchOn – an Architecture-open Resource-driven Cross-layer Modelling Framework
Ashur Rafiev, Alexei Iliasov, Alexander Romanovsky, Andrey Mokhov, Fei Xia and Alex Yakovlev.
Petri Nets 2014 Accepted Papers
- StrataGEM: A Generic Petri Net Verification Framework
Edmundo López Bóbeda, Maximilien Colange and Didier Buchs
- A Steering Server for Collaborative Simulation of Quantitative Petri Nets
Mostafa Herajy and Monika Heiner
- Discovering Block-Structured Process Models from Incomplete Event Logs
Sander J.J. Leemans, Dirk Fahland and Wil van der Aalst
- On reversibility of well-behaved weighted Choice-Free systems
Thomas Hujsa, Jean-Marc Delosme and Alix Munier-Kordon
- Process Model Discovery: A Method Based on Transition System Decomposition
Anna A. Kalenkova, Irina A. Lomazova and Wil van der Aalst
- Flow unfolding of safe nets
Giovanni Casu and G. Michele Pinna
- On Weighted Petri Net Transducers
Robert Lorenz, Markus Huber and Günther Wirsching
- The 4C Spectrum of Fundamental Behavioral Relations for Concurrent Systems
Artem Polyvyanyy, Matthias Weidlich, Raffaele Conforti, Marcello La Rosa and Arthur H.M. Ter Hofstede
- Kaira: Development Environment for MPI applications
Stanislav Böhm, Marek Běhálek, Ondrej Meca and Martin Surkovsky
- Soundness of Timed-Arc Workflow Nets
Jose Antonio Mateo, Jiri Srba and Mathias Grund Sørensen
- Synthesis of Persistent Systems
Eike Best and Raymond Devillers
- Learning Transparent Data Automata
Normann Decker, Peter Habermehl, Martin Leucker and Daniel Thoma
- Dynamic Networks of Timed Petri Nets
María Martos-Salgado and Fernando Rosa-Velardo
- Non-interference by unfolding
Alberto Carraro and Paolo Baldan
- Analysis of Petri Net models through Stochastic Differential Equation
Marco Beccuti, Gianfranco Balbo, Roberta Sirovich, Enrico Bibbona, Alessio Angius and Andras Horvath
- (Stochastic) model checking in GreatSPN
Elvio Gilberto Amparore, Marco Beccuti and Susanna Donatelli.
- A Programmming Language for Spatial Distribution of Net Systems
Pawel Sobocinski and Owen Stephens
- Exhibition of a structural bug with wings
Florent Avellaneda and Remi Morin.
- A Framework for Classical Petri Net Problems: Conservative Petri Nets as an Application
Ernst W. Mayr and Jeremias Weihmann
