The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Franck Cassez" ( http://dblp.L3S.de/Authors/Franck_Cassez )

URL (Homepage):  https://orcid.org/0000-0002-4317-5025  Author page on DBLP  Author page in RDF  Community of Franck Cassez in ASPL-2

Publication years (Num. hits)
1995-2005 (19) 2006-2009 (17) 2010-2012 (19) 2013-2015 (16) 2016-2018 (8)
Publication types (Num. hits)
article(29) book(1) incollection(2) inproceedings(43) proceedings(4)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 17 occurrences of 12 keywords

Results
Found 80 publication records. Showing 79 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Xi Zheng, Christine Julien 0001, Rodion M. Podorozhny, Franck Cassez, Thierry Rakotoarivelo Efficient and Scalable Runtime Monitoring for Cyber-Physical System. Search on Bibsonomy IEEE Systems Journal The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Xi Zheng, Christine Julien 0001, Hongxu Chen, Rodion M. Podorozhny, Franck Cassez Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Anthony M. Sloane ScalaSMT: satisfiability modulo theory in Scala (tool paper). Search on Bibsonomy SCALA@SPLASH The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Pablo González de Aledo, Peter Gjøl Jensen WUPPAAL: Computation of Worst-Case Execution-Time for Binary Programs with UPPAAL. Search on Bibsonomy Models, Algorithms, Logics and Tools The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Anthony M. Sloane, Matthew Roberts, Matthew Pigram, Pongsak Suvanpong, Pablo González de Aledo Marugán Skink: Static Analysis of Programs in LLVM Intermediate Representation - (Competition Contribution). Search on Bibsonomy TACAS (2) The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Peter Gjøl Jensen, Kim Guldstrand Larsen Refinement of Trace Abstraction for Real-Time Programs. Search on Bibsonomy RP The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The complexity of synchronous notions of information flow security. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Anthony M. Sloane, Franck Cassez, Scott Buckley The sbt-rats parser generator plugin for Scala (tool paper). Search on Bibsonomy SCALA@SPLASH The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and synthesis of non-interferent timed systems. Search on Bibsonomy Int. J. Control The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Pablo González de Aledo Marugán Timed Automata for Modelling Caches and Pipelines. Search on Bibsonomy MARS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Frowin Ziegler Verification of Concurrent Programs Using Trace Abstraction Refinement. Search on Bibsonomy LPAR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Xi Zheng, Christine Julien 0001, Rodion M. Podorozhny, Franck Cassez BraceAssertion: Runtime Verification of Cyber-Physical Systems. Search on Bibsonomy MASS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Takashi Matsuoka, Edward Pierzchalski, Nathan Smyth Perentie: Modular Trace Refinement and Selective Value Tracking - (Competition Contribution). Search on Bibsonomy TACAS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The Complexity of Synchronous Notions of Information Flow Security. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Romain Brenguier, Franck Cassez, Jean-François Raskin Energy and mean-payoff timed games. Search on Bibsonomy HSCC The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jean-François Raskin (eds.) Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings Search on Bibsonomy ATVA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Christian Müller 0008, Karla Burnett Summary-Based Inter-Procedural Analysis via Modular Trace Refinement. Search on Bibsonomy FSTTCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux The expressive power of time Petri nets. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Alban Grastien Predictability of Event Occurrences in Timed Systems. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Franck Cassez, Nicolas Markey Control of Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Stavros Tripakis Fault Diagnosis of Timed Systems. Search on Bibsonomy Communicating Embedded Systems The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jean-Luc Béchennec Timing Analysis of Binary Programs with UPPAAL. Search on Bibsonomy ACSD The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Sebastian Biallas, Mads Chr. Olesen, Franck Cassez, Ralf Huuck PtrTracker: Pragmatic pointer analysis. Search on Bibsonomy SCAM The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Alban Grastien Predictability of Event Occurrences in Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Mark Bradley, Franck Cassez, Ansgar Fehnker, Thomas Given-Wilson, Ralf Huuck High Performance Static Analysis for Industry. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jérémy Dubreil, Hervé Marchand Synthesis of opaque systems with static and dynamic masks. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franck Cassez The Complexity of Codiagnosability for Discrete Event and Timed Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter E. Bulychev, Franck Cassez, Alexandre David, Kim G. Larsen, Jean-François Raskin, Pierre-Alain Reynier Controllers with Minimal Observation Power (Application to Timed Systems) Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Control and Synthesis of Non-Interferent Timed Systems Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Franck Cassez, Ralf Huuck, Gerwin Klein, Bastian Schlich (eds.) Proceedings Seventh Conference on Systems Software Verification, SSV 2012, Sydney, Australia, 28-30 November 2012. Search on Bibsonomy SSV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Peter E. Bulychev, Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier Controllers with Minimal Observation Power (Application to Timed Systems). Search on Bibsonomy ATVA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Franck Cassez, René Rydhof Hansen, Mads Chr. Olesen What is a Timing Anomaly?. Search on Bibsonomy WCET The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Jean-Luc Béchennec, Franck Cassez Computation of WCET using Program Slicing and Real-Time Model-Checking Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Patricia Bouyer, Franck Cassez, François Laroussinie Timed Modal Logics for Real-Time Systems - Specification, Verification and Control. Search on Bibsonomy Journal of Logic, Language and Information The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franck Cassez Timed Games for Computing WCET for Pipelined Processors with Caches. Search on Bibsonomy ACSD The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Franck Cassez Timed Games for Computing Worst-Case Execution-Times Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez The Complexity of Codiagnosability for Discrete Event and Timed Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez Dynamic Observers for Fault Diagnosis of Timed Systems Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez A Note on Fault Diagnosis Algorithms Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez, Stavros Tripakis Fault Diagnosis with Dynamic Observers Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Franck Cassez The Complexity of Codiagnosability for Discrete Event and Timed Systems. Search on Bibsonomy ATVA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Ron van der Meyden, Chenyi Zhang The Complexity of Synchronous Notions of Information Flow Security. Search on Bibsonomy FoSSaCS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franck Cassez Dynamic observers for fault diagnosis of timed systems. Search on Bibsonomy CDC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jan Jakob Jessen, Kim Guldstrand Larsen, Jean-François Raskin, Pierre-Alain Reynier Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study. Search on Bibsonomy HSCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Jérémy Dubreil, Hervé Marchand Dynamic Observers for the Synthesis of Opaque Systems. Search on Bibsonomy ATVA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franck Cassez A note on fault diagnosis algorithms. Search on Bibsonomy CDC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Franck Cassez The Dark Side of Timed Opacity. Search on Bibsonomy ISA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Gilles Benattar, Franck Cassez, Didier Lime, Olivier H. Roux Synthesis of Non-Interferent Timed Systems. Search on Bibsonomy FORMATS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Synthesis, Non-Interference, Timed Automaton
1Franck Cassez, Stavros Tripakis Fault Diagnosis with Static and Dynamic Observers. Search on Bibsonomy Fundam. Inform. The full citation details ... 2008 DBLP  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When are Timed Automata weakly timed bisimilar to Time Petri Nets? Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Claude Jard (eds.) Formal Modeling and Analysis of Timed Systems, 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings Search on Bibsonomy FORMATS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux Semantics of Biological Regulatory Networks. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez Control of Timed Systems. Search on Bibsonomy 2007   RDF
1Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin Timed Control with Observation Based and Stuttering Invariant Strategies. Search on Bibsonomy ATVA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Stavros Tripakis, Karine Altisen Sensor Minimization Problems with Static or Dynamic Observers for Fault Diagnosis. Search on Bibsonomy ACSD The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez Efficient On-the-Fly Algorithms for Partially Observable Timed Games. Search on Bibsonomy FORMATS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Stavros Tripakis, Karine Altisen Synthesis Of Optimal-Cost Dynamic Observers for Fault Diagnosis of Discrete-Event Systems. Search on Bibsonomy TASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier H. Roux Structural translation from Time Petri Nets to Timed Automata. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Thomas Chatain, Claude Jard Symbolic Unfoldings for Networks of Timed Automata. Search on Bibsonomy ATVA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Karine Altisen, Franck Cassez, Stavros Tripakis Monitoring and fault-diagnosis with digital clocks Search on Bibsonomy ACSD The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier H. Roux Structural Translation from Time Petri Nets to Timed Automata. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen Synthesis of Optimal Strategies Using HyTech. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of Different Semantics for Time Petri Nets. Search on Bibsonomy ATVA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Bisimilarity, Expressiveness, Time Petri Nets
1Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime Efficient On-the-Fly Algorithms for the Analysis of Timed Games. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Patricia Bouyer, Franck Cassez, François Laroussinie Modal Logics for Timed Control. Search on Bibsonomy CONCUR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Weak Timed Bisimilarity, Timed Automata, Time Petri Nets
1Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux Comparison of the Expressiveness of Timed Automata and Time Petri Nets. Search on Bibsonomy FORMATS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Timed Language, Timed Bisimilarity, Timed Automata, Expressiveness, Time Petri Nets
1Franck Cassez, Claire Pagetti, Olivier H. Roux A Timed Extension for ALTARICA. Search on Bibsonomy Fundam. Inform. The full citation details ... 2004 DBLP  BibTeX  RDF
1Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen Optimal Strategies in Priced Timed Game Automata. Search on Bibsonomy FSTTCS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Armelle Prigent, Franck Cassez, Philippe Dhaussy, Olivier F. Roux Extending the Translation from SDL to Promela. Search on Bibsonomy SPIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF SDL formalism, save operator, model-checking, data abstraction
1Franck Cassez, Thomas A. Henzinger, Jean-François Raskin A Comparison of Control Problems for Timed and Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Frédéric Herbreteau, Franck Cassez, Alain Finkel, Olivier F. Roux, Grégoire Sutre Verification of Embedded Reactive Fiffo Systems. Search on Bibsonomy LATIN The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Frédéric Herbreteau, Franck Cassez, Olivier F. Roux Application of Partial-Order Methods to Reactive Programs with Event Memorization. Search on Bibsonomy Real-Time Systems The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.) Modeling and Verification of Parallel Processes, 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 Search on Bibsonomy MOVEP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Franck Cassez, François Laroussinie Model-Checking for Hybrid Systems by Quotienting and Constraints Solving. Search on Bibsonomy CAV The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Kim Guldstrand Larsen The Impressive Power of Stopwatches. Search on Bibsonomy CONCUR The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Olivier F. Roux, Vlad Rusu, Franck Cassez Hybrid Verifications of Reactive Programs. Search on Bibsonomy Formal Asp. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Model checking, Real time, Hybrid system, Asynchronism, Reactive system
1Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez Effective Recognizability and Model Checking of Reactive Fiffo Automata. Search on Bibsonomy AMAST The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Franck Cassez, Olivier F. Roux Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #79 of 79 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license