C
Christos Tsigkanos
Researcher at Vienna University of Technology
Publications - 55
Citations - 747
Christos Tsigkanos is an academic researcher from Vienna University of Technology. The author has contributed to research in topics: Cyber-physical system & Computer science. The author has an hindex of 16, co-authored 46 publications receiving 527 citations. Previous affiliations of Christos Tsigkanos include Polytechnic University of Milan.
Papers
More filters
Journal ArticleDOI
Specification Patterns for Robotic Missions
TL;DR: A catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications, which provide solutions for recurrent specification problems.
Journal ArticleDOI
On the Interplay Between Cyber and Physical Spaces for Adaptive Security
TL;DR: This paper explores the use of Bigraphical Reactive Systems to model the topology of cyber and physical spaces and their dynamics and proposes an automatic planning technique to identify an adaptation strategy enacting security policies at runtime to prevent, circumvent, or mitigate possible security requirements violations.
Journal ArticleDOI
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions
Tomas Bures,Danny Weyns,Bradley Schmer,Eduardo Tovar,Eric Boden,Thomas Gabor,Ilias Gerostathopoulos,Pragya Kirti Gupta,Eunsuk Kang,Alessia Knauss,Pankesh Patel,Awais Rashid,Ivan Ruchkin,Roykrong Sukkerd,Christos Tsigkanos +14 more
TL;DR: This paper reports on the results of the Second International Workshop on Software Engineering for Smart Cyber--Physical Systems (SEsCPS 2016), which specifically focuses on challenges and promising solutions in the area of software engineering for sCPS.
Proceedings ArticleDOI
Topology aware adaptive security
TL;DR: It is suggested that a key characteristic for engineering adaptive security is the topology of the operational environment, which represents a physical and/or a digital space - including its structural relationships, such as containment, proximity, and reachability.
Proceedings ArticleDOI
Modeling and verification of evolving cyber-physical spaces
TL;DR: This paper utilizes a discrete, graph-based formalism for modeling cyber-physical spaces as well as primitives of change, giving rise to a reactive system consisting of rewriting rules with both local and global application conditions.