| Friday, April 11th |
| 09h00 - 10h00 |
Room: Amphitheater
FOSSACS Invited Speaker
Petr Jancar (Technical Univ of Ostrava, Czech Republic)
Equivalences of Pushdown Systems are Hard |
| 10h00 - 10h30 |
Coffee Break |
| 10h30 - 12h30 |
FASE / Room: Kilimandjaro
Graph transformation (chair: Gabriele Taenzer)
- Dominique Duval, Rachid Echahed, Frederic Prost and Leila Ribeiro. Transformation of Attributed Structures with Cloning
- Christian Krause, Matthias Tichy and Holger Giese. Implementing Graph Transformations in the Bulk Synchronous Parallel Model
- Anthony Anjorin, Karsten Saller, Malte Lochau and Andy Schürr. Modularizing Triple Graph Grammars using Rule Refinement
- Michael Löwe, Harald König and Christoph Schulz. Polymorphic Single-Pushout Graph Transformation
|
FOSSACS / Room: Makalu
Bisimulation (chair: Philippe Schnoebelen)
- Pedro R. D'Argenio, Daniel Gebler and Matias David Lee. Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
- James Ferlez, Rance Cleaveland and Steve Marcus. Generalized Synchronization Trees
- Vasileios Koutavas, Carlo Spaccasassi and Matthew Hennessy. Bisimulations for Communicating Transactions (Extended Abstract)
- Matteo Mio. Upper-Expectation Bisimilarity and Lukasiewicz mu-Calculus
|
TACAS / Room: Amphitheater
Probabilistic and quantum systems (chair: Nathalie Bertrand)
- Ebrahim Ardeshir-Larijani, Simon Gay and Rajagopal Nagarajan. Verification of Concurrent Quantum Protocols by Equivalence Checking
- Christel Baier, Joachim Klein, Sascha Klueppelholz and Steffen Märcker. Computing Conditional Probabilities in Markovian Models Efficiently (nomination for best paper award)
- Klaus Dräger, Vojtech Forejt, Marta Kwiatkowska, David Parker and Mateusz Ujma. Permissive Controller Synthesis for Probabilistic Systems
- Sadegh Esmaeil Zadeh Soudjani and Alessandro Abate. Precise Approximations of the Probability Distribution of a Markov Process in Time: an Application to Probabilistic Invariance
|
| 12h30 - 14h00 |
Lunch |
| 14h00 - 16h00 |
FASE / Room: Kilimandjaro
Debugging and testing (chair: Axel Legay)
- Elena Giachino, Ivan Lanese and Claudio Antares Mezzina. Causal-consistent Reversible Debugging
- Josef Svenningsson, Hans Svensson, Nicholas Smallbone, Thomas Arts, Ulf Norell and John Hughes. An Expressive Semantics of Mocking
- Maximiliano Cristia, Joaquin Mesuro and Claudia Frydman. Integration Testing in the Test Template Framework
- Ana Cavalcanti and Marie-Claude Gaudel. Data-flow coverage for Circus-based testing
|
FOSSACS / Room: Makalu
Categorical and algebraic models (chair: Shin-ya Katsumata)
- Filippo Bonchi, Pawel Sobocinski and Fabio Zanasi. Interacting Bialgebras are Frobenius
- Robert Myers, Jiri Adamek, Stefan Milius and Henning Urbat. Generalized Eilenberg Theorem I: Local Varieties of Languages
- Jurriaan Rot and Marcello Bonsangue. Combining Bialgebraic Semantics and Equations
- Guillaume Munch-Maccagnoni. Models of a Non-Associative Composition
|
TACAS / Room: Amphitheater
Tool demonstrations (chair: Saddek Bensalem)
- Elvira Albert, Puri Arenas, Antonio Flores-Montoya, Samir Genaim, Miguel Gomez-Zamalloa, Enrique Martin-Martin, German Puebla and Guillermo Román-Díez. SACO: Static Analyzer for Concurrent Objects
- Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti. VeriMAP: A Tool for Verifying Programs through Transformations
- Bert van Beek, Wan Fokkink, Dennis Hendriks, Albert Hofkamp, Jasen Markovski, Asia van de Mortel-Fronczak and Michel Reniers. CIF 3: Model-based Engineering of Supervisory Controllers
- Rafael Caballero, Enrique Martin-Martin, Adrian Riesco and Salvador Tamarit. EDD: A Declarative Debugger for Sequential Erlang Programs
- Vincent Cheval. APTE: an Algorithm for Proving Trace Equivalence
- Arnd Hartmanns and Holger Hermanns. The Modest Toolset: An Integrated Environment for Quantitative Modelling and Verification
- Antti Siirtola. Bounds2: A Tool for Compositional Multi-Parametrised Verification
|
| 16h00 - 16h30 |
Coffee Break |
| 16h30 - 18h00 |
|
FOSSACS / Room: Makalu
Logics of programming (chair: Anca Muscholl)
- Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max Kanovich and Joel Ouaknine. Foundations for Decision Problems in Separation Logic with General Inductive Predicates
- Corina Cirstea. A Coalgebraic Approach to Linear-Time Logics
- Till Mossakowski and Andrzej Tarlecki. A relatively complete calculus for structured heterogeneous specifications
|
TACAS / Room: Amphitheater
Case studies (chair: Ylies Falcone)
- Jaap Boender and Claudio Sacerdoti Coen. On the Correctness of a Branch Displacement Algorithm
- Christian Von Essen and Dimitra Giannakopoulou. Analyzing the Next Generation Airborne Collision Avoidance System (nomination for best paper award)
- Erwan Jahier, Simplice Djoko-Djoko, Eric Lafont and Chaouki Maiza. Environment-Model Based Testing of Control Systems: Case Studies
|