Carlo A Furia
Visar 16 publikationer
A Method to Assess and Argue for Practical Significance in Software Engineering
Contract-Based Program Repair without The Contracts: An Extended Study
Bayesian Data Analysis for Software Engineering
Bayesian Data Analysis in Empirical Software Engineering Research
A fully verified container library
Robustness Testing of Intermediate Verifiers
AutoProof: auto-active functional verification of object-oriented programs
Bounded variability of metric temporal logic
What good is Bayesian data analysis for software engineering?
Triggerless happy: Intermediate verification with a first-order prover
Contract-Based Program Repair without the Contracts
Why Just Boogie? Translating Between Intermediate Verification Languages
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.