Hybrid Information Flow Control for Low-Level Code

von Geraldo, Eduardo
Veröffentlicht in SEFM (19. : 2021 : Online) Software engineering and formal methods (2021)

ReGraDa: Reactive Graph Data

von Galrinho, Leandro
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

An Ontology based Task Oriented Dialogue

von Silva, Joao Quirino
Veröffentlicht in KEOD (13. : 2021 : Online) IC3K 2021 ; Volume 2: KEOD (2021)

Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers

von Pedro, André de Matos
Veröffentlicht in FMICS (27. : 2022 : Warschau) Formal methods for industrial critical systems (2022)