IRIS

4.1 Contributo in Atti di convegno: [1329] Home page tipologia

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 121 a 140 di 1.329
Titolo Data di pubblicazione Autore(i) File
Generative AI in Cybersecurity: Generating Offensive Code from Natural Language 1-gen-2025 Liguori, Pietro; Natella, Roberto; Cotroneo, Domenico
Evaluation of Systems Programming Exercises through Tailored Static Analysis 1-gen-2025 Natella, Roberto
CTI-HAL: A Human-Annotated Dataset for Cyber Threat Intelligence Analysis 1-gen-2025 Della Penna, Sofia; Natella, Roberto; Orbinato, Vittorio; Parracino, Lorenzo; Pianese, Luciano
“The Candle is Burning Out on its Own..”: Modeling Fatigue and Empathy Among Chinese Developers 1-gen-2025 Tamburri, Damian A.; Zhang, Haotian; Blincoe, Kelly; Kazman, Rick; Giordano, Giammaria; Pontillo, Valeria; Palomba, Fabio
REST in Pieces: RESTful Design Rule Violations in Student-Built Web Apps 1-gen-2025 Di Meglio, Sergio; Pontillo, Valeria; Starace, Luigi Libero Lucio
Security Testing in The Wild: An Interview Study 1-gen-2023 Di Dario, Dario; Pontillo, Valeria; Lambiase, Stefano; Ferrucci, Filomena; Palomba, Fabio
E2EGit: A Dataset of End-to-End Web Tests in Open Source Projects 1-gen-2025 Meglio, Sergio Di; Starace, Luigi Libero Lucio; Pontillo, Valeria; Opdebeeck, Ruben; Roover, Coen De; Martino, Sergio Di
On Representing Humans' Soft-Ethics Preferences As Dispositions 1-gen-2024 Donati, D.; Assadi, Z.; Gozzano, S.; Inverardi, P.; Troquard, N.
Towards Efficient Norm-Aware Robots' Decision Making Using Datalog 1-gen-2024 Mirani, Mahrokh; Raimondi, Franco; Troquard, Nicolas
Toward static test flakiness prediction: a feasibility study 1-gen-2021 Pontillo, Valeria; Palomba, Fabio; Ferrucci, Filomena
Engineering Early Warning Systems: an Industrial Experience 1-gen-2025 Burastero, Alessandro; Cappelluti, Giuseppina; De Sanctis, Martina; Di Salle, Amleto; Iovino, Ludovico; Pompilio, Claudio; Versace, Cosimo; Ferraris, Luca
LLM-Based Recommender Systems for Violation Resolutions in Continuous Architectural Conformance 1-gen-2025 Rubei, Riccardo; Di Salle, Amleto; Bucaioni, Alessio
Software system testing assisted by large language models: an exploratory study 1-gen-2025 Augusto, C.; Morán, J.; Bertolino, A.; De La Riva, C.; Tuya, J.
Energy-aware software testing 1-gen-2025 Verdecchia, Roberto; Cruciani, Emilio; Bertolino, Antonia; Miranda, Breno
L’Università nelle trasformazioni urbane: il caso di Roma 1-gen-2017 Paglione, Lorenzo; Breglia, Giulio
COBOL: COmmunity-Based Organized Littering 1-gen-2024 Baresi, Luciano; Bianco, Simone; Di Salle, Amleto; Iovino, Ludovico; Mariani, Leonardo; Micucci, Daniela; Santos, Luciana Brasil Rebelo Dos; Rossi, Maria Teresa; Schettini, Raimondo
Streamlining Workflow Automation with a Model-Based Assistant 1-gen-2024 Tuyishime, Adiel; Basciani, Francesco; Di Salle, Amleto; Cánovas Izquierdo, Javier Luis; Iovino, Ludovico
The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract) 1-gen-2025 Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna
The Complexity of Deciding Characteristic Formulae in Van Glabbeek’s Branching-Time Spectrum 1-gen-2025 Aceto, Luca; Achilleos, Antonis; Chalki, Aggeliki; Ingólfsdóttir, Anna
Monitorability for the Modal Mu-Calculus over Systems with Data: From Practice to Theory 1-gen-2025 Aceto, Luca; Achilleos, Antonis; Paul Attard, Duncan; Exibard, Léo; Francalanza, Adrian; Ingólfsdóttir, Anna; Lehtinen, Karoliina
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 121 a 140 di 1.329
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 ...1329
Autore
  • PELLICCIONE, PATRIZIO130
  • FLAMMINI, MICHELE114
  • TUOSTO, EMILIO83
  • TRUBIANI, CATIA80
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA69
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS61
  • DE MITRI, IVAN54
  • OLIVETTI, DENNIS41
Data di pubblicazione
  • In corso di stampa1
  • 2020 - 2026441
  • 2010 - 2019622
  • 2000 - 2009219
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer87
  • IEEE Computer Society42
  • IEEE36
  • Institute of Electrical and Elect...28
  • Springer Verlag20
  • ACM17
  • Association for Computing Machine...16
  • Springer-Verlag15
  • CEUR-WS12
  • AAAI Press11
Rivista
  • LECTURE NOTES IN COMPUTER SCIENCE39
  • JOURNAL OF PHYSICS. CONFERENCE SE...31
  • JOURNAL OF LOW TEMPERATURE PHYSICS16
  • POS PROCEEDINGS OF SCIENCE14
  • ELECTRONIC PROCEEDINGS IN THEORET...12
  • 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 ARTIFICIAL INTEL...37
  • LECTURE NOTES IN COMPUTER SCIENCE36
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...22
  • AIP CONFERENCE PROCEEDINGS9
  • LECTURE NOTES IN BUSINESS INFORMA...7
  • ADVANCES IN NEURAL INFORMATION PR...6
  • CEUR WORKSHOP PROCEEDINGS5
  • 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
  • eng776
  • ita12
  • und7
  • slv1
Accesso al fulltext
  • no fulltext1128
  • open97
  • reserved94
  • partially open10