David Julien

According to our database, David Julien authored at least 4 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models.

David Julien, Gilles Ardourel, Guillaume Cantin, Benoît Delahaye

ACM Trans. Model. Comput. Simul., July, 2024

2022

End-to-End Statistical Model Checking for Parametric ODE Models.

David Julien, Guillaume Cantin, Benoît Delahaye

Proceedings of the Quantitative Evaluation of Systems - 19th International Conference, 2022

2004

GOLIATH: an Extensible Model-Based Environment to Develop User Interfaces.

David Julien, Mikal Ziane, Zahia Guessoum

Proceedings of the Computer-Aided Design of User Interfaces IV, 2004

2003

When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets.

Frédéric Peschanski, David Julien

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003