Review of advanced driver assistance systems (adas), AIP Conference Proceedings, vol.1906, p.120002, 2017. ,
Cyber physical systems: Design challenges, 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.363-369, 2008. ,
Why uber's self-driving car killed a pedestrian, 2017. ,
An experimental spatio-temporal model checker, SEFM 2015 Collocated Workshops, pp.297-311, 2015. ,
Combining spatial and temporal logics: expressiveness vs. complexity, Journal of Artificial Intelligence Research, vol.23, pp.167-243, 2005. ,
Qualitative and quantitative monitoring of spatio-temporal properties, Runtime Verification, pp.21-37, 2015. ,
On a formal model of safe and scalable self-driving cars, 2017. ,
Airsim: High-fidelity visual and physical simulation for autonomous vehicles, Field and Service Robotics, 2017. ,
CARLA: An open urban driving simulator, Proceedings of the 1st Annual Conference on Robot Learning, pp.1-16, 2017. ,
,
Webots for automobiles ,
Syntax and semantics of the clock constraint specification language (ccsl), 2008. ,
Boundness issues in ccsl specifications, International Conference on Formal Engineering Methods, pp.20-35, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00877598
Periodic scheduling for MARTE/CCSL: Theory and practice, Science of Computer Programming, vol.154, pp.42-60, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01670450
Multiform time in uml for real-time embedded applications, 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.232-240, 2007. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
Specification and verification of time requirements with ccsl and esterel, Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, compilers, and tools for embedded systems, pp.167-176, 2009. ,
Simple on-the-fly automatic verification of linear temporal logic, International Conference on Protocol Specification, Testing and Verification, pp.3-18, 1995. ,
, Towards standardization of av safety: C++ library for responsibility sensitive safety
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic, Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, pp.1-11, 2019. ,
Efficient parametric identification for stl, Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), pp.177-186, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01715564
Timestamp temporal logic (ttl) for testing the timing of cyber-physical systems, ACM Transactions on Embedded Computing Systems (TECS), vol.16, issue.5s, pp.1-20, 2017. ,
Zélus: A synchronous language with odes, Proceedings of the 16th international conference on Hybrid systems: computation and control, pp.113-118, 2013. ,
, Correctness issues on MARTE/CCSL constraints, vol.106, pp.78-92, 2015.
, UML Profile for MARTE: Modeling and analysis of real-time embedded systems, 2009.
Modeling time (s), International Conference on Model Driven Engineering Languages and Systems, pp.559-573, 2007. ,
Schedulability analysis with CCSL specifications, 2013 20th Asia-Pacific Software Engineering Conference (APSEC), vol.1, pp.414-421, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00926305
From logical time scheduling to real-time scheduling, 39th IEEE Real-Time Systems Symposium, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01971976
A verification framework for spatiotemporal consistency language with CCSL as a specification language, Frontiers of Computer Science, pp.1-25, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01924463
Formal verification of dynamic and stochastic behaviors for automotive systems, 2019 24th International Conference on Engineering of Complex Computer Systems (ICECCS) ,
, IEEE, pp.11-20, 2019.
Debugging embedded systems requirements with stimulus: an automotive case-study, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01292286