research
∙
09/06/2023
A Study on Indoor Noise Levels in a Set of School Buildings in Greece utilizing an IoT infrastructure
Monitoring noise pollution in urban areas in a more systematic manner ha...
share
research
∙
02/16/2023
Weak Similarity in Higher-Order Mathematical Operational Semantics
Higher-order abstract GSOS is a recent extension of Turi and Plotkin's f...
research
∙
10/24/2022
Towards a Higher-Order Mathematical Operational Semantics
Compositionality proofs in higher-order languages are notoriously involv...
research
∙
02/22/2022
Stateful Structural Operational Semantics
Compositionality of denotational semantics is an important concern in pr...
research
∙
02/17/2021
Experiences from Using LoRa and IEEE 802.15.4 for IoT-enabled Classrooms
Several networking technologies targeting the IoT application space curr...
research
∙
10/15/2020
Abstract Congruence Criteria for Weak Bisimilarity
We introduce three general compositionality criteria over operational se...
research
∙
05/12/2020
CapablePtrs: Securely Compiling Partial Programs using the Pointers-as-Capabilities Principle
Capability machines such as CHERI provide memory capabilities that can b...
research
∙
04/07/2020
A categorical approach to secure compilation
We introduce a novel approach to secure compilation based on maps of dis...
research
∙
07/11/2019