Christos Tsigkanos
Technische Universität Wien
H-index: 19
Europe-Austria
Top articles of Christos Tsigkanos
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems | Stefan Holzer Pantelis Frangoudis Christos Tsigkanos Schahram Dustdar | 2024/1/4 | |
Large language models: The next frontier for variable discovery within metamorphic testing? | Christos Tsigkanos Pooja Rani Sebastian Müller Timo Kehrer | 2023/3/21 | |
Visual exploration of financial data with incremental domain knowledge | Computer Graphics Forum | Alessio Arleo Christos Tsigkanos Roger A Leite Schahram Dustdar Silvia Miksch | 2023/2 |
Variable discovery with large language models for metamorphic testing of scientific software | Christos Tsigkanos Pooja Rani Sebastian Müller Timo Kehrer | 2023/6/26 | |
On irregularity localization for scientific data analysis workflows | Anh Duc Vu Christos Tsigkanos Jorge-Arnulfo Quiané-Ruiz Volker Markl Timo Kehrer | 2023/6/26 | |
A transformational approach to managing data model evolution of web services | IEEE Transactions on Services Computing | Luca Beurer-Kellner Jens von Pilgrim Christos Tsigkanos Timo Kehrer | 2022/1/21 |
Mission specification patterns for mobile robots: Providing support for quantitative properties | Transactions on Software Engineering (TSE) | Claudio Menghi Christos Tsigkanos Mehrnoosh Askarpour Patrizio Pelliccione Gricel Vazquez | 2022 |
WebMonitor: Verification of Web User Interfaces | Ennio Visconti Christos Tsigkanos Laura Nenzi | 2022/10/10 | |
Outcome-preserving input reduction for scientific data analysis workflows | Anh Duc Vu Timo Kehrer Christos Tsigkanos | 2022/10/10 | |
Updating Service-Based Software Systems in Air-Gapped Environments | Oleksandr Shabelnyk Pantelis A Frangoudis Schahram Dustdar Christos Tsigkanos | 2021 | |
Edge-based runtime verification for the Internet of Things | IEEE Transactions on Services Computing | Christos Tsigkanos Marcello M Bersani Pantelis A Frangoudis Schahram Dustdar | 2021/4/23 |
Model-driven engineering city spaces via bidirectional model transformations | Software and Systems Modeling | Ennio Visconti Christos Tsigkanos Zhenjiang Hu Carlo Ghezzi | 2021/12 |
Resource management for latency-sensitive IoT applications with satisfiability | IEEE Transactions on Services Computing | Cosmin Avasalcai Christos Tsigkanos Schahram Dustdar | 2021/4/20 |
Connectivity technology selection and deployment strategies for IoT service provision over LPWAN | IEEE Internet Computing | Pantelis A Frangoudis Christos Tsigkanos Schahram Dustdar | 2021/2/18 |
Adaptive management of volatile edge systems at runtime with satisfiability | ACM Transactions on Internet Technology (TOIT) | Cosmin Avasalcai Christos Tsigkanos Schahram Dustdar | 2021/9/14 |
On Modeling and Verification for Dependable Software Systems | Christos Tsigkanos | 2021 | |
RoboMAX: Robotic mission adaptation exemplars | Mehrnoosh Askarpour Christos Tsigkanos Claudio Menghi Radu Calinescu Patrizio Pelliccione | 2021/5/18 | |
On Provisioning Procedural Geometry Workloads on Edge Architectures. | Ilir Murturi Chao Jia Bernhard Kerbl Michael Wimmer Schahram Dustdar | 2021 | |
Dataops for cyber-physical systems governance: The airport passenger flow case | ACM Transactions on Internet Technology (TOIT) | Martin Garriga Koen Aarns Christos Tsigkanos Damian A Tamburri Wjan Van Den Heuvel | 2021/5/3 |
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations | Christos Tsigkanos Nianyu Li Zhi Jin Zhenjiang Hu Carlo Ghezzi | 2020/12/21 |