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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540201755, 9783540399797

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Service-Oriented Systems Engineering: Modeling Services and Layered Architectures

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

10.1007/978-3-540-39979-7_4 ◽

2003 ◽

pp. 48-61 ◽

Cited By ~ 10

Author(s):

Manfred Broy

Keyword(s):

Systems Engineering ◽

Service Oriented ◽

Engineering Modeling ◽

Layered Architectures

Download Full-text

Concerning the Ordering of Adaptive Test Sequences

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

10.1007/978-3-540-39979-7_19 ◽

2003 ◽

pp. 289-302 ◽

Cited By ~ 8

Author(s):

Robert M. Hierons ◽

Hasan Ural

Keyword(s):

Adaptive Test

Download Full-text

A Lightweight Formal Analysis of a Multicast Key Management Scheme

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

10.1007/978-3-540-39979-7_16 ◽

2003 ◽

pp. 240-256 ◽

Cited By ~ 20

Author(s):

Mana Taghdiri ◽

Daniel Jackson

Keyword(s):

Key Management ◽

Formal Analysis ◽

Management Scheme ◽

Multicast Key Management ◽

Key Management Scheme

Download Full-text

Type Abstraction in Formal Protocol Specifications with Container Types

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

10.1007/978-3-540-39979-7_25 ◽

2003 ◽

pp. 383-398

Author(s):

Joachim Thees

Download Full-text

Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts

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

10.1007/978-3-540-39979-7_27 ◽

2003 ◽

pp. 415-429

Author(s):

Hesham Kamal Arafat Mohamed ◽

Bruno Müller-Clostermann

Keyword(s):

Performance Evaluation ◽

Communication Systems ◽

Message Sequence Charts ◽

Efficient Performance

Download Full-text

Vertical Reuse in the Development of Distributed Systems with FDTs

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

10.1007/978-3-540-39979-7_3 ◽

2003 ◽

pp. 31-47 ◽

Cited By ~ 1

Author(s):

Reinhard Gotzhein

Keyword(s):

Distributed Systems

Download Full-text

Progressive Solutions to a Parallel Automata Equation

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

10.1007/978-3-540-39979-7_24 ◽

2003 ◽

pp. 367-382 ◽

Cited By ~ 7

Author(s):

Sergey Buffalov ◽

Khaled El-Fakih ◽

Nina Yevtushenko ◽

Gregor v. Bochmann

Download Full-text

UNIX STREAMS Generation from a Formal Specification

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

10.1007/978-3-540-39979-7_1 ◽

2003 ◽

pp. 1-14

Author(s):

Paweł Rychwalski ◽

Jacek Wytrębowicz

Keyword(s):

Formal Specification

Download Full-text

Towards Testing Stochastic Timed Systems

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

10.1007/978-3-540-39979-7_22 ◽

2003 ◽

pp. 335-350 ◽

Cited By ~ 15

Author(s):

Manuel Núñez ◽

Ismael Rodríguez

Keyword(s):

Timed Systems

Download Full-text

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

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

10.1007/978-3-540-39979-7_13 ◽

2003 ◽

pp. 193-208 ◽

Cited By ~ 8

Author(s):

Dirk Beyer ◽

Andreas Noack

Keyword(s):

State Space ◽

Real Time ◽

Decision Diagrams ◽

State Space Explosion

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Service-Oriented Systems Engineering: Modeling Services and Layered Architectures

Concerning the Ordering of Adaptive Test Sequences

A Lightweight Formal Analysis of a Multicast Key Management Scheme

Type Abstraction in Formal Protocol Specifications with Container Types

Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts

Vertical Reuse in the Development of Distributed Systems with FDTs

Progressive Solutions to a Parallel Automata Equation

UNIX STREAMS Generation from a Formal Specification

Towards Testing Stochastic Timed Systems

Can Decision Diagrams Overcome State Space Explosion in Real-Time Verification?

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