Carlo A Furia

Docent at Chalmers, Computer Science and Engineering (Chalmers), Formal methods

My personal homepage: http://bugcounting.net/

Source: chalmers.se

Showing 10 publications

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
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 proceedings
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 proceedings
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 proceedings
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 proceedings
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 proceedings

Save references

If you have installed Zotero or Mendeley on your computer you can use a plugin to extract references from the publications you see.

Download plugins:
Zotero
Mendeley

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.