• 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
Article
1995

Compilation of the ELECTRE reactive language into finite transition systems

Cassez, F. & Roux, O., 24 Jul 1995, In : Theoretical Computer Science. 146, 1-2, p. 109-143 35 p.

Research output: Contribution to journalArticle

17 Citations (Scopus)
1997

Formal semantics for reactive Grafcet

Cassez, F., 1997, In : Journal Europeen des Systemes Automatises. 31, 3, p. 581-603 23 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)
1999

Hybrid verifications of reactive programs

Roux, O., Rusu, V. & Cassez, F., 1999, In : Formal Aspects of Computing. 11, 4, p. 448-471 24 p.

Research output: Contribution to journalArticle

1 Citation (Scopus)
2001

Application of partial-order methods to reactive programs with event memorization

Herbreteau, F., Cassez, F. & Roux, O., May 2001, In : Real-Time Systems. 20, 3, p. 287-316 30 p.

Research output: Contribution to journalArticle

2004

A timed extension for ALTARICA

Cassez, F., Pagetti, C. & Roux, O., 2004, In : Fundamenta Informaticae. 62, 3-4, p. 291-332 42 p.

Research output: Contribution to journalArticle

7 Citations (Scopus)
2005

Introduction au contrôle des systèmes temps-réel

Translated title of the contribution: Introduction to control of real-time systemsAltisen, K., Bouyer, P., Cachat, T., Cassez, F. & Gardey, G., 2005, In : Journal Europeen des Systemes Automatises. 39, 1-3, p. 367-380 14 p.

Research output: Contribution to journalArticle

2 Citations (Scopus)

Structural translation from time Petri Nets to timed automata

Cassez, F. & Roux, O. H., 23 May 2005, In : Electronic Notes in Theoretical Computer Science. 128, 6, p. 145-160 16 p.

Research output: Contribution to journalArticle

20 Citations (Scopus)

Synthesis of optimal strategies using HyTech

Bouyer, P., Cassez, F., Fleury, E. & Larsen, K. G., 2 Feb 2005, In : Electronic Notes in Theoretical Computer Science. 119, SPEC. ISS., p. 11-31 21 p.

Research output: Contribution to journalArticle

11 Citations (Scopus)
2006

Structural translation from Time Petri Nets to Timed Automata

Cassez, F. & Roux, O. H., Oct 2006, In : Journal of Systems and Software. 79, 10, p. 1456-1468 13 p.

Research output: Contribution to journalArticle

83 Citations (Scopus)
2007

Semantics of Biological Regulatory Networks

Bernot, G., Cassez, F., Comet, J. P., Delaplace, F., Müller, C. & Roux, O., 18 Jul 2007, In : Electronic Notes in Theoretical Computer Science. 180, 3, p. 3-14 12 p.

Research output: Contribution to journalArticle

30 Citations (Scopus)
2008

Fault diagnosis with static and dynamic observers

Cassez, F. & Tripakis, S., 2008, In : Fundamenta Informaticae. 88, 4, p. 497-540 44 p.

Research output: Contribution to journalArticle

66 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., 28 Aug 2008, In : Theoretical Computer Science. 403, 2-3, p. 202-220 19 p.

Research output: Contribution to journalArticle

15 Citations (Scopus)
2011

Computation of WCET using Program Slicing and Real-Time Model-Checking

Béchennec, J-L. & Cassez, F., 2011, CoRR.

Research output: Contribution to Newspaper/Magazine/WebsiteArticle

Timed modal logics for real-time systems

Bouyer, P., Cassez, F. & Laroussinie, F., Apr 2011, In : Journal of Logic, Language and Information. 20, 2, p. 169-203 35 p.

Research output: Contribution to journalArticle

5 Citations (Scopus)
2012

High performance static analysis for industry

Bradley, M., Cassez, F., Fehnker, A., Given-Wilson, T. & Huuck, R., 6 Dec 2012, In : Electronic Notes in Theoretical Computer Science. 289, p. 3-14 12 p.

Research output: Contribution to journalArticle

Open Access
File
8 Citations (Scopus)
2 Downloads (Pure)

Synthesis of opaque systems with static and dynamic masks

Cassez, F., Dubreil, J. & Marchand, H., Feb 2012, In : Formal Methods in System Design. 40, 1, p. 88-115 28 p.

Research output: Contribution to journalArticle

68 Citations (Scopus)

The complexity of codiagnosability for discrete event and timed systems

Cassez, F., 2012, In : IEEE Transactions on Automatic Control. 57, 7, p. 1752-1764 13 p., 6125230.

Research output: Contribution to journalArticle

25 Citations (Scopus)
2013

The expressive power of time Petri nets

Bérard, B., Cassez, F., Haddad, S., Lime, D. & Roux, O. H., 25 Feb 2013, In : Theoretical Computer Science. 474, p. 1-20 20 p.

Research output: Contribution to journalArticle

26 Citations (Scopus)
2015

Control and synthesis of non-interferent timed systems

Benattar, G., Cassez, F., Lime, D. & Roux, O. H., 1 Feb 2015, In : International Journal of Control. 88, 2, p. 217-236 20 p.

Research output: Contribution to journalArticle

6 Citations (Scopus)
2016

The complexity of synchronous notions of information flow security

Cassez, F., van der Meyden, R. & Zhang, C., 6 Jun 2016, In : Theoretical Computer Science. 631, p. 16-42 27 p.

Research output: Contribution to journalArticle

2017

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 journalArticle

6 Citations (Scopus)
2018

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 journalArticle

12 Citations (Scopus)