BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Franck Cassez
SearchCollections
Map detail
Franck Cassez13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipFranck CassezAFranck CassezResearcherDeductive Verification of Smart Contracts with DafnyWDeductive Verification ...preprint / 2022Verification and Parameter Synthesis for Real-Time Programs using Refinement of Trace AbstractionWVerification and Parame...preprint / 2020The Complexity of Codiagnosability for Discrete Event and Timed SystemsWThe Complexity of Codia...preprint / 2010Fault Diagnosis with Dynamic ObserversWFault Diagnosis with Dy...preprint / 2010Dynamic Observers for Fault Diagnosis of Timed SystemsWDynamic Observers for F...preprint / 2010Timed Games for Computing Worst-Case Execution-TimesWTimed Games for Computi...preprint / 2010Proceedings Seventh Conference on Systems Software VerificationWProceedings Seventh Con...preprint / 2012Predictability of Event Occurrences in Timed SystemsWPredictability of Event...preprint / 2013The Complexity of Synchronous Notions of Information Flow SecurityWThe Complexity of Synch...preprint / 2014Timed Automata for Modelling Caches and PipelinesWTimed Automata for Mode...preprint / 2015A Note on Fault Diagnosis AlgorithmsWA Note on Fault Diagnos...preprint / 2010Computation of WCET using Program Slicing and Real-Time Model-CheckingWComputation of WCET usi...preprint / 2011
Person12 links

Franck Cassez

Researcher

PaperDeductive Verification of Smart Contracts with DafnyAuthorship / preprint / 2022PaperVerification and Parameter Synthesis for Real-Time Programs using Refinement of Trace AbstractionAuthorship / preprint / 2020PaperThe Complexity of Codiagnosability for Discrete Event and Timed SystemsAuthorship / preprint / 2010PaperFault Diagnosis with Dynamic ObserversAuthorship / preprint / 2010PaperDynamic Observers for Fault Diagnosis of Timed SystemsAuthorship / preprint / 2010PaperTimed Games for Computing Worst-Case Execution-TimesAuthorship / preprint / 2010PaperProceedings Seventh Conference on Systems Software VerificationAuthorship / preprint / 2012PaperPredictability of Event Occurrences in Timed SystemsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)