Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642214608, 9783642214615

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

An Accurate Type System for Information Flow in Presence of Arrays

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_10 ◽

2011 ◽

pp. 153-167

Author(s):

Séverine Fratani ◽

Jean-Marc Talbot

Keyword(s):

Information Flow ◽

Type System

Download Full-text

Monitoring Distributed Systems Using Knowledge

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_12 ◽

2011 ◽

pp. 183-197 ◽

Cited By ~ 11

Author(s):

Susanne Graf ◽

Doron Peled ◽

Sophie Quinton

Keyword(s):

Distributed Systems

Download Full-text

A Framework for Verifying Data-Centric Protocols

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_7 ◽

2011 ◽

pp. 106-120 ◽

Cited By ~ 3

Author(s):

Yuxin Deng ◽

Stéphane Grumbach ◽

Jean-François Monin

Download Full-text

Galois Connections for Flow Algebras

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_9 ◽

2011 ◽

pp. 138-152 ◽

Cited By ~ 2

Author(s):

Piotr Filipiuk ◽

Michał Terepeta ◽

Hanne Riis Nielson ◽

Flemming Nielson

Keyword(s):

Galois Connections

Download Full-text

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_5 ◽

2011 ◽

pp. 75-89 ◽

Cited By ~ 6

Author(s):

Bettina Braitling ◽

Ralf Wimmer ◽

Bernd Becker ◽

Nils Jansen ◽

Erika Ábrahám

Keyword(s):

Model Checking ◽

Markov Chains ◽

Bounded Model Checking

Download Full-text

Global State Estimates for Distributed Systems

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_13 ◽

2011 ◽

pp. 198-212 ◽

Cited By ~ 4

Author(s):

Gabriel Kalyon ◽

Tristan Le Gall ◽

Hervé Marchand ◽

Thierry Massart

Keyword(s):

Distributed Systems ◽

Global State

Download Full-text

A Process Calculus for Dynamic Networks

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_14 ◽

2011 ◽

pp. 213-227 ◽

Cited By ~ 10

Author(s):

Dimitrios Kouzapas ◽

Anna Philippou

Keyword(s):

Dynamic Networks ◽

Process Calculus

Download Full-text

Linear-Time and May-Testing in a Probabilistic Reactive Setting

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_2 ◽

2011 ◽

pp. 29-43 ◽

Cited By ~ 3

Author(s):

Lucia Acciai ◽

Michele Boreale ◽

Rocco De Nicola

Keyword(s):

Linear Time

Download Full-text

Analysis of Deadlocks in Object Groups

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_11 ◽

2011 ◽

pp. 168-182 ◽

Cited By ~ 9

Author(s):

Elena Giachino ◽

Cosimo Laneve

Download Full-text

Contracts for Multi-instance UML Activities

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-21461-5_20 ◽

2011 ◽

pp. 304-318 ◽

Cited By ~ 2

Author(s):

Vidar Slåtten ◽

Peter Herrmann

Download Full-text

Formal Techniques for Distributed Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

An Accurate Type System for Information Flow in Presence of Arrays

Monitoring Distributed Systems Using Knowledge

A Framework for Verifying Data-Centric Protocols

Galois Connections for Flow Algebras

Counterexample Generation for Markov Chains Using SMT-Based Bounded Model Checking

Global State Estimates for Distributed Systems

A Process Calculus for Dynamic Networks

Linear-Time and May-Testing in a Probabilistic Reactive Setting

Analysis of Deadlocks in Object Groups

Contracts for Multi-instance UML Activities

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science
Latest Publications