Leveraging privacy profiles to empower users in the digital society
2024-01-01 Di Ruscio, Davide; Inverardi, Paola; Migliarini, Patrizio; Nguyen, Phuong T.
Automated Synthesis of Service Choreographies
2015-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
The European Perspective on Responsible Computing
2019-01-01 Inverardi, Paola
Achieving functional and non functional interoperability through synthesized connectors
2017-01-01 Nostro, Nicola; Spalazzese, Romina; Di Giandomenico, Felicita; Inverardi, Paola
Automated Synthesis of Application-layer Connectors from Automata-based Specifications
2019-01-01 Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates
2018-01-01 Autili, Marco; Inverardi, Paola; Tivoli, Massimo
Trust and distrust in contradictory information transmission
2017-01-01 Primiero, G.; Raimondi, F.; Bottone, M.; Tagliabue, J.
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Continuous Compliance in the Automotive Industry
2024-01-01 Santilli, Tiziano; Pelliccione, Patrizio; Wohlrab, Rebekka; Shahrokni, Ali
CHOReVOLUTION: Service choreography in practice
2020-01-01 Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M.
Architecting ML-enabled systems: Challenges, best practices, and design decisions
2024-01-01 Nazir, Roger; Bucaioni, Alessio; Pelliccione, Patrizio
Continuous Compliance in the Automotive Industry
2024-01-01 Santilli, Tiziano; Pelliccione, Patrizio; Wohlrab, Rebekka; Shahrokni, Ali
Insights From the Software Reliability Research Community
2024-01-01 Pelliccione, Patrizio; Laranjeiro, Nuno
A Driver-Vehicle Model for ADS Scenario-Based Testing
2024-01-01 Queiroz, Rodrigo; Sharma, Divit; Caldas, Ricardo; Czarnecki, Krzysztof; García, Sergio; Berger, Thorsten; Pelliccione, Patrizio
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach
2024-01-01 Costa de Araujo, João Paulo; Rodrigues, Genaína Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems
2024-01-01 Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia
Modelling centralised automotive E/E software architectures
2024-01-01 Bucaioni, Alessio; Pelliccione, Patrizio; Mubeen, Saad
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions
2021-01-01 Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola
Systematic review on privacy categorisation
2023-01-01 Inverardi, Paola; Migliarini, Patrizio; Palmiero, Massimiliano
Supporting Reusable Model Migration with Edelta
2024-01-01 Bettini, L.; Di Salle, A.; Iovino, L.; Pierantonio, A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Leveraging privacy profiles to empower users in the digital society | 1-gen-2024 | Di Ruscio, Davide; Inverardi, Paola; Migliarini, Patrizio; Nguyen, Phuong T. | |
Automated Synthesis of Service Choreographies | 1-gen-2015 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
The European Perspective on Responsible Computing | 1-gen-2019 | Inverardi, Paola | |
Achieving functional and non functional interoperability through synthesized connectors | 1-gen-2017 | Nostro, Nicola; Spalazzese, Romina; Di Giandomenico, Felicita; Inverardi, Paola | |
Automated Synthesis of Application-layer Connectors from Automata-based Specifications | 1-gen-2019 | Autili, Marco; Inverardi, Paola; Spalazzese, Romina; Tivoli, Massimo; Mignosi, Filippo | |
Choreography Realizability Enforcement through the Automatic Synthesis of Distributed Coordination Delegates | 1-gen-2018 | Autili, Marco; Inverardi, Paola; Tivoli, Massimo | |
Trust and distrust in contradictory information transmission | 1-gen-2017 | Primiero, G.; Raimondi, F.; Bottone, M.; Tagliabue, J. | |
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers | 1-gen-2020 | Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo | |
Continuous Compliance in the Automotive Industry | 1-gen-2024 | Santilli, Tiziano; Pelliccione, Patrizio; Wohlrab, Rebekka; Shahrokni, Ali | |
CHOReVOLUTION: Service choreography in practice | 1-gen-2020 | Autili, M.; Di Salle, A.; Gallo, F.; Pompilio, C.; Tivoli, M. | |
Architecting ML-enabled systems: Challenges, best practices, and design decisions | 1-gen-2024 | Nazir, Roger; Bucaioni, Alessio; Pelliccione, Patrizio | |
Continuous Compliance in the Automotive Industry | 1-gen-2024 | Santilli, Tiziano; Pelliccione, Patrizio; Wohlrab, Rebekka; Shahrokni, Ali | |
Insights From the Software Reliability Research Community | 1-gen-2024 | Pelliccione, Patrizio; Laranjeiro, Nuno | |
A Driver-Vehicle Model for ADS Scenario-Based Testing | 1-gen-2024 | Queiroz, Rodrigo; Sharma, Divit; Caldas, Ricardo; Czarnecki, Krzysztof; García, Sergio; Berger, Thorsten; Pelliccione, Patrizio | |
Explainability for Property Violations in Cyber-Physical Systems: An Immune-Inspired Approach | 1-gen-2024 | Costa de Araujo, João Paulo; Rodrigues, Genaína Nunes; Carwehl, Marc; Vogel, Thomas; Grunske, Lars; Caldas, Ricardo; Pelliccione, Patrizio | |
Evaluation Framework for Autonomous Systems: The Case of Programmable Electronic Medical Systems | 1-gen-2024 | Bombarda, Andrea; Bonfanti, Silvia; De Sanctis, Martina; Gargantini, Angelo; Pelliccione, Patrizio; Riccobene, Elvinia; Scandurra, Patrizia | |
Modelling centralised automotive E/E software architectures | 1-gen-2024 | Bucaioni, Alessio; Pelliccione, Patrizio; Mubeen, Saad | |
Enhancing Trustability of Android Applications via User-Centric Flexible Permissions | 1-gen-2021 | Scoccia, GIAN LUCA; Malavolta, Ivano; Autili, Marco; DI SALLE, Amleto; Inverardi, Paola | |
Systematic review on privacy categorisation | 1-gen-2023 | Inverardi, Paola; Migliarini, Patrizio; Palmiero, Massimiliano | |
Supporting Reusable Model Migration with Edelta | 1-gen-2024 | Bettini, L.; Di Salle, A.; Iovino, L.; Pierantonio, A. |
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
- 1 Contributo su Rivista4061
Data di pubblicazione
- In corso di stampa2
- 2020 - 2024790
- 2010 - 20191858
- 2000 - 20091018
- 1990 - 1999304
- 1980 - 198981
- 1977 - 19798
Editore
- Springer1
Rivista
- PHYSICAL REVIEW D, PARTICLES, FIE...451
- PHYSICAL REVIEW LETTERS316
- PHYSICS LETTERS. SECTION B229
- PHYSICAL REVIEW D124
- ASTROPARTICLE PHYSICS115
- JOURNAL OF INSTRUMENTATION110
- NUCLEAR INSTRUMENTS & METHODS IN ...97
- CLASSICAL AND QUANTUM GRAVITY94
- JOURNAL OF COSMOLOGY AND ASTROPAR...88
- THE EUROPEAN PHYSICAL JOURNAL. C,...86
Keyword
- gravitational waves59
- Gravitational waves35
- Physics and Astronomy (miscellane...34
- cosmic rays22
- Cosmic rays19
- Physics and Astronomy (all)16
- black hole physics15
- Astronomy and Astrophysics14
- Condensed Matter Physics14
- Italy14
Lingua
- eng2565
- ita70
- und14
- fre1
- iba1
- spa1
Accesso al fulltext
- no fulltext3145
- reserved497
- open391
- partially open28