Carlo A. Furia - Google Scholar Citations

Cited by

	All	Since 2015
Citations	1981	1266
h-index	23	20
i10-index	43	32

280

140

210

200520062007200820092010201120122013201420152016201720182019202010 11 19 23 24 50 62 128 160 196 255 231 234 267 242 35

Co-authors

Bertrand MeyerProfessor of Software Engineering, Schaffhausen Institute of Technology and Politecnico di MilanoVerified email at inf.ethz.ch
Martin NordioETH ZurichVerified email at inf.ethz.ch
Yu PeiThe Hong Kong Polytechnic UniversityVerified email at polyu.edu.hk
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.saarland
Nadia PolikarpovaUCSDVerified email at eng.ucsd.edu
H.-Christian EstlerETH Zurich (formerly)Verified email at inf.ethz.ch
Matteo Pradellaassociate professor, Politecnico di MilanoVerified email at polimi.it
Lucas Serpa SilvaSwiss Big-Data SolutionsVerified email at quantica-capital.com
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Sebastian NanzGoogleVerified email at google.com
Juan Pablo GaleottiUniversidad de Buenos AiresVerified email at dc.uba.ar
Gordon FraserProfessor of Computer Science, University of PassauVerified email at uni-passau.de
Manuel OriolR&D Manager, ABB, Motors and GeneratorsVerified email at ch.abb.com
Richard TorkarProf., Chalmers and the University of Gothenburg, SwedenVerified email at chalmers.se
Robert FeldtProfessor of Software Engineering, Chalmers University & Blekinge Institute of TechnologyVerified email at chalmers.se
Johannes SchneiderUniversity of LiechtensteinVerified email at uni.li
Elisabetta Di NittoPolitecnico di MilanoVerified email at polimi.it
Luca CavallaroPostdoctoral Fellow, LERO, University of Limerick, IrelandVerified email at lero.ie
Christopher M. PoskittSingapore Management University (SMU)Verified email at smu.edu.sg

Carlo A. Furia

USI – Università della Svizzera Italiana

Verified email at usi.ch - Homepage

Computer Science Formal Methods Software Engineering Verification


Title	Cited by	Year
Automated fixing of programs with contracts Y Wei, Y Pei, CA Furia, LS Silva, S Buchholz, B Meyer, A Zeller Proceedings of the 19th international symposium on Software testing and …, 2010	246	2010
Agile vs. structured distributed software development: A case study HC Estler, M Nordio, CA Furia, B Meyer, J Schneider Empirical Software Engineering 19 (5), 1197-1224, 2014	103	2014
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	102	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	94	2015
Inferring better contracts Y Wei, CA Furia, N Kazmin, B Meyer Proceedings of the 33rd International Conference on Software Engineering …, 2011	87	2011
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	80	2014
Inferring loop invariants using postconditions CA Furia, B Meyer Fields of logic and computation, 277-300, 2010	79	2010
An empirical study of API usability M Piccioni, CA Furia, B Meyer 2013 ACM/IEEE International Symposium on Empirical Software Engineering and …, 2013	69	2013
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	69	2010
Modeling time in computing CA Furia, D Mandrioli, A Morzenti, M Rossi Springer Science & Business Media, 2012	61	2012
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	53	2011
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	50	2013
Contract-based program repair without the contracts L Chen, Y Pei, CA Furia 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017	48	2017
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	45*	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	45*	2011
Usable verification of object-oriented programs by combining static and dynamic techniques J Tschannen, CA Furia, M Nordio, B Meyer International Conference on Software Engineering and Formal Methods, 382-398, 2011	44	2011
Loop invariants: Analysis, classification, and examples CA Furia, B Meyer, S Velder ACM Computing Surveys (CSUR) 46 (3), 1-51, 2014	41	2014
Contracts in practice HC Estler, CA Furia, M Nordio, M Piccioni, B Meyer International Symposium on Formal Methods, 230-246, 2014	35	2014
Specifying reusable components N Polikarpova, CA Furia, B Meyer International Conference on Verified Software: Theories, Tools, and …, 2010	34	2010
A fully verified container library N Polikarpova, J Tschannen, CA Furia Formal Aspects of Computing 30 (5), 495-523, 2018	33	2018

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

Upload PDF

Follow this author

Cited by

Co-authors