Franck Cassez public CV

Franck Cassez

Associate Professor

Associate Professor, Department of Computing

https://orcid.org/0000-0002-4317-5025

Phone612985029513
Emailfranck.cassez@mq.edu.au

Source: Scopus
Calculated based on no. of publications stored in Pure and citations from Scopus

Research activity 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.

6 Similar Profiles

Network

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

1 Active
2 Finished

Correctness Certificates from Program Analysis
Cassez, F.
1/07/18 → …
Project: Research
Dynamic Safety Analysis for Cyber-Physical Systems
Zheng, J. & Cassez, F.
1/01/19 → 31/12/20
Project: Research
Automata and game models for the analysis of time, uncertainty and risk Background
McIver, A. & Cassez, F.
12/03/18 → 31/12/18
Project: Research

1318 Citations
18 h-Index
40 Conference proceeding contribution
22 Article
5 Chapter
4 Conference paper
More

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
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 › peer-review
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 › peer-review
5 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

3 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 › peer-review
9 Citations (Scopus)

Best Paper Award LPAR 2015
Cassez, Franck (Recipient), 17 Nov 2015
Prize

File