Projects per year
Fingerprint
Dive into the research topics where Franck Cassez is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
-
-
Automata and game models for the analysis of time, uncertainty and risk Background
12/03/18 → 31/12/18
Project: Research
Research Outputs
-
Verification and parameter synthesis for real-time programs using refinement of trace abstraction
Cassez, F., Jensen, P. G. & Guldstrand Larsen, K., 2021, In: Fundamenta Informaticae. 178, 1-2, p. 31-57 27 p.Research output: Contribution to journal › Article › peer-review
1 Citation (Scopus) -
Efficient and scalable runtime monitoring for cyber–physical system
Zheng, X., Julien, C., Podorozhny, R., Cassez, F. & Rakotoarivelo, T., Jun 2018, In: IEEE Systems Journal. 12, 2, p. 1667-1678 12 p., 7605519.Research output: Contribution to journal › Article › peer-review
17 Citations (Scopus) -
Real-time simulation support for runtime verification of cyber-physical systems
Zheng, X., Julien, C., Chen, H., Podorozhny, R. & Cassez, F., Sep 2017, In: ACM Transactions on Embedded Computing Systems. 16, 4, p. 1-24 24 p., 106.Research output: Contribution to journal › Article › peer-review
8 Citations (Scopus) -
Refinement of trace abstraction for real-time programs
Cassez, F., Jensen, P. G. & Guldstrand Larsen, K., 2017, Reachability Problems: 11th International Workshop, RP 2017, Proceedings. Hague, M. & Potapov, I. (eds.). Cham, Switzerland: Springer, Springer Nature, Vol. 10506. p. 42-58 17 p. (Lecture Notes in Computer Science; vol. 10506).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
7 Citations (Scopus) -
ScalaSMT: Satisfiability Modulo Theory in Scala (tool paper)
Cassez, F. & Sloane, A. M., 22 Oct 2017, SCALA 2017: Proceedings of the 8th ACM SIGPLAN International Symposium on Scala. Miller, H., Haller, P. & Lhotak, O. (eds.). New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review
5 Citations (Scopus)
Prizes
-
File