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

9783642021374, 9783642021381

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling, Validation, and Verification of PCEP Using the IF Language

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

10.1007/978-3-642-02138-1_8 ◽

2009 ◽

pp. 122-136 ◽

Cited By ~ 9

Author(s):

Iksoon Hwang ◽

Mounir Lallali ◽

Ana Cavalli ◽

Dominique Verchere

Keyword(s):

Validation And Verification

Download Full-text

A Type Graph Model for Java Programs

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

10.1007/978-3-642-02138-1_18 ◽

2009 ◽

pp. 237-242 ◽

Cited By ~ 6

Author(s):

Arend Rensink ◽

Eduardo Zambon

Keyword(s):

Graph Model ◽

Java Programs

Download Full-text

Approximated Context-Sensitive Analysis for Parameterized Verification

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

10.1007/978-3-642-02138-1_3 ◽

2009 ◽

pp. 41-56 ◽

Cited By ~ 8

Author(s):

Parosh Aziz Abdulla ◽

Giorgio Delzanno ◽

Ahmed Rezine

Keyword(s):

Sensitive Analysis ◽

Context Sensitive ◽

Parameterized Verification

Download Full-text

Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

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

10.1007/978-3-642-02138-1_17 ◽

2009 ◽

pp. 231-236 ◽

Cited By ~ 4

Author(s):

Gregorio Díaz ◽

Ismael Rodríguez

Keyword(s):

Web Services ◽

Formal Approach

Download Full-text

A Software Platform for Timed Mobility and Timed Interaction

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

10.1007/978-3-642-02138-1_7 ◽

2009 ◽

pp. 106-121 ◽

Cited By ~ 8

Author(s):

Gabriel Ciobanu ◽

Călin Juravle

Keyword(s):

Software Platform

Download Full-text

Typing Component-Based Communication Systems

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

10.1007/978-3-642-02138-1_11 ◽

2009 ◽

pp. 167-181 ◽

Cited By ~ 3

Author(s):

Michael Lienhardt ◽

Claudio Antares Mezzina ◽

Alan Schmitt ◽

Jean-Bernard Stefani

Keyword(s):

Communication Systems

Download Full-text

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

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

10.1007/978-3-642-02138-1_19 ◽

2009 ◽

pp. 243-248 ◽

Cited By ~ 10

Author(s):

Tsong Yueh Chen ◽

Fei-Ching Kuo ◽

Huai Liu ◽

Shengqiong Wang

Keyword(s):

Conformance Testing ◽

Testing Technique ◽

Metamorphic Testing ◽

Network Simulators

Download Full-text

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions

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

10.1007/978-3-642-02138-1_2 ◽

2009 ◽

pp. 26-40 ◽

Cited By ~ 6

Author(s):

Luciano Baresi ◽

Domenico Bianculli ◽

Sam Guinea ◽

Paola Spoletini

Keyword(s):

Web Service ◽

Run Time

Download Full-text

The Orc Programming Language

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

10.1007/978-3-642-02138-1_1 ◽

2009 ◽

pp. 1-25 ◽

Cited By ~ 52

Author(s):

David Kitchin ◽

Adrian Quark ◽

William Cook ◽

Jayadev Misra

Keyword(s):

Programming Language

Download Full-text

System Model-Based Definition of Modeling Language Semantics

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

10.1007/978-3-642-02138-1_10 ◽

2009 ◽

pp. 152-166 ◽

Cited By ~ 13

Author(s):

Hans Grönniger ◽

Jan Oliver Ringert ◽

Bernhard Rumpe

Keyword(s):

System Model ◽

Modeling Language ◽

Model Based ◽

Language Semantics ◽

Definition Of

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Modeling, Validation, and Verification of PCEP Using the IF Language

A Type Graph Model for Java Programs

Approximated Context-Sensitive Analysis for Parameterized Verification

Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

A Software Platform for Timed Mobility and Timed Interaction

Typing Component-Based Communication Systems

Conformance Testing of Network Simulators Based on Metamorphic Testing Technique

Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions

The Orc Programming Language

System Model-Based Definition of Modeling Language Semantics

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