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.
A modeling assistant to manage technical debt in coupled evolution
2023-01-01 Di Ruscio, Davide; DI SALLE, Amleto; Iovino, Ludovico; Pierantonio, Alfonso
From Coalition Logic to STIT
2006-01-01 Broersen, J; Herzig, A; Troquard, N
A monitoring tool for linear-time μHML
2024-01-01 Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna
Comparing controlled system synthesis and suppression enforcement
2021-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
An operational guide to monitorability with applications to regular properties
2021-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition?
2022-01-01 Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas
On the Axiomatisability of Parallel Composition
2022-01-01 Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R.
Axiomatizing recursion-free, regular monitors
2022-01-01 Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna
On first-order runtime enforcement of branching-time properties
2023-01-01 Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna
WorldDynamics.jl: A Julia Package for Developing and Simulating Integrated Assessment Models
2024-01-01 Crescenzi, Pierluigi; Natale, Emanuele; Rossi, Aurora; Serafim, Paulo Bruno
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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. | |
| A modeling assistant to manage technical debt in coupled evolution | 1-gen-2023 | Di Ruscio, Davide; DI SALLE, Amleto; Iovino, Ludovico; Pierantonio, Alfonso | |
| From Coalition Logic to STIT | 1-gen-2006 | Broersen, J; Herzig, A; Troquard, N | |
| A monitoring tool for linear-time μHML | 1-gen-2024 | Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| Comparing controlled system synthesis and suppression enforcement | 1-gen-2021 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| An operational guide to monitorability with applications to regular properties | 1-gen-2021 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina | |
| Are Two Binary Operators Necessary to Obtain a Finite Axiomatisation of Parallel Composition? | 1-gen-2022 | Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas | |
| On the Axiomatisability of Parallel Composition | 1-gen-2022 | Aceto, Luca; Castiglioni, Valentina; Ingolfsdottir, Anna; Luttik, Bas; Pedersen, Mathias R. | |
| Axiomatizing recursion-free, regular monitors | 1-gen-2022 | Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Ingolfsdottir, Anna | |
| Bidirectional Runtime Enforcement of First-Order Branching-Time Properties | 1-gen-2023 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingolfsdottir, Anna | |
| On first-order runtime enforcement of branching-time properties | 1-gen-2023 | Aceto, Luca; Cassar, Ian; Francalanza, Adrian; Ingólfsdóttir, Anna | |
| WorldDynamics.jl: A Julia Package for Developing and Simulating Integrated Assessment Models | 1-gen-2024 | Crescenzi, Pierluigi; Natale, Emanuele; Rossi, Aurora; Serafim, Paulo Bruno |
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 Rivista5130
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261697
- 2010 - 20192009
- 2000 - 20091029
- 1990 - 1999304
- 1980 - 198981
- 1977 - 19798
Editore
- Springer1
Rivista
- PHYSICAL REVIEW D, PARTICLES, FIE...461
- PHYSICAL REVIEW LETTERS343
- PHYSICS LETTERS. SECTION B238
- PHYSICAL REVIEW D205
- JOURNAL OF INSTRUMENTATION132
- ASTROPARTICLE PHYSICS120
- JOURNAL OF COSMOLOGY AND ASTROPAR...111
- CLASSICAL AND QUANTUM GRAVITY103
- THE EUROPEAN PHYSICAL JOURNAL. C,...98
- NUCLEAR INSTRUMENTS & METHODS IN ...97
Keyword
- gravitational waves60
- Gravitational waves41
- Physics and Astronomy (miscellane...34
- cosmic rays24
- Cosmic rays21
- Dark Matter18
- Physics and Astronomy (all)16
- axions15
- black hole physics15
- ultra high energy cosmic rays15
Lingua
- eng3153
- ita77
- und14
- fre2
- iba1
- spa1
Accesso al fulltext
- no fulltext3871
- open618
- reserved514
- partially open127