• 1148 Citations
  • 17 h-Index
19952020
If you made any changes in Pure these will be visible here soon.

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
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

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 journalArticleResearchpeer-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 journalArticleResearchpeer-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 proceedingConference proceeding contributionResearchpeer-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 proceedingConference proceeding contributionResearchpeer-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 proceedingConference proceeding contributionResearchpeer-review

Static analysis
Static Analysis
Program Analysis

Prizes

Best Paper Award LPAR 2015

Franck Cassez (Recipient), 17 Nov 2015

Prize

File