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

ETAPS 2014 Workshops Programme

1st Cassting Workshop

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 CASSTING / Room: F112
  • Nicolas Gast. Efficiency and Prices in Real-Time Electricity Markets (invited talk)
11h00 - 12h30 CASSTING / Room: F112
  • Gilles Geeraerts, Joël Goossens, Amélie Stainer. Efficient computation of succinct strategies, with applications to real-time scheduler synthesis
  • Youssouf Oualhadj, Pierre-Alain Reynier, Ocan Sankur. Robust Strategies in Timed Games
  • Benjamin Monmege, Thomas Brihaye, Gilles Geeraerts, Shankara Narayanan Krishna, Lakshmi Manasa, Ashutosh Trivedi. Weighted Timed Games: Positive Results with Negative Costs
14h00 - 16h00 CASSTING / Room: F112
  • John Fearnley. Finding Nash equilibria in bimatrix games (invited talk)
  • Patricia Bouyer, Thomas Brihaye, Quentin Hautem, Nicolas Markey. k-fault tolerant Nash equilibria
  • Véronique Bruyère, Noémie Meunier, Jean-François Raskin. Secure Equilibria in Weighted Games
16h30 - 18h00 CASSTING / Room: F112
  • Milka Hutagalung, Martin Lange, Étienne Lozes. Buffered Simulation Games for Büchi Automata
  • Dietmar Berwanger, Marie van den Bogaard. Distributed synthesis with delayed signals

[back to top]

12th International Workshop on Coalgebraic Methods in Computer Science

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 CMCS / Room: F320
  • Davide Sangiorgi. Higher-order languages: bisimulation and coinductive techniques (invited talk)
11h00 - 12h30 CMCS / Room: F320
  • Sebastian Enqvist and Joshua Sack. A coalgebraic view of characteristic formulas in equational modal fixed point logic
  • H. Peter Gumm and Mehdi Zarrad. Coalgebraic simulations and congruences
  • Wolfram Kahl. Categories of coalgebras with monadic homomorphisms
14h00 - 16h00 CMCS / Room: F320
  • Paul Andre Mellies. The algebraic and coalgebraic sides of game semantics
  • Marina Lenisa. Coalgebraic games (invited talk)
16h30 - 18h00 CMCS / Room: F320
  • Pierre Lescanne. Coinduction, equilibrium and escalation, or the rationality of madness
  • Henning Basold, Helle Hvid Hansen and Jan Rutten. A note on typed behavioural differential equations
  • Baltasar Trancón Y Widemann and Markus Lepper. Foundations of total functional data-flow programming, coinductively
Sunday, April 6th
09h00 - 10h30 CMCS / Room: F320
  • Ichiro Hasuo. Towards coalgebraic model checking (invited talk)
  • Bart Jacobs. Dijkstra monads in monadic computation
11h00 - 12h30 CMCS / Room: F320
  • Baltasar Trancón Y Widemann and Michael Hauhs. Algebraic-coalgebraic recursion theory of history-dependent dynamical system models
  • Filippo Bonchi, Daniela Petrisan, Damien Pous and Jurriaan Rot. Coinduction up-to in a fibrational setting
  • Pierre Lescanne. An exercise on streams: convergence acceleration (an abstract)
  • Sergey Goncharov, Stefan Milius and Alexandra Silva. Towards a coalgebraic Chomsky hierarchy
14h00 - 16h00 CMCS / Room: F320
  • Robert Myers, Jiri Adámek, Stefan Milius and Henning Urbat. Canonical nondeterministic automata
  • Henning Kerstan, Barbara König and Bram Westerbaan. Lifting adjunctions to coalgebras to (re)discover automata constructions
  • Tomasz Brengos. On coalgebras with internal moves
  • Filippo Bonchi, Stefan Milius, Alexandra Silva and Fabio Zanasi. How to kill epsilons with a dagger - a coalgebraic take on systems with algebraic label structure
16h30 - 18h00 CMCS / Room: F320
  • Baltasar Trancón Y Widemann. Towards systematic construction of temporal logics for dynamical systems via coalgebra
  • Corina Cirstea. A modular approach to linear-time logics
  • Benedikt Ahrens and Régis Spadotti. Coinitial semantics for redecoration of triangular matrices
  • Faris Abou-Saleh and James McKinna. A coalgebraic approach to bidirectional transformations

[back to top]

5th International Workshop on Developments in Implicit Computational complExity

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 DICE / Room: F316
  • Akitoshi Kawamura. Applying higher-type complexity to analysis (invited talk)
