Advanced search

Authors whose works are in public domain in at least one jurisdiction

List of works by Christos Tsigkanos

Automated Generation of Code Contracts: Generative AI to the Rescue?

scientific article published on 17 October 2024

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

scientific article published on 04 May 2020

SMT-as-a-Service for Fog-Supported Cyber-Physical Systems

scientific article published on 22 January 2024

WebMonitor: Verification of Web User Interfaces

scientific article published on 06 January 2023

Paulina is supported by:

About Paulina

Help