Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783662436127, 9783662436134

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Verifying Security Policies Using Host Attributes

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_9 ◽

2014 ◽

pp. 133-148 ◽

Cited By ~ 6

Author(s):

Cornelius Diekmann ◽

Stephan-A. Posselt ◽

Heiko Niedermayer ◽

Holger Kinkelin ◽

Oliver Hanka ◽

...

Keyword(s):

Security Policies

Download Full-text

Metrics for Differential Privacy in Concurrent Systems

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_13 ◽

2014 ◽

pp. 199-215 ◽

Cited By ~ 7

Author(s):

Lili Xu ◽

Konstantinos Chatzikokolakis ◽

Huimin Lin

Keyword(s):

Differential Privacy ◽

Concurrent Systems

Download Full-text

A Model-Based Certification Framework for the EnergyBus Standard

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_6 ◽

2014 ◽

pp. 84-99 ◽

Cited By ~ 5

Author(s):

Alexander Graf-Brill ◽

Holger Hermanns ◽

Hubert Garavel

Keyword(s):

Model Based

Download Full-text

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_16 ◽

2014 ◽

pp. 249-265 ◽

Cited By ~ 4

Author(s):

David Romero-Hernández ◽

David de Frutos Escrig

Keyword(s):

Definition Of

Download Full-text

Denial-of-Service Security Attack in the Continuous-Time World

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_10 ◽

2014 ◽

pp. 149-165 ◽

Cited By ~ 3

Author(s):

Shuling Wang ◽

Flemming Nielson ◽

Hanne Riis Nielson

Keyword(s):

Continuous Time ◽

Denial Of Service ◽

Security Attack

Download Full-text

Mechanizing the Minimization of Deterministic Generalized Büchi Automata

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_17 ◽

2014 ◽

pp. 266-283 ◽

Cited By ~ 3

Author(s):

Souheib Baarir ◽

Alexandre Duret-Lutz

Keyword(s):

Büchi Automata ◽

Buchi Automata

Download Full-text

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_4 ◽

2014 ◽

pp. 49-65 ◽

Cited By ~ 5

Author(s):

Elvira Albert ◽

Puri Arenas ◽

Miguel Gómez-Zamalloa

Keyword(s):

Task Selection ◽

Selection Strategies ◽

Redundant State ◽

And Task

Download Full-text

Uniform Protection for Multi-exposed Targets

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_12 ◽

2014 ◽

pp. 182-198 ◽

Cited By ~ 2

Author(s):

Roberto Vigo ◽

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

A Program Logic for Verifying Secure Routing Protocols

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_8 ◽

2014 ◽

pp. 117-132 ◽

Cited By ~ 3

Author(s):

Chen Chen ◽

Limin Jia ◽

Hao Xu ◽

Cheng Luo ◽

Wenchao Zhou ◽

...

Keyword(s):

Routing Protocols ◽

Secure Routing ◽

Program Logic ◽

Secure Routing Protocols

Download Full-text

On the Step Branching Time Closure of Free-Choice Petri Nets

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-43613-4_15 ◽

2014 ◽

pp. 232-248

Author(s):

Stephan Mennicke ◽

Jens-Wolfhard Schicke-Uffmann ◽

Ursula Goltz

Keyword(s):

Petri Nets ◽

Free Choice ◽

Branching Time

Download Full-text

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Verifying Security Policies Using Host Attributes

Metrics for Differential Privacy in Concurrent Systems

A Model-Based Certification Framework for the EnergyBus Standard

Coinductive Definition of Distances between Processes: Beyond Bisimulation Distances

Denial-of-Service Security Attack in the Continuous-Time World

Mechanizing the Minimization of Deterministic Generalized Büchi Automata

Actor- and Task-Selection Strategies for Pruning Redundant State-Exploration in Testing

Uniform Protection for Multi-exposed Targets

A Program Logic for Verifying Secure Routing Protocols

On the Step Branching Time Closure of Free-Choice Petri Nets

Formal Techniques for Distributed Objects, Components, and Systems - Lecture Notes in Computer Science
Latest Publications