Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783319747804, 9783319747811

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_27 ◽

2018 ◽

pp. 391-405 ◽

Cited By ~ 1

Author(s):

Jinzhi Lu ◽

Martin Törngren ◽

De-Jiu Chen ◽

Jian Wang

Keyword(s):

Physical System ◽

Cyber Physical System ◽

Simulation Tool ◽

Tool Integration

Download Full-text

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_21 ◽

2018 ◽

pp. 300-314 ◽

Cited By ~ 3

Author(s):

Andrea Domenici ◽

Adriano Fagiolini ◽

Maurizio Palmieri

Keyword(s):

Formal Verification ◽

Autonomous Vehicle ◽

Integrated Simulation

Download Full-text

Combining Trust and Aggregate Computing

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_34 ◽

2018 ◽

pp. 507-522 ◽

Cited By ~ 3

Author(s):

Roberto Casadei ◽

Alessandro Aldini ◽

Mirko Viroli

Download Full-text

A Framework for Modelling Variable Microservices as Software Product Lines

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_18 ◽

2018 ◽

pp. 246-261 ◽

Cited By ~ 4

Author(s):

Moh. Afifun Naily ◽

Maya Retno Ayu Setyautami ◽

Radu Muschevici ◽

Ade Azurat

Keyword(s):

Software Product Lines ◽

Product Lines ◽

Software Product

Download Full-text

A Formal Framework for Specifying and Verifying Microservices Based Process Flows

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_14 ◽

2018 ◽

pp. 187-202 ◽

Cited By ~ 6

Author(s):

Matteo Camilli ◽

Carlo Bellettini ◽

Lorenzo Capra ◽

Mattia Monga

Keyword(s):

Formal Framework

Download Full-text

Learning Decision Trees from Synthetic Data Models for Human Security Behaviour

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_5 ◽

2018 ◽

pp. 56-71

Author(s):

Peter Carmichael ◽

Charles Morisset

Keyword(s):

Decision Trees ◽

Synthetic Data ◽

Human Security ◽

Data Models

Download Full-text

Controlling Production Variances in Complex Business Processes

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_6 ◽

2018 ◽

pp. 72-85

Author(s):

Paul Griffioen ◽

Rob Christiaanse ◽

Joris Hulstijn

Keyword(s):

Business Processes

Download Full-text

Development of a Driverless Lawn Mower Using Co-simulation

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_23 ◽

2018 ◽

pp. 330-344 ◽

Cited By ~ 7

Author(s):

Frederik F. Foldager ◽

Peter Gorm Larsen ◽

Ole Green

Keyword(s):

Lawn Mower

Download Full-text

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_36 ◽

2018 ◽

pp. 541-557 ◽

Cited By ~ 2

Author(s):

Carlo Castagnari ◽

Jacopo de Berardinis ◽

Giorgio Forcina ◽

Ali Jafari ◽

Marjan Sirjani

Keyword(s):

Agent Based Simulation ◽

Agent Based ◽

Smart Mobility

Download Full-text

A Refinement Approach to Analyse Critical Cyber-Physical Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-319-74781-1_19 ◽

2018 ◽

pp. 267-283 ◽

Cited By ~ 2

Author(s):

Davide Basile ◽

Felicita Di Giandomenico ◽

Stefania Gnesi

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Software Engineering and Formal Methods - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS)

Integrated Simulation and Formal Verification of a Simple Autonomous Vehicle

Combining Trust and Aggregate Computing

A Framework for Modelling Variable Microservices as Software Product Lines

A Formal Framework for Specifying and Verifying Microservices Based Process Flows

Learning Decision Trees from Synthetic Data Models for Human Security Behaviour

Controlling Production Variances in Complex Business Processes

Development of a Driverless Lawn Mower Using Co-simulation

Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives

A Refinement Approach to Analyse Critical Cyber-Physical Systems

Software Engineering and Formal Methods - Lecture Notes in Computer Science
Latest Publications