David Julien

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 1

Top Topics

Temporal Properties

Finite State Machines

Reactive Systems

Top Venues

Publications

David Julien, Guillaume Cantin, Benoît Delahaye
End-to-End Statistical Model Checking for Parametric ODE Models. QEST (2022)
David Julien, Mikal Ziane, Zahia Guessoum
GOLIATH: an Extensible Model-Based Environment to Develop User Interfaces. CADUI (2004)
Frédéric Peschanski, David Julien
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets. ZB (2003)