ETAPS 2014: 5-13 April 2014, Grenoble, France

ETAPS 2014 Programme Friday April 11th

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