There will be four student sessions, with two parallel tracks A and B that will take place in building A29 auditoriums E and D respectively. See the venue page for more information on the school location.
| Session 1 A | Session 1 B | |
|---|---|---|
| 17:30 | Model Checking AllTL Properties Over Set Automata Hayssam Soueidan |
Temporal Modeling and Verification of Biological Regulatory Networks (BRN) Jamil Ahmad |
| 17:55 | Temporal Logic for Timed Control Ghassan Oreiby |
Robust Zone-Based Forward Reachability Analysis of Timed Automata Mani Swaminathan |
| 18:20 | Temporal Logic with Constraints over Integers Régis Gascon |
Why discrete-time Petri nets with stopwatches? Morgan Magnin |
| Session 2 A | Session 2 B | |
|---|---|---|
| 18:00 | Model-checking Techniques for the Verification and Generation of Control Systems Daniele Magazzeni |
Tool Supported Real-Time System Verification Techniques Based on Abstraction/Deduction and Model-checking Eun-Young Kang |
| 18:25 | Synthesis of Component Adaptor via Quotient of Specifications Jean-Baptiste Raclet |
Model Checking Timed Automata using Abstractions Jasper Berendsen |
| 18:50 | Distributed Synthesis for Well-Connected Architectures Nathalie Sznajder |
Practical Program Analysis for Liveness and Fairness Alexey Gotsman |
| Session 3 A | Session 3 B | |
|---|---|---|
| 14:00 | Analysis and Prediction of the Long-Run Behavior of Probabilistic Sequential Programs with Recursion Tomáš Brázdil |
Complexity of some Bisimilarity Problems between BPP and BPA or Finite-State System Martin Kot |
| 14:25 | Automata for Querying Compressed Documents Barbara Fila |
Weakly Extended Process Rewrite Systems Vojtěch Řehák |
| 14:50 | Expand, Enlarge and Check Gilles Geeraerts |
Security of Cryptographic Protocols: New Properties Eugen Zălinescu |
| 15:15 | From Pointer Systems to Counter Systems Arnaud Sangnier |
Timed Distributed π-calculus Cristian Prisacariu |
| Session 4 A | Session 4 B | |
|---|---|---|
| 17:15 | Compositional model checking of monadic least fixed point logic Matko Botinčan |
On Applying Formal Verification to Secured Group Communications Benjamin Fontan |
| 17:40 | LfV, Language for Verification Duy-Tung Nguyen |
Typed Temporal Logic: A General Framework for Verification of Nonfunctional and Security Requirements of Component Based Systems Mohammad Izadi |
| 18:05 | Model-checking Coupled and Coherent Systems Frabrice Gadaud |
Modelling Logical and Geometrical Spacial Allocation with AltaRica Laurent Sagaspe |
One of the aims of MOVEP is to be a meeting place where Ph.D. students can discuss together and with senior researchers. As in the previous occurrences of MOVEP, special sessions will be devoted to Ph.D. student talks. The presentation should introduce:
Moreover, extended abstracts of these presentations will be published with the proceedings of the school. These abstracts should not exceed 6 pages and should be written in English using LaTeX2e. Please use the provided template and style file for your abstract. Submissions have to be sent electronically before April 22nd to movep06@labri.fr.
There are scholarships available to support Ph.D. students participating in the Ph.D. student session.