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.
Timed Automata
Mathematics
Model checking
Engineering & Materials Science
Time Petri Nets
Mathematics
Petri nets
Engineering & Materials Science
Failure analysis
Engineering & Materials Science
Semantics
Engineering & Materials Science
Synthesis
Mathematics
Finite automata
Engineering & Materials Science
Network
Recent external collaboration on country level. Dive into details by clicking on the dots.
Projects 2018 2020
Dynamic Safety Analysis for Cyber-Physical Systems
Zheng, X. & Cassez, F.
1/01/19 → 31/12/20
Project: Research
Automata and game models for the analysis of time, uncertainty and risk Background
12/03/18 → 31/12/18
Project: Research
Research Outputs 1995 2018
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 › Research › peer-review
Monitoring
Scheduling
Cyber Physical System
Scalability
Data storage equipment
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 › Research › peer-review
Cyber Physical System
Computer systems
Actuators
Sensors
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 › Research › peer-review
Refinement
Stop watches
Trace
Real-time
Stopwatch
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. New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › Research › peer-review
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 › Research › peer-review
Static analysis
Static Analysis
Program Analysis
Prizes
File