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

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

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)

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)

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

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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)

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

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)

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)

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)