RAIMONDI, FRANCO
RAIMONDI, FRANCO
A Constrained ECA Language Supporting Formal Verification of WSNs
2015-01-01 Corradini, F.; Culmone, R.; Mostarda, L.; Tesei, L.; Raimondi, F.
A model for trustworthy orchestration in the internet of things
2016-01-01 Bottone, M.; Primiero, G.; Raimondi, F.; De Florio, V.
A novel symbolic approach to verifying epistemic properties of programs
2017-01-01 Gorogiannis, N.; Raimondi, F.; Boureanu, I.
A proof-theoretic trust and reputation model for VANET
2017-01-01 Primiero, G.; Raimondi, F.; Chen, T.; Nagarajan, R.
A synergistic and extensible framework for multi-agent system verification
2013-01-01 Hunter, J.; Raimondi, F.; Rungta, N.; Stocker, R.
A typed natural deduction calculus to reason about secure trust
2014-01-01 Primiero, G.; Raimondi, F.
An approach to quantify workload in a system of agents
2015-01-01 Stocker, R.; Rungta, N.; Mercer, E.; Raimondi, F.; Holbrook, J.; Cardoza, C.; Goodrich, M.
Application of verification techniques to security: Model checking insider attacks
2013-01-01 Kammüller, Florian; Probst, Christian W.; Raimondi, Franco
Automatic Annotation of~Confidential Data in~Java Code
2022-01-01 Bastys, I.; Bolignano, P.; Raimondi, F.; Schoepe, D.
Aviation safety: Modeling and analyzing complex interactions between humans and automated systems
2013-01-01 Rungta, N.; Brat, G.; Clancey, W. J.; Linde, C.; Raimondi, F.; Seah, C.; Shafto, M.
Combinatorial optimization based recommender systems
2009-01-01 Roda, F.; Liberti, L.; Raimondi, F.
Contradictory information flow in networks with trust and distrust
2017-01-01 Primiero, G.; Bottone, M.; Raimondi, F.; Tagliabue, J.
CoSMed: A Confidentiality-Verified Social Media Platform
2018-01-01 Bauerei(\ss), T.; Pesenti Gritti, A.; Popescu, A.; Raimondi, F.
CoSMed: A confidentiality-verified social media platform
2016-01-01 Bauerei(\ss), T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
2017-01-01 Bauereib, T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
Decidable model-checking for a resource logic with production of resources
2014-01-01 Alechina, N.; Logan, B.; Nga Nguyen, H.; Raimondi, F.
Differential cost analysis with simultaneous potentials and anti-potentials
2022-01-01 Zikeli?, D.; Chang, B. -Y. E.; Bolignano, P.; Raimondi, F.
Domain types: Abstract-domain selection based on variable usage
2013-01-01 Apel, S.; Beyer, D.; Friedberger, K.; Raimondi, F.; Von Rhein, A.
Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers
2016-01-01 Zbrzezny, A. M.; Zbrzezny, A.; Raimondi, F.
Implementing adaptation and reconfiguration strategies in heterogeneous WSN
2013-01-01 Di Marco, A.; Gallo, F.; Gemikonakli, O.; Mostarda, L.; Raimondi, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 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. | |
| 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. | |
| 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. | |
| Differential cost analysis with simultaneous potentials and anti-potentials | 1-gen-2022 | Zikeli?, D.; Chang, B. -Y. E.; Bolignano, P.; Raimondi, F. | |
| Domain types: Abstract-domain selection based on variable usage | 1-gen-2013 | Apel, S.; Beyer, D.; Friedberger, K.; Raimondi, F.; Von Rhein, A. | |
| Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers | 1-gen-2016 | Zbrzezny, A. M.; Zbrzezny, A.; Raimondi, F. | |
| Implementing adaptation and reconfiguration strategies in heterogeneous WSN | 1-gen-2013 | Di Marco, A.; Gallo, F.; Gemikonakli, O.; Mostarda, L.; Raimondi, F. |