IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 201 a 220 di 1.398
Titolo Data di pubblicazione Autore(i) File
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
Towards Cyber-Physical-Ethical Systems 1-gen-2024 Kurkchi, Yelyzaveta
Data-Driven Understanding of Design Decisions in Pattern-Based Microservices Architecture 1-gen-2025 Diaz-Pace, J. Andres; Trubiani, Catia; Garlan, David
Performance Analysis of Architectural Patterns for Federated Learning Systems 1-gen-2025 Compagnucci, Ivan; Pinciroli, Riccardo; Trubiani, Catia
Measurements and Models for Resiliency Assessment of VM clusters under Aging and Rejuvenation 1-gen-2024 Avritzer, Alberto; Janes, Andrea; Marin, Andrea; Menasché, Daniel S.; Trubiani, Catia; Bondi, André B.; Cusick, James J.
Dependability Modeling in an Industrial Environment 1-gen-2024 Avritzer, Alberto; Cusick, James J.; Janes, Andrea; Camilli, Matteo; Russo, Barbara; Trubiani, Catia; Van Hoorn, Andre
We're Drifting Apart: Architectural Drift from the Developers' Perspective 1-gen-2024 Anthony, Emilie; Berntsson, Astrid; Santilli, Tiziano; Wohlrab, Rebekka
Using Boundary Objects for Continuous Compliance in Automotive Development 1-gen-2024 Shenouda, Anthony; Santilli, Tiziano; Siavashi, Faezeh; Chiang, Thomas; Annable, Nicholas; Rodriguez, Horacio Hoyos; Paige, Richard; Pelliccione, Patrizio; Lawford, Mark; Wassyng, Alan; Pantelic, Vera
Towards Adaptable and Uncertainty-Aware Behavior Trees 1-gen-2025 Rostamnia, Mehran; Filippone, Gianluca; Diniz Caldas, Ricardo; Pelliccione, Patrizio
On-Device or Remote? On the Energy Efficiency of Fetching LLM-Generated Content 1-gen-2025 Nguyen, Vince; Dhopate, Vidya; Huynh, Hieu; Bouhlal, Hiba; Annengala, Anusha; Scoccia, Gian Luca; Martinez, Matias; Stoico, Vincenzo; Malavolta, Ivano
Approximating Optimal Labelings for Temporal Connectivity 1-gen-2025 Carnevale, D.; D'Angelo, G.; Olsen, M.
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 201 a 220 di 1.398
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
Autore
  • PELLICCIONE, PATRIZIO140
  • FLAMMINI, MICHELE115
  • TUOSTO, EMILIO87
  • TRUBIANI, CATIA81
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA73
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS64
  • DE MITRI, IVAN55
  • OLIVETTI, DENNIS46
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