Thomas Mari

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Object Oriented Programming Language

Constraint Violations

Coalition Logic

Process Algebra

Top Venues

Publications

Thomas Mari, Thao Dang, Gregor Gössler
Explaining Safety Violations in Real-Time Systems. FORMATS (2021)
Nathalie Bertrand, Benjamin Bordais, Loïc Hélouët, Thomas Mari, Julie Parreaux, Ocan Sankur
Performance Evaluation of Metro Regulations Using Probabilistic Model-Checking. RSSRail (2019)