Carlo A. Furia
发表
Carlo A. Furia,
2012,
ArXiv.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2007,
FORMATS.
Richard A. Kemmerer,
Dino Mandrioli,
Carlo A. Furia,
2010,
ArXiv.
Carlo A. Furia,
Julian Tschannen,
Christopher M. Poskitt,
2015,
F-IDE.
Bertrand Meyer,
Carlo A. Furia,
2010,
Fields of Logic and Computation.
Matteo Pradella,
Luca Cavallaro,
Carlo A. Furia,
2010,
2010 15th IEEE International Conference on Engineering of Complex Computer Systems.
Bertrand Meyer,
Carlo A. Furia,
Marco Piccioni,
2012,
ArXiv.
Luciano Baresi,
Paola Inverardi,
Jane Cleland-Huang,
2013,
ESEC/FSE 2013.
Bertrand Meyer,
Nadia Polikarpova,
Carlo A. Furia,
2010,
VSTTE.
Bernhard K. Aichernig,
Robert M. Hierons,
Carlo A. Furia,
2018,
Formal Aspects of Computing.
Paola Spoletini,
Carlo A. Furia,
P. Spoletini,
2009,
Italian Conference on Theoretical Computer Science.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2008,
CSUR.
Andrea Matta,
Carlo A. Furia,
Matteo Rossi,
2004,
ISCIS.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2005,
FASE.
Carlo A. Furia,
2012,
1206.4860.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Bertrand Meyer,
Nadia Polikarpova,
Carlo A. Furia,
2013,
FM.
Carlo A. Furia,
2003
.
Carlo A. Furia,
2012,
ATVA.
Bertrand Meyer,
Johannes Schneider,
Carlo A. Furia,
2012,
2012 IEEE Seventh International Conference on Global Software Engineering.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2008,
ICFEM.
Bertrand Meyer,
Carlo A. Furia,
Marco Piccioni,
2013,
2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement.
Bertrand Meyer,
Carlo A. Furia,
Julian Tschannen,
2011,
LASER Summer School.
Carlo A. Furia,
Sebastian Nanz,
Sebastian Nanz,
2012
.
Richard Torkar,
Robert Feldt,
Lucas Gren,
2017
.
Bertrand Meyer,
Yi Wei,
Carlo A. Furia,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Paola Spoletini,
Carlo A. Furia,
2008,
ATVA.
Andreas Zeller,
Bertrand Meyer,
Yi Wei,
2014
.
Bertrand Meyer,
Carlo A. Furia,
H.-Christian Estler,
2014,
2014 IEEE 9th International Conference on Global Software Engineering.
Paola Spoletini,
Carlo A. Furia,
P. Spoletini,
2009,
2011 Eighteenth International Symposium on Temporal Representation and Reasoning.
Matteo Pradella,
Carlo A. Furia,
Angelo Morzenti,
2006,
IEEE Trans. Software Eng..
Bertrand Meyer,
Manuel Oriol,
Carlo A. Furia,
2012,
2012 19th Working Conference on Reverse Engineering.
Manuel Oriol,
Carlo A. Furia,
Martín Nordio,
2011,
TOOLS.
Carlo A. Furia,
2016,
ArXiv.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Bertrand Meyer,
Yi Wei,
Carlo A. Furia,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Carlo A. Furia,
Bhargav Nagaraja Bhatt,
2020,
ArXiv.
Carlo A. Furia,
Sebastian Nanz,
Sebastian Nanz,
2014,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Yu Pei,
Carlo A. Furia,
Liushan Chen,
2020,
IEEE Transactions on Software Engineering.
Carlo A. Furia,
Julian Tschannen,
Christopher M. Poskitt,
2015
.
Carlo A. Furia,
2007
.
Bertrand Meyer,
Manuel Oriol,
Carlo A. Furia,
2012,
ArXiv.
Mara Tanelli,
Paola Spoletini,
Carlo A. Furia,
2008,
2008 IEEE International Conference on Computer-Aided Control Systems.
Carlo A. Furia,
Julian Tschannen,
Martín Nordio,
2014,
International Journal on Software Tools for Technology Transfer.
Bertrand Meyer,
Carlo A. Furia,
Julian Tschannen,
2014
.
Carlo A. Furia,
Matteo Rossi,
2010,
TOCL.
Bertrand Meyer,
Carlo A. Furia,
H.-Christian Estler,
2013,
2013 22nd Australian Software Engineering Conference.
Carlo A. Furia,
Sebastian Nanz,
Sebastian Nanz,
2013,
Journal of Object Technology.
Dino Mandrioli,
Carlo A. Furia,
Matteo Rossi,
2007,
International Workshop on Modeling in Software Engineering (MISE'07: ICSE Workshop 2007).
Paola Spoletini,
Carlo A. Furia,
P. Spoletini,
2012,
2012 19th International Symposium on Temporal Representation and Reasoning.
Carlo A. Furia,
Elisabetta Di Nitto,
Matteo Rossi,
2010,
2010 15th IEEE International Conference on Engineering of Complex Computer Systems.
Carlo A. Furia,
Michael Ameri,
2016,
IFM.
Nadia Polikarpova,
Carlo A. Furia,
Scott West,
2013,
RV.
Richard Torkar,
Lucas Gren,
Ziwei Huang,
2017,
J. Syst. Softw..
Dino Mandrioli,
Carlo A. Furia,
2012
.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2007,
Bull. EATCS.
Carlo A. Furia,
Matteo Rossi,
2005,
Electron. Notes Theor. Comput. Sci..
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Neil A. Ernst,
Richard Torkar,
Lucas Gren,
2021,
IEEE Transactions on Software Engineering.
Bernhard K. Aichernig,
Carlo A. Furia,
2016,
Lecture Notes in Computer Science.
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2006,
FORMATS.
Matteo Pradella,
Marcello M. Bersani,
Carlo A. Furia,
2009,
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods.
Bertrand Meyer,
Carlo A. Furia,
Sergey Velder,
2012,
ArXiv.
Alberto Leva,
Paola Spoletini,
Carlo A. Furia,
2010,
ArXiv.
Andreas Zeller,
Gordon Fraser,
Carlo A. Furia,
2014,
Haifa Verification Conference.
Bertrand Meyer,
Carlo A. Furia,
H.-Christian Estler,
2013,
2013 IEEE 8th International Conference on Global Software Engineering.
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2008,
FM.
Carlo A. Furia,
2011,
SIGA.
Nadia Polikarpova,
Carlo A. Furia,
Julian Tschannen,
2015,
FM.
Carlo A. Furia,
2010,
ATVA.
Carlo A. Furia,
2017,
2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012,
Monographs in Theoretical Computer Science. An EATCS Series.
Bertrand Meyer,
Manuel Oriol,
Yi Wei,
2013,
SAC '13.
Bertrand Meyer,
Yi Wei,
Carlo A. Furia,
2011,
ArXiv.
Bertrand Meyer,
Carlo A. Furia,
Marco Piccioni,
2012,
FM.
Bertrand Meyer,
Carlo A. Furia,
Martín Nordio,
2015,
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.
Richard Torkar,
Robert Feldt,
Lucas Gren,
2017
.
Bertrand Meyer,
Nadia Polikarpova,
Yi Wei,
2012,
2013 35th International Conference on Software Engineering (ICSE).
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Carlo A. Furia,
Yuting Chen,
Yuting Chen,
2018,
ATVA.
Carlo A. Furia,
Yuting Chen,
Yuting Chen,
2017,
IFM.
Neil A. Ernst,
Richard Torkar,
Lucas Gren,
2018
.
Bertrand Meyer,
Yi Wei,
Carlo A. Furia,
2011,
2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).
Carlo A. Furia,
Martín Nordio,
Marco Trudel,
2012,
2012 19th Working Conference on Reverse Engineering.
Carlo A. Furia,
2014,
ArXiv.
Paola Spoletini,
Carlo A. Furia,
P. Spoletini,
2008,
ICTAC.
Paola Spoletini,
Carlo A. Furia,
P. Spoletini,
2013,
2014 21st International Symposium on Temporal Representation and Reasoning.
Carlo A. Furia,
Rodrigo Bonifácio,
Diego Marcilio,
2019,
2019 19th International Working Conference on Source Code Analysis and Manipulation (SCAM).
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Rosemary Monahan,
Marieke Huisman,
Carlo A. Furia,
2020,
ArXiv.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2007,
Theor. Comput. Sci..
Richard Torkar,
Robert Feldt,
Carlo A. Furia,
2018,
IEEE Transactions on Software Engineering.
Bertrand Meyer,
Carlo A. Furia,
Julian Tschannen,
2011,
ArXiv.
Carlo A. Furia,
Gustavo Pinto,
Rodrigo Bonifácio,
2020,
J. Syst. Softw..
Carlo A. Furia,
Matteo Rossi,
M. Rossi,
2008,
FORMATS.
Bertrand Meyer,
Carlo A. Furia,
Martín Nordio,
2013,
ECOOP.
Carlo A. Furia,
2012,
ArXiv.
Bertrand Meyer,
Carlo A. Furia,
Marco Piccioni,
2012
.
Carlo A. Furia,
Sebastian Nanz,
2012,
Lecture Notes in Computer Science.
Matteo Pradella,
Carlo A. Furia,
Matteo Rossi,
2009,
CSUR.
Carlo A. Furia,
Cristiano Calcagno,
Martín Nordio,
2013,
FASE.
Nadia Polikarpova,
Carlo A. Furia,
Julian Tschannen,
2017
.
Carlo A. Furia,
Michael Ameri,
Michael Ameri,
2016,
IFM.
Tian Zhang,
Carlo A. Furia,
Minxue Pan,
2019,
IEEE Transactions on Software Engineering.
Bertrand Meyer,
Carlo A. Furia,
Martín Nordio,
2014,
FASE.
Carlo A. Furia,
Yu Pei,
Liushan Chen,
2017,
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE).
Bertrand Meyer,
Johannes Schneider,
Carlo A. Furia,
2012,
ICGSE.
Bertrand Meyer,
Carlo A. Furia,
Julian Tschannen,
2013,
VSTTE.
Andreas Zeller,
Gordon Fraser,
Carlo A. Furia,
2014,
IEEE Transactions on Software Engineering.
Dino Mandrioli,
Carlo A. Furia,
Angelo Morzenti,
2012
.
Bertrand Meyer,
Carlo A. Furia,
Julian Tschannen,
2011,
SEFM.
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality
pdf
Richard Torkar,
Robert Feldt,
Carlo A. Furia,
2021,
ACM Trans. Softw. Eng. Methodol..
Carlo A. Furia,
Diego Marcilio,
2021,
2021 IEEE/ACM 18th International Conference on Mining Software Repositories (MSR).
Richard Torkar,
Robert Feldt,
Carlo A. Furia,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).
Carlo A. Furia,
Mohammad Rezaalipour,
2021,
ArXiv.
Carlo A. Furia,
A. Verier,
Manual User,
2023,
International Transport Forum Policy Papers.
Carlo A. Furia,
M. Rossi,
Matteo Pradella,
2007
.
Carlo A. Furia,
2012
.
Carlo A. Furia,
P. Spoletini,
2008
.
Carlo A. Furia,
L. S. Silva,
B. Meyer,
2010
.
Carlo A. Furia,
Carlo Alberto Furia,
2005
.
Richard Torkar,
Robert Feldt,
Carlo A. Furia,
2019,
Contemporary Empirical Methods in Software Engineering.
Carlo A. Furia,
2006
.
Yuriy Brun,
Jacques Klein,
Max E. Kramer,
2018,
Empirical Software Engineering.
Carlo A. Furia,
J. Knight,
M. Rossi,
2006
.
Carlo A. Furia,
Liushan Chen,
Yu Pei,
2023,
IEEE Transactions on Software Engineering.
Carlo A. Furia,
M. Rossi,
2022
.
Carlo A. Furia,
B. Meyer,
A. Zeller,
2015
.
Carlo A. Furia,
Juan P. Galeotti,
A. Zeller,
2014,
ArXiv.
Carlo A. Furia,
B. Bhatt,
2020,
J. Syst. Softw..
Carlo A. Furia,
Diego Marcilio,
2022,
2022 IEEE International Conference on Software Maintenance and Evolution (ICSME).
Carlo A. Furia,
R. Feldt,
R. Torkar,
2019,
Contemporary Empirical Methods in Software Engineering.
Carlo A. Furia,
M. Huisman,
Claire Dross,
2021,
International Journal on Software Tools for Technology Transfer.
Carlo A. Furia,
Mohammad Rezaalipour,
2021,
2112.05567.
Carlo A. Furia,
M. Paganoni,
2023,
FM.
Carlo A. Furia,
R. Feldt,
R. Torkar,
2018,
ArXiv.
Carlo A. Furia,
R. Feldt,
R. Torkar,
2023,
ArXiv.
Neil A. Ernst,
Carlo A. Furia,
R. Feldt,
2022,
IEEE Transactions on Software Engineering.
Marco Torchiano,
Miroslaw Staron,
Christoph Treude,
2020,
ArXiv.
Carlo A. Furia,
B. Meyer,
M. Nordio,
2013,
Empirical Software Engineering.
Dino Mandrioli,
Carlo A. Furia,
John C. Knight,
2012
.
Carlo A. Furia,
J. Knight,
M. Rossi,
2006
.
Carlo A. Furia,
CARLO A. FURIA,
BERTRAND MEYER,
2012,
CSUR.
Carlo A. Furia,
R. Feldt,
R. Torkar,
2023,
ArXiv.
Carlo A. Furia,
Diego Marcilio,
Martin Odermatt,
2022,
2022 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER).
Nadia Polikarpova,
Carlo A. Furia,
Martin Nordio,
2015,
International Journal on Software Tools for Technology Transfer.
Carlo A. Furia,
N. Polikarpova,
Julian Tschannen,
2015,
Formal Aspects of Computing.
Carlo A. Furia,
S. Velder,
Bertrand Meyer,
2014
.
Carlo A. Furia,
R. Feldt,
R. Torkar,
2023,
ACM Trans. Softw. Eng. Methodol..
Carlo A. Furia,
R. Feldt,
R. Torkar,
2018,
ArXiv.
Carlo A. Furia,
Diego Marcilio,
2023,
Empirical software engineering.