Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450357289

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On using blockchains for safety-critical systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196480 ◽

2018 ◽

Cited By ~ 4

Author(s):

Christian Berger ◽

Birgit Penzenstadler ◽

Olaf Drögehorn

Keyword(s):

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems

Download Full-text

Towards explainable multi-objective probabilistic planning

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196488 ◽

2018 ◽

Cited By ~ 2

Author(s):

Roykrong Sukkerd ◽

Reid Simmons ◽

David Garlan

Keyword(s):

Probabilistic Planning ◽

Multi Objective

Download Full-text

Handling system complexity in sCPS

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196489 ◽

2018 ◽

Author(s):

Sebastian Voss ◽

Johannes Eder

Keyword(s):

System Complexity ◽

Handling System

Download Full-text

Shipboard power system reconfiguration

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196486 ◽

2018 ◽

Cited By ~ 2

Author(s):

Luca Sabatucci ◽

Giada De Simone ◽

Massimo Cossentino

Keyword(s):

Power System ◽

System Reconfiguration ◽

Shipboard Power System ◽

Shipboard Power

Download Full-text

A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196483 ◽

2018 ◽

Author(s):

Marian Daun ◽

Jennifer Brings ◽

Thorsten Weyer

Keyword(s):

Cyber Physical Systems ◽

Collaborative Networks ◽

Physical Systems

Download Full-text

On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196487 ◽

2018 ◽

Author(s):

Robert G. Pettit ◽

Aedan D. Pettit

Keyword(s):

Physical Space ◽

Space Systems

Download Full-text

On early statistical requirements validation of cyber-physical space systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196485 ◽

2018 ◽

Cited By ~ 6

Author(s):

Christos Tsigkanos ◽

Nianyu Li ◽

Zhi Jin ◽

Zhenjiang Hu ◽

Carlo Ghezzi

Keyword(s):

Physical Space ◽

Space Systems ◽

Requirements Validation

Download Full-text

Enabling cyber-physical systems for 5G networking

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196481 ◽

2018 ◽

Cited By ~ 5

Author(s):

Christos Tranoris ◽

Spyros Denazis ◽

Lucas Guardalben ◽

João Pereira ◽

Susana Sargento

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

A building automation case study setup and challenges

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196482 ◽

2018 ◽

Cited By ~ 1

Author(s):

João Cambeiro ◽

Cláudio Gomes ◽

Vasco Amaral ◽

Armanda Rodrigues ◽

Jácome Cunha

Keyword(s):

Building Automation

Download Full-text

Multi-paradigm modelling of cyber-physical systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18 ◽

10.1145/3196478.3196479 ◽

2018 ◽

Cited By ~ 2

Author(s):

Hans Vangheluwe

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

On using blockchains for safety-critical systems

Towards explainable multi-objective probabilistic planning

Handling system complexity in sCPS

Shipboard power system reconfiguration

A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems

On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems

On early statistical requirements validation of cyber-physical space systems

Enabling cyber-physical systems for 5G networking

A building automation case study setup and challenges

Multi-paradigm modelling of cyber-physical systems

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '18
Latest Publications