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

9783319395692, 9783319395708

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Theory for the Composition of Concurrent Processes

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

10.1007/978-3-319-39570-8_12 ◽

2016 ◽

pp. 175-194 ◽

Cited By ~ 6

Author(s):

Ludovic Henrio ◽

Eric Madelaine ◽

Min Zhang

Keyword(s):

Concurrent Processes

Download Full-text

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

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

10.1007/978-3-319-39570-8_9 ◽

2016 ◽

pp. 124-141 ◽

Cited By ~ 5

Author(s):

Fathiyeh Faghih ◽

Borzoo Bonakdarpour ◽

Sébastien Tixeuil ◽

Sandeep Kulkarni

Download Full-text

A Configurable CEGAR Framework with Interpolation-Based Refinements

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

10.1007/978-3-319-39570-8_11 ◽

2016 ◽

pp. 158-174 ◽

Cited By ~ 5

Author(s):

Ákos Hajdu ◽

Tamás Tóth ◽

András Vörös ◽

István Majzik

Download Full-text

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

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

10.1007/978-3-319-39570-8_6 ◽

2016 ◽

pp. 74-95 ◽

Cited By ~ 9

Author(s):

Luís Caires ◽

Jorge A. Pérez

Keyword(s):

Session Types

Download Full-text

Enforcing Availability in Failure-Aware Communicating Systems

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

10.1007/978-3-319-39570-8_13 ◽

2016 ◽

pp. 195-211 ◽

Cited By ~ 4

Author(s):

Hugo A. López ◽

Flemming Nielson ◽

Hanne Riis Nielson

Download Full-text

Fencing Programs with Self-Invalidation and Self-Downgrade

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

10.1007/978-3-319-39570-8_2 ◽

2016 ◽

pp. 19-35

Author(s):

Parosh Aziz Abdulla ◽

Mohamed Faouzi Atig ◽

Stefanos Kaxiras ◽

Carl Leonardsson ◽

Alberto Ros ◽

...

Download Full-text

Developing Honest Java Programs with Diogenes

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

10.1007/978-3-319-39570-8_4 ◽

2016 ◽

pp. 52-61 ◽

Cited By ~ 1

Author(s):

Nicola Atzei ◽

Massimo Bartoletti

Keyword(s):

Java Programs

Download Full-text

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models

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

10.1007/978-3-319-39570-8_18 ◽

2016 ◽

pp. 267-274

Author(s):

Manel Tekaya ◽

Mohamed Taha Bennani ◽

Nedra Ebdelli ◽

Samir Ben Ahmed

Keyword(s):

Large Scale ◽

Test Vector ◽

Matlab Simulink ◽

Vector Generation ◽

Test Vector Generation

Download Full-text

On the Power of Attribute-Based Communication

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

10.1007/978-3-319-39570-8_1 ◽

2016 ◽

pp. 1-18 ◽

Cited By ~ 25

Author(s):

Yehia Abd Alrahman ◽

Rocco De Nicola ◽

Michele Loreti

Download Full-text

The Challenge of Typed Expressiveness in Concurrency

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

10.1007/978-3-319-39570-8_16 ◽

2016 ◽

pp. 239-247

Author(s):

Jorge A. Pérez

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

A Theory for the Composition of Concurrent Processes

Specification-Based Synthesis of Distributed Self-Stabilizing Protocols

A Configurable CEGAR Framework with Interpolation-Based Refinements

Multiparty Session Types Within a Canonical Binary Theory, and Beyond

Enforcing Availability in Failure-Aware Communicating Systems

Fencing Programs with Self-Invalidation and Self-Downgrade

Developing Honest Java Programs with Diogenes

SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models

On the Power of Attribute-Based Communication

The Challenge of Typed Expressiveness in Concurrency

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