Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450341714

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Multiscale time abstractions for long-range planning under uncertainty

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897044 ◽

2016 ◽

Cited By ~ 2

Author(s):

Roykrong Sukkerd ◽

Javier Cámara ◽

David Garlan ◽

Reid Simmons

Keyword(s):

Long Range ◽

Planning Under Uncertainty ◽

Long Range Planning

Download Full-text

A development framework for programming cyber-physical systems

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897039 ◽

2016 ◽

Cited By ~ 6

Author(s):

Saurabh Chauhan ◽

Pankesh Patel ◽

Flávia C. Delicato ◽

Sanjay Chaudhary

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Development Framework

Download Full-text

On the role of latent design conditions in cyber-physical systems security

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897036 ◽

2016 ◽

Cited By ~ 5

Author(s):

Sylvain Frey ◽

Awais Rashid ◽

Alberto Zanutto ◽

Jerry Busby ◽

Karolina Follis

Keyword(s):

Cyber Physical Systems ◽

Physical Systems ◽

Systems Security

Download Full-text

Imposing security awareness on wearables

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897038 ◽

2016 ◽

Author(s):

Charles Walter ◽

Matthew L. Hale ◽

Rose F. Gamble

Keyword(s):

Security Awareness

Download Full-text

Towards state-of-the-art and future trends in testing of active safety systems

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897037 ◽

2016 ◽

Cited By ~ 3

Author(s):

Alessia Knauss ◽

Christian Berger ◽

Henrik Eriksson

Keyword(s):

State Of The Art ◽

Active Safety ◽

Future Trends ◽

Active Safety Systems ◽

Safety Systems

Download Full-text

Software engineering for distributed autonomous real-time systems

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897040 ◽

2016 ◽

Cited By ~ 6

Author(s):

Lenz Belzner ◽

Michael Till Beck ◽

Thomas Gabor ◽

Harald Roelle ◽

Horst Sauer

Keyword(s):

Software Engineering ◽

Real Time ◽

Real Time Systems ◽

Time Systems

Download Full-text

Constraint-based graceful degradation in smart grids

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897043 ◽

2016 ◽

Cited By ~ 1

Author(s):

Pragya Kirti Gupta ◽

Bernhard Schaetz

Keyword(s):

Smart Grids ◽

Graceful Degradation

Download Full-text

Adding static and dynamic semantics to building information models

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897042 ◽

2016 ◽

Cited By ~ 12

Author(s):

Christos Tsigkanos ◽

Timo Kehrer ◽

Carlo Ghezzi ◽

Liliana Pasquale ◽

Bashar Nuseibeh

Keyword(s):

Dynamic Semantics ◽

Information Models ◽

Building Information ◽

Building Information Models

Download Full-text

Model-based security analysis of a water treatment system

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16 ◽

10.1145/2897035.2897041 ◽

2016 ◽

Cited By ~ 29

Author(s):

Eunsuk Kang ◽

Sridhar Adepu ◽

Daniel Jackson ◽

Aditya P. Mathur

Keyword(s):

Water Treatment ◽

Security Analysis ◽

Treatment System ◽

Water Treatment System ◽

Model Based

Download Full-text

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Multiscale time abstractions for long-range planning under uncertainty

A development framework for programming cyber-physical systems

On the role of latent design conditions in cyber-physical systems security

Imposing security awareness on wearables

Towards state-of-the-art and future trends in testing of active safety systems

Software engineering for distributed autonomous real-time systems

Constraint-based graceful degradation in smart grids

Adding static and dynamic semantics to building information models

Model-based security analysis of a water treatment system

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems - SEsCPS '16
Latest Publications