25 citations · 56 across the 14 of their papers we have counts for
15 papers
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
Nianyu Li, Christos Tsigkanos, Zhi Jin +2
Cyber-physical space systems are engineered systems operating within physical space with design requirements that depend on space, e.g., regarding location or movement behavior. Th…
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things
Christos Tsigkanos, Martin Garriga, Luciano Baresi +1
Internet-enabled things and devices operating in the physical world are increasingly integrated in modern distributed systems, supporting functionalities that require assurances th…
Perpetual Assurances for Self-Adaptive Systems
Danny Weyns, Nelly Bencomo, Radu Calinescu +10
Providing assurances for self-adaptive systems is challenging. A primary underlying problem is uncertainty that may stem from a variety of different sources, ranging from incomplet…
Specification Patterns for Robotic Missions
Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione +2
Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing thei…
From model checking to a temporal proof for partial models: preliminary example
A. Bernasconi, C. Menghi, P. Spoletini +2
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed fo…
An EMOF-Compliant Abstract Syntax for Bigraphs
Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi
Bigraphs are an emerging modeling formalism for structures in ubiquitous computing. Besides an algebraic notation, which can be adopted to provide an algebraic syntax for bigraphs,…