11h00 - 12h30 DICE / Room: F316
  • Patrick Baillot, Erika De Benedetti and Simona Ronchi Della Rocca. Characterizing polynomial and exponential complexity classes in elementary lambda-calculus
  • Brian Redmond. Soft Linear Logic and the Polynomial Hierarchy
14h00 - 16h00 DICE / Room: F316
  • Georg Moser. Automated Complexity Analysis Based on the Dependency Pair Method (invited talk)
  • Martin Avanzini and Naohi Eguchi. A New Term Rewriting Characterisation of ETIME functions
16h30 - 18h00 DICE / Room: F316
  • Beniamino Accattoli and Ugo Dal Lago. Beta Reduction is Invariant, Indeed
Sunday, April 6th
09h00 - 10h30 DICE / Room: F316
  • Dan Ghica. Resource control via bounded linear typing (invited talk)
11h00 - 12h30 DICE / Room: F316
  • Michael Schaper. A Complexity Preserving Transformation from Jinja Bytecode to Rewrite Systems
  • Mauro Piccolo, Claudio Sacerdoti Coen and Paolo Tranquilli. The labelling approach to precise resource analysis on the source code, revisited
14h00 - 16h00 DICE / Room: F316
  • Damiano Mazza (to be confirmed). Non-Uniform Polytime Computation in the Infinitary Affine Lambda-Calculus (invited talk)
  • Matthieu Perrinel. Context semantics for interaction nets
16h30 - 18h00 DICE / Room: F316
  • Business Meeting

[back to top]

11th International Workshop on Formal Engineering approaches to Software Components and Architectures

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 FESCA / Room: F309
  • Colin Atkinson (University of Mannheim). Facilitating Formal Views in View-Driven (Orthographic) Software Engineering (invited talk)
11h00 - 12h30 FESCA / Room: F309
  • Mounira Kezadri, Benoit Combemale, Marc Pantel and Xavier Thirioux. Correct-by-construction model composition: Application to the Invasive Software Composition method
  • Faiz Ul Muram, Huy Tran and Uwe Zdun. Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
  • Fenglin Han, Jan Blech, Peter Herrmann and Heinz Schmidt. Towards Verifying Safety Properties of Real-Time Probabilistic Systems
  • Luciana Santos, Valdivino Santiago Júnior and Nandamudi Vijaykumar. Transformation of UML Behavioral Diagrams to Support Software Model Checking
14h00 - 16h00 FESCA / Room: F309
  • Colin Atkinson (University of Mannheim). Orthographic and Deep Modeling with Melanee (tutorial)
  • Arnaud Lanoix and Olga Kouchnarenko. Component Substitution through Dynamic Reconfigurations
  • Rui Couto, António Nestor Ribeiro and José Creissac Campos. Application of Ontologies in Identifying Requirements Patterns in Use Cases
  • Wei Bai, Emmanuel Tadjouddine and Yu Guo. Enabling Automatic Certification of Online Auctions
16h30 - 18h00 FESCA / Room: F309
  • Antinisca Di Marco and Catia Trubiani. A model-driven approach to broaden the detection of software performance antipatterns at runtime
  • Stefan Stattelmann, Manuel Oriol and Thomas Gamer. Execution Time Analysis for Industrial Control Applications
  • Christian Colombo and Gordon Pace. Comprehensive Monitor-Oriented Compensation Programming

[back to top]

1st Workshop on Formal Integrated Development

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 FIDE / Room: F112
  • Rustan Leino and Valentin Wüstholz. The Dafny Integrated Development Environment
  • Jens Bendisposto, Sebastian Krings and Michael Leuschel. Who watches the watchers: Validating the ProB Validation Tool
11h00 - 12h30 FIDE / Room: F112
  • Mathieu Jaume and Théo Laurent. Teaching Formal Methods and Discrete Mathematics
  • David R. Cok and Scott Johnson. SPEEDY: An Eclipse-based IDE for invariant inference
  • Damien Doligez, Christele Faure, Thérèse Hardin and Manuel Maarek. Experience in using a typed functional language for the development of a security application
14h00 - 16h00 FIDE / Room: F112
  • Carlo Furia and Julian Tschannen. The Gotthard approach: Designing an Integrated Verification Environment for Eiffel (invited talk)
  • François Pessaux. FoCaLiZe: Inside an F-IDE
  • David Cok. OpenJML: Software verification for Java 7 using JML, OpenJDK, and Eclipse
16h30 - 18h00 FIDE / Room: F112
  • John Witulski and Michael Leuschel. Checking Computations of Formal Method Tools - A Secondary Toolchain for ProB
  • Discussion

[back to top]

From Programs to Systems - The Systems Perspective in Computing

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 FPS / Room: MJK
  • Alberto Sangiovanni-Vincentelli. Let's get physical: computer science meets systems
  • Janos Sztipanovits. OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems
11h00 - 12h30 FPS / Room: MJK
  • David Harel. Steps Towards Scenario-Based Programming with a Natural Language Interface
  • Manfred Broy. A Model of Dynamic Systems
  • Martin Wirsing. Assembly Theories for Communication-Safe Component Systems
14h00 - 16h00 FPS / Room: MJK
  • Moshe Vardi. Compositional Temporal Synthesis
  • Kim Guldstrand Larsen. Parametric and Quantitative Extensions of Modal Transition Systems
  • Lenore Zuck. Reasoning about Network Topologies in Space
  • Doron Peled. Compositional Branching-Time Measurements
16h30 - 18h00 FPS / Room: MJK
  • Michel Raynal. What Can be Computed in a Distributed System ?
  • Joseph Sifakis. Toward a System Design Science

[back to top]

Games for Logic and Programming Languages IX

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 GALOP / Room: F018
  • Glynn Winskel. TBA (invited talk)
11h00 - 12h30 GALOP / Room: F018
  • Clovis Eberhart, Tom Hirschowitz and Thomas Seiler. Fully Abstract Concurrent Games for Pi
  • Pierre Clairambault. Concurrent Hyland-Ong Games
14h00 - 16h00 GALOP / Room: F018
  • Tomás Kroupa. TBA (invited talk)
  • Hugo Férée. A Game Semantics Approach to Complexity
16h30 - 18h00 GALOP / Room: F018
  • Andrzej Murawski and Nikos Tzevelekos. Game Semantics for Interface Middleweight Java
  • Alexis Goyet. Building Simple Languages with the Power of References
Sunday, April 13th
09h00 - 10h30 GALOP / Room: F018
  • Ulrich Schöpp. TBA (invited talk)
  • Paul Blain Levy and Sam Staton. Compositionality for Transition Systems Over Games
11h00 - 12h30 GALOP / Room: F018
  • Michele Basaldella. An interactive semantics for classical arithmetic
  • Rodolphe Lepigre. Realizability, Testing and Game Semantics
14h00 - 16h00 GALOP / Room: F018
  • Eugenia Sironi. Type Theory in Ludics
  • Naohiko Haoshiko, Koko Muroya and Ichiro Hasuo. Memoryful Geometry of Interaction: From Coalgebraic Components to Algebraic Effects

[back to top]

1st International Workshop on Graphical Models for Security

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 GRAMSEC / Room: F114
  • Erlend Andreas Gjære and Per Håkon Meland. Threats Management Throughout the Software Service Life-cycle
  • Ludovic Apvrille and Yves Roudier. Towards the Model-Driven Engineering of Secure yet Safe Embedded Systems
  • Stéphane Paul. Towards Automating the Construction & Maintenance of Attack Trees: a Feasibility Study
11h00 - 12h30 GRAMSEC / Room: F114
  • Ketil Stølen. Graphical Models for Security: Overview, Challenges, and Recommendations (invited talk)
14h00 - 16h00 GRAMSEC / Room: F114
  • Thomas Bauereiss and Dieter Hutter. Possibilistic Information Flow Control for Workflow Management Systems
  • Cristian Prisacariu. Actor Network Procedures as Psi-calculi for Security Ceremonies
  • Aitor Couce Vieira, Siv Hilde Houmb, and David Rios Insua. A Graphical Adversarial Risk Analysis Model for Oil and Gas Drilling Cybersecurity
16h30 - 18h00 GRAMSEC / Room: F114
  • Panel. Open questions in graphical security modeling

[back to top]

3rd Workshop on GRAPH Inspection and Traversal Engineering

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 GRAPHITE / Room: F116
  • Radu Mateescu. Walking Back and Forth in Labelled Transition Systems (invited talk)
11h00 - 12h30 GRAPHITE / Room: F116
  • Gijs Kant and Jaco Van De Pol. Generating and Solving Symbolic Parity Games
  • Maribel Fernandez, Helene Kirchner and Bruno Pinaud. Strategic portgraph rewriting: an interactive modelling and analysis framework
  • Roi Blanco, Paolo Boldi and Andrea Marino. Entity-Linking via Graph-Distance Minimization
