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

9783030217587, 9783030217594

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

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

10.1007/978-3-030-21759-4_9 ◽

2019 ◽

pp. 148-166 ◽

Cited By ~ 3

Author(s):

Jannik Hüls ◽

Anne Remke

Keyword(s):

Model Checking ◽

Convex Polytopes ◽

Multiple Dimensions

Download Full-text

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

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

10.1007/978-3-030-21759-4_15 ◽

2019 ◽

pp. 261-277 ◽

Cited By ~ 2

Author(s):

Hoang-Dung Tran ◽

Luan Viet Nguyen ◽

Patrick Musau ◽

Weiming Xiang ◽

Taylor T. Johnson

Keyword(s):

Real Time ◽

Cyber Physical Systems ◽

Safety Verification ◽

Physical Systems

Download Full-text

Parametric Statistical Model Checking of UAV Flight Plan

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

10.1007/978-3-030-21759-4_4 ◽

2019 ◽

pp. 57-74 ◽

Cited By ~ 1

Author(s):

Ran Bao ◽

Christian Attiogbe ◽

Benoît Delahaye ◽

Paulin Fournier ◽

Didier Lime

Keyword(s):

Model Checking ◽

Statistical Model ◽

Statistical Model Checking ◽

Flight Plan

Download Full-text

Component-aware Input-Output Conformance

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

10.1007/978-3-030-21759-4_7 ◽

2019 ◽

pp. 111-128

Author(s):

Alexander Graf-Brill ◽

Holger Hermanns

Keyword(s):

Input Output

Download Full-text

Only Connect, Securely

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

10.1007/978-3-030-21759-4_5 ◽

2019 ◽

pp. 75-92

Author(s):

Chandrika Bhardwaj ◽

Sanjiva Prasad

Download Full-text

On a Higher-Order Calculus of Computational Fields

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

10.1007/978-3-030-21759-4_17 ◽

2019 ◽

pp. 289-292

Author(s):

Giorgio Audrito ◽

Mirko Viroli ◽

Ferruccio Damiani ◽

Danilo Pianini ◽

Jacob Beal

Keyword(s):

Higher Order

Download Full-text

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

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

10.1007/978-3-030-21759-4_14 ◽

2019 ◽

pp. 242-260 ◽

Cited By ~ 1

Author(s):

Jean-Bernard Stefani ◽

Martin Vassor

Keyword(s):

Software Architectures ◽

Dynamic Software

Download Full-text

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification

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

10.1007/978-3-030-21759-4_12 ◽

2019 ◽

pp. 204-223 ◽

Cited By ~ 1

Author(s):

Diego Marmsoler

Keyword(s):

Interactive Architecture

Download Full-text

Semantically Sound Analysis of Content Security Policies

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

10.1007/978-3-030-21759-4_18 ◽

2019 ◽

pp. 293-297

Author(s):

Stefano Calzavara ◽

Alvise Rabitti ◽

Michele Bugliesi

Keyword(s):

Security Policies ◽

Sound Analysis ◽

Content Security

Download Full-text

Declarative Choreographies and Liveness

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

10.1007/978-3-030-21759-4_8 ◽

2019 ◽

pp. 129-147 ◽

Cited By ~ 1

Author(s):

Thomas T. Hildebrandt ◽

Tijs Slaats ◽

Hugo A. López ◽

Søren Debois ◽

Marco Carbone

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

Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems

Parametric Statistical Model Checking of UAV Flight Plan

Component-aware Input-Output Conformance

Only Connect, Securely

On a Higher-Order Calculus of Computational Fields

Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification

Semantically Sound Analysis of Content Security Policies

Declarative Choreographies and Liveness

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