Name Card

Full name Familienname, Vorname
TSIGKANOS, Christos
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 40 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Arleo-2023-Computer Graphics Forum-vor.pdf.jpgArleo, Alessio ; Tsigkanos, Christos ; Leite, Roger A. ; Dustdar, Schahram ; Miksch, Silvia ; Sorger, Johannes Visual Exploration of Financial Data with Incremental Domain KnowledgeArticle Artikel Feb-2023
2Visconti, Ennio ; Tsigkanos, Christos ; Nenzi, Laura WebMonitor: Verification of Web User InterfacesInproceedings Konferenzbeitrag 5-Jan-2023
3Tsigkanos-2022-IEEE Transactions on Services Computing-vor.pdf.jpgTsigkanos, Christos ; Bersani, Marcello M. ; Frangoudis, Pantelis ; Dustdar, Schahram Edge-Based Runtime Verification for the Internet of ThingsArticle Artikel 7-Oct-2022
4Avasalcai, Cosmin Florin ; Tsigkanos, Christos ; Dustdar, Schahram Resource Management for Latency-Sensitive IoT Applications With SatisfiabilityArticle Artikel 2022
5Shabelnyk, Oleksandr ; Frangoudis, Pantelis A. ; Dustdar, Schahram ; Tsigkanos, Christos Updating Service-Based Software Systems in Air-Gapped EnvironmentsKonferenzbeitrag Inproceedings 2021
6Tsigkanos, Christos ; Bersani, Marcello M. ; Frangoudis, Pantelis A. ; Dustdar, Schahram Edge-Based Runtime Verification for the Internet of ThingsKonferenzbeitrag Inproceedings 2021
7Murturi, Ilir ; Jia, Chao ; Kerbl, Bernhard ; Wimmer, Michael ; Dustdar, Schahram ; Tsigkanos, Christos On Provisioning Procedural Geometry Workloads on Edge ArchitecturesKonferenzbeitrag Inproceedings 2021
8Garriga, Martin ; Aarns, Koen ; Tsigkanos, Christos ; Tamburri, Damian A. ; Heuvel, Wjan Van Den DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow CaseArtikel Article 2021
9Menghi, Claudio ; Tsigkanos, Christos ; Pelliccione, Patrizio ; Ghezzi, Carlo ; Berger, Thorsten Specification Patterns for Robotic MissionsArtikel Article 2021
10Tsigkanos, Christos On Modeling and Verification for Dependable Software SystemsPräsentation Presentation2021
11Tsigkanos, Christos On Modeling and Verification for Dependable Software SystemsPräsentation Presentation2021
12Frangoudis, Pantelis A. ; Tsigkanos, Christos ; Dustdar, Schahram Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWANArtikel Article 2021
13Avasalcai, Cosmin ; Tsigkanos, Christos ; Dustdar, Schahram Adaptive Management of Volatile Edge Systems at Runtime With SatisfiabilityArtikel Article 2021
14Askarpour, Mehrnoosh ; Tsigkanos, Christos ; Menghi, Claudio ; Calinescu, Radu ; Pelliccione, Patrizio ; Garcia, Sergio ; Caldas, Ricardo ; von Oertzen, Tim J ; Wimmer, Manuel ; Berardinelli, Luca ; Rossi, Matteo ; Bersani, Marcello M. ; Rodrigues, Gabriel S. RoboMAX: Robotic Mission Adaptation eXemplarsKonferenzbeitrag Inproceedings 2021
15Visconti, Ennio ; Tsigkanos, Christos ; Hu, Zhenjiang ; Ghezzi, Carlo Model-driven engineering city spaces via bidirectional model transformationsArtikel Article 2021
16Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early validation of cyber-physical space systems via multi-concerns integrationArtikel Article 2020
17Tsigkanos, Christos ; Li, Nianyu ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Scalable multiple-view analysis of reactive systems via bidirectional model transformationsKonferenzbeitrag Inproceedings 2020
18Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things SystemsArtikel Article 2020
19Tsigkanos, Christos ; Garriga, Martin ; Baresi, Luciano ; Ghezzi, Carlo Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-ThingsPreprint Preprint2020
20Li, Nianyu ; Tsigkanos, Christos ; Jin, Zhi ; Hu, Zhenjiang ; Ghezzi, Carlo Early Validation of Cyber-Physical Space Systems via Multi-Concerns IntegrationPreprint Preprint2020

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Gallauner Alexander - 2022 - Area monitoring with gossip for...pdf.jpgGallauner, Alexander Area monitoring with gossip for spatially-distributed internet of thingsThesis Hochschulschrift 2022
2Moiseiuk Dmytro - 2022 - Rewriting in bigraphical reactive systems Specification...pdf.jpgMoiseiuk, Dmytro Rewriting in bigraphical reactive systems: Specification and rapid prototypingThesis Hochschulschrift 2022
3Shabelnyk Oleksandr - 2021 - Updating service-based software systems in...pdf.jpgShabelnyk, Oleksandr Updating service-based software systems in air-gapped environmentsThesis Hochschulschrift 2021
4Pusztai, Thomas Werner Model-based design and architecture of fog computing applicationsThesis Hochschulschrift2019