Stop the war!
Остановите войну!
for scientists:
default search action
4th SEsCPS@ICSE 2018: Gothenburg, Sweden
- Tomás Bures, John S. Fitzgerald, Bradley R. Schmerl, Danny Weyns:
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018. ACM 2018, ISBN 978-1-4503-5728-9
Keynote
- Hans Vangheluwe:
Multi-paradigm modelling of cyber-physical systems: extended abstract. 1
Modeling and validation
- Sebastian Voss, Johannes Eder:
Handling system complexity in sCPS: usable design space exploration. 2-5 - Marian Daun, Jennifer Brings, Thorsten Weyer:
A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems. 6-12 - Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. 13-18
Planning and trustworthiness
- Roykrong Sukkerd, Reid G. Simmons, David Garlan:
Towards explainable multi-objective probabilistic planning. 19-25 - Robert G. Pettit IV, Aedan D. Pettit:
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems. 26-29 - Christian Berger, Birgit Penzenstadler, Olaf Drögehorn:
On using blockchains for safety-critical systems. 30-36
Reference problems
- Christos Tranoris, Spyros G. Denazis, Lucas Guardalben, João Pereira, Susana Sargento:
Enabling cyber-physical systems for 5G networking: a case study on the automotive vertical domain. 37-40 - João Cambeiro, Cláudio Gomes, Vasco Amaral, Armanda Rodrigues, Jácome Cunha:
A building automation case study setup and challenges. 41-44 - Shafiul Azam Chowdhury, Lina Sera Varghese, Soumik Mohian, Taylor T. Johnson, Christoph Csallner:
A curated corpus of simulink models for model-based empirical studies. 45-48 - Luca Sabatucci, Giada De Simone, Massimo Cossentino:
Shipboard power system reconfiguration: a self-adaptation exemplar. 49-52
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.