Carlo A Furia

Visar 15 publikationer

2022

A Method to Assess and Argue for Practical Significance in Software Engineering

Richard Torkar, Carlo A Furia, Robert Feldt et al
IEEE Transactions on Software Engineering. Vol. 48 (6), p. 2053-2065
Artikel i vetenskaplig tidskrift
2022

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality

Carlo A Furia, Richard Torkar, Robert Feldt
ACM Transactions on Software Engineering and Methodology. Vol. 31 (3)
Artikel i vetenskaplig tidskrift
2021

Bayesian Data Analysis for Software Engineering

Richard Torkar, Carlo A Furia, Robert Feldt
Proceedings - International Conference on Software Engineering, p. 328-329
Paper i proceeding
2021

Contract-Based Program Repair without The Contracts: An Extended Study

Liushan Chen, Yu Pei, Carlo A Furia
IEEE Transactions on Software Engineering. Vol. 47 (12), p. 2841-2857
Artikel i vetenskaplig tidskrift
2021

Bayesian Data Analysis in Empirical Software Engineering Research

Carlo A Furia, Robert Feldt, Richard Torkar
IEEE Transactions on Software Engineering. Vol. 47 (9), p. 1786-1810
Artikel i vetenskaplig tidskrift
2019

Evolution of statistical analysis in empirical software engineering research: Current state and steps forward

Francisco Gomes, Richard Torkar, Robert Feldt et al
Journal of Systems and Software. Vol. 156, p. 246-267
Artikel i vetenskaplig tidskrift
2018

Robustness Testing of Intermediate Verifiers

Yu-Ting Chen, Carlo A Furia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 11138 LNCS, p. 91-108
Paper i proceeding
2018

A fully verified container library

Nadia Polikarpova, Julian Tschannen, Carlo A Furia
Formal Aspects of Computing. Vol. 30 (5), p. 495-523
Artikel i vetenskaplig tidskrift
2017

Contract-Based Program Repair without the Contracts

L. S. Chen, Y. Pei, Carlo A Furia
Proceedings of the 2017 32nd IEEE/ACM International Conference on Automated Software Engineering, p. 637-647
Paper i proceeding
2017

Bounded variability of metric temporal logic

Carlo A Furia, P. Spoletini
Annals of Mathematics and Artificial Intelligence. Vol. 80 (3-4), p. 283-316
Artikel i vetenskaplig tidskrift
2017

Triggerless happy: Intermediate verification with a first-order prover

Chen Yuting, Carlo A Furia
Lecture Notes in Computer Science - 13th International Conference on Integrated Formal Methods, IFM 2017, Turin, Italy, 20-22 September 2017. Vol. 10510, p. 295-311
Paper i proceeding
2017

AutoProof: auto-active functional verification of object-oriented programs

Carlo A Furia, M. Nordio, N. Polikarpova et al
International Journal on Software Tools for Technology Transfer. Vol. 19 (6), p. 697-716
Artikel i vetenskaplig tidskrift
2017

What good is Bayesian data analysis for software engineering?

Carlo A Furia
39th IEEE/ACM International Conference on Software Engineering Companion, ICSE-C 2017, Buenos Aires, Argentina, 20-28 May 2017, p. 374-376
Paper i proceeding
2016

Why Just Boogie? Translating Between Intermediate Verification Languages

M. Ameri, Carlo A Furia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9681, p. 79-95
Paper i proceeding
2016

Preface

Bernhard Klaus Aichernig, Carlo A Furia
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9762
Övrig text i vetenskaplig tidskrift

Ladda ner publikationslistor

Du kan ladda ner denna lista till din dator.

Filtrera och ladda ner publikationslista

Som inloggad användare hittar du ytterligare funktioner i MyResearch.

Du kan även exportera direkt till Zotero eller Mendeley genom webbläsarplugins. Dessa hittar du här:

Zotero Connector
Mendeley Web Importer

Tjänsten SwePub erbjuder uttag av Researchs listor i andra format, till exempel kan du få uttag av publikationer enligt Harvard och Oxford i .RIS, BibTex och RefWorks-format.

Det finns inga projekt att visa.
Det kan finnas fler projekt där Carlo A Furia medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.