Login / Signup
SEsCPS@ICSE
2015
2019
2015
2019
Keyphrases
Publications
2019
Leepakshi Bindra
,
Changyuan Lin
,
Eleni Stroulia
,
Omid Ardakanian
Decentralized access control for smart buildings using metadata and smart contracts.
SEsCPS@ICSE
(2019)
Proceedings of the 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2019, Montreal, QC, Canada, May 28, 2019.
SEsCPS@ICSE
(2019)
Stefan Gries
,
Julius Ollesch
,
Volker Gruhn
Modeling semantic dependencies to allow flow monitoring in networks with black-box nodes.
SEsCPS@ICSE
(2019)
YiJi Zhao
,
Farnoosh Fatemi Pour
,
Shadan Golestan
,
Eleni Stroulia
: multi-agent human activity simulation in indoor spaces.
SEsCPS@ICSE
(2019)
Ye Hou
,
Jose M. Such
,
Awais Rashid
Understanding security requirements for industrial control system supply chains.
SEsCPS@ICSE
(2019)
Klementina Josifovska
,
Enes Yigitbas
,
Gregor Engels
Reference framework for digital twins within cyber-physical systems.
SEsCPS@ICSE
(2019)
Barnaby Craggs
A just culture is fundamental: extending security ergonomics by design.
SEsCPS@ICSE
(2019)
Eshaan Khanapuri
,
Tarun Chintalapati
,
Rajnikant Sharma
,
Ryan M. Gerdes
Learning-based adversarial agent detection and identification in cyber physical systems applied to autonomous vehicular platoon.
SEsCPS@ICSE
(2019)
Qishen Zhang
,
Tamás Kecskés
,
Janos L. Mathe
,
Janos Sztipanovits
Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems.
SEsCPS@ICSE
(2019)
Edward A. Lee
A fundamental look at models and intelligence: abstract of keynote.
SEsCPS@ICSE
(2019)
Radu Calinescu
,
Javier Cámara
,
Colin Paterson
Socio-cyber-physical systems: models, opportunities, open challenges.
SEsCPS@ICSE
(2019)
2018
Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, ICSE 2018, Gothenburg, Sweden, May 27, 2018
SEsCPS@ICSE
(2018)
Marian Daun
,
Jennifer Brings
,
Thorsten Weyer
A semi-automated approach to foster the validation of collaborative networks of cyber-physical systems.
SEsCPS@ICSE
(2018)
Hans Vangheluwe
Multi-paradigm modelling of cyber-physical systems: extended abstract.
SEsCPS@ICSE
(2018)
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.
SEsCPS@ICSE
(2018)
Robert G. Pettit IV
,
Aedan D. Pettit
On the feasibility of automatically detecting and recovering from SEUs in cyber-physical space systems.
SEsCPS@ICSE
(2018)
Christos Tsigkanos
,
Nianyu Li
,
Zhi Jin
,
Zhenjiang Hu
,
Carlo Ghezzi
On early statistical requirements validation of cyber-physical space systems.
SEsCPS@ICSE
(2018)
Shafiul Azam Chowdhury
,
Lina Sera Varghese
,
Soumik Mohian
,
Taylor T. Johnson
,
Christoph Csallner
A curated corpus of simulink models for model-based empirical studies.
SEsCPS@ICSE
(2018)
Sebastian Voss
,
Johannes Eder
Handling system complexity in sCPS: usable design space exploration.
SEsCPS@ICSE
(2018)
João Cambeiro
,
Cláudio Gomes
,
Vasco Amaral
,
Armanda Rodrigues
,
Jácome Cunha
A building automation case study setup and challenges.
SEsCPS@ICSE
(2018)
Roykrong Sukkerd
,
Reid G. Simmons
,
David Garlan
Towards explainable multi-objective probabilistic planning.
SEsCPS@ICSE
(2018)
Luca Sabatucci
,
Giada De Simone
,
Massimo Cossentino
Shipboard power system reconfiguration: a self-adaptation exemplar.
SEsCPS@ICSE
(2018)
Christian Berger
,
Birgit Penzenstadler
,
Olaf Drögehorn
On using blockchains for safety-critical systems.
SEsCPS@ICSE
(2018)
2017
Michal Zasadzinski
,
Victor Muntés-Mulero
,
Marc Soe Simo
Actor Based Root Cause Analysis in a Distributed Environment.
SEsCPS@ICSE
(2017)
Faeq Alrimawi
,
Liliana Pasquale
,
Bashar Nuseibeh
Software Engineering Challenges for Investigating Cyber-Physical Incidents.
SEsCPS@ICSE
(2017)
Tomás Bures
,
Danny Weyns
,
Bradley R. Schmerl
,
John S. Fitzgerald
SEsCPS 2017 Workshop Summary.
SEsCPS@ICSE
(2017)
Yu David Liu
,
Lukasz Ziarek
Toward Energy-Aware Programming for Unmanned Aerial Vehicles.
SEsCPS@ICSE
(2017)
Lenz Belzner
,
Thomas Gabor
Stacked Thompson Bandits.
SEsCPS@ICSE
(2017)
Bashar Nuseibeh
Crossing Boundaries: On the Inevitable Intertwining of Digital, Physical, and Social Spaces.
SEsCPS@ICSE
(2017)
3rd IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2017, Buenos Aires, Argentina, May 21, 2017
SEsCPS@ICSE
(2017)
Barnaby Craggs
,
Awais Rashid
Smart Cyber-Physical Systems: Beyond Usable Security to Security Ergonomics by Design.
SEsCPS@ICSE
(2017)
Florian Murr
,
Wolfgang Mauerer
McFSM: Globally Taming Complex Systems.
SEsCPS@ICSE
(2017)
Lenz Belzner
,
Thomas Gabor
Bayesian Verification under Model Uncertainty.
SEsCPS@ICSE
(2017)
Julius Ollesch
,
Marc Hesenius
,
Volker Gruhn
Engineering Events in CPS - Experiences and Lessons Learned.
SEsCPS@ICSE
(2017)
2016
Lenz Belzner
,
Michael Till Beck
,
Thomas Gabor
,
Harald Roelle
,
Horst Sauer
Software engineering for distributed autonomous real-time systems.
SEsCPS@ICSE
(2016)
Sylvain Frey
,
Awais Rashid
,
Alberto Zanutto
,
Jerry S. Busby
,
Karolina Follis
On the role of latent design conditions in cyber-physical systems security.
SEsCPS@ICSE
(2016)
Christos Tsigkanos
,
Timo Kehrer
,
Carlo Ghezzi
,
Liliana Pasquale
,
Bashar Nuseibeh
Adding static and dynamic semantics to building information models.
SEsCPS@ICSE
(2016)
Pragya Kirti Gupta
,
Bernhard Schätz
Constraint-based graceful degradation in smart grids.
SEsCPS@ICSE
(2016)
Eunsuk Kang
,
Sridhar Adepu
,
Daniel Jackson
,
Aditya P. Mathur
Model-based security analysis of a water treatment system.
SEsCPS@ICSE
(2016)
Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016
SEsCPS@ICSE
(2016)
Saurabh Chauhan
,
Pankesh Patel
,
Flávia Coimbra Delicato
,
Sanjay Chaudhary
A development framework for programming cyber-physical systems.
SEsCPS@ICSE
(2016)
Roykrong Sukkerd
,
Javier Cámara
,
David Garlan
,
Reid G. Simmons
Multiscale time abstractions for long-range planning under uncertainty.
SEsCPS@ICSE
(2016)
Charles Walter
,
Matthew L. Hale
,
Rose F. Gamble
Imposing security awareness on wearables.
SEsCPS@ICSE
(2016)
Alessia Knauss
,
Christian Berger
,
Henrik Eriksson
Towards state-of-the-art and future trends in testing of active safety systems.
SEsCPS@ICSE
(2016)
2015
Matthias M. Hölzl
,
Thomas Gabor
Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical System.
SEsCPS@ICSE
(2015)
Mirco Bordoni
,
Michele Bottone
,
Bob Fields
,
Nikos Gorogiannis
,
Michael Margolis
,
Giuseppe Primiero
,
Franco Raimondi
Towards Cyber-physical Systems as Services: The ASIP Protocol.
SEsCPS@ICSE
(2015)
Marian Daun
,
Jennifer Brings
,
Torsten Bandyszak
,
Philipp Bohn
,
Thorsten Weyer
Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges.
SEsCPS@ICSE
(2015)
Kai Liang
,
Zhuofu Bai
,
Murat Cenk Cavusoglu
,
Andy Podgurski
,
Soumya Ray
Fault Localization in Embedded Control System Software.
SEsCPS@ICSE
(2015)
Christian Berger
Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization - A Case Study.
SEsCPS@ICSE
(2015)
David Garlan
Modeling Challenges for CPS Systems.
SEsCPS@ICSE
(2015)