2nd MEALS Workshop

6th of April, 2014. Grenoble, France.
Satellite event of ETAPS 2014.

Computing systems are getting ever more ubiquitous, making us dependent on their proper functioning. MEALS is a European research project under IRSES Exchange Programme focused on designing and developing methods which provide a formal approach to model, understand, and analyze systems, wrt their required behavior: correct (i.e. they conform their intended behaviour), safe (i.e. its operation does not have catastrophic consequences), reliable, available to provide the intended service, and secure (i.e., no user without appropriate clearance can access or modify protected data).

The purpose of this workshop arranged by MEALS is to bring researchers, practitioners and industry together to discuss the issues, challenges and latest solutions for formal techniques for the specification, verification and synthesis of dependable ubiquitous computing systems, with respect to both qualitative (i.e. pure non-deterministic models) as well as quantitative behaviour (i.e. extended with probabilistic information). The workshop is targeted towards researchers interested in formal methods in all their aspects: foundations (their mathematical and logical basis), algorithmic advances (the conceptual basis for software tool support) and practical considerations (tool construction and case studies). The workshop will feature a number of distinguished presentations on newest challenges, new techniques, case studies, and tool demonstrations.

Registration and Traveling

Please follow the information at ETAPS 2014 website.


9:00 Voorgerecht: Joint MEALS-Sensation Session
Invited Talk:
Goran Frehse
Scalable Verification of Cyber-Physical Systems Using Support Functions
Erik Wognsen
Battery-Aware Scheduling of Mixed Criticality Systems
10:30 Cofee break
11:00 Hoofdgerecht
Pedro R. 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?
12:30 Lunch
14:00 Nagerecht
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
16:00 Coffee Break
16:30 Koffie met Koekjes
MEALS Business

Organizing Committee