14h00 - 16h00 GRAPHITE / Room: F116
  • Giorgio Delzanno, Arend Rensink and Riccardo Traverso. Graph- versus Vector-Based Analysis of a Consensus Protocol
  • William Mansky, Dennis Griffith and Elsa Gunter. Specifying and Executing Optimizations for Parallel Programs
  • Valerio Senni and Michele Stawowy. Backwards State-space Reduction for Planning in Dynamic Knowledge Bases
  • Steffen Ziegert. Graph Transformation Planning via Abstraction

[back to top]

13th International Workshop on Graph Transformation and Visual Modeling Techniques

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 GTVMT / Room: F018
  • Philippe Palanque. Model-Based Engineering of Resilient Interactive Systems (invited talk)
11h00 - 12h30 GTVMT / Room: F018
  • Frederik Deckwerth and Gergely Varro. Generating Preconditions from Graph Constraints by Higher Order Graph Transformation
  • Paolo Bottoni, Andrew Fish, Alexander Heußner and Francesco Parisi-Presicce. Modeling Spider Diagrams with Resources
14h00 - 16h00 GTVMT / Room: F018
  • Erhan Leblebici, Anthony Anjorin, Andy Schürr, Stephan Hildebrandt, Jan Rieke and Joel Greenyer. A Comparison of Incremental Triple Graph Grammar Tools
  • Eduardo Zambon and Arend Rensink. Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices
16h30 - 18h00 GTVMT / Room: F018
  • Mudhafar Hussein, Reiko Heckel, Vincent Danos and Pawel Sobocinski. Modelling Adaptive Networks: The Case of the Petrified Voters
  • Jan Stückrath and Benjamin Weyers. Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models
Sunday, April 6th
09h00 - 10h30 GTVMT / Room: F018
  • Dániel Varró. Distributed Incremental Model Queries (invited talk)
11h00 - 12h30 GTVMT / Room: F018
  • Christian Brenner, Joel Greenyer, Jörg Holtmann, Grischa Liebel and Matthias Tichy. ScenarioTools Real-Time Play-Out for Test Sequence Validation in an Automotive Case Study
  • Abdullah Alshanqiti and Reiko Heckel. Towards Dynamic Reverse Engineering Visual Contracts from Java
14h00 - 16h00 GTVMT / Room: F018
  • Xiaoliang Wang, Yngve Lamo and Fabian Büttner. Verification of Graph-based Model Transformations Using Alloy
  • Discussion

[back to top]

4th Workshop on Hybrid Autonomous Systems

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 HAS / Room: F116
  • Thao Dang. Set computation for nonlinear systems (invited talk)
  • Yi Deng and Agung Julius. Safe Neighborhood Computation for Hybrid System Verification
11h00 - 12h30 HAS / Room: F116
  • Olaf Stursberg. Online Decision-Making of Hybrid Autonomous Systems in Uncertain Environments (invited talk)
  • John Leth, Rafael Wisniewski, Jakob Rasmussen and Henrik Schioler. Stochastic Analysis of Synchronization in a Supermarket Refrigeration System
14h00 - 16h00 HAS / Room: F116
  • Anders P. Ravn. Time: an obstacle to compositional reasoning in hybrid systems - and ways around it (invited talk)
  • Aneel Tanwani. On Asymptotic Stabilization of Linear Systems with Event-triggered Output Feedback and Quantized Measurements
  • Takumi Akazaki, Ichiro Hasuo and Kohei Suenaga. Input Synthesis for Sampled Data Systems by Program Logic
16h30 - 18h00 HAS / Room: F116
  • Martin Nilsson Jacobi. TBA (invited talk)
  • Luminita Cristiana Totu and Rafael Wisniewski. On modeling populations of switched diffusions with discrete dynamics consisting of both spontaneous and forced terms

[back to top]

2nd Workshop on Hot issues in Security Principles and Trust

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 HOTSPOT / Room: F112
  • Mark Ryan and Jia Liu. Verifiably accountable surveillance
  • Lili Xu, Konstantinos Chatzikokolakis, Huimin Lin and Catuscia Palamidessi. Metrics for Differential Privacy in Concurrent Systems
  • Chiara Bodei, Pierpaolo Degano, Letterio Galletta and Francesco Salvatori. Here you can't: context-aware security
11h00 - 12h30 HOTSPOT / Room: F112
  • Massimo Bartoletti, Alceste Scalas and Roberto Zunino. Towards a theory of honesty
  • Davide Basile, Pierpaolo Degano and Gian-Luigi Ferrari. Automata for Service Contracts
  • Pedro Adão, Claudio Bozzato, Gian-luca Dei Rossi, Riccardo Focardi and Flaminia Luccio. A semantic based tool for firewall configuration
