RAIMONDI, FRANCO

RAIMONDI, FRANCO  

Mostra records
Risultati 1 - 20 di 50 (tempo di esecuzione: 0.016 secondi).
Titolo Data di pubblicazione Autore(i) File
A Computationally Grounded, Weighted Doxastic Logic 1-gen-2016 Chen, T.; Primiero, G.; Raimondi, F.; Rungta, N.
A Constrained ECA Language Supporting Formal Verification of WSNs 1-gen-2015 Corradini, F.; Culmone, R.; Mostarda, L.; Tesei, L.; Raimondi, F.
A model for trustworthy orchestration in the internet of things 1-gen-2016 Bottone, M.; Primiero, G.; Raimondi, F.; De Florio, V.
A novel symbolic approach to verifying epistemic properties of programs 1-gen-2017 Gorogiannis, N.; Raimondi, F.; Boureanu, I.
A proof-theoretic trust and reputation model for VANET 1-gen-2017 Primiero, G.; Raimondi, F.; Chen, T.; Nagarajan, R.
A synergistic and extensible framework for multi-agent system verification 1-gen-2013 Hunter, J.; Raimondi, F.; Rungta, N.; Stocker, R.
A theory of change for prioritised resilient and evolvable software systems 1-gen-2021 Primiero, G.; Raimondi, F.; Chen, T.
A typed natural deduction calculus to reason about secure trust 1-gen-2014 Primiero, G.; Raimondi, F.
An approach to quantify workload in a system of agents 1-gen-2015 Stocker, R.; Rungta, N.; Mercer, E.; Raimondi, F.; Holbrook, J.; Cardoza, C.; Goodrich, M.
Analysis and verification of ECA rules in intelligent environments 1-gen-2018 Cacciagrano, D. R.; Corradini, F.; Culmone, R.; Gorogiannis, N.; Mostarda, L.; Raimondi, F.; Vannucchi, C.
Application of verification techniques to security: Model checking insider attacks 1-gen-2013 Kammüller, Florian; Probst, Christian W.; Raimondi, Franco
Automatic Annotation of~Confidential Data in~Java Code 1-gen-2022 Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D.
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems 1-gen-2013 Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M.
Combinatorial optimization based recommender systems 1-gen-2009 Roda, F.; Liberti, L.; Raimondi, F.
Comparing approaches for model-checking strategies under imperfect information and fairness constraints 1-gen-2019 Busard, S.; Pecheur, C.; Qu, H.; Raimondi, F.
Contradictory information flow in networks with trust and distrust 1-gen-2017 Primiero, G.; Bottone, M.; Raimondi, F.; Tagliabue, J.
CoSMed: A Confidentiality-Verified Social Media Platform 1-gen-2018 Bauerei(\ss), T.; Pesenti Gritti, A.; Popescu, A.; Raimondi, F.
CoSMed: A confidentiality-verified social media platform 1-gen-2016 Bauerei(\ss), T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees 1-gen-2017 Bauereib, T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
Decidable model-checking for a resource logic with production of resources 1-gen-2014 Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F.