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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540291893, 9783540320845

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Deriving Non-determinism from Conjunction and Disjunction

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

10.1007/11562436_26 ◽

2005 ◽

pp. 351-365 ◽

Cited By ~ 1

Author(s):

Naijun Zhan ◽

Mila Majster-Cederbaum

Download Full-text

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

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

10.1007/11562436_11 ◽

2005 ◽

pp. 128-142 ◽

Cited By ~ 9

Author(s):

Oskar Wibling ◽

Joachim Parrow ◽

Arnold Pears

Keyword(s):

Routing Protocol ◽

Ad Hoc ◽

Protocol Verification ◽

Ad Hoc Routing ◽

Ad Hoc Routing Protocol

Download Full-text

Logic and Model Checking for Hidden Markov Models

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

10.1007/11562436_9 ◽

2005 ◽

pp. 98-112 ◽

Cited By ~ 9

Author(s):

Lijun Zhang ◽

Holger Hermanns ◽

David N. Jansen

Keyword(s):

Model Checking ◽

Hidden Markov Models ◽

Markov Models ◽

Hidden Markov

Download Full-text

A Hierarchy of Implementable MSC Languages

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

10.1007/11562436_6 ◽

2005 ◽

pp. 53-67 ◽

Cited By ~ 3

Author(s):

Benedikt Bollig ◽

Martin Leucker

Download Full-text

A Petri Net View of Mobility

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

10.1007/11562436_14 ◽

2005 ◽

pp. 174-188 ◽

Cited By ~ 11

Author(s):

Charles A. Lakos

Keyword(s):

Petri Net

Download Full-text

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems

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

10.1007/11562436_13 ◽

2005 ◽

pp. 159-173 ◽

Cited By ~ 4

Author(s):

César Sánchez ◽

Henny B. Sipma ◽

Venkita Subramonian ◽

Christopher Gill ◽

Zohar Manna

Keyword(s):

Embedded Systems ◽

Real Time

Download Full-text

Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks

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

10.1007/11562436_33 ◽

2005 ◽

pp. 458-472 ◽

Cited By ~ 4

Author(s):

Chang Wu Yu ◽

Li-Hsing Yen

Keyword(s):

Ad Hoc Networks ◽

Wireless Ad Hoc Networks ◽

Ad Hoc ◽

Geometric Graphs ◽

Random Geometric Graphs ◽

Quantitative Analyses ◽

Hoc Networks

Download Full-text

Towards Synchronizing Linear Collaborative Objects with Operational Transformation

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

10.1007/11562436_30 ◽

2005 ◽

pp. 411-427 ◽

Cited By ~ 1

Author(s):

Abdessamad Imine ◽

Pascal Molli ◽

Gérald Oster ◽

Michaël Rusinowitch

Keyword(s):

Operational Transformation

Download Full-text

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks

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

10.1007/11562436_19 ◽

2005 ◽

pp. 247-260 ◽

Cited By ~ 2

Author(s):

Gerrit Rothmaier ◽

Heiko Krumm

Keyword(s):

Computer Networks ◽

Formal Modeling ◽

Modeling And Analysis ◽

Multi Level

Download Full-text

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions

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

10.1007/11562436_7 ◽

2005 ◽

pp. 68-82

Author(s):

A. Prasad Sistla ◽

Min Zhou

Keyword(s):

Model Checking ◽

Static Analysis

Download Full-text

Formal Techniques for Networked and Distributed Systems - FORTE 2005 - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Deriving Non-determinism from Conjunction and Disjunction

Ad Hoc Routing Protocol Verification Through Broadcast Abstraction

Logic and Model Checking for Hidden Markov Models

A Hierarchy of Implementable MSC Languages

A Petri Net View of Mobility

Thread Allocation Protocols for Distributed Real-Time and Embedded Systems

Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks

Towards Synchronizing Linear Collaborative Objects with Operational Transformation

A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks

Combining Static Analysis and Model Checking for Systems Employing Commutative Functions

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