Franck Cassez
Franck Cassez
ConsenSys Software Inc. & Macquarie University
Bestätigte E-Mail-Adresse bei mq.edu.au - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, K Larsen, D Lime
CONCUR 2005–Concurrency Theory, 66-80, 2005
3422005
The impressive power of stopwatches
F Cassez, K Larsen
CONCUR 2000—Concurrency Theory, 138-152, 2000
2872000
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
Journal of Systems and Software 79 (10), 1456-1468, 2006
1602006
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, K Larsen
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005
1272005
Comparison of the expressiveness of timed automata and time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, O Roux
Formal Modeling and Analysis of Timed Systems, 211-225, 2005
1222005
Synthesis of opaque systems with static and dynamic masks
F Cassez, J Dubreil, H Marchand
Formal Methods in System Design 40 (1), 88-115, 2012
1052012
Fault diagnosis with static and dynamic observers
F Cassez, S Tripakis
Fundamenta Informaticae 88 (4), 497-540, 2008
1022008
A comparison of control problems for timed and hybrid systems
F Cassez, T Henzinger, JF Raskin
Hybrid Systems: Computation and Control, 134-148, 2002
1012002
Comparison of different semantics for time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, O Roux
Automated Technology for Verification and Analysis, 293-307, 2005
892005
Automatic synthesis of robust and optimal controllers–an industrial case study
F Cassez, J Jessen, K Larsen, JF Raskin, PA Reynier
Hybrid Systems: Computation and Control, 90-104, 2009
762009
Semantics of biological regulatory networks
G Bernot, F Cassez, JP Comet, F Delaplace, C Müller, O Roux
Electronic Notes in Theoretical Computer Science 180 (3), 3-14, 2007
632007
Timed control with observation based and stuttering invariant strategies
F Cassez, A David, K Larsen, D Lime, JF Raskin
Automated Technology for Verification and Analysis, 192-206, 2007
522007
When are timed automata weakly timed bisimilar to time Petri nets?
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 403 (2), 202-220, 2008
512008
Dynamic observers for the synthesis of opaque systems
F Cassez, J Dubreil, H Marchand
Automated Technology for Verification and Analysis, 352-367, 2009
482009
Structural translation from time Petri nets to timed automata
F Cassez, OH Roux
electronic notes in Theoretical Computer Science 128 (6), 145-160, 2005
462005
Compilation of the ELECTRE reactive language into finite transition systems
F Cassez, O Roux
Theoretical Computer Science 146 (1), 109-143, 1995
461995
Model-checking for hybrid systems by quotienting and constraints solving
F Cassez, F Laroussinie
Computer Aided Verification, 373-388, 2000
422000
The expressive power of time Petri nets
B Bérard, F Cassez, S Haddad, D Lime, OH Roux
Theoretical Computer Science 474, 1--20, 2013
402013
The complexity of codiagnosability for discrete event and timed systems
F Cassez
Automatic Control, IEEE Transactions on 57 (7), 1752-1764, 2012
382012
Sensor minimization problems with static or dynamic observers for fault diagnosis
F Cassez, S Tripakis, K Altisen
Application of Concurrency to System Design, 2007. ACSD 2007. Seventh …, 2007
35*2007
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20