Exposés longs de l'UE Séminaire 25-26

mercredi 25 février salle 178 :

  • 13h30 : Mohammed Dlimi Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction by aul Eichler, Swen Jacobs and Chana Weil-Kennedy
  • 14h30 : Romain Wach From LTL to COCOA without Detours by Rüdiger Ehlers and Ayrat Khalimov
  • 15h30 : Félix Lasseux Customizable Hub Labeling: Properties and Algorithms by Johannes Blum and Sabine Storandt
  • 16h30 : Théo Laffaye The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification by Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Mu˜niz, and Ahmad Siyar Andisha
  • 17h30 : Zhaoyuan Song SAT-Based Model Checking Without Unrolling by Aaron R. Bradley