• 1254 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
Chapter
Chapter

Comparison of expressiveness for timed automata and time Petri nets

Bérard, B., Cassez, F., Haddad, S., Lime, D. & Roux, O. H., 3 Feb 2010, Combinatorial optimization and theoretical computer science. Paschos, V. T. (ed.). London; Hoboken, NJ: ISTE - Wiley, p. 93-144 52 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Control of timed systems

Cassez, F. & Markey, N., 2010, Communicating embedded systems: software and design : formal methods. Jard, C. & Roux, O. H. (eds.). London; Hoboken, N.J.: John Wiley & Sons, p. 67-105 39 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Fault diagnosis of timed systems

Cassez, F. & Tripakis, S., 2010, Communicating embedded systems: software and design : formal methods. Jard, C. & Roux, O. H. (eds.). London; Hoboken, N.J.: John Wiley & Sons, p. 107-138 32 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Verification of embedded reactive fiffo systems

Herbreteau, F., Cassez, F., Finkel, A., Roux, O. & Sutre, G., 2002, LATIN 2002 : Theoretical Informatics - 5th Latin American Symposium, Proceedings. Rajsbaum, S. (ed.). Berlin; Heidelberg: Springer, Springer Nature, Vol. 2286. p. 400-414 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2286).

Research output: Chapter in Book/Report/Conference proceedingChapter

WUPPAAL: computation of worst-case execution-time for binary programs with UPPAAL

Cassez, F., de Aledo, P. G. & Jensen, P. G., 2017, Models, algorithms, logics and tools: Essays dedicated to Kim Guldstrand Larsen on the occasion of his 60th birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Cham: Springer, Springer Nature, p. 560-577 18 p. (Lecture Notes in Computer Science; vol. 10460).

Research output: Chapter in Book/Report/Conference proceedingChapter

3 Citations (Scopus)