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
Feedback