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

9783642385919, 9783642385926

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

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

10.1007/978-3-642-38592-6_19 ◽

2013 ◽

pp. 273-288 ◽

Cited By ~ 27

Author(s):

Antonio E. Flores-Montoya ◽

Elvira Albert ◽

Samir Genaim

Keyword(s):

Deadlock Analysis ◽

Concurrent Objects

Download Full-text

Parameterized Verification of Track Topology Aggregation Protocols

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

10.1007/978-3-642-38592-6_4 ◽

2013 ◽

pp. 35-49 ◽

Cited By ~ 1

Author(s):

Sergio Feo-Arenis ◽

Bernd Westphal

Keyword(s):

Parameterized Verification ◽

Topology Aggregation

Download Full-text

Asynchronously Communicating Visibly Pushdown Systems

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

10.1007/978-3-642-38592-6_16 ◽

2013 ◽

pp. 225-241 ◽

Cited By ~ 1

Author(s):

Domagoj Babić ◽

Zvonimir Rakamarić

Download Full-text

A Case Study in Formal Verification Using Multiple Explicit Heaps

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

10.1007/978-3-642-38592-6_3 ◽

2013 ◽

pp. 20-34 ◽

Cited By ~ 5

Author(s):

Wojciech Mostowski

Keyword(s):

Formal Verification

Download Full-text

Formal Analysis of a Distributed Algorithm for Tracking Progress

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

10.1007/978-3-642-38592-6_2 ◽

2013 ◽

pp. 5-19 ◽

Cited By ~ 2

Author(s):

Martín Abadi ◽

Frank McSherry ◽

Derek G. Murray ◽

Thomas L. Rodeheffer

Keyword(s):

Distributed Algorithm ◽

Formal Analysis

Download Full-text

Input-Output Conformance Simulation (iocos) for Model Based Testing

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

10.1007/978-3-642-38592-6_9 ◽

2013 ◽

pp. 114-129 ◽

Cited By ~ 11

Author(s):

Carlos Gregorio-Rodríguez ◽

Luis Llana ◽

Rafael Martínez-Torres

Keyword(s):

Input Output ◽

Model Based ◽

Model Based Testing

Download Full-text

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

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

10.1007/978-3-642-38592-6_7 ◽

2013 ◽

pp. 83-98 ◽

Cited By ~ 2

Author(s):

Viviana Bono ◽

Luca Padovani ◽

Andrea Tosatto

Keyword(s):

Leak Detection ◽

Functional Language

Download Full-text

Lintent: Towards Security Type-Checking of Android Applications

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

10.1007/978-3-642-38592-6_20 ◽

2013 ◽

pp. 289-304 ◽

Cited By ~ 14

Author(s):

Michele Bugliesi ◽

Stefano Calzavara ◽

Alvise Spanò

Keyword(s):

Type Checking ◽

Android Applications

Download Full-text

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

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

10.1007/978-3-642-38592-6_15 ◽

2013 ◽

pp. 209-224 ◽

Cited By ~ 3

Author(s):

Jay Thakkar ◽

Aditya Kanade ◽

Rajeev Alur

Keyword(s):

Noisy Channels ◽

Retransmission Protocols

Download Full-text

A Timed Component Algebra for Services

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

10.1007/978-3-642-38592-6_17 ◽

2013 ◽

pp. 242-257 ◽

Cited By ~ 2

Author(s):

Benoît Delahaye ◽

José Luiz Fiadeiro ◽

Axel Legay ◽

Antónia Lopes

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

May-Happen-in-Parallel Based Deadlock Analysis for Concurrent Objects

Parameterized Verification of Track Topology Aggregation Protocols

Asynchronously Communicating Visibly Pushdown Systems

A Case Study in Formal Verification Using Multiple Explicit Heaps

Formal Analysis of a Distributed Algorithm for Tracking Progress

Input-Output Conformance Simulation (iocos) for Model Based Testing

Polymorphic Types for Leak Detection in a Session-Oriented Functional Language

Lintent: Towards Security Type-Checking of Android Applications

Transducer-Based Algorithmic Verification of Retransmission Protocols over Noisy Channels

A Timed Component Algebra for Services

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