ETAPS 2014 Workshops Programme

• CASSTING -:- 1st Cassting Workshop
• CMCS -:- 12th International Workshop on Coalgebraic Methods in Computer Science
• DICE -:- 5th International Workshop on Developments in Implicit Computational complExity
• FESCA -:- 11th International Workshop on Formal Engineering approaches to Software Components and Architectures
• FIDE -:- 1st Workshop on Formal Integrated Development
• FPS -:- From Programs to Systems - The Systems Perspective in Computing
• GALOP -:- Games for Logic and Programming Languages IX
• GRAMSEC -:- 1st International Workshop on Graphical Models for Security
• GRAPHITE -:- 3rd Workshop on GRAPH Inspection and Traversal Engineering
• GTVMT -:- 13th International Workshop on Graph Transformation and Visual Modeling Techniques
• HAS -:- 4th Workshop on Hybrid Autonomous Systems
• HOTSPOT -:- 2nd Workshop on Hot issues in Security Principles and Trust
• MBT -:- 9th Workshop on Model-Based Testing
• MEALS -:- MEALS Workshop
• MSFP -:- 5th Workshop on Mathematically Structured Functional Programming
• PLACES -:- 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software
• QAPL -:- 12th Workshop on Quantitative Aspects of Programming Languages
• REPP -:- Workshop on Reconciling Performance with Predictability
• SR -:- 2nd International Workshop on Strategic Reasoning
• SYNCOP -:- 1st International Workshop on Synthesis of Continuous Parameters
• VSSE -:- 3rd Workshop on Validation Strategies for Software Evolution
• WRLA -:- 10th International Workshop on Rewriting Logic and Its Applications

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]