Accepted papers

  • Sabrine Ammar and Mohamed Tahar Bhiri. Automatic planning: From Event-B to PDDL (short paper)
  • Syrine Aouadi and Arnaud Lanoix. Reliability on Fully Probabilistic Event-B: How Bound the Enabling of Events
  • Pascal André, Christian Attiogbe and Arnaud Lanoix. Systematic Construction of Critical Embedded Systems using Event-B
  • Samir Chouali, Sebti Mouelhi and Hassan Mountassir. Component design and adaptation based on behavioral contracts
  • Luis Daniel Benavides Navarro, Wilmer Garzon and Mateo Sanabria. Towards real-time semantics for a distributed event-based MOP language