Carlo A Furia

Showing 14 publications

2021

Bayesian Data Analysis for Software Engineering

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

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. In Press
Journal article
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
Journal article
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
Journal article
2019

Bayesian Data Analysis in Empirical Software Engineering Research

Carlo A Furia, Robert Feldt, Richard Torkar
IEEE Transactions on Software Engineering. Vol. In Press
Journal article
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 in proceeding
2018

A fully verified container library

Nadia Polikarpova, Julian Tschannen, Carlo A Furia
Formal Aspects of Computing. Vol. 30 (5), p. 495-523
Journal article
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 in 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
Journal article
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 in 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
Journal article
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 in 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 in 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
Paper in proceeding

Download publication list

You can download this list to your computer.

Filter and download publication list

As logged in user (Chalmers employee) you find more export functions in MyResearch.

You may also import these directly to Zotero or Mendeley by using a browser plugin. These are found herer:

Zotero Connector
Mendeley Web Importer

The service SwePub offers export of contents from Research in other formats, such as Harvard and Oxford in .RIS, BibTex and RefWorks format.

There are no projects.
There might be more projects where Carlo A Furia participates, but you have to be logged in as a Chalmers employee to see them.