MARTE: a profile for RT/E systems modeling, analysis-and simulation, pp.1-8, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00371397
Modeling time (s)," in IC on MODELS, pp.559-573, 2007. ,
TimeSquare: Treat your models with logical time, TOOLS'12, pp.34-41, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00688590
SMT-based approach to formal analysis of CCSL with tool support, Journal of Software, vol.29, issue.6, pp.1595-1606, 2018. ,
The certainty of uncertainty in real-time systems, IEEE Instr. & Meas. Mag, vol.7, issue.4, pp.44-50, 2004. ,
Real-time scheduling under uncertainty: Challenges and solutions, IC on EDiS, pp.227-227, 2017. ,
Z3: An efficient SMT solver, TACAS'08, ser, vol.4963, pp.337-340, 2008. ,
Formal methods for timing verification the 2015 FMTV challenge, 2015. ,
Parametric real-time reasoning, 1993. ,
Parametric approach to the specification and analysis of real-time scheduling based on ACSR-VP, Science of Computer Programming, vol.42, pp.49-60, 2002. ,
Analog mos integrated circuits for signal processing, 1986. ,
Time, clocks, and the ordering of events in a distributed system, Comm. ACM, vol.21, issue.7, pp.558-565, 1978. ,
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, pp.64-83, 2003. ,
, Correctness issues on MARTE/CCSL constraints, vol.106, pp.78-92, 2015.
SMT-based bounded schedulability analysis of the clock constraint specification language, FASE'19, ser. LNCS 11424, pp.61-78, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02080763
Times: A tool for schedulability analysis and code generation of real-time systems, FORMATS'03, ser. LNCS 2791, pp.60-72, 2003. ,