Carlo A. Furia

Cited by

	All	Since 2020
Citations	3721	1645
h-index	30	21
i10-index	63	36

360

180

270

20052006200720082009201020112012201320142015201620172018201920202021202220232024202510 11 19 22 25 54 70 123 164 199 247 237 234 290 278 272 298 310 359 359 43

Public access

View all

39 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Bertrand MeyerProfessor of Software Engineering, Constructor Institute of TechnologyVerified email at inf.ethz.ch
Martin NordioETH ZurichVerified email at inf.ethz.ch
Yu PeiThe Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
Wei YiChair of Software Engineering, ETH ZurichVerified email at inf.ethz.ch
Andreas ZellerFaculty, CISPA Helmholtz Center for Information Security • Professor, Saarland UniversityVerified email at cispa.de
Richard TorkarProf., Chalmers and University of Gothenburg, SwedenVerified email at chalmers.se
Robert FeldtProfessor of Software Engineering, Chalmers University of TechnologyVerified email at chalmers.se
H.-Christian EstlerETH Zurich (formerly)Verified email at inf.ethz.ch
Sebastian NanzGoogleVerified email at google.com
Diego MarcilioProgramming Systems Group, UberVerified email at uber.com
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Lucas Serpa SilvaSwiss Big-Data SolutionsVerified email at sbds.ch
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Juan Pablo GaleottiUniversidad de Buenos AiresVerified email at dc.uba.ar
Gordon FraserProfessor of Computer Science, University of PassauVerified email at uni-passau.de
Francisco Gomes de Oliveira NetoAssociate Professor in Computer Science, Chalmers and the University of GothenburgVerified email at chalmers.se
Manuel OriolConstructor Institute SchaffhausenVerified email at constructor.org
Lucas GrenAdjunct Senior Lecturer and Director of HR Process Automation and AIVerified email at cse.gu.se
Gustavo PintoUFPA & Zup InnovationVerified email at zup.com.br

Carlo A. Furia

Software Institute - USI Università della Svizzera italiana

Verified email at usi.ch - Homepage

Computer Science Formal Methods Software Engineering Verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Automated Fixing of Programs with Contracts Y Pei, CA Furia, M Nordio, Y Wei, B Meyer, A Zeller IEEE Transactions on Software Engineering 40 (5), 427-449, 2014	464*	2014
A comparative study of programming languages in rosetta code S Nanz, CA Furia 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 1 …, 2015	199	2015
Empirical standards for software engineering research P Ralph, N Ali, S Baltes, D Bianculli, J Diaz, Y Dittrich, N Ernst, M Felderer, ... arXiv preprint arXiv:2010.03525, 2020	185*	2020
Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	178	2017
Agile vs. structured distributed software development: A case study HC Estler, M Nordio, CA Furia, B Meyer, J Schneider Empirical Software Engineering 19, 1197-1224, 2014	166	2014
An empirical study of API usability M Piccioni, CA Furia, B Meyer 2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013	158	2013
AutoProof: Auto-active functional verification of object-oriented programs J Tschannen, CA Furia, M Nordio, N Polikarpova International Conference on Tools and Algorithms for the Construction and …, 2014	121	2014
Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011	121	2011
Inferring loop invariants using postconditions CA Furia, B Meyer Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the …, 2010	116	2010
Loop invariants: Analysis, classification, and examples CA Furia, B Meyer, S Velder ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014	102	2014
Modeling time in computing CA Furia, D Mandrioli, A Morzenti, M Rossi Springer Science & Business Media, 2012	89	2012
Modeling time in computing: a taxonomy and a comparative survey CA Furia, D Mandrioli, A Morzenti, M Rossi ACM Computing Surveys (CSUR) 42 (2), 1-59, 2010	83	2010
Bayesian data analysis in empirical software engineering research CA Furia, R Feldt, R Torkar IEEE Transactions on Software Engineering 47 (9), 1786-1810, 2019	82	2019
Code-based automated program fixing Y Pei, Y Wei, CA Furia, M Nordio, B Meyer 2011 26th IEEE/ACM International Conference on Automated Software …, 2011	79	2011
Unifying configuration management with merge conflict detection and awareness systems HC Estler, M Nordio, CA Furia, B Meyer 2013 22nd Australian Software Engineering Conference, 201-210, 2013	68*	2013
Evolution of statistical analysis in empirical software engineering research: Current state and steps forward FG de Oliveira Neto, R Torkar, R Feldt, L Gren, CA Furia, Z Huang Journal of Systems and Software 156, 246-267, 2019	67	2019
Usable verification of object-oriented programs by combining static and dynamic techniques J Tschannen, CA Furia, M Nordio, B Meyer Software Engineering and Formal Methods: 9th International Conference, SEFM …, 2011	59	2011
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings D Marcilio, CA Furia, R Bonifácio, G Pinto Journal of Systems and Software 168, 110671, 2020	58	2020
What good are strong specifications? N Polikarpova, CA Furia, Y Pei, Y Wei, B Meyer 2013 35th international conference on software engineering (icse), 262-271, 2013	58	2013
Automatic verification of advanced object-oriented features: The AutoProof approach J Tschannen, CA Furia, M Nordio, B Meyer LASER Summer School on Software Engineering, 133-155, 2011	53*	2011

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors