Christos Tsigkanos

Proceedings of the 25th International Conference on Distributed Computing and Networking, 2024

Instrumenting Runtime Goal Monitoring for F' Flight Software.

[BibT_eX]

[DOI]

Proceedings of the 48th IEEE Annual Computers, Software, and Applications Conference, 2024

2023

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., April, 2023

Visual Exploration of Financial Data with Incremental Domain Knowledge.

[BibT_eX]

[DOI]

Comput. Graph. Forum, February, 2023

A Transformational Approach to Managing Data Model Evolution of Web Services.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2023

Large Language Models: The Next Frontier for Variable Discovery within Metamorphic Testing?

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Software Analysis, 2023

On Irregularity Localization for Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Anh Duc Vu

Jorge-Arnulfo Quiané-Ruiz

Volker Markl

Proceedings of the Computational Science - ICCS 2023, 2023

Variable Discovery with Large Language Models for Metamorphic Testing of Scientific Software.

[BibT_eX]

[DOI]

Proceedings of the Computational Science - ICCS 2023, 2023

Slicing and Visualizing F' Topologies with F'Prism.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2023 Tracks, Workshops, and Doctoral Symposium, 2023

2022

Edge-Based Runtime Verification for the Internet of Things.

[BibT_eX]

[DOI]

Marcello M. Bersani

IEEE Trans. Serv. Comput., 2022

Resource Management for Latency-Sensitive IoT Applications With Satisfiability.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2022

Adaptive Management of Volatile Edge Systems at Runtime With Satisfiability.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2022

WebMonitor: Verification of Web User Interfaces.

[BibT_eX]

[DOI]

Ennio Visconti

Laura Nenzi

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

Outcome-Preserving Input Reduction for Scientific Data Analysis Workflows.

[BibT_eX]

[DOI]

Anh Duc Vu

Willem-Jan van den Heuvel

Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022

2021

Specification Patterns for Robotic Missions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2021

DataOps for Cyber-Physical Systems Governance: The Airport Passenger Flow Case.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2021

Model-driven engineering city spaces via bidirectional model transformations.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

Connectivity Technology Selection and Deployment Strategies for IoT Service Provision Over LPWAN.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2021

On Provisioning Procedural Geometry Workloads on Edge Architectures.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Web Information Systems and Technologies, 2021

RoboMAX: Robotic Mission Adaptation eXemplars.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021

Updating Service-Based Software Systems in Air-Gapped Environments.

[BibT_eX]

[DOI]

Oleksandr Shabelnyk

Proceedings of the Software Architecture - 15th European Conference, 2021

2020

Cloud Deployment Tradeoffs for the Analysis of Spatially Distributed Internet of Things Systems.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2020

Early validation of cyber-physical space systems via multi-concerns integration.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Cloud Deployment Tradeoffs for the Analysis of Spatially-Distributed Systems of Internet-of-Things.

[BibT_eX]

[DOI]

CoRR, 2020

Scalable Multiple-View Analysis of Reactive Systems via Bidirectional Model Transformations.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Dependable Resource Coordination on the Edge at Runtime.

[BibT_eX]

[DOI]

Ilir Murturi

Proc. IEEE, 2019

Architectural Considerations for Privacy on the Edge.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2019

Sabrina: Modeling and Visualization of Economy Data with Incremental Domain Knowledge.

[BibT_eX]

[DOI]

CoRR, 2019

Sabrina: Modeling and Visualization of Financial Data over Time with Incremental Domain Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE Visualization Conference, 2019

POET: Privacy on the Edge with Bidirectional Data Transformations.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019

Model-Driven Design of City Spaces via Bidirectional Transformations.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

How Do Firms Transact? Guesstimation and Validation of Financial Transaction Networks with Satisfiability.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Information Reuse and Integration for Data Science, 2019

Inferring analyzable models from trajectories of spatially-distributed internet of things.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

PsALM: specification of dependable robotic missions.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Modelling and analysing resilient cyber-physical systems.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019

Edge-to-Edge Resource Discovery using Metadata Replication.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Fog and Edge Computing, 2019

Towards Resilient Internet of Things: Vision, Challenges, and Research Roadmap.

[BibT_eX]

[DOI]

Stefan Nastic

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

Decentralized Resource Auctioning for Latency-Sensitive Edge Computing.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Edge Computing, 2019

Engineering Heterogeneous Internet of Things Applications: From Models to Code.

[BibT_eX]

[DOI]

Thomas W. Pusztai

Proceedings of the 5th IEEE International Conference on Collaboration and Internet Computing, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

Engineering Resilient Collaborative Edge-Enabled IoT.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Services Computing, 2019

2018

On the Interplay Between Cyber and Physical Spaces for Adaptive Security.

[BibT_eX]

[DOI]

IEEE Trans. Dependable Secur. Comput., 2018

Modeling and Verification of Evolving Cyber-Physical Spaces.

[BibT_eX]

[DOI]

Carlo Ghezzi

Proceedings of the Software Engineering und Software Management 2018, 2018

On early statistical requirements validation of cyber-physical space systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2018

Property specification patterns for robotic missions.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Modelling and verification of evolving cyber-physical spaces.

[BibT_eX]

[DOI]

PhD thesis, 2017

Software Engineering for Smart Cyber-Physical Systems: Challenges and Promising Solutions.

[BibT_eX]

[DOI]

Ilias Gerostathopoulos

ACM SIGSOFT Softw. Eng. Notes, 2017

Topology-Aware Access Control of Smart Spaces.

[BibT_eX]

[DOI]

Blanca Florentino-Liaño

Tarik Hadzic

Bashar Nuseibeh

Computer, 2017

2016

An EMOF-Compliant Abstract Syntax for Bigraphs.

[BibT_eX]

[DOI]

Carlo Ghezzi

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

Architecting dynamic cyber-physical spaces.

[BibT_eX]

[DOI]

Carlo Ghezzi

Computing, 2016

On Formalizing and Identifying Patterns in Cloud Workload Specifications.

[BibT_eX]

[DOI]