Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030034238, 9783030034245

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_15 ◽

2018 ◽

pp. 221-240 ◽

Cited By ~ 4

Author(s):

Rui P. Cardoso ◽

Rosaldo J. F. Rossetti ◽

Emma Hart ◽

David Burth Kurka ◽

Jeremy Pitt

Keyword(s):

Adaptive Systems ◽

Unpredictable Environments

Download Full-text

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_20 ◽

2018 ◽

pp. 304-320 ◽

Cited By ~ 10

Author(s):

Rim El Ballouli ◽

Saddek Bensalem ◽

Marius Bozga ◽

Joseph Sifakis

Keyword(s):

Reconfigurable Systems ◽

Systems Methodology

Download Full-text

Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_17 ◽

2018 ◽

pp. 257-273 ◽

Cited By ~ 4

Author(s):

Houssem Ben Mahfoudh ◽

Giovanna Di Marzo Serugendo ◽

Anthony Boulmier ◽

Nabil Abdennadher

Keyword(s):

Reinforcement Learning ◽

Adaptive Systems ◽

Coordination Model ◽

On Demand

Download Full-text

Dynamic Security Specification Through Autonomic Component Ensembles

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_12 ◽

2018 ◽

pp. 172-185 ◽

Cited By ~ 5

Author(s):

Rima Al Ali ◽

Tomas Bures ◽

Petr Hnetynka ◽

Filip Krijt ◽

Frantisek Plasil ◽

...

Keyword(s):

Dynamic Security ◽

Autonomic Component

Download Full-text

Cyber-Physical Systems Engineering: An Introduction

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_27 ◽

2018 ◽

pp. 407-410

Author(s):

J. Paul Gibson ◽

Peter Gorm Larsen ◽

Marc Pantel ◽

John Fitzgerald ◽

Jim Woodcock

Keyword(s):

Systems Engineering ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_18 ◽

2018 ◽

pp. 274-287 ◽

Cited By ~ 3

Author(s):

Natalia Zon ◽

Stephen Gilmore

Keyword(s):

Urban Transportation ◽

Transportation Systems ◽

Modelling And Simulation ◽

Data Driven

Download Full-text

Model-Based Systems Engineering for Systems Simulation

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_29 ◽

2018 ◽

pp. 429-448

Author(s):

Renan Leroux ◽

Marc Pantel ◽

Ileana Ober ◽

Jean-Michel Bruel

Keyword(s):

Systems Engineering ◽

Model Based ◽

Systems Simulation ◽

Model Based Systems Engineering

Download Full-text

Engineering Collectives of Self-driving Vehicles: The SOTA Approach

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_6 ◽

2018 ◽

pp. 79-93 ◽

Cited By ~ 5

Author(s):

Dhaminda B. Abeywickrama ◽

Marco Mamei ◽

Franco Zambonelli

Download Full-text

DReAM: Dynamic Reconfigurable Architecture Modeling

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_2 ◽

2018 ◽

pp. 13-31 ◽

Cited By ~ 8

Author(s):

Rocco De Nicola ◽

Alessandro Maggi ◽

Joseph Sifakis

Keyword(s):

Reconfigurable Architecture ◽

Architecture Modeling

Download Full-text

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-030-03424-5_11 ◽

2018 ◽

pp. 155-171 ◽

Cited By ~ 4

Author(s):

Iulia Dragomir ◽

Simon Iosti ◽

Marius Bozga ◽

Saddek Bensalem

Keyword(s):

Formal Approach

Download Full-text

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Engineering Sustainable and Adaptive Systems in Dynamic and Unpredictable Environments

Four Exercises in Programming Dynamic Reconfigurable Systems: Methodology and Solution in DR-BIP

Coordination Model with Reinforcement Learning for Ensuring Reliable On-Demand Services in Collective Adaptive Systems

Dynamic Security Specification Through Autonomic Component Ensembles

Cyber-Physical Systems Engineering: An Introduction

Data-Driven Modelling and Simulation of Urban Transportation Systems Using Carma

Model-Based Systems Engineering for Systems Simulation

Engineering Collectives of Self-driving Vehicles: The SOTA Approach

DReAM: Dynamic Reconfigurable Architecture Modeling

Designing Systems with Detection and Reconfiguration Capabilities: A Formal Approach

Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems - Lecture Notes in Computer Science
Latest Publications