Carlo A Furia

Publikationer (15)
Projekt (0)

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 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.