( en | de | ru )

 

Disambiguation of "Cassez, Franck"

Author of the publication

copydeleteadd this publication to your clipboard
Control and synthesis of non-interferent timed systems.

, , , and . Int. J. Control, 88 (2): 217-236 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Dierk Franck

Bernd Franck

Günter Franck

Günter Franck

Helmut Franck

 

Other publications of authors with the same name

Control of Timed Systems.. (2007)Dynamic observers for fault diagnosis of timed systems.. CDC, page 4359-4364. IEEE, (2010)Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution)., , , , , and . TACAS (2), volume 10206 of Lecture Notes in Computer Science, page 380-384. (2017)Effective Recognizability and Model Checking of Reactive Fiffo Automata., , , and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 106-123. Springer, (1998)Model-Checking for Hybrid Systems by Quotienting and Constraints Solving., and . CAV, volume 1855 of Lecture Notes in Computer Science, page 373-388. Springer, (2000)Modal Logics for Timed Control., , and . CONCUR, volume 3653 of Lecture Notes in Computer Science, page 81-94. Springer, (2005)The Impressive Power of Stopwatches., and . CONCUR, volume 1877 of Lecture Notes in Computer Science, page 138-152. Springer, (2000)Extending the Translation from SDL to Promela., , , and . SPIN, volume 2318 of Lecture Notes in Computer Science, page 79-94. Springer, (2002)Control of Timed Systems., and . Communicating Embedded Systems, Wiley, (2013)Formal Verification of the Ethereum 2.0 Beacon Chain., , and . TACAS (1), volume 13243 of Lecture Notes in Computer Science, page 167-182. Springer, (2022)