• 1252 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 paper
2015

Timed automata for modelling caches and pipelines

Cassez, F. & De Aledo Marugán, P. G., 8 Nov 2015, In : Electronic Proceedings in Theoretical Computer Science, EPTCS. 196, p. 37-45 9 p.

Research output: Contribution to journalConference paper

Open Access
3 Citations (Scopus)
2005

Efficient on-the-fly algorithms for the analysis of timed games

Cassez, F., David, A., Fleury, E., Larsen, K. G. & Lime, D., 2005, In : Lecture Notes in Computer Science. 3653, p. 66-80 15 p.

Research output: Contribution to journalConference paper

163 Citations (Scopus)

Modal logics for timed control

Bouyer, P., Cassez, F. & Laroussinie, F., 2005, In : Lecture Notes in Computer Science. 3653, p. 81-94 14 p.

Research output: Contribution to journalConference paper

4 Citations (Scopus)
2004

Optimal strategies in priced timed game automata

Bouyer, P., Cassez, F., Fleury, E. & Larsen, K. G., 2004, In : Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3328, p. 148-160 13 p.

Research output: Contribution to journalConference paper

65 Citations (Scopus)