Letterio Galletta

Available identifiers

zbMath Open galletta.letterioWikidataQ108713544 ScholiaQ108713544MaRDI QIDQ1731515

List of research outcomes

Publication	Date of Publication	Type
Revealing the trajectories of KLAIM tuples, statically	2024-02-23	Paper
A type language for distributed reactive components governed by communication protocols	2023-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q5028430	2022-02-09	Paper
https://portal.mardi4nfdi.de/entity/Q5019690	2022-01-10	Paper
Natural projection as partial model checking	2020-11-02	Paper
Security Metrics at Work on the Things in IoT Systems	2020-07-20	Paper
Robust declassification by incremental typing	2020-03-03	Paper
From natural projection to partial model checking and back	2019-09-16	Paper
Measuring security in IoT communications	2019-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q5367043	2017-10-12	Paper
Last Mile’s Resources	2016-03-23	Paper
Safe Adaptation Through Implicit Effect Coercion	2016-01-08	Paper
An Abstract Interpretation Framework for Type and Effect Systems	2015-06-26	Paper
Linguistic Mechanisms for Context-Aware Security	2015-01-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Letterio Galletta