IRIS

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

Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.368
Titolo Data di pubblicazione Autore(i) File
From PREVENTion to REACTion: Enhancing Failure Resolution in Naval Systems 1-gen-2025 Rossi, Maria Teresa; Mariani, Leonardo; Riganelli, Oliviero
Students' Perception of ChatGPT in Software Engineering: Lessons Learned from Five Courses 1-gen-2025 Baresi, Luciano; De Lucia, Andrea; Di Marco, Antinisca; Di Penta, Massimiliano; Di Ruscio, Davide; Mariani, Leonardo; Micucci, Daniela; Palomba, Fabio; Rossi, Maria Teresa; Zampetti, Fiorella
Towards Model-Driven Dashboard Generation for Systems-of-Systems 1-gen-2024 Rossi, Maria Teresa; Tundo, Alessandro; Mariani, Leonardo
Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques 1-gen-2023 Clerissi, Diego; Di Rocco, Juri; Di Ruscio, Davide; Di Sipio, Claudio; Ihirwe, Felicien; Mariani, Leonardo; Micucci, Daniela; Rossi, Maria Teresa; Rubei, Riccardo
Thermodynamics of a qubit undergoing dephasing 1-gen-2017 Marcantoni, S
Drafting the Landscape of Computational Musicology Tools: A Survey-Based Approach 1-gen-2025 Vega Jorge Junior, Morgado; Sharma, Sachin Umesh; Simonetta, Federico
Joint Learning of Emotions in Music and Generalized Sounds 1-gen-2024 Simonetta, Federico; Certo, Francesca; Ntalampiras, Stavros
Experimenting Active and Sequential Learning in a Medieval Music Manuscript 1-gen-2025 Sharma, Sachin; Simonetta, Federico; Flammini, Michele
Verifying Quantized Graph Neural Networks is PSPACE-complete 1-gen-2025 Sälzer, Marco; Schwarzentruber, François; Troquard, Nicolas
Realizing Ethical-Aware Business Processes 1-gen-2025 Pettinari, Sara; De Sanctis, Martina; Inverardi, Paola
Déjà Vu: A Replication Study on Code Smells and Faults in JavaScript Projects 1-gen-2026 Pacifico, Kevin; Giordano, Giammaria; Pontillo, Valeria; Di Penta, Massimiliano; Andrew Tamburri, Damian; Palomba, Fabio
Toward Systematic Counterfactual Fairness Evaluation of Large Language Models: The CAFFE Framework 1-gen-2025 Parziale, Alessandra; Voria, Gianmario; Pontillo, Valeria; Catolino, Gemma; De Lucia, Andrea; Palomba, Fabio
On the Harmfulness of Test Smells in Manual System Testing: A Controlled Experiment 1-gen-2025 Soares, Gabriela; Santos, Vanessa; Ribeiro, M('a)rcio; Martins, Luana; Pontillo, Valeria; Aranda, Manoel; Gheyi, Rohit; Machado, Ivan; Palomba, Fabio
Um Modelo de Dados Extensível para Configuração da Simulação de Redes de Sensores Sem Fio 1-gen-2010 Brasil Rebelo Dos Santos, Luciana; Ricardo Berkenbrock, Gian; Massaki Hirata, Celso
Teaching Web Programming based on Interdisciplinary Projects: An Experience Report 1-gen-2017 Rebelo Dos Santos, Luciana; Cavichi De Freitas, Renan; Rodrigues Junior, Luis; Venezian Povoa, Lucas; Marques Da Cunha, Adilson
XMITS: Software Inspections via Formal Verification 1-gen-2018 Brasil Rebelo Dos Santos, Luciana; Pereira Sales, Camila; Santiago Júnior, Valdivino
Transformation of UML Behavioral Diagrams to Support Software Model Checking 1-gen-2014 Brasil Rebelo Dos Santos, Luciana; Alexandre De Santiago, Valdivino; Lankalapalli Vijaykumar, Nandamudi
A Formal Verification Tool for UML Behavioral Diagrams 1-gen-2014 Dos Santos, Luciana Brasil Rebelo; Eras, Eduardo Rohde; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
Towards a Wide Acceptance of Formal Methods to the Design of Safety Critical Software: an Approach Based on UML and Model Checking 1-gen-2015 Eras, Eduardo Rohde; Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Vijaykumar, Nandamudi Lankalapalli
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections 1-gen-2017 Dos Santos, Luciana Brasil Rebelo; De Santiago Júnior, Valdivino Alexandre; Freitas, Albino Vieira
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 1 a 20 di 1.368
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 ...1368
Autore
  • PELLICCIONE, PATRIZIO140
  • FLAMMINI, MICHELE115
  • TUOSTO, EMILIO83
  • TRUBIANI, CATIA80
  • D'ANGELO, GIANLORENZO78
  • INVERARDI, PAOLA71
  • IOVINO, LUDOVICO68
  • TROQUARD, NICOLAS63
  • DE MITRI, IVAN54
  • DE SANCTIS, MARTINA41
Data di pubblicazione
  • 2020 - 2026471
  • 2010 - 2019632
  • 2000 - 2009219
  • 1990 - 199941
  • 1982 - 19895
Editore
  • Springer87
  • IEEE Computer Society42
  • IEEE37
  • 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 SCIENCE42
  • LECTURE NOTES IN ARTIFICIAL INTEL...37
  • LEIBNIZ INTERNATIONAL PROCEEDINGS...21
  • 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
  • eng788
  • ita12
  • und7
  • slv1
Accesso al fulltext
  • no fulltext1162
  • open100
  • reserved96
  • partially open10