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.
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects
Automata and game models for the analysis of time, uncertainty and risk Background
12/03/18 → 31/12/18
Project: Research
Research Outputs
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
14
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
7
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
4
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
2
Citations
(Scopus)
Skink: static analysis of programs in LLVM intermediate representation
Cassez, F., Sloane, A. M., Roberts, M., Pigram, M., Suvanpong, P. & de Aledo, P. G., 2017, Tools and algorithms for the construction and analysis of systems: 23rd International Conference, TACAS 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings, part II. Legay, A. & Margaria, T. (eds.). Berlin: Springer, Springer Nature, p. 380-384 5 p. (Lecture notes in computer science; vol. 10206).Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution
7
Citations
(Scopus)
Prizes
File