default search action
2nd SEsCPS@ICSE 2016: Austin, Texas, USA
- Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, SEsCPS@ICSE 2016, Austin, Texas, USA, May 14-22, 2016. ACM 2016, ISBN 978-1-4503-4171-4
Formal modeling and planning
- Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh:
Adding static and dynamic semantics to building information models. 1-7 - Pragya Kirti Gupta, Bernhard Schätz:
Constraint-based graceful degradation in smart grids. 8-14 - Roykrong Sukkerd, Javier Cámara, David Garlan, Reid G. Simmons:
Multiscale time abstractions for long-range planning under uncertainty. 15-21
Safety and security
- Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur:
Model-based security analysis of a water treatment system. 22-28 - Charles Walter, Matthew L. Hale, Rose F. Gamble:
Imposing security awareness on wearables. 29-35 - Alessia Knauss, Christian Berger, Henrik Eriksson:
Towards state-of-the-art and future trends in testing of active safety systems. 36-42 - Sylvain Frey, Awais Rashid, Alberto Zanutto, Jerry S. Busby, Karolina Follis:
On the role of latent design conditions in cyber-physical systems security. 43-46
Frameworks
- Saurabh Chauhan, Pankesh Patel, Flávia Coimbra Delicato, Sanjay Chaudhary:
A development framework for programming cyber-physical systems. 47-53 - Lenz Belzner, Michael Till Beck, Thomas Gabor, Harald Roelle, Horst Sauer:
Software engineering for distributed autonomous real-time systems. 54-57
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.