Communications in Computer and Information Science - Model-Driven Engineering and Software Development
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 15)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030674441, 9783030674458

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Resilient Business Process Modeling and Execution Using BPMN and Microservices

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_8 ◽

2021 ◽

pp. 175-199

Author(s):

Frank Nordemann ◽

Ralf Tönjes ◽

Elke Pulvermüller ◽

Heiko Tapken

Keyword(s):

Business Process ◽

Process Modeling ◽

Business Process Modeling

Download Full-text

Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_3 ◽

2021 ◽

pp. 49-73

Author(s):

Padma Iyenghar

Keyword(s):

Software Systems ◽

Energy Aware ◽

Automotive Software ◽

Timing Models ◽

Systematic Synthesis

Download Full-text

Model-Based Static and Runtime Verification for Ethereum Smart Contracts

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_14 ◽

2021 ◽

pp. 323-348

Author(s):

Shaun Azzopardi ◽

Christian Colombo ◽

Gordon Pace

Keyword(s):

Runtime Verification ◽

Smart Contracts ◽

Model Based

Download Full-text

Augmenting Deep Neural Networks with Scenario-Based Guard Rules

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_7 ◽

2021 ◽

pp. 147-172

Author(s):

Guy Katz

Keyword(s):

Neural Networks ◽

Deep Neural Networks

Download Full-text

Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_11 ◽

2021 ◽

pp. 250-272

Author(s):

Stefan Kapferer ◽

Olaf Zimmermann

Keyword(s):

Rapid Prototyping ◽

Architecture Modeling

Download Full-text

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_2 ◽

2021 ◽

pp. 26-48

Author(s):

Fritjof Bornebusch ◽

Christoph Lüth ◽

Robert Wille ◽

Rolf Drechsler

Keyword(s):

Hardware Design ◽

Design Specifications ◽

Safety First

Download Full-text

Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_4 ◽

2021 ◽

pp. 74-96

Author(s):

Daniela Genius ◽

Ilias Bournias ◽

Ludovic Apvrille ◽

Roselyne Chotin

Keyword(s):

Medical Devices ◽

Virtual Prototyping ◽

Model Based

Download Full-text

ProvAnalyser: A Framework for Scientific Workflows Provenance

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_5 ◽

2021 ◽

pp. 99-120

Author(s):

Anila Sahar Butt ◽

Peter Fitch

Keyword(s):

Scientific Workflows

Download Full-text

Model Transformation from CBM to EPL Rules to Detect Failure Symptoms

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_9 ◽

2021 ◽

pp. 200-224

Author(s):

Alexandre Sarazin ◽

Sebastien Truptil ◽

Aurélie Montarnal ◽

Jérémy Bascans ◽

Xavier Lorca

Keyword(s):

Model Transformation

Download Full-text

The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems

Communications in Computer and Information Science - Model-Driven Engineering and Software Development ◽

10.1007/978-3-030-67445-8_1 ◽

2021 ◽

pp. 3-25

Author(s):

David Oudart ◽

Jérôme Cantenot ◽

Frédéric Boulanger ◽

Sophie Chabridon

Keyword(s):

Smart Grid ◽

Cyber Physical Systems ◽

Model Driven Engineering ◽

Simulation Framework ◽

Physical Systems ◽

Model Driven ◽

Grid Simulation ◽

Framework Model

Download Full-text

Communications in Computer and Information Science - Model-Driven Engineering and Software DevelopmentLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Resilient Business Process Modeling and Execution Using BPMN and Microservices

Systematic Synthesis of Energy-Aware Timing Models in Automotive Software Systems

Model-Based Static and Runtime Verification for Ethereum Smart Contracts

Augmenting Deep Neural Networks with Scenario-Based Guard Rules

Domain-Driven Architecture Modeling and Rapid Prototyping with Context Mapper

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

Model-Based Virtual Prototyping of CPS: Application to Bio-Medical Devices

ProvAnalyser: A Framework for Scientific Workflows Provenance

Model Transformation from CBM to EPL Rules to Detect Failure Symptoms

The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems

Communications in Computer and Information Science - Model-Driven Engineering and Software Development
Latest Publications