1,635 followers
New from #ERC_Research https://t.co/toHSndAprF Conformance-Based Doping Detection for Cyber-Physical Systems.
Formal Techniques for Distributed Objects, Components, and Systems
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
-
Altmetric BadgeChapter 2 Towards Bridging Time and Causal Reversibility
-
Altmetric BadgeChapter 3 Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory
-
Altmetric BadgeChapter 4 Conformance-Based Doping Detection for Cyber-Physical Systems
-
Altmetric BadgeChapter 5 On Implementable Timed Automata
-
Altmetric BadgeChapter 6 Deep Statistical Model Checking
-
Altmetric BadgeChapter 7 Trace Equivalence and Epistemic Logic to Express Security Properties
-
Altmetric BadgeChapter 8 Derivation of Heard-of Predicates from Elementary Behavioral Patterns
-
Altmetric BadgeChapter 9 Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
-
Altmetric BadgeChapter 10 A Formal Framework for Consent Management
-
Altmetric BadgeChapter 11 Tutorial: Parameterized Verification with Byzantine Model Checker
-
Altmetric BadgeChapter 12 Typechecking Java Protocols with [St]Mungo
-
Altmetric BadgeChapter 13 Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)