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 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

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

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

Towards a Taxonomy of Microservices Architectures

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

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

2018 ◽

pp. 203-218 ◽

Cited By ~ 12

Author(s):

Martin Garriga

Download Full-text

Features of Integrated Model-Based Co-modelling and Co-simulation Technology

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

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

2018 ◽

pp. 377-390 ◽

Cited By ~ 9

Author(s):

Peter Gorm Larsen ◽

John Fitzgerald ◽

Jim Woodcock ◽

Carl Gamble ◽

Richard Payne ◽

...

Keyword(s):

Integrated Model ◽

Simulation Technology ◽

Model Based

Download Full-text

From (Incomplete) TOSCA Specifications to Running Applications, with Docker

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

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

2018 ◽

pp. 491-506 ◽

Cited By ~ 4

Author(s):

Antonio Brogi ◽

Davide Neri ◽

Luca Rinaldi ◽

Jacopo Soldani

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Framework for Modelling Variable Microservices as Software Product Lines

A Formal Framework for Specifying and Verifying Microservices Based Process Flows

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

Learning Decision Trees from Synthetic Data Models for Human Security Behaviour

Controlling Production Variances in Complex Business Processes

Towards a Taxonomy of Microservices Architectures

Features of Integrated Model-Based Co-modelling and Co-simulation Technology

From (Incomplete) TOSCA Specifications to Running Applications, with Docker

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