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

9783642134630, 9783642134647

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Testing Probabilistic Distributed Systems

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

10.1007/978-3-642-13464-7_6 ◽

2010 ◽

pp. 63-77 ◽

Cited By ~ 8

Author(s):

Robert M. Hierons ◽

Manuel Núñez

Keyword(s):

Distributed Systems

Download Full-text

Testing Attribute-Based Transactions in SOC

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

10.1007/978-3-642-13464-7_8 ◽

2010 ◽

pp. 87-94 ◽

Cited By ~ 3

Author(s):

Laura Bocchi ◽

Emilio Tuosto

Download Full-text

Theory and Implementation of a Real-Time Extension to the π-Calculus

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

10.1007/978-3-642-13464-7_11 ◽

2010 ◽

pp. 125-139 ◽

Cited By ~ 5

Author(s):

Ernesto Posse ◽

Juergen Dingel

Keyword(s):

Real Time ◽

Time Extension ◽

Π Calculus

Download Full-text

Logics for Contravariant Simulations

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

10.1007/978-3-642-13464-7_18 ◽

2010 ◽

pp. 224-231 ◽

Cited By ~ 4

Author(s):

Ignacio Fábregas ◽

David de Frutos Escrig ◽

Miguel Palomino

Download Full-text

Heap-Dependent Expressions in Separation Logic

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

10.1007/978-3-642-13464-7_14 ◽

2010 ◽

pp. 170-185 ◽

Cited By ~ 5

Author(s):

Jan Smans ◽

Bart Jacobs ◽

Frank Piessens

Keyword(s):

Separation Logic

Download Full-text

Forgetting the Time in Timed Process Algebra

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

10.1007/978-3-642-13464-7_10 ◽

2010 ◽

pp. 110-124 ◽

Cited By ~ 1

Author(s):

Anton Wijs

Keyword(s):

Process Algebra

Download Full-text

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

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

10.1007/978-3-642-13464-7_9 ◽

2010 ◽

pp. 95-109 ◽

Cited By ~ 5

Author(s):

Fatemeh Kazemeyni ◽

Einar Broch Johnsen ◽

Olaf Owe ◽

Ilangko Balasingham

Keyword(s):

Game Theory ◽

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Coalitional Game ◽

Coalitional Game Theory

Download Full-text

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

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

10.1007/978-3-642-13464-7_16 ◽

2010 ◽

pp. 201-215 ◽

Cited By ~ 4

Author(s):

Yongyuth Permpoontanalarp

Keyword(s):

Trace Analysis ◽

Cryptographic Protocols

Download Full-text

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

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

10.1007/978-3-642-13464-7_5 ◽

2010 ◽

pp. 47-62 ◽

Cited By ~ 33

Author(s):

Peter Csaba Ölveczky ◽

Artur Boronat ◽

José Meseguer

Keyword(s):

Real Time ◽

Formal Semantics

Download Full-text

Static Type Analysis of Pattern Matching by Abstract Interpretation

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

10.1007/978-3-642-13464-7_15 ◽

2010 ◽

pp. 186-200 ◽

Cited By ~ 8

Author(s):

Pietro Ferrara

Keyword(s):

Pattern Matching ◽

Abstract Interpretation ◽

Type Analysis

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Testing Probabilistic Distributed Systems

Testing Attribute-Based Transactions in SOC

Theory and Implementation of a Real-Time Extension to the π-Calculus

Logics for Contravariant Simulations

Heap-Dependent Expressions in Separation Logic

Forgetting the Time in Timed Process Algebra

Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory

On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Static Type Analysis of Pattern Matching by Abstract Interpretation

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