CoSMed: A Confidentiality-Verified Social Media Platform
2018-01-01 Bauerei(\ss), T.; Pesenti Gritti, A.; Popescu, A.; Raimondi, F.
Software theory change for resilient near-complete specifications
2015-01-01 Primiero, G.; Raimondi, F.
Future Directions in Software Engineering for Autonomous Robots
2024-01-01 Brugali, Davide; Cavalcanti, Ana; Hochgeschwender, Nico; Pelliccione, Patrizio; Rebelo, Luciana
Software architecture-based analysis and testing: a look into achievements and future challenges
2013-01-01 Antonia, Bertolino; Inverardi, Paola; Muccini, Henry
A hybrid approach for resource-based comparison of adaptable Java applications
2013-01-01 Marco, Autili; Paolo Di, Benedetto; Inverardi, P
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| CoSMed: A Confidentiality-Verified Social Media Platform | 1-gen-2018 | Bauerei(\ss), T.; Pesenti Gritti, A.; Popescu, A.; Raimondi, F. | |
| Software theory change for resilient near-complete specifications | 1-gen-2015 | Primiero, G.; Raimondi, F. | |
| Future Directions in Software Engineering for Autonomous Robots | 1-gen-2024 | Brugali, Davide; Cavalcanti, Ana; Hochgeschwender, Nico; Pelliccione, Patrizio; Rebelo, Luciana | |
| Software architecture-based analysis and testing: a look into achievements and future challenges | 1-gen-2013 | Antonia, Bertolino; Inverardi, Paola; Muccini, Henry | |
| A hybrid approach for resource-based comparison of adaptable Java applications | 1-gen-2013 | Marco, Autili; Paolo Di, Benedetto; Inverardi, P | |
| 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 |
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 Rivista5046
Data di pubblicazione
- In corso di stampa4
- 2020 - 20261625
- 2010 - 20192000
- 2000 - 20091024
- 1990 - 1999304
- 1980 - 198981
- 1977 - 19798
Editore
- Springer1
Rivista
- PHYSICAL REVIEW D, PARTICLES, FIE...461
- PHYSICAL REVIEW LETTERS337
- PHYSICS LETTERS. SECTION B238
- PHYSICAL REVIEW D203
- JOURNAL OF INSTRUMENTATION131
- ASTROPARTICLE PHYSICS119
- JOURNAL OF COSMOLOGY AND ASTROPAR...111
- CLASSICAL AND QUANTUM GRAVITY103
- NUCLEAR INSTRUMENTS & METHODS IN ...97
- THE EUROPEAN PHYSICAL JOURNAL. C,...94
Keyword
- gravitational waves60
- Gravitational waves41
- Physics and Astronomy (miscellane...34
- cosmic rays23
- Cosmic rays21
- Dark Matter18
- Physics and Astronomy (all)16
- axions15
- black hole physics15
- ultra high energy cosmic rays15
Lingua
- eng3089
- ita75
- und14
- fre2
- iba1
- spa1
Accesso al fulltext
- no fulltext3832
- open589
- reserved498
- partially open126
- mixed1