CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees
2017-01-01 Bauereib, T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
A proof-theoretic trust and reputation model for VANET
2017-01-01 Primiero, G.; Raimondi, F.; Chen, T.; Nagarajan, R.
CoSMed: A confidentiality-verified social media platform
2016-01-01 Bauerei(\ss), T.; Gritti, A. P.; Popescu, A.; Raimondi, F.
A model for trustworthy orchestration in the internet of things
2016-01-01 Bottone, M.; Primiero, G.; Raimondi, F.; De Florio, V.
On the Role of Value Sensitive Concerns in Software Engineering Practice
2015-01-01 Barn, B.; Barn, R.; Raimondi, F.
Lifting On-Demand Analysis to Higher-Order Languages
2023-01-01 Schoepe, Daniel; Seekatz, David; Stoilkovska, Ilina; Stucki, Sandro; Tattersall, Daniel; Bolignano, Pauline; Raimondi, Franco; Evan Chang, Bor-Yuh
Modeling complex Air Traffic Management Systems
2016-01-01 Rungta, N.; Mercer, E. G.; Raimondi, F.; Krantz, B. C.; Stocker, R.; Wallace, A.
Differential cost analysis with simultaneous potentials and anti-potentials
2022-01-01 Zikeli?, D.; Chang, B. -Y. E.; Bolignano, P.; Raimondi, F.
A novel symbolic approach to verifying epistemic properties of programs
2017-01-01 Gorogiannis, N.; Raimondi, F.; Boureanu, I.
Improving the model checking of strategies under partial observability and fairness constraints
2014-01-01 Busard, S.; Pecheur, C.; Qu, H.; 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.
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.
Symbolic model-checking for resource-bounded ATL
2015-01-01 Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.; Mostarda, L.
Software of the future is the future of Software?
2007-01-01 Inverardi, Paola
A Resource-Oriented Static Analysis Approach to Adaptable Java Applications
2008-01-01 Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli
A publication culture in software engineering (panel)
2013-01-01 Steven, Fraser; Luciano, Baresi; Jane, Cleland Huang; Carlo A, Furia; Georges, Gonthier; Inverardi, Paola; Moshe, Y. Vardi
A programming model for adaptable Java applications
2010-01-01 Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
2009-01-01 Valérie, Issarny; Bernhard, Steffen; Bengt, Jonsson; GORDON S., Blair; Paul, Grace; MARTA Z., Kwiatkowska; Radu, Calinescu; Inverardi, Paola; Tivoli, Massimo; Antonia, Bertolino; Antonino, Sabetta
Exploiting software architecture to support requirements satisfaction testing
2011-01-01 Paul C., Clements; María José Escalona, Cuaresma; Inverardi, Paola; Ivano, Malavolta; Eda, Marchetti
On-the-Fly Dependable Mediation between Heterogeneous Networked Systems
2011-01-01 Antonia, Bertolino; Antonello, Calabrò; Felicita Di, Giandomenico; Nicola, Nostro; Inverardi, Paola; Romina, Spalazzese
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CoSMeDis: A Distributed Social Media Platform with Formally Verified Confidentiality Guarantees | 1-gen-2017 | Bauereib, T.; Gritti, A. P.; Popescu, A.; Raimondi, F. | |
| A proof-theoretic trust and reputation model for VANET | 1-gen-2017 | Primiero, G.; Raimondi, F.; Chen, T.; Nagarajan, R. | |
| CoSMed: A confidentiality-verified social media platform | 1-gen-2016 | Bauerei(\ss), T.; Gritti, A. P.; Popescu, A.; Raimondi, F. | |
| A model for trustworthy orchestration in the internet of things | 1-gen-2016 | Bottone, M.; Primiero, G.; Raimondi, F.; De Florio, V. | |
| On the Role of Value Sensitive Concerns in Software Engineering Practice | 1-gen-2015 | Barn, B.; Barn, R.; Raimondi, F. | |
| Lifting On-Demand Analysis to Higher-Order Languages | 1-gen-2023 | Schoepe, Daniel; Seekatz, David; Stoilkovska, Ilina; Stucki, Sandro; Tattersall, Daniel; Bolignano, Pauline; Raimondi, Franco; Evan Chang, Bor-Yuh | |
| Modeling complex Air Traffic Management Systems | 1-gen-2016 | Rungta, N.; Mercer, E. G.; Raimondi, F.; Krantz, B. C.; Stocker, R.; Wallace, A. | |
| Differential cost analysis with simultaneous potentials and anti-potentials | 1-gen-2022 | Zikeli?, D.; Chang, B. -Y. E.; Bolignano, P.; Raimondi, F. | |
| A novel symbolic approach to verifying epistemic properties of programs | 1-gen-2017 | Gorogiannis, N.; Raimondi, F.; Boureanu, I. | |
| Improving the model checking of strategies under partial observability and fairness constraints | 1-gen-2014 | Busard, S.; Pecheur, C.; Qu, H.; 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. | |
| 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. | |
| Symbolic model-checking for resource-bounded ATL | 1-gen-2015 | Alechina, N.; Logan, B.; Nguyen, H. N.; Raimondi, F.; Mostarda, L. | |
| Software of the future is the future of Software? | 1-gen-2007 | Inverardi, Paola | |
| A Resource-Oriented Static Analysis Approach to Adaptable Java Applications | 1-gen-2008 | Autili, Marco; Paolo, DI BENEDETTO; Inverardi, Paola; Fabio, Mancinelli | |
| A publication culture in software engineering (panel) | 1-gen-2013 | Steven, Fraser; Luciano, Baresi; Jane, Cleland Huang; Carlo A, Furia; Georges, Gonthier; Inverardi, Paola; Moshe, Y. Vardi | |
| A programming model for adaptable Java applications | 1-gen-2010 | Autili, Marco; Di Benedetto, Paolo; Inverardi, Paola | |
| CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems | 1-gen-2009 | Valérie, Issarny; Bernhard, Steffen; Bengt, Jonsson; GORDON S., Blair; Paul, Grace; MARTA Z., Kwiatkowska; Radu, Calinescu; Inverardi, Paola; Tivoli, Massimo; Antonia, Bertolino; Antonino, Sabetta | |
| Exploiting software architecture to support requirements satisfaction testing | 1-gen-2011 | Paul C., Clements; María José Escalona, Cuaresma; Inverardi, Paola; Ivano, Malavolta; Eda, Marchetti | |
| On-the-Fly Dependable Mediation between Heterogeneous Networked Systems | 1-gen-2011 | Antonia, Bertolino; Antonello, Calabrò; Felicita Di, Giandomenico; Nicola, Nostro; Inverardi, Paola; Romina, Spalazzese |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...1398
Data di pubblicazione
- 2020 - 2026500
- 2010 - 2019633
- 2000 - 2009219
- 1990 - 199941
- 1982 - 19895
Editore
- Springer87
- IEEE Computer Society42
- IEEE38
- Institute of Electrical and Elect...28
- Springer Verlag20
- ACM18
- Association for Computing Machine...16
- Springer-Verlag15
- CEUR-WS12
- AAAI Press11
Rivista
- LECTURE NOTES IN COMPUTER SCIENCE39
- JOURNAL OF PHYSICS. CONFERENCE SE...32
- JOURNAL OF LOW TEMPERATURE PHYSICS16
- POS PROCEEDINGS OF SCIENCE14
- ELECTRONIC PROCEEDINGS IN THEORET...13
- IL NUOVO CIMENTO C5
- JOURNAL OF PHYSICS. CONFERENCE SE...5
- LEIBNIZ INTERNATIONAL PROCEEDINGS...5
- ELECTRONIC NOTES IN THEORETICAL C...4
- IJCAI4
Serie
- LECTURE NOTES IN COMPUTER SCIENCE43
- LECTURE NOTES IN ARTIFICIAL INTEL...37
- LEIBNIZ INTERNATIONAL PROCEEDINGS...21
- AIP CONFERENCE PROCEEDINGS9
- LECTURE NOTES IN BUSINESS INFORMA...8
- ADVANCES IN NEURAL INFORMATION PR...6
- CEUR WORKSHOP PROCEEDINGS6
- FRONTIERS IN ARTIFICIAL INTELLIGE...4
- LECTURE NOTES IN COMPUTER SCIENCE4
- PROCEEDINGS OF THE ... AAAI CONFE...4
Keyword
- Software27
- Computer Science (all)26
- Theoretical Computer Science18
- Algorithmic Game Theory7
- Modeling and Simulation6
- Reliability and Quality6
- Risk6
- Safety6
- Computer Networks and Communications5
- Model Driven Engineering5
Lingua
- eng792
- ita12
- und7
- slv1
Accesso al fulltext
- no fulltext1190
- open101
- reserved97
- partially open10