Daniel Fortunato
AuthID: R-00J-Y5K
1
TÃTULO: Verification and Validation of Quantum Software
AUTORES: Daniel Fortunato; Luis Jiménez Navajas; José Campos ; Rui Abreu;
PUBLICAÇÃO: 2024, FONTE: Quantum Software: Aspects of Theory and System Design
AUTORES: Daniel Fortunato; Luis Jiménez Navajas; José Campos ; Rui Abreu;
PUBLICAÇÃO: 2024, FONTE: Quantum Software: Aspects of Theory and System Design
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
TÃTULO: Mutation Testing of Quantum Programs Written in QISKit
AUTORES: Fortunato, D; Campos, J ; Abreu, R ;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
AUTORES: Fortunato, D; Campos, J ; Abreu, R ;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering: Companion, ICSE-Companion 2022 in Proceedings - International Conference on Software Engineering
INDEXADO EM: Scopus CrossRef
Scopus CrossRef3
TÃTULO: Mutation Testing of Quantum Programs Written in QISKit
AUTORES: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022)
AUTORES: Fortunato, Daniel; Campos, Jose ; Abreu, Rui ;
PUBLICAÇÃO: 2022, FONTE: 44th ACM/IEEE International Conference on Software Engineering - New Ideas and Emerging Results (ICSE-NIER) in 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2022)
4
TÃTULO: Leveraging Practitioners' Feedback to Improve a Security Linter
AUTORES: Reis, Sofia; Abreu, Rui ; d'Amorim, Marcelo; Fortunato, Daniel;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
AUTORES: Reis, Sofia; Abreu, Rui ; d'Amorim, Marcelo; Fortunato, Daniel;
PUBLICAÇÃO: 2022, FONTE: 37th IEEE/ACM International Conference on Automated Software Engineering (ASE) in PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022
5
TÃTULO: Off-the-shelf Components for Quantum Programming and Testing PDF
AUTORES: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705
AUTORES: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 1st International Workshop on Software Engineering and Technology, Q-SET 2020 in Short Papers Proceedings of the 1st International Workshop on Software Engineering & Technology (Q-SET'20) co-located with IEEE International Conference on Quantum Computing and Engineering (IEEE Quantum Week 2020), (Online Conference) Denver ─ Broomfield, Colorado, USA, October, 2020., VOLUME: 2705
INDEXADO EM: Scopus 
DBLP
Scopus DBLP