14h00 - 16h00 HOTSPOT / Room: F112
  • David Naccache. New Algorithmic Approaches to Point Constellation Recognition (invited talk)
  • Afonso Arriaga, Qiang Tang and Peter Ryan. Trapdoor Privacy in Asymmetric Searchable Encryption Schemes
  • Jiangshan Yu, Vincent Cheval and Mark Ryan. DTKI: Distributed transparent key infrastructure
16h30 - 18h00 HOTSPOT / Room: F112
  • Miriam Paiola and Bruno Blanchet. From the Applied Pi Calculus to Horn Clauses for Protocols with Lists
  • Vincent Cheval and Veronique Cortier. Timing attacks: symbolic framework and proof techniques
  • Ghazi Maatoug, Frédéric Dadeau and Michaël Rusinowitch. Model-Based Vulnerability Testing of Payment Protocol Implementations

[back to top]

9th Workshop on Model-Based Testing

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 MBT / Room: F109
  • Alexandre Petrenko. How Does Nondeterminism Occur in Test Models and What Do We Do with It? (invited talk)
11h00 - 12h30 MBT / Room: F109
  • Christian Colombo, Mark Micallef and Mark Scerri. Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing
  • Arjan van der Meer, Rachid Kherrazi and Marc Hamilton. Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques
14h00 - 16h00 MBT / Room: F109
  • Adenilso Simao and Alexandre Petrenko. Generating Complete and Finite Test Suite for IOCO: Is It Possible?
  • Harsh Beohar and Mohammadreza Mousavi. Spinal Test Suites for Software Product Lines
  • Kalou Cabrera Castillos, Frederic Dadeau and Jacques Julliand. Coverage Criteria for Model-Based Testing using Property Patterns

[back to top]

MEALS Workshop

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 MEALS / Room: F111
  • Goran Frehse. Scalable Verification of Cyber-Physical Systems Using Support Functions (invited talk)
  • Eric Wognsen. Battery-Aware Scheduling of Mixed Criticality Systems
11h00 - 12h30 MEALS / Room: F111
  • Pedro D'Argenio. Structured Operational Semantics for Probabilistic and Nondeterministic Languages
  • Anton Wijs. GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components
  • Joost-Pieter Katoen. Probably Safe or Live?
14h00 - 16h00 MEALS / Room: F111
  • Allan van Hulst. Control Synthesis for Modal Logic
  • Emilio Tuosto. Synthesis of Graphical Multiparty Session Types
  • Hernan Melgratti. On the Behaviour of Programs Running over Weak Consistent Stores
  • Arnd Hartmanns. The MoDeST Toolset
16h30 - 18h00 MEALS / Room: F111
  • MEALS Business

[back to top]

5th Workshop on Mathematically Structured Functional Programming

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 MSFP / Room: F320
  • Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction (invited talk)
  • Paolo Capriotti and Ambrus Kaposi. Free applicative functors
11h00 - 12h30 MSFP / Room: F320
  • Jules Hedges. Monad transformers for backtracking search
  • Andreas Abel and James Chapman. Normalization by evaluation in the delay monad
  • Tarmo Uustalu. Coherence for skew-monoidal categories
14h00 - 16h00 MSFP / Room: F320
  • Shin-ya Katsumata (Kyoto University). Logical Relations for Monads by Categorical TT-Lifting (invited talk)
  • Michael Hicks, Gavin Bierman, Nataliya Guts, Daan Leijen and Nikhil Swamy. Polymonadic programming
  • Daan Leijen. Koka: Programming with Row-polymorphic Effect Types
16h30 - 18h00 MSFP / Room: F320
  • Wolfgang Jeltsch. Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion
  • Baltasar Trancón Y Widemann and Markus Lepper. Foundations of Total Functional Data-Flow Programming

[back to top]

6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 PLACES / Room: F316
  • Dimitris Mostrous. Multiparty Sessions based on Proof Nets
  • Sam Lindley and J. Garrett Morris. Sessions as Propositions
  • Francesco Tiezzi and Nobuko Yoshida. Towards Reversible Sessions
11h00 - 12h30 PLACES / Room: F316
  • Dimitrios Kouzapas, Ramunas Gutkovas and Simon Gay. Session Types for Broadcasting
  • Rumyana Neykova and Nobuko Yoshida. Multiparty Session Actors
  • Tzu-Chun Chen. Lightening Global Types
