Program of ACSD 2017

ACSD 2017

Wednesday, 28 June 2017

09:15-09:45 Opening session

09:45-10:45 Distinguished Carl Adam Petri Lecture [Session chair: Maciej Koutny]

  • Thomas Henzinger. Promises and Challenges of Reactive Modeling: A Personal Perspective

10:45-11:15 Coffee Break

11:15-12:45 Session 1: Verification of Timed Systems [Session chair: Andrey Mokhov]

  • Étienne André and Didier Lime. Liveness in L/U-Parametric Timed Automata
  • Simon Lunel, Benoît Boyer and Jean-Pierre Talpin. Efficient Composition in Differential Dynamic Logic
  • Mohammed Foughali. Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and Tools

12:45-14:15 Lunch Break

14:15-15:15 Invited Lecture 1 [Session chair: Wil van der Aalst]

  • Josep Carmona. The Alignment of Formal, Structured and Unstructured Process Descriptions

15:15-15:45 Coffee Break

15:45-16:45 Session 2: Compositional Verification [Session chair: Klaus Schneider]

  • Antti Siirtola. Refinement Checking Parameterised Quorum Systems
  • Dung Phan, Junxing Yang, Matthew Clark, Radu Grosu, John Schierman, Scott Smolka and Scott Stoller. A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems

Thursday, 29 June 2017

09:00-10:00 Invited Lecture 2 [Session chair: Klaus Schneider]

  • Jaco van de Pol. Property-Preserving Generation of Tailored Benchmark Petri Nets

10:00-10:30 Coffee Break

10:30-11:30 Session 3: Asynchronous Systems [Session chair: Axel Legay]

  • Victor Khomenko, Andrey Mokhov, Danil Sokolov and Alex Yakovlev. Formal Design and Verification of an Asynchronous SRAM Controller
  • Jonathan Beaumont. Plato: A tool for behavioural specification of asynchronous circuits

11:30-11:45 Coffee Break

11:45-12:45 Session 4: Circuit Analysis [Session chair: Gilles Geeraerts]

  • Ghaith Tarawneh and Andrey Mokhov. Xprova: Formal Verification Tool with Built-in Metastability Modeling
  • Ashur Rafiev, Fei Xia, Alexei Iliasov, Alexander Romanovsky and Alex Yakovlev. Selective Abstraction for Estimating Extra-Functional Properties in Networks-on-Chips Using ArchOn

12:45-14:15 Lunch Break

14:15-15:15 Tool session [Session chair: Unai Arronategui]

15:15-16:15 Invited Lecture 3 [Session chair: Jetty Kleijn]

  • Irina Lomazova. Resource equivalences in Petri nets

16:15-16:45 Coffee Break

16:45-17:45 Session 5: Models of Concurrency [Session chair: Josep Carmona]

  • Andrey Mokhov, Jordi Cortadella and Alessandro de Gennaro. Process Windows
  • Łukasz Mikulski, Andrey Mokhov and Marcin Piątkowski. Reduction of Order Structures

Friday, 30 June 2017

09:00-10:00 Invited Lecture 4 [Session chair: Lars Michael Kristensen]

  • Christos G. Cassandras. Complexity Made Simple (at a small price)

10:00-10:30 Coffee Break

10:30-11:30 Session 6: Scheduling of Concurrent Systems [Session chair: Alex Yakovlev]

  • Anoop Bhagyanath and Klaus Schneider. Exploring the Instruction-Level Parallelism Potential of Exposed Datapath Architectures with Buffered Processing Units
  • Gilles Geeraerts, Joel Goossens and Thi-Van-Anh Nguyen. A Backward Algorithm for the Multiprocessor Online Feasibility of Sporadic Tasks

11:30-11:45 Coffee Break

11:45-12:45 Session 7: Shared Memory Concurrency [Session chair: Marta Pietkiewicz-Koutny]

  • Georges-Axel Jaloyan and Lee Pike. Lock Optimization for Hoare Monitors in Real-Time Systems
  • Alban Linard and Didier Buchs. Ardoises: Collaborative & Interactive Editing using Layered Data

12:45-13:15 Closing Session

13:15-14:15 Lunch Break