Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Kluwer Academic Publishers

0792374703

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Test Sequence Selection

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_17 ◽

2006 ◽

pp. 269-284 ◽

Cited By ~ 1

Author(s):

David Lee ◽

Ruibing Hao

Keyword(s):

Test Sequence ◽

Sequence Selection

Download Full-text

SVL: A Scripting Language for Compositional Verification

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_24 ◽

2006 ◽

pp. 377-392 ◽

Cited By ~ 30

Author(s):

Hubert Garavel ◽

Frédéric Lang

Keyword(s):

Compositional Verification ◽

Scripting Language

Download Full-text

Diagnosing Multiple Faults in Communicating Finite State Machines

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_6 ◽

2006 ◽

pp. 85-100 ◽

Cited By ~ 3

Author(s):

Khaled El-Fakih ◽

Nina Yevtushenko ◽

Gregor v. Bochmann

Keyword(s):

Finite State Machines ◽

State Machines ◽

Multiple Faults ◽

Finite State

Download Full-text

A Method to Generate Conformance Test Sequences for FSM with Timer System Call

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_19 ◽

2006 ◽

pp. 301-316

Author(s):

Takanori Mori ◽

Kohei Tokuda ◽

Harumasa Tada ◽

Masahiro Higuchi ◽

Teruo Higashino

Keyword(s):

System Call ◽

Conformance Test

Download Full-text

Verification of Dense Time Properties Using Theories of Untimed Process Algebra

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_22 ◽

2006 ◽

pp. 353-368

Author(s):

Matti Luukkainen

Keyword(s):

Process Algebra

Download Full-text

Formal Verification of Peephole Optimizations in Asynchronous Circuits

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_14 ◽

2006 ◽

pp. 219-234

Author(s):

Xiaohua Kong ◽

Radu Negulescu

Keyword(s):

Formal Verification ◽

Asynchronous Circuits

Download Full-text

Patterns and Rules for Behavioural Subtyping

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_21 ◽

2006 ◽

pp. 335-350

Author(s):

Heike Wehrheim

Download Full-text

Towards a Formal Framework for Interoperability Testing

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_4 ◽

2006 ◽

pp. 53-68 ◽

Cited By ~ 5

Author(s):

César Viho ◽

Sébastien Barbin ◽

Lénaïck Tanguy

Keyword(s):

Formal Framework ◽

Interoperability Testing

Download Full-text

Testing Liveness Properties

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_23 ◽

2006 ◽

pp. 369-376

Author(s):

Ulrich Ultes-Nitsche ◽

Simon St James

Keyword(s):

Liveness Properties

Download Full-text

Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing ◽

10.1007/0-306-47003-9_15 ◽

2006 ◽

pp. 235-250 ◽

Cited By ~ 9

Author(s):

Farn Wang

Keyword(s):

Real Time ◽

Real Time Systems ◽

Time Systems ◽

Symbolic Verification

Download Full-text

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information ProcessingLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Kluwer Academic Publishers

Test Sequence Selection

SVL: A Scripting Language for Compositional Verification

Diagnosing Multiple Faults in Communicating Finite State Machines

A Method to Generate Conformance Test Sequences for FSM with Timer System Call

Verification of Dense Time Properties Using Theories of Untimed Process Algebra

Formal Verification of Peephole Optimizations in Asynchronous Circuits

Patterns and Rules for Behavioural Subtyping

Towards a Formal Framework for Interoperability Testing

Testing Liveness Properties

Symbolic Verification of Complex Real-time Systems with Clock-restriction Diagram

Formal Techniques for Networked and Distributed Systems - IFIP International Federation for Information Processing
Latest Publications