14h00 - 16h00 PLACES / Room: F316
  • Akash Lal (Microsoft Research India). Finding Concurrency Bugs Under Imprecise Harnesses (invited talk)
  • Stefan Blom, Saeed Darabi and Marieke Huisman. Verifying Parallel Loops with Separation Logic
  • Janwillem Swalens, Stefan Marr, Joeri De Koster and Tom Van Cutsem. Towards Composable Concurrency Abstractions
16h30 - 18h00 PLACES / Room: F316
  • Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantovic. Session Type Isomorphisms

[back to top]

12th Workshop on Quantitative Aspects of Programming Languages

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 12th
09h00 - 10h30 QAPL / Room: F022
  • Oded Maler. Timed Systems: The Unmet Challenge (invited talk)
11h00 - 12h30 QAPL / Room: F022
  • Diego Latella, Michele Loreti, Mieke Massink, and Valerio Senni. Stochastically timed predicate-based communication primitives for autonomic computing
  • Marino Miculan and Marco Peressotti. GSOS for non-deterministic processes with quantitative aspects
  • Max Tschaikowski and Mirco Tribastone. Extended Differential Aggregations in Process Algebra for Performance and Biology
14h00 - 16h00 QAPL / Room: F022
  • Stephen Gilmore. Quantitative Aspects of Public Transport (invited talk)
  • Michele Pagani. A Bird's Eye View on the Quantitative Semantics of Linear Logic
  • Herbert Wiklicky. Quantitative Aspects in Program Synthesis
  • Lili Xu, Konstantinos Chatzikokolakis, and Catuscia Palamidessi. A Multiplicative Variant of the Kantorovich distance for Differential Privacy
16h30 - 18h00 QAPL / Room: F022
  • Bettina Braitling, Luis María Ferrer Fioriti, Hassan Hatefi, Ralf Wimmer, Bernd Becker, and Holger Hermanns. MeGARA: Menu-based Game Abstraction and Abstraction Refinement of Markov Automata
  • Dennis Guck, Mark Timmer, and Stefan Blom. Extending Markov Automata with State and Action Rewards
  • Giulio Iacobelli, Mirco Tribastone, and Andrea Vandin. Differential Ordinary Lumpability in Markovian Process Algebra
  • Daniel Gebler. Compositional metric reasoning with Probabilistic Process Calculi
Sunday, April 13th
09h00 - 10h30 QAPL / Room: F022
  • Enrico Vicario. Quantitative evaluation of concurrent systems with non-Markovian temporal parameters (invited talk)
  • Clemens Dubslaff, Sascha Kluppeholz, Christel Baier. Probabilistic Software Product Line Model Checking
11h00 - 12h30 QAPL / Room: F022
  • Cheng Feng. Patch-based Hybrid Modelling of Spatially Distributed Systems by Using Stochastic HYPE - ZebraNet as an Example
  • Jean-Francois Kempf, Olivier Lebeltel, and Oded Maler. Formal and Informal Methods for Multi-Core Design Space Exploration
  • David Spieler, Ernst Moritz Hahn, and Lijun Zhang. Model Checking CSL for Markov Population Models
14h00 - 16h00 QAPL / Room: F022
  • Nicolas Markey. Robustness issues in timed automata (invited talk)
  • Tomasz Kloda, Bruno d'Ausbourg, and Luca Santinelli. Towards a More Flexible Timing Definition Language
  • Alexander Andreychenko, Linar Mikeev, and Verena Wolf. Moment closure approximation and distribution reconstruction for Markov Population Models
  • Eugene Asarin, Michel Blockelet, Aldric Degorre, Catalin Dima, and Chunyan Mu. Entropy model checking
16h30 - 18h00 QAPL / Room: F022
  • Jonathan M. Smith, Neil J. Ross, Peter Selinger, and Benoit Valiron. Quipper: Concrete Resource Estimation in Quantum Algorithms
  • Alessandra Di Pierro and Federica Panarotto. A Calculus for Topological Quantum Computation

[back to top]

Workshop on Reconciling Performance with Predictability

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 REPP / Room: F114
  • Sebastian Hahn, Jan Reineke, and Reinhard Wilhelm. Compositionality in Execution Time Analysis
  • David Broman. Precision Timed Processors and WCET-Aware Code Management for Mixed-Criticality Systems
11h00 - 12h30 REPP / Room: F114
  • Sophie Quinton and Rolf Ernst. Typical Worst-Case Analysis: Designing Real-Time Systems for the Hard and Weakly-Hard Case
  • Joerg Mische, Stefan Metzlaff, and Theo Ungerer. Distributed Memory on Chip - Bringing Together Low Power and Real-Time
  • Thomas Carle, Manel Djemal, Dumitru Potop Butucaru, Robert de Simone, Zhen Zhang, Francois Pecheux, and Franck Wajbuerst. Reconciling performance and predictability on a many-core through off-line mapping
14h00 - 16h00 REPP / Room: F114
  • Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, and Mihail Asavoae. Timing Analysis Enhancement for Synchronous Program
  • Florian Kluge, Mike Gerdes, Florian Haas, and Theo Ungerer. A Generic Timing Model for Cyber-Physical Systems
  • Insa Fuhrmann, David Broman, Steven Smyth, and Reinhard von Hanxleden. Towards Interactive Timing Analysis for Designing Reactive Systems
  • Michael Mendler, Brino Bodin, Partha Roop, and Jai Jie Wang. The WCRT analysis of synchronous programs: Studying the tick alignment problem
16h30 - 18h00 REPP / Room: F114
  • Moderated Discussion

[back to top]

2nd International Workshop on Strategic Reasoning

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 SR / Room: F309
  • Thomas Henzinger. Simulation Games (invited talk)
11h00 - 12h30 SR / Room: F309
  • Véronique Bruyère, Emmanuel Filiot, Mickael Randour and Jean-Francois Raskin. Expectations or Guarantees? I Want It All! A crossroad between games and MDPs
  • Lluis Godo and Enrico Marchioni. Games for the Strategic Influence of Expectations
  • Wojtek Jamroga, Matthijs Melissen, and Henning Schnoor. Defendable Security in Interaction Protocols
14h00 - 16h00 SR / Room: F309
  • Alessio Lomuscio. Model-Checking Systems Against Epistemic Specifications (invited talk)
  • Francesco Belardinelli. Reasoning about Knowledge and Strategies: Epistemic Strategy Logic
  • Xiaowei Huang and Ron van der Meyden. An Epistemic Strategy Logic
16h30 - 18h00 SR / Room: F309
  • Krishnendu Chatterjee, Laurent Doyen, Emmanuel Filiot, and Jean-Francois Raskin. Doomsday Equilibria for Omega-Regular Games
  • Patricia Bouyer, Nicolas Markey, and Steen Vester. Nash Equilibria in Symmetric Games with Partial Observation
Sunday, April 6th
09h00 - 10h30 SR / Room: F309
  • Wiebe Van Der Hoek. Two Themes in Modal Logic (invited talk)
11h00 - 12h30 SR / Room: F309
  • Dimitar Guelev. Refining and Delegating Strategic Ability in ATL
  • Clàudia Nalon, Lan Zhang, Clare Dixon, and Ullrich Hustadt. A Resolution Calculus for Coalition Logics
  • Xiang Jiang and Arno Pauly. Decomposing Bimatrix Games
14h00 - 16h00 SR / Room: F309
  • Benjamin Aminof and Sasha Rubin. Cycle Games
  • Dietmar Berwanger and Anup Basil Mathew. Games with Recurring Certainty
  • Wolfgang Thomas. What are 'Good' Winning Strategies in Infinite Games ? (invited talk)
16h30 - 18h00 SR / Room: F309
  • Guillaume Aucher, Bastien Maubert, and Sophie Pinchinat. Automata Techniques for Epistemic Protocol Synthesis
  • Piero Bonatti, Marco Faella, and Luigi Sauro. Partial Preferences for Mediated Bargaining

[back to top]

1st International Workshop on Synthesis of Continuous Parameters

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Sunday, April 6th
09h00 - 10h30 SYNCOP / Room: F116
  • Didier Lime. Integer Parameter Synthesis for Timed Automata (invited talk)
11h00 - 12h30 SYNCOP / Room: F116
  • Karin Quaas. MTL-model checking of One-Clock Parameterized Timed Automata is Undecidable
  • Vahid Hashemi, Hassan Hatefi and Jan Krcal. Probabilistic Bisimulations for PCTL Model Checking of Interval MDPs
  • Stefano Schivo, Jetse Scholma, Marcel Karperien, Janine N. Post, Jaco Van De Pol and Rom Langerak. Setting parameters for biological models with ANIMO
14h00 - 16h00 SYNCOP / Room: F116
  • Alexandre Donzé. Parameter Synthesis for Signal Temporal Logic (invited talk)
  • Giuseppe Lipari, Youcheng Sun, Étienne André and Fribourg Laurent. Toward Parametric Timed Interfaces for Real-Time Components
  • Mladen Skelin, Marc Geilen, Francky Catthoor and Sverre Hendseth. Worst-case Throughput Analysis for Parametric Rate and Parametric Actor Execution Time Scenario-Aware Dataflow Graphs

[back to top]

3rd Workshop on Validation Strategies for Software Evolution

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 VSSE / Room: F114
  • Leon Moonen. Model-based information flow analysis to support software certification
  • Arie Gurfinkel. Verifying Programs with Evolving (Under)-Approximations
11h00 - 12h30 VSSE / Room: F114
  • Barbara Jobstmann. Program Repair without Regret
  • K. Rustan M. Leino. Programming in Stages
14h00 - 16h00 VSSE / Room: F114
  • Fabrizio Pastore. Verification-Aided Regression Testing
  • Margus Veanes. Applications of Symbolic Finite Automata
  • Grigory Fedyukovich. Producing Effective Interpolants for SAT-based Incremental Verification and Upgrade Checking

[back to top]

10th International Workshop on Rewriting Logic and Its Applications

Please refer to the [detailed program] on the [workshop website]
for specific slot allocation within sessions, related workshop events and/or last-minute program changes!

Saturday, April 5th
09h00 - 10h30 WRLA / Room: F022
  • Peter Ölveczky. Real-Time Maude and its Applications (invited talk)
  • Si Liu, Peter Csaba Ölveczky and José Meseguer. A Framework for Mobile Ad hoc Networks in Real-Time Maude
11h00 - 12h30 WRLA / Room: F022
  • Kyungmin Bae and Jose Meseguer. Infinite-State Model Checking of LTLR Formulas Using Narrowing
  • Thomas Genet. Towards Static Analysis of Functional Programs using Tree Automata Completion
  • Salvador Lucas and Jose Meseguer. 2D Dependency Pairs for Proving Operational Termination of CTRSs
14h00 - 16h00 WRLA / Room: F022
  • Cesare Tinelli. Extending SMT solving with constrained deduction and rewrite rules (invited talk)
  • Camilo Rocha, José Meseguer and Cesar Munoz. Rewriting Modulo SMT and Open System Analysis
  • Luis Aguirre, Narciso Marti-Oliet, Miguel Palomino and Isabel Pita. Conditional Narrowing Modulo in Rewriting Logic and Maude
16h30 - 18h00 WRLA / Room: F022
  • Salvador Lucas and Jose Meseguer. Strong and Weak Operational Termination of Order-Sorted Rewrite Theories
  • Dominik Klein. Key-Secrecy of PACE with OTS/CafeOBJ
  • Si Liu, Muntasir Raihan Rahman, Stephen Skeirik, Indranil Gupta and José Meseguer. Formal Modeling and Analysis of Cassandra in Maude
  • Irina Mariuca Asavoae, Mihail Asavoae and Adrian Riesco. Towards a Formal Semantics-Based Technique for Interprocedural Slicing
Sunday, April 6th
09h00 - 10h30 WRLA / Room: F022
  • Alberto Lluch-Lafuente. Can we efficiently check concurrent programs under relaxed memory models in Maude? (invited talk)
  • Peter D. Mosses and Ferdinand Vesely. FunKons: Component-Based Semantics in K
11h00 - 12h30 WRLA / Room: F022
  • Andrei Arusoaie, Dorel Lucanu, Vlad Rusu, Traian Florin Serbanuta, Grigore Rosu and Andrei Stefanescu. Language Definitions as Rewrite Theories
  • Min Zhang, Yunja Choi and Kazuhiro Ogata. A Formal Semantics of the OSEK/VDX Standard in K Framework and its Applications
  • Adrian Riesco. An integration of CafeOBJ into Full Maude
14h00 - 16h00 WRLA / Room: F022
  • Francisco Durán. On the composition of graph-transformation-based DSL definitions (invited talk)
  • Massimo Bartoletti, Maurizio Murgia, Alceste Scalas and Roberto Zunino. Modelling and verifying contract-oriented systems in Maude
  • Mu Sun and José Meseguer. Formal Specification of Button-Related Fault-Tolerance Micropatterns
16h30 - 18h00 WRLA / Room: F022
  • Nissreen El-Saber and Artur Boronat. Formalization and Verification of BPMN Models using Maude
  • Mu Sun, José Meseguer and Lui Sha. A Formal Heartbeat Pattern for Open-Loop Safety of Networked Medical Devices
  • Lenz Belzner. Value Iteration for Relational MDPs in Rewriting Logic
  • Andrew Cholewa, Fan Yang, Catherine Meadows and Jose Meseguer. Maude-PSL : Reconciling Intuitive and Formal Specification in Cryptographic Protocol Analysis

[back to top]