Carlo A Furia

Publications (16)
Projects (0)

Showing 16 publications

2023

Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions

Carlo A Furia, Richard Torkar, Robert Feldt

ACM Transactions on Software Engineering and Methodology. Vol. 33 (1)

Journal article

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)

Journal article

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

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

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

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

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

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

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

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 (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 10510, p. 295-311

Paper in proceeding

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

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

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

Other text in scientific journal

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.