13 citations · 32 across the 5 of their papers we have counts for
6 papers
A Systematic Literature Review on a Decade of Industrial TLA+ Practice
Roman Bögli, Leandro Lerena, Christos Tsigkanos +1
TLA+ is a formal specification language used for designing, modeling, documenting, and verifying systems through model checking. Despite significant interest from the research comm…
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…
Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge
Alessio Arleo, Christos Tsigkanos, Chao Jia +7
Investment planning requires knowledge of the financial landscape on a large scale, both in terms of geo-spatial and industry sector distribution. There is plenty of data available…
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…
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,…