IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer US

9781475752700, 9780387355788

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Stress Testing of Distributed Multimedia Software Systems

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_7 ◽

1999 ◽

pp. 119-133 ◽

Cited By ~ 6

Author(s):

Jian Zhang ◽

Shing-Chi Cheung ◽

Samuel T. Chanson

Keyword(s):

Stress Testing ◽

Software Systems ◽

Distributed Multimedia ◽

Multimedia Software

Download Full-text

An Optimizing Compiler for Efficient Model Checking

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_14 ◽

1999 ◽

pp. 241-256 ◽

Cited By ~ 11

Author(s):

Yifei Dong ◽

C. R. Ramakrishnan

Keyword(s):

Model Checking ◽

Optimizing Compiler

Download Full-text

Protocol Synthesis for Real-Time Applications

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_24 ◽

1999 ◽

pp. 417-433 ◽

Cited By ~ 3

Author(s):

Ahmed Khoumsi ◽

Rachida Dssouli ◽

Gregor V. Bochmann

Keyword(s):

Real Time ◽

Real Time Applications

Download Full-text

Prototyping Framework for SDL with Evolving Semantics

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_5 ◽

1999 ◽

pp. 75-94 ◽

Cited By ~ 1

Author(s):

Peter Csurgay

Download Full-text

Fair Testing Through Probabilistic Testing

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_8 ◽

1999 ◽

pp. 135-150 ◽

Cited By ~ 2

Author(s):

Manuel Núñez ◽

David Rupérez

Download Full-text

Guaranteeing Liveness in an Object Calculus Through Behavioral Typing

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_12 ◽

1999 ◽

pp. 203-221 ◽

Cited By ~ 5

Author(s):

Elie Najm ◽

Abdelkrim Nimour ◽

Jean-Bernard Stefani

Download Full-text

Black Box Checking

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_13 ◽

1999 ◽

pp. 225-240 ◽

Cited By ~ 68

Author(s):

Doron Peled ◽

Moshe Y. Vardi ◽

Mihalis Yannakakis

Keyword(s):

Black Box

Download Full-text

Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_10 ◽

1999 ◽

pp. 169-184 ◽

Cited By ~ 2

Author(s):

Peter Langendörfer ◽

Hartmut König

Download Full-text

Verifying an infinite family of inductions simultaneously using data independence and FDR

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_25 ◽

1999 ◽

pp. 437-452 ◽

Cited By ~ 7

Author(s):

S. J. Creese ◽

A. W. Roscoe

Keyword(s):

Infinite Family ◽

Using Data ◽

Data Independence

Download Full-text

A Formal Approach to Conformance Testing of Distributed Routing Protocols

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems ◽

10.1007/978-0-387-35578-8_9 ◽

1999 ◽

pp. 151-163 ◽

Cited By ~ 1

Author(s):

Jun Bi ◽

Jianping Wu

Keyword(s):

Routing Protocols ◽

Conformance Testing ◽

Formal Approach ◽

Distributed Routing

Download Full-text

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed SystemsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer US

Stress Testing of Distributed Multimedia Software Systems

An Optimizing Compiler for Efficient Model Checking

Protocol Synthesis for Real-Time Applications

Prototyping Framework for SDL with Evolving Semantics

Fair Testing Through Probabilistic Testing

Guaranteeing Liveness in an Object Calculus Through Behavioral Typing

Black Box Checking

Deriving Activity Thread Implementations from Formal Descriptions Using Transition Reordering

Verifying an infinite family of inductions simultaneously using data independence and FDR

A Formal Approach to Conformance Testing of Distributed Routing Protocols

IFIP Advances in Information and Communication Technology - Formal Methods for Protocol Engineering and Distributed Systems
Latest Publications