• 1237 Citations
  • 18 h-Index
19952020

Research output per year

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.

  • 0 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

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 journalArticle

  • 10 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 journalArticle

  • 5 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 proceedingConference 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. New York, NY: Association for Computing Machinery, Inc, p. 51-55 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference proceeding contribution

    1 Citation (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 proceedingConference proceeding contribution

  • 7 Citations (Scopus)

    Prizes

    Best Paper Award LPAR 2015

    Franck Cassez (Recipient), 17 Nov 2015

    Prize

    File