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

9783319602240, 9783319602257

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Procedural Choreographic Programming

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

10.1007/978-3-319-60225-7_7 ◽

2017 ◽

pp. 92-107 ◽

Cited By ~ 2

Author(s):

Luís Cruz-Filipe ◽

Fabrizio Montesi

Download Full-text

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B

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

10.1007/978-3-319-60225-7_9 ◽

2017 ◽

pp. 124-138 ◽

Cited By ~ 2

Author(s):

J. Paul Gibson ◽

Souad Kherroubi ◽

Dominique Méry

Download Full-text

Session-Based Concurrency, Reactively

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

10.1007/978-3-319-60225-7_6 ◽

2017 ◽

pp. 74-91 ◽

Cited By ~ 1

Author(s):

Mauricio Cano ◽

Jaime Arias ◽

Jorge A. Pérez

Download Full-text

On Futures for Streaming Data in ABS

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

10.1007/978-3-319-60225-7_5 ◽

2017 ◽

pp. 67-73

Author(s):

Keyvan Azadbakht ◽

Nikolaos Bezirgiannis ◽

Frank S. de Boer

Keyword(s):

Streaming Data

Download Full-text

Creating Büchi Automata for Multi-valued Model Checking

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

10.1007/978-3-319-60225-7_15 ◽

2017 ◽

pp. 210-224

Author(s):

Stefan J. J. Vijzelaar ◽

Wan J. Fokkink

Keyword(s):

Model Checking ◽

Büchi Automata ◽

Buchi Automata

Download Full-text

Privacy Assessment Using Static Taint Analysis (Tool Paper)

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

10.1007/978-3-319-60225-7_16 ◽

2017 ◽

pp. 225-235

Author(s):

Marcel von Maltitz ◽

Cornelius Diekmann ◽

Georg Carle

Keyword(s):

Analysis Tool ◽

Taint Analysis

Download Full-text

An Observational Approach to Defining Linearizability on Weak Memory Models

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

10.1007/978-3-319-60225-7_8 ◽

2017 ◽

pp. 108-123 ◽

Cited By ~ 1

Author(s):

John Derrick ◽

Graeme Smith

Keyword(s):

Memory Models

Download Full-text

Proving Opacity via Linearizability: A Sound and Complete Method

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

10.1007/978-3-319-60225-7_4 ◽

2017 ◽

pp. 50-66 ◽

Cited By ~ 5

Author(s):

Alasdair Armstrong ◽

Brijesh Dongol ◽

Simon Doherty

Download Full-text

Weak Nominal Modal Logic

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

10.1007/978-3-319-60225-7_13 ◽

2017 ◽

pp. 179-193

Author(s):

Joachim Parrow ◽

Tjark Weber ◽

Johannes Borgström ◽

Lars-Henrik Eriksson

Keyword(s):

Modal Logic

Download Full-text

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

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

10.1007/978-3-319-60225-7_14 ◽

2017 ◽

pp. 194-209 ◽

Cited By ~ 6

Author(s):

Viorel Preoteasa ◽

Iulia Dragomir ◽

Stavros Tripakis

Keyword(s):

Type Inference

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

Procedural Choreographic Programming

Applying a Dependency Mechanism for Voting Protocol Models Using Event-B

Session-Based Concurrency, Reactively

On Futures for Streaming Data in ABS

Creating Büchi Automata for Multi-valued Model Checking

Privacy Assessment Using Static Taint Analysis (Tool Paper)

An Observational Approach to Defining Linearizability on Weak Memory Models

Proving Opacity via Linearizability: A Sound and Complete Method

Weak Nominal Modal Logic

Type Inference of Simulink Hierarchical Block Diagrams in Isabelle

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