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

9783030021450, 9783030021467

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

IsaK-Static: A Complete Static Semantics of $$\mathbb {K}$$

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

10.1007/978-3-030-02146-7_10 ◽

2018 ◽

pp. 196-215

Author(s):

Liyi Li ◽

Elsa L. Gunter

Keyword(s):

Static Semantics

Download Full-text

The SLCO Framework for Verified, Model-Driven Construction of Component Software

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

10.1007/978-3-030-02146-7_15 ◽

2018 ◽

pp. 288-296 ◽

Cited By ~ 2

Author(s):

Sander de Putter ◽

Anton Wijs ◽

Dan Zhang

Keyword(s):

Model Driven ◽

Component Software

Download Full-text

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting

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

10.1007/978-3-030-02146-7_11 ◽

2018 ◽

pp. 216-236 ◽

Cited By ~ 6

Author(s):

Thomas Neele ◽

Tim A. C. Willemse ◽

Jan Friso Groote

Keyword(s):

Boolean Equation

Download Full-text

Adaptive Formal Framework for WMN Routing Protocols

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

10.1007/978-3-030-02146-7_9 ◽

2018 ◽

pp. 175-195

Author(s):

Mojgan Kamali ◽

Ansgar Fehnker

Keyword(s):

Routing Protocols ◽

Formal Framework

Download Full-text

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

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

10.1007/978-3-030-02146-7_3 ◽

2018 ◽

pp. 54-74 ◽

Cited By ~ 1

Author(s):

Jean-Paul Bodeveix ◽

Arnaud Dieumegard ◽

Mamoun Filali

Keyword(s):

Component Model

Download Full-text

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

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

10.1007/978-3-030-02146-7_5 ◽

2018 ◽

pp. 97-117

Author(s):

Prabhakar M. Dixit ◽

H. M. W. Verbeek ◽

Wil M. P. van der Aalst

Keyword(s):

Petri Nets ◽

Free Choice ◽

Incremental Computation

Download Full-text

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

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

10.1007/978-3-030-02146-7_7 ◽

2018 ◽

pp. 137-155 ◽

Cited By ~ 7

Author(s):

Simon Foster ◽

James Baxter ◽

Ana Cavalcanti ◽

Alvaro Miyazawa ◽

Jim Woodcock

Keyword(s):

State Machines

Download Full-text

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

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

10.1007/978-3-030-02146-7_13 ◽

2018 ◽

pp. 256-276 ◽

Cited By ~ 1

Author(s):

Antti Siirtola ◽

Keijo Heljanko

Keyword(s):

Refinement Checking

Download Full-text

A Logical Characterization of Differential Privacy via Behavioral Metrics

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

10.1007/978-3-030-02146-7_4 ◽

2018 ◽

pp. 75-96 ◽

Cited By ~ 1

Author(s):

Valentina Castiglioni ◽

Konstantinos Chatzikokolakis ◽

Catuscia Palamidessi

Keyword(s):

Differential Privacy

Download Full-text

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns

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

10.1007/978-3-030-02146-7_14 ◽

2018 ◽

pp. 279-287 ◽

Cited By ~ 5

Author(s):

Diego Marmsoler ◽

Habtom Kahsay Gidey

Keyword(s):

Design Patterns ◽

Architectural Design ◽

Specification And Verification

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

IsaK-Static: A Complete Static Semantics of $$\mathbb {K}$$

The SLCO Framework for Verified, Model-Driven Construction of Component Software

Solving Parameterised Boolean Equation Systems with Infinite Data Through Quotienting

Adaptive Formal Framework for WMN Routing Protocols

Event-B Formalization of a Variability-Aware Component Model Patterns Framework

Incremental Computation of Synthesis Rules for Free-Choice Petri Nets

Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

Dynamic Cut-Off Algorithm for Parameterised Refinement Checking

A Logical Characterization of Differential Privacy via Behavioral Metrics

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns

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