Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030409135, 9783030409142

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_7 ◽

2020 ◽

pp. 127-146 ◽

Cited By ~ 1

Author(s):

Timm Liebrenz ◽

Paula Herber ◽

Sabine Glesner

Keyword(s):

Hybrid System ◽

System Models ◽

Service Oriented ◽

Oriented Approach

Download Full-text

A Formally Verified Model of Web Components

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_3 ◽

2020 ◽

pp. 51-71

Author(s):

Achim D. Brucker ◽

Michael Herzberg

Download Full-text

Reowolf: Synchronous Multi-party Communication over the Internet

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_12 ◽

2020 ◽

pp. 235-242

Author(s):

Christopher A. Esterhuyse ◽

Hans-Dieter A. Hiep

Keyword(s):

The Internet

Download Full-text

State Identification for Labeled Transition Systems with Inputs and Outputs

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_10 ◽

2020 ◽

pp. 191-212

Author(s):

Petra van den Bos ◽

Frits Vaandrager

Keyword(s):

Transition Systems ◽

State Identification ◽

Inputs And Outputs

Download Full-text

Minimizing Characterizing Sets

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_4 ◽

2020 ◽

pp. 72-86

Author(s):

Kadir Bulut ◽

Guy Vincent Jourdan ◽

Uraz Cengiz Türker

Download Full-text

Modeling and Verifying Dynamic Architectures with FACTum Studio

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_13 ◽

2020 ◽

pp. 243-251

Author(s):

Habtom Kahsay Gidey ◽

Alexander Collins ◽

Diego Marmsoler

Download Full-text

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_1 ◽

2020 ◽

pp. 3-24

Author(s):

Martijn Goorden ◽

Joanna van de Mortel-Fronczak ◽

Michel Reniers ◽

Wan Fokkink ◽

Jacobus Rooda

Keyword(s):

Supervisory Control ◽

Control Synthesis

Download Full-text

Revisiting Trace Equivalences for Markov Automata

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_14 ◽

2020 ◽

pp. 252-260

Author(s):

Arpit Sharma

Keyword(s):

Markov Automata

Download Full-text

Combining State- and Event-Based Semantics to Verify Highly Available Programs

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_11 ◽

2020 ◽

pp. 213-232

Author(s):

Peter Zeller ◽

Annette Bieniusa ◽

Arnd Poetzsch-Heffter

Keyword(s):

Event Based

Download Full-text

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

Formal Aspects of Component Software - Lecture Notes in Computer Science ◽

10.1007/978-3-030-40914-2_8 ◽

2020 ◽

pp. 147-169

Author(s):

Lars Luthmann ◽

Hendrik Göttmann ◽

Malte Lochau

Keyword(s):

Conformance Testing

Download Full-text

Formal Aspects of Component Software - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Service-Oriented Approach for Decomposing and Verifying Hybrid System Models

A Formally Verified Model of Web Components

Reowolf: Synchronous Multi-party Communication over the Internet

State Identification for Labeled Transition Systems with Inputs and Outputs

Minimizing Characterizing Sets

Modeling and Verifying Dynamic Architectures with FACTum Studio

Modeling Guidelines for Component-Based Supervisory Control Synthesis

Revisiting Trace Equivalences for Markov Automata

Combining State- and Event-Based Semantics to Verify Highly Available Programs

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata

Formal Aspects of Component Software - Lecture Notes in Computer Science
Latest Publications