default search action
Christos Tsigkanos
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c36]Jialong Li, Christos Tsigkanos, Nianyu Li, Kenji Tei:
Instrumenting Runtime Goal Monitoring for F' Flight Software. COMPSAC 2024: 1300-1309 - [c35]Stefan Holzer, Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar:
SMT-as-a-Service for Fog-Supported Cyber-Physical Systems. ICDCN 2024: 154-163 - 2023
- [j18]Alessio Arleo, Christos Tsigkanos, Roger A. Leite, Schahram Dustdar, Silvia Miksch, Johannes Sorger:
Visual Exploration of Financial Data with Incremental Domain Knowledge. Comput. Graph. Forum 42(1): 101-116 (2023) - [j17]Luca Beurer-Kellner, Jens von Pilgrim, Christos Tsigkanos, Timo Kehrer:
A Transformational Approach to Managing Data Model Evolution of Web Services. IEEE Trans. Serv. Comput. 16(1): 65-79 (2023) - [j16]Claudio Menghi, Christos Tsigkanos, Mehrnoosh Askarpour, Patrizio Pelliccione, Gricel Vázquez, Radu Calinescu, Sergio García:
Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties. IEEE Trans. Software Eng. 49(4): 2741-2760 (2023) - [c34]Jialong Li, Christos Tsigkanos, Toshihide Ubukata, Elisa Yumi Nakagawa, Zhenyu Mao, Nianyu Li, Kenji Tei:
Slicing and Visualizing F' Topologies with F'Prism. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 375-389 - [c33]Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer:
Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software. ICCS (1) 2023: 321-335 - [c32]Anh Duc Vu, Christos Tsigkanos, Jorge-Arnulfo Quiané-Ruiz, Volker Markl, Timo Kehrer:
On Irregularity Localization for Scientific Data Analysis Workflows. ICCS (1) 2023: 336-351 - [c31]Christos Tsigkanos, Pooja Rani, Sebastian Müller, Timo Kehrer:
Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing? SANER 2023: 678-682 - 2022
- [j15]Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar:
Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability. ACM Trans. Internet Techn. 22(1): 26:1-26:21 (2022) - [j14]Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar:
Edge-Based Runtime Verification for the Internet of Things. IEEE Trans. Serv. Comput. 15(5): 2713-2727 (2022) - [j13]Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar:
Resource Management for Latency-Sensitive IoT Applications With Satisfiability. IEEE Trans. Serv. Comput. 15(5): 2982-2993 (2022) - [c30]Ennio Visconti, Christos Tsigkanos, Laura Nenzi:
WebMonitor: Verification of Web User Interfaces. ASE 2022: 170:1-170:4 - [c29]Anh Duc Vu, Timo Kehrer, Christos Tsigkanos:
Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows. ASE 2022: 182:1-182:5 - 2021
- [j12]Pantelis A. Frangoudis, Christos Tsigkanos, Schahram Dustdar:
Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN. IEEE Internet Comput. 25(1): 61-70 (2021) - [j11]Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-driven engineering city spaces via bidirectional model transformations. Softw. Syst. Model. 20(6): 2003-2022 (2021) - [j10]Martin Garriga, Koen Aarns, Christos Tsigkanos, Damian A. Tamburri, Willem-Jan van den Heuvel:
DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case. ACM Trans. Internet Techn. 21(2): 36:1-36:25 (2021) - [j9]Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. IEEE Trans. Software Eng. 47(10): 2208-2224 (2021) - [c28]Oleksandr Shabelnyk, Pantelis A. Frangoudis, Schahram Dustdar, Christos Tsigkanos:
Updating Service-Based Software Systems in Air-Gapped Environments. ECSA 2021: 147-163 - [c27]Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues:
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE 2021: 245-251 - [c26]Christos Tsigkanos, Marcello M. Bersani, Pantelis A. Frangoudis, Schahram Dustdar:
Edge-Based Runtime Verification for the Internet of Things. SERVICES 2021: 16 - [c25]Ilir Murturi, Chao Jia, Bernhard Kerbl, Michael Wimmer, Schahram Dustdar, Christos Tsigkanos:
On Provisioning Procedural Geometry Workloads on Edge Architectures. WEBIST 2021: 354-359 - 2020
- [j8]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early validation of cyber-physical space systems via multi-concerns integration. J. Syst. Softw. 170: 110742 (2020) - [j7]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems. ACM Trans. Internet Techn. 20(2): 17:1-17:23 (2020) - [c24]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations. ASE 2020: 993-1003 - [i4]Christos Tsigkanos, Martin Garriga, Luciano Baresi, Carlo Ghezzi:
Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things. CoRR abs/2004.11428 (2020) - [i3]Nianyu Li, Christos Tsigkanos, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration. CoRR abs/2007.06719 (2020)
2010 – 2019
- 2019
- [j6]Christos Tsigkanos, Cosmin Avasalcai, Schahram Dustdar:
Architectural Considerations for Privacy on the Edge. IEEE Internet Comput. 23(4): 76-83 (2019) - [j5]Christos Tsigkanos, Ilir Murturi, Schahram Dustdar:
Dependable Resource Coordination on the Edge at Runtime. Proc. IEEE 107(8): 1520-1536 (2019) - [c23]Roberto Casadei, Christos Tsigkanos, Mirko Viroli, Schahram Dustdar:
Engineering Resilient Collaborative Edge-Enabled IoT. SCC 2019: 36-45 - [c22]Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos:
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 110-130 - [c21]Thomas W. Pusztai, Christos Tsigkanos, Schahram Dustdar:
Engineering Heterogeneous Internet of Things Applications: From Models to Code. CIC 2019: 222-231 - [c20]Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar:
Decentralized Resource Auctioning for Latency-Sensitive Edge Computing. EDGE 2019: 72-76 - [c19]Christos Tsigkanos, Stefan Nastic, Schahram Dustdar:
Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap. ICDCS 2019: 1754-1764 - [c18]Ilir Murturi, Cosmin Avasalcai, Christos Tsigkanos, Schahram Dustdar:
Edge-to-Edge Resource Discovery using Metadata Replication. ICFEC 2019: 1-6 - [c17]Amel Bennaceur, Carlo Ghezzi, Kenji Tei, Timo Kehrer, Danny Weyns, Radu Calinescu, Schahram Dustdar, Zhenjiang Hu, Shinichi Honiden, Fuyuki Ishikawa, Zhi Jin, Jeffrey Kramer, Marin Litoiu, Michele Loreti, Gabriel A. Moreno, Hausi A. Müller, Laura Nenzi, Bashar Nuseibeh, Liliana Pasquale, Wolfgang Reisig, Heinz Schmidt, Christos Tsigkanos, Haiyan Zhao:
Modelling and analysing resilient cyber-physical systems. SEAMS@ICSE 2019: 70-76 - [c16]Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione:
PsALM: specification of dependable robotic missions. ICSE (Companion Volume) 2019: 99-102 - [c15]Christos Tsigkanos, Laura Nenzi, Michele Loreti, Martin Garriga, Schahram Dustdar, Carlo Ghezzi:
Inferring analyzable models from trajectories of spatially-distributed internet of things. SEAMS@ICSE 2019: 100-106 - [c14]Christos Tsigkanos, Alessio Arleo, Johannes Sorger, Schahram Dustdar:
How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability. IRI 2019: 15-22 - [c13]Ennio Visconti, Christos Tsigkanos, Zhenjiang Hu, Carlo Ghezzi:
Model-Driven Design of City Spaces via Bidirectional Transformations. MoDELS 2019: 45-55 - [c12]Nianyu Li, Christos Tsigkanos, Zhi Jin, Schahram Dustdar, Zhenjiang Hu, Carlo Ghezzi:
POET: Privacy on the Edge with Bidirectional Data Transformations. PerCom 2019: 1-10 - [c11]Alessio Arleo, Johannes Sorger, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenböck, Schahram Dustdar, Michael Wimmer, Silvia Miksch:
Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge. IEEE VIS (Short Papers) 2019: 51-55 - [i2]Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger:
Specification Patterns for Robotic Missions. CoRR abs/1901.02077 (2019) - [i1]Alessio Arleo, Christos Tsigkanos, Chao Jia, Roger A. Leite, Ilir Murturi, Manfred Klaffenboeck, Schahram Dustdar, Michael Wimmer, Silvia Miksch, Johannes Sorger:
Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge. CoRR abs/1908.07479 (2019) - 2018
- [j4]Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh:
On the Interplay Between Cyber and Physical Spaces for Adaptive Security. IEEE Trans. Dependable Secur. Comput. 15(3): 466-480 (2018) - [c10]Christos Tsigkanos, Nianyu Li, Zhi Jin, Zhenjiang Hu, Carlo Ghezzi:
On early statistical requirements validation of cyber-physical space systems. SEsCPS@ICSE 2018: 13-18 - [c9]Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione, Carlo Ghezzi:
Property specification patterns for robotic missions. ICSE (Companion Volume) 2018: 434-435 - [c8]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and Verification of Evolving Cyber-Physical Spaces. Software Engineering 2018: 113-114 - 2017
- [b1]Christos Tsigkanos:
Modelling and verification of evolving cyber-physical spaces. Polytechnic University of Milan, Italy, 2017 - [j3]Liliana Pasquale, Carlo Ghezzi, Edoardo Pasi, Christos Tsigkanos, Menouer Boubekeur, Blanca Florentino-Liaño, Tarik Hadzic, Bashar Nuseibeh:
Topology-Aware Access Control of Smart Spaces. Computer 50(7): 54-63 (2017) - [j2]Tomás Bures, Danny Weyns, Bradley R. Schmerl, Eduardo Tovar, Eric Boden, Thomas Gabor, Ilias Gerostathopoulos, Pragya Gupta, Eunsuk Kang, Alessia Knauss, Pankesh Patel, Awais Rashid, Ivan Ruchkin, Roykrong Sukkerd, Christos Tsigkanos:
Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions. ACM SIGSOFT Softw. Eng. Notes 42(2): 19-24 (2017) - [c7]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Modeling and verification of evolving cyber-physical spaces. ESEC/SIGSOFT FSE 2017: 38-48 - 2016
- [j1]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi:
Architecting dynamic cyber-physical spaces. Computing 98(10): 1011-1040 (2016) - [c6]Christos Tsigkanos, Timo Kehrer, Carlo Ghezzi, Liliana Pasquale, Bashar Nuseibeh:
Adding static and dynamic semantics to building information models. SEsCPS@ICSE 2016: 1-7 - [c5]Christos Tsigkanos, Timo Kehrer:
On Formalizing and Identifying Patterns in Cloud Workload Specifications. WICSA 2016: 262-267 - [c4]Timo Kehrer, Christos Tsigkanos, Carlo Ghezzi:
An EMOF-Compliant Abstract Syntax for Bigraphs. GaM@ETAPS 2016: 16-30 - 2015
- [c3]Christos Tsigkanos, Liliana Pasquale, Carlo Ghezzi, Bashar Nuseibeh:
Ariadne: Topology Aware Adaptive Security for Cyber-Physical Systems. ICSE (2) 2015: 729-732 - 2014
- [c2]Liliana Pasquale, Carlo Ghezzi, Claudio Menghi, Christos Tsigkanos, Bashar Nuseibeh:
Topology aware adaptive security. SEAMS 2014: 43-48 - [c1]Christos Tsigkanos, Liliana Pasquale, Claudio Menghi, Carlo Ghezzi, Bashar Nuseibeh:
Engineering topology aware adaptive security: Preventing requirements violations at runtime. RE 2014: 203-212
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-15 21:40 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint