On the Performance of Mildly Greedy Players in k-Coloring Games
2025-01-01 Bilò, Vittorio; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F.
A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers
2022-01-01 Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N,
Indexing Graphs for Shortest Beer Path Queries
2024-01-01 Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia
Towards an ontology of agency and action : From STIT to OntoSTIT+
2006-01-01 Troquard, N; Trypuz, R; Vieu, L
A Methodology for the Analysis of Robotic Systems via Process Mining
2024-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco
Enabling Process Mining on Multimodal Robotic Data
2025-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Revealing One-to-Many Event Relationships in Event Knowledge Graphs
2025-01-01 Giacché, Alessio; Pettinari, Sara; Rossi, Lorenzo
Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems
2026-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Robotic Datasets for Process Mining
2025-01-01 Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano
Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study
2025-01-01 Kurkchi, Yelyzaveta; Trubiani, Catia
Alternating-time dynamic logic
2010-01-01 Troquard, N; Walther, D
Dependability evaluation of middleware technology for large-scale distributed caching
2020-01-01 Cotroneo, D.; Natella, R.; Rosiello, S.
ProFIPy: Programmable Software Fault Injection as-a-Service
2020-01-01 Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R.
EVIL: Exploiting Software via Natural Language
2021-01-01 Liguori, P.; Al-Hossami, E.; Orbinato, V.; Natella, R.; Shaikh, S.; Cotroneo, D.; Cukic, B.
ProFuzzBench: A benchmark for stateful protocol fuzzing
2021-01-01 Natella, R.; Pham, V. -T.
Shellcode_IA32: A Dataset for Automatic Shellcode Generation
2021-01-01 Liguori, Pietro; Al-Hossami, Erfan; Cotroneo, Domenico; Natella, Roberto; Cukic, Bojan; Shaikh, Samira
Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures
2021-01-01 Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R.; Scibelli, A.
Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study
2022-01-01 Orbinato, Vittorio; Barbaraci, Mariarosaria; Natella, Roberto; Cotroneo, Domenico
On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems
2022-01-01 Cotroneo, Domenico; De Simone, Luigi; Natella, Roberto
SlowCoach: Mutating Code to Simulate Performance Bugs
2022-01-01 Chen, Yiqun; Schwahn, Oliver; Natella, Roberto; Bradbury, Matthew; Suri, Neeraj
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| On the Performance of Mildly Greedy Players in k-Coloring Games | 1-gen-2025 | Bilò, Vittorio; D'Ascenzo, Andrea; D'Emidio, Mattia; Italiano, Giuseppe F. | |
| A Game of Essence and Serendipity: Superb Owls vs. Whisking Woodpeckers | 1-gen-2022 | Righetti, G; Kutz, O; Porello, D; Troquard, Nicolas; N, | |
| Indexing Graphs for Shortest Beer Path Queries | 1-gen-2024 | Coudert, David; D'Ascenzo, Andrea; D'Emidio, Mattia | |
| Towards an ontology of agency and action : From STIT to OntoSTIT+ | 1-gen-2006 | Troquard, N; Trypuz, R; Vieu, L | |
| A Methodology for the Analysis of Robotic Systems via Process Mining | 1-gen-2024 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Tiezzi, Francesco | |
| Enabling Process Mining on Multimodal Robotic Data | 1-gen-2025 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Revealing One-to-Many Event Relationships in Event Knowledge Graphs | 1-gen-2025 | Giacché, Alessio; Pettinari, Sara; Rossi, Lorenzo | |
| Multimodal Zero-Shot Activity Recognition for Process Mining of Robotic Systems | 1-gen-2026 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Robotic Datasets for Process Mining | 1-gen-2025 | Corradini, Flavio; Pettinari, Sara; Re, Barbara; Rossi, Lorenzo; Sampaolo, Massimiliano | |
| Ethics-Based Requirements for Engineering Cyber-Physical Systems: A Literature Study | 1-gen-2025 | Kurkchi, Yelyzaveta; Trubiani, Catia | |
| Alternating-time dynamic logic | 1-gen-2010 | Troquard, N; Walther, D | |
| Dependability evaluation of middleware technology for large-scale distributed caching | 1-gen-2020 | Cotroneo, D.; Natella, R.; Rosiello, S. | |
| ProFIPy: Programmable Software Fault Injection as-a-Service | 1-gen-2020 | Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R. | |
| EVIL: Exploiting Software via Natural Language | 1-gen-2021 | Liguori, P.; Al-Hossami, E.; Orbinato, V.; Natella, R.; Shaikh, S.; Cotroneo, D.; Cukic, B. | |
| ProFuzzBench: A benchmark for stateful protocol fuzzing | 1-gen-2021 | Natella, R.; Pham, V. -T. | |
| Shellcode_IA32: A Dataset for Automatic Shellcode Generation | 1-gen-2021 | Liguori, Pietro; Al-Hossami, Erfan; Cotroneo, Domenico; Natella, Roberto; Cukic, Bojan; Shaikh, Samira | |
| Towards Runtime Verification via Event Stream Processing in Cloud Computing Infrastructures | 1-gen-2021 | Cotroneo, D.; De Simone, L.; Liguori, P.; Natella, R.; Scibelli, A. | |
| Automatic Mapping of Unstructured Cyber Threat Intelligence: An Experimental Study | 1-gen-2022 | Orbinato, Vittorio; Barbaraci, Mariarosaria; Natella, Roberto; Cotroneo, Domenico | |
| On Temporal Isolation Assessment in Virtualized Railway Signaling as a Service Systems | 1-gen-2022 | Cotroneo, Domenico; De Simone, Luigi; Natella, Roberto | |
| SlowCoach: Mutating Code to Simulate Performance Bugs | 1-gen-2022 | Chen, Yiqun; Schwahn, Oliver; Natella, Roberto; Bradbury, Matthew; Suri, Neeraj |
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