E-Books durchsuchen
Formal Techniques for Distributed Objects, Components, and Systems [2014]
- 1
-
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- 17
-
Property Specification Made Easy: Harnessing the Power of Model Checking in UML Designs
- 33
-
Formal Specification and Verification of CRDTs
- 49
-
Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing
- 66
-
Efficient and Generalized Decentralized Monitoring of Regular Languages
- 84
-
A Model-Based Certification Framework for the EnergyBus Standard
- 100
-
Effectiveness for Input Output Conformance Simulation iocos̱
- 117
-
A Program Logic for Verifying Secure Routing Protocols
- 133
-
Verifying Security Policies Using Host Attributes
- 149
-
Denial-of-Service Security Attack in the Continuous-Time World
- 166
-
Quantitative Information Flow under Generic Leakage Functions and Adaptive Adversaries
- 182
-
Uniform Protection for Multi-exposed Targets
- 199
-
Metrics for Differential Privacy in Concurrent Systems
- 216
-
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction
- 232
-
On the Step Branching Time Closure of Free-Choice Petri Nets
- 249
-
Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances
- 266
-
Mechanizing the Minimization of Deterministic Generalized Büchi Automata
- 284
-
Formal Verification of Complex Properties on PLC Programs