• 1251 Citations
  • 18 h-Index
19952019

Research output per year

If you made any changes in Pure these will be visible here soon.

Research Outputs

Filter
Conference proceeding contribution
2017

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

The sbt-rats parser generator plugin for scala (tool paper)

Sloane, A. M., Cassez, F. & Buckley, S., 30 Oct 2016, SCALA 2016 - Proceedings of the 2016 7th ACM SIGPLAN Symposium on Scala. Biboudis, A., Jonnalagedda, M., Stucki, S. & Ureche, V. (eds.). New York: Association for Computing Machinery, Inc, p. 110-113 4 p.

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

3 Citations (Scopus)
2015

BraceAssertion: runtime verification of cyber-physical systems

Zheng, X., Julien, C., Podorozhny, R. & Cassez, F., 2015, Proceedings - 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems, MASS 2015. Picataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 298-306 9 p.

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

9 Citations (Scopus)

Perentie: Modular trace refinement and selective value tracking (competition contribution)

Cassez, F., Matsuoka, T., Pierzchalski, E. & Smyth, N., 2015, Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings. Baier, C. & Tinelli, C. (eds.). Heidelberg: Springer, Springer Nature, p. 439-442 4 p. (Lecture Notes in Computer Science; vol. 9035).

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

3 Citations (Scopus)

Verification of concurrent programs using trace abstraction refinement

Cassez, F. & Ziegler, F., 2015, Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings. Davis, M., Fehnker, A., McIver, A. & Voronkov, A. (eds.). Heidelberg: Springer, Springer Nature, p. 233-248 16 p. (Lecture Notes in Computer Science; vol. 9450).

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

3 Citations (Scopus)
2014

Energy and mean-payoff timed games

Brenguier, R., Cassez, F. & Raskin, J-F., 2014, Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control. New York: Association for Computing Machinery, p. 283-292 10 p.

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

Open Access
9 Citations (Scopus)

Summary-based inter-procedural analysis via modular trace refinement

Cassez, F., Müller, C. & Burnett, K., 1 Dec 2014, 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, FSTTCS 2014. Raman, V. & Suresh, S. P. (eds.). Dagstuhl, Germany: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 29. p. 545-556 12 p.

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

Open Access
File
4 Citations (Scopus)
2013

Predictability of event occurrences in timed systems

Cassez, F. & Grastien, A., 2013, Formal modeling and analysis of timed systems: 11th International Conference, FORMATS 2013, Buenos Aires, Argentina, August 29-31, 2013. Proceedings. Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, Springer Nature, p. 62-76 15 p. (Lecture Notes in Computer Science; vol. 8053).

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

16 Citations (Scopus)

PtrTracker: Pragmatic pointer analysis

Biallas, S., Olesen, M. C., Cassez, F. & Huuck, R., 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation (SCAM 2013). Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 69-73 5 p. 6648186

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

3 Citations (Scopus)

Timing analysis of binary programs with UPPAAL

Cassez, F. & Bechennec, J. L., 2013, Proceedings 2013 13th International Conference on Application of Concurrency to System Design: ACSD 2013. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 41-50 10 p. 6598339

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

8 Citations (Scopus)
2012

Controllers with minimal observation power (application to timed systems)

Bulychev, P., Cassez, F., David, A., Larsen, K. G., Raskin, J. F. & Reynier, P. A., Oct 2012, Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings. Chakraborty, S. & Mukund, M. (eds.). Berlin: Springer, Springer Nature, p. 223-237 15 p. (Lecture Notes in Computer Science; vol. 7561).

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

What is a timing anomaly?

Cassez, F., Hansen, R. R. & Olesen, M. C., 2012, 12th International Workshop on Worst-Case Execution Time Analysis: WCET’12, July 10, 2012, Pisa, Italy. Vardanega, T. (ed.). Dagstuhl: Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 1-12 12 p. (OASIcs – OpenAccess Series in Informatics; vol. 23).

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

Open Access
File
7 Citations (Scopus)
2011

Timed games for computing WCET for pipelined processors with caches

Cassez, F., 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design (ACSD 2011). Caillaud, B., Carmona, J. & Hiraishi, K. (eds.). Los Alamitos, CA: Institute of Electrical and Electronics Engineers (IEEE), p. 195-204 10 p. (Application of Concurrency to System Design).

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

10 Citations (Scopus)
2010

Dynamic observers for fault diagnosis of timed systems

Cassez, F., 2010, 2010 49th IEEE Conference on Decision and Control (CDC 2010). Pistcataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 4359-4364 6 p. 5717696. (Proceedings of the IEEE Conference on Decision & Control).

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

10 Citations (Scopus)

The complexity of codiagnosability for discrete event and timed systems

Cassez, F., 2010, Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010 Singapore, September 21-24, 2010 Proceedings. Bouajjani, A. & Chin, W-N. (eds.). Berlin; Heidelberg: Springer, Springer Nature, p. 82-96 15 p. (Lecture Notes in Computer Science; vol. 6252).

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

4 Citations (Scopus)

The complexity of synchronous notions of information flow security

Cassez, F., Van Der Meyden, R. & Zhang, C., 2010, Foundations of Software Science and Computational Structures : 13th International Conference, FOSSACS 2010 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010 Paphos, Cyprus, March 20-28, 2010, Proceedings. Ong, L. (ed.). Berlin; Heidelberg: Springer, Springer Nature, p. 282-296 15 p. (Lecture Notes in Computer Science; vol. 6014).

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

4 Citations (Scopus)
2009

A note on fault diagnosis algorithms

Cassez, F., 2009, Proceedings of the 48th IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 6941-6946 6 p. 5399968

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

7 Citations (Scopus)

Automatic synthesis of robust and optimal controllers - An industrial case study

Cassez, F., Jessen, J. J., Larsen, K. G., Raskin, J. F. & Reynier, P. A., 2009, Hybrid systems: computation and control: 12th International Conference, HSCC 2009, San Francisco, CA, USA, April 2009, proceedings. Majumdar, R. & Tabuada, P. (eds.). Berlin: Springer, Springer Nature, p. 90-104 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5469).

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

47 Citations (Scopus)

Dynamic observers for the synthesis of opaque systems

Cassez, F., Dubreil, J. & Marchand, H., 2009, Automated technology for verification and analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, proceedings. Liu, Z. & Ravn, A. P. (eds.). Berlin: Springer, Springer Nature, p. 352-367 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5799 LNCS).

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

29 Citations (Scopus)

Synthesis of non-interferent timed systems

Benattar, G., Cassez, F., Lime, D. & Roux, O. H., 2009, Formal modeling and analysis of timed systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 2009, proceedings. Ouaknine, J. & Vaandrager, F. W. (eds.). Berlin: Springer, Springer Nature, p. 28-42 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5813 LNCS).

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

5 Citations (Scopus)

The dark side of timed opacity

Cassez, F., 2009, Advances in information security and assurance: Third International Conference and Workshops, ISA 2009, Seoul, Korea, June 25-27, 2009, proceedings. Park, J. H., Chen, H-H., Atiquzzaman, M., Lee, C., Kim, T. & Yeo, S-S. (eds.). Berlin: Springer, Springer Nature, p. 21-30 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 5576 LNCS).

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

19 Citations (Scopus)
2008

Fault diagnosis with dynamic observers

Cassez, F. & Tripakis, S., 2008, Proceedings 9th International Workshop on Discrete Event Systems WODES’ 08. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 212-217 6 p. 4605947

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

7 Citations (Scopus)
2007

Efficient on-the-fly algorithms for partially observable timed games

Cassez, F., 2007, Formal Modeling and Analysis of Timed Systems - 5th International Conference, FORMATS 2007, Proceedings. Berlin; New York: Springer, Springer Nature, Vol. 4763 LNCS. p. 5-24 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4763 LNCS).

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

9 Citations (Scopus)

Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis

Cassez, F., Tripakis, S. & Altisen, K., 2007, Proceedings - 7th International Conference on Application of Concurrency to System Design, ACSD 2007. Los Alamitos, Calif.: Institute of Electrical and Electronics Engineers (IEEE), p. 90-99 10 p. 4276268

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

15 Citations (Scopus)

Synthesis of non-interferent distributed systems

Cassez, F., Mullins, J. & Roux, O. H., 2007, Computer Network Security - Fourth International Conference on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2007, Proceedings. Berlin; New York: Springer, Springer Nature, Vol. 1. p. 159-170 12 p. (Communications in Computer and Information Science; vol. 1).

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

4 Citations (Scopus)

Synthesis of optimal-cost dynamic observers for fault diagnosis of discrete-event systems

Cassez, F., Tripakis, S. & Altisen, K., 2007, First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE '07. Las Alamitos, Calif.: Institute of Electrical and Electronics Engineers (IEEE), p. 316-325 10 p. 4239975

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

8 Citations (Scopus)

Timed control with observation based and stuttering invariant strategies

Cassez, F., David, A., Larsen, K. G., Lime, D. & Raskin, J. F., 2007, Automated Technology for Verification and Analysis - 5th International Symposium, ATVA 2007, Proceedings. Berlin; New York: Springer, Springer Nature, Vol. 4762 LNCS. p. 192-206 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4762 LNCS).

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

27 Citations (Scopus)
2006

Monitoring and fault-diagnosis with digital clocks

Altisen, K., Cassez, F. & Tripakis, S., 2006, Proceedings : Sixth International Conference on Application of Concurrency to System Design, ACSD 2006. Piscataway, NJ: Institute of Electrical and Electronics Engineers (IEEE), p. 101-110 10 p. 1640228

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

3 Citations (Scopus)

Symbolic unfoldings for networks of timed automata

Cassez, F., Chatain, T. & Jard, C., 2006, Automated Technology for Verification and Analysis - 4th International Symposium, ATVA 2006: proceedings. Graf, S. & Zhang, W. (eds.). Heidelberg, Germany: Springer, Springer Nature, Vol. 4218 LNCS. p. 307-321 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4218 LNCS).

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

11 Citations (Scopus)
2005

Comparison of different semantics for time Petri nets

Bérard, B., Cassez, F., Haddad, S., Lime, D. & Roux, O. H., 2005, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Berlin: Springer, Springer Nature, Vol. 3707 LNCS. p. 293-307 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3707 LNCS).

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

37 Citations (Scopus)

Comparison of the expressiveness of timed automata and time Petri nets

Bérard, B., Cassez, F., Haddad, S., Lime, D. & Roux, O. H., 2005, Formal Modeling and Analysis of Timed Systems - Third International Conference, FORMATS 2005, Proceedings. Heidelberg: Springer, Springer Nature, Vol. 3829 LNCS. p. 211-225 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3829 LNCS).

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

67 Citations (Scopus)

When are timed automata weakly timed bisimilar to time petri nets?

Bérard, B., Cassez, F., Haddad, S., Lime, D. & Roux, O. H., 2005, FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science - 25th International Conference, Proceedings. New York: Springer, Springer Nature, Vol. 3821 LNCS. p. 273-284 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3821 LNCS).

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

11 Citations (Scopus)
2002

A comparison of control problems for timed and hybrid systems

Cassez, F., Henzinger, T. A. & Raskin, J. F., 2002, Hybrid Systems: Computation and Control : 5th International Workshop, HSCC 2002, Proceedings. Tomlin, C. & Greenstreet, M. (eds.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 2289. p. 134-148 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2289).

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

51 Citations (Scopus)

Extending the translation from SDL to promela

Prigent, A., Cassez, F., Dhaussy, P. & Roux, O., 2002, Model Checking Software - 9th International SPIN Workshop, Proceedings. Bošnački, D. & Leue, S. (eds.). Berlin; New York: Springer, Springer Nature, Vol. 2318 LNCS. p. 79-94 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2318 LNCS).

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

8 Citations (Scopus)
2001

Proving feature non-interaction with alternating-time temporal logic

Cassez, F., Ryan, M. D. & Schobbens, P-Y., 2001, Language constructs for describing features: proceedings of the FIREworks workshop. Gilmore, S. & Ryan, M. D. (eds.). London: Springer, Springer Nature, p. 85-103 19 p.

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

2000

Model-checking for hybrid systems by quotienting and constraints solving

Cassez, F. & Laroussinie, F., 2000, Computer Aided Verification - 12th International Conference, CAV 2000, Proceedings. Berlin; Heidelberg: Springer, Springer Nature, Vol. 1855. p. 373-388 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1855).

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

18 Citations (Scopus)

The impressive power of stopwatches

Cassez, F. & Larsen, K., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference, Proceedings. Berlin; Heidelberg, Vol. 1877 LNCS. p. 138-152 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1877 LNCS).

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

113 Citations (Scopus)
1999

Effective recognizability and model checking of reactive fiffo automata

Sutre, G., Finkel, A., Roux, O. & Cassez, F., 1999, Algebraic methodology and software technology: 7th International Conference, AMAST’98 Amazonia, Brazil, January 4–8, 1999 Proceedings. Haeberer, A. M. (ed.). Berlin: Springer, Springer Nature, Vol. 1548. p. 106-123 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1548).

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

5 Citations (Scopus)