Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540462194, 9783540462200

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Resource Allocation Systems: Some Complexity Results on the S4PR Class

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_24 ◽

2006 ◽

pp. 323-338 ◽

Cited By ~ 3

Author(s):

Juan-Pablo López-Grao ◽

José-Manuel Colom

Keyword(s):

Resource Allocation ◽

Complexity Results ◽

Resource Allocation Systems

Download Full-text

PN Standardisation: A Survey

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_23 ◽

2006 ◽

pp. 307-322 ◽

Cited By ~ 7

Author(s):

L. Hillah ◽

F. Kordon ◽

L. Petrucci ◽

N. Trèves

Download Full-text

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_10 ◽

2006 ◽

pp. 131-135 ◽

Cited By ~ 6

Author(s):

Luciano Baresi ◽

Carlo Ghezzi ◽

Luca Mottola

Keyword(s):

Automated Verification ◽

Fine Grained

Download Full-text

A New Approach for Concurrent Program Slicing

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_18 ◽

2006 ◽

pp. 228-242 ◽

Cited By ~ 2

Author(s):

Pierre Rousseau

Keyword(s):

Program Slicing ◽

New Approach ◽

Concurrent Program

Download Full-text

Formal Analysis of Dynamic, Distributed File-System Access Controls

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_8 ◽

2006 ◽

pp. 99-114

Author(s):

Avik Chaudhuri ◽

Martín Abadi

Keyword(s):

File System ◽

Formal Analysis ◽

Distributed File System ◽

Access Controls ◽

System Access

Download Full-text

Grey-Box Checking

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_30 ◽

2006 ◽

pp. 420-435 ◽

Cited By ~ 14

Author(s):

Edith Elkind ◽

Blaise Genest ◽

Doron Peled ◽

Hongyang Qu

Download Full-text

Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_9 ◽

2006 ◽

pp. 115-130 ◽

Cited By ~ 10

Author(s):

Tom Chothia

Keyword(s):

File Sharing ◽

Pi Calculus ◽

File Sharing System

Download Full-text

Scenario-Based Timing Consistency Checking for Time Petri Nets

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_28 ◽

2006 ◽

pp. 388-403

Author(s):

Li Xuandong ◽

Bu Lei ◽

Hu Jun ◽

Zhao Jianhua ◽

Zhang Tao ◽

...

Keyword(s):

Petri Nets ◽

Time Petri Nets ◽

Consistency Checking

Download Full-text

Branching Time Semantics for UML 2.0 Sequence Diagrams

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_20 ◽

2006 ◽

pp. 259-274 ◽

Cited By ~ 10

Author(s):

Youcef Hammal

Keyword(s):

Branching Time ◽

Sequence Diagrams ◽

Uml 2.0 ◽

Time Semantics

Download Full-text

JSCL: A Middleware for Service Coordination

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006 ◽

10.1007/11888116_4 ◽

2006 ◽

pp. 46-60 ◽

Cited By ~ 20

Author(s):

Gianluigi Ferrari ◽

Roberto Guanciale ◽

Daniele Strollo

Keyword(s):

Service Coordination

Download Full-text

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Resource Allocation Systems: Some Complexity Results on the S4PR Class

PN Standardisation: A Survey

Towards Fine-Grained Automated Verification of Publish-Subscribe Architectures

A New Approach for Concurrent Program Slicing

Formal Analysis of Dynamic, Distributed File-System Access Controls

Grey-Box Checking

Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus

Scenario-Based Timing Consistency Checking for Time Petri Nets

Branching Time Semantics for UML 2.0 Sequence Diagrams

JSCL: A Middleware for Service Coordination

Lecture Notes in Computer Science - Formal Techniques for Networked and Distributed Systems - FORTE 2006
Latest Publications