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

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

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

2002

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