Carlo A Furia

Docent vid Chalmers, Data- och informationsteknik, Formella metoder

Min personliga hemsida: http://bugcounting.net/

Källa: chalmers.se

Visar 9 publikationer

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

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

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.