ETAPS 2014 Programme Saturday April 12th

Saturday, April 12th
09h00 - 10h30
CASSTING
Room: F112
  • Nicolas Gast. Efficiency and Prices in Real-Time Electricity Markets (invited talk)
FESCA
Room: F309
  • Colin Atkinson (University of Mannheim). Facilitating Formal Views in View-Driven (Orthographic) Software Engineering (invited talk)
GALOP
Room: F018
  • Glynn Winskel. TBA (invited talk)
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
HAS
Room: F116
  • Thao Dang. TBA (invited talk)
  • Yi Deng and Agung Julius. Safe Neighborhood Computation for Hybrid System Verification
MSFP
Room: F320
  • Bob Atkey. Applications of Relational Parametricity beyond Type Abstraction (invited talk)
  • Paolo Capriotti and Ambrus Kaposi. Free applicative functors
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
QAPL
Room: F022
  • Oded Maler. Timed Systems: The Unmet Challenge (invited talk)
10h30 - 11h00 Coffee Break
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
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
GALOP
Room: F018
  • Clovis Eberhart, Tom Hirschowitz and Thomas Seiler. Fully Abstract Concurrent Games for Pi
  • Pierre Clairambault. Concurrent Hyland-Ong Games
GRAMSEC
Room: F114
  • Ketil Stølen. Graphical Models for Security: Overview, Challenges, and Recommendations (invited talk)
HAS
Room: F116
  • Olaf Stursberg. TBA (invited talk)
  • John Leth, Rafael Wisniewski, Jakob Rasmussen and Henrik Schioler. Stochastic Analysis of Synchronization in a Supermarket Refrigeration System
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
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
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
12h30 - 14h00 Lunch
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
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
GALOP
Room: F018
  • Tomás Kroupa. TBA (invited talk)
  • Hugo Férée. A Game Semantics Approach to Complexity
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
HAS
Room: F116
  • Anders P. Ravn. TBA (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
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
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
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
16h00 - 16h30 Coffee Break
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
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
GALOP
Room: F018
  • Andrzej Murawski and Nikos Tzevelekos. Game Semantics for Interface Middleweight Java
  • Alexis Goyet. Building Simple Languages with the Power of References
GRAMSEC
Room: F114
  • Panel. Open questions in graphical security modeling
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
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
PLACES
Room: F316
  • Mariangiola Dezani-Ciancaglini, Luca Padovani and Jovanka Pantovic. Session Type Isomorphisms
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
20h00 - 23h00
Dinner at Restaurant Le Chasse-Spleen

Who's online

We have 81 guests and no members online

Site Hosted by