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 International Publishing

9783030500856, 9783030500863

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Derivation of Heard-of Predicates from Elementary Behavioral Patterns

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

10.1007/978-3-030-50086-3_8 ◽

2020 ◽

pp. 133-149

Author(s):

Adam Shimi ◽

Aurélie Hurault ◽

Philippe Queinnec

Keyword(s):

Behavioral Patterns

Download Full-text

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

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

10.1007/978-3-030-50086-3_1 ◽

2020 ◽

pp. 3-21 ◽

Cited By ~ 1

Author(s):

Davide Basile ◽

Maurice H. ter Beek ◽

Axel Legay

Keyword(s):

Autonomous Driving ◽

Railway System

Download Full-text

On Implementable Timed Automata

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

10.1007/978-3-030-50086-3_5 ◽

2020 ◽

pp. 78-95

Author(s):

Sergio Feo-Arenis ◽

Milan Vujinović ◽

Bernd Westphal

Keyword(s):

Timed Automata

Download Full-text

A Formal Framework for Consent Management

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

10.1007/978-3-030-50086-3_10 ◽

2020 ◽

pp. 169-186

Author(s):

Shukun Tokas ◽

Olaf Owe

Keyword(s):

Formal Framework

Download Full-text

Towards Bridging Time and Causal Reversibility

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

10.1007/978-3-030-50086-3_2 ◽

2020 ◽

pp. 22-38

Author(s):

Marco Bernardo ◽

Claudio Antares Mezzina

Download Full-text

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

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

10.1007/978-3-030-50086-3_13 ◽

2020 ◽

pp. 227-235 ◽

Cited By ~ 2

Author(s):

Christian Bartolo Burlò ◽

Adrian Francalanza ◽

Alceste Scalas

Keyword(s):

Communication Protocols ◽

Short Paper ◽

Verification Methodology

Download Full-text

Tutorial: Parameterized Verification with Byzantine Model Checker

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

10.1007/978-3-030-50086-3_11 ◽

2020 ◽

pp. 189-207

Author(s):

Igor Konnov ◽

Marijana Lazić ◽

Ilina Stoilkovska ◽

Josef Widder

Keyword(s):

Model Checker ◽

Parameterized Verification

Download Full-text

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

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

10.1007/978-3-030-50086-3_3 ◽

2020 ◽

pp. 39-58

Author(s):

Eleni Bila ◽

Simon Doherty ◽

Brijesh Dongol ◽

John Derrick ◽

Gerhard Schellhorn ◽

...

Keyword(s):

Transactional Memory ◽

Software Transactional Memory

Download Full-text

Trace Equivalence and Epistemic Logic to Express Security Properties

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

10.1007/978-3-030-50086-3_7 ◽

2020 ◽

pp. 115-132 ◽

Cited By ~ 1

Author(s):

Kiraku Minami

Keyword(s):

Epistemic Logic ◽

Security Properties ◽

Trace Equivalence

Download Full-text

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

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

10.1007/978-3-030-50086-3_9 ◽

2020 ◽

pp. 150-168 ◽

Cited By ~ 2

Author(s):

Jeremy Sproston

Keyword(s):

Timed Automata ◽

Probabilistic Timed Automata

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Derivation of Heard-of Predicates from Elementary Behavioral Patterns

Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego

On Implementable Timed Automata

A Formal Framework for Consent Management

Towards Bridging Time and Causal Reversibility

Towards a Hybrid Verification Methodology for Communication Protocols (Short Paper)

Tutorial: Parameterized Verification with Byzantine Model Checker

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

Trace Equivalence and Epistemic Logic to Express Security Properties

Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities

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