Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Carlo A. Furia
@article{DBLP:journals/ese/MarcilioF24,
author = {Diego Marcilio and
Carlo A. Furia},
title = {Lightweight precise automatic extraction of exception preconditions
in java methods},
journal = {Empir. Softw. Eng.},
volume = {29},
number = {1},
pages = {30},
year = {2024},
url = {https://doi.org/10.1007/s10664-023-10392-x},
doi = {10.1007/S10664-023-10392-X},
timestamp = {Fri, 08 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/MarcilioF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/FeliciPF24,
author = {Riccardo Felici and
Laura Pozzi and
Carlo A. Furia},
title = {HyperPUT: generating synthetic faulty programs to challenge bug-finding
tools},
journal = {Empir. Softw. Eng.},
volume = {29},
number = {2},
pages = {38},
year = {2024},
url = {https://doi.org/10.1007/s10664-023-10430-8},
doi = {10.1007/S10664-023-10430-8},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/FeliciPF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FuriaTF24,
author = {Carlo A. Furia and
Richard Torkar and
Robert Feldt},
title = {Towards Causal Analysis of Empirical Software Engineering Data: The
Impact of Programming Languages on Coding Competitions},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {33},
number = {1},
pages = {13:1--13:35},
year = {2024},
url = {https://doi.org/10.1145/3611667},
doi = {10.1145/3611667},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/FuriaTF24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/RezaalipourF23,
author = {Mohammad Rezaalipour and
Carlo A. Furia},
title = {An annotation-based approach for finding bugs in neural network programs},
journal = {J. Syst. Softw.},
volume = {201},
pages = {111669},
year = {2023},
url = {https://doi.org/10.1016/j.jss.2023.111669},
doi = {10.1016/J.JSS.2023.111669},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/RezaalipourF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChenPPZWF23,
author = {Liushan Chen and
Yu Pei and
Minxue Pan and
Tian Zhang and
Qixin Wang and
Carlo A. Furia},
title = {Program Repair With Repeated Learning},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {2},
pages = {831--848},
year = {2023},
url = {https://doi.org/10.1109/TSE.2022.3164662},
doi = {10.1109/TSE.2022.3164662},
timestamp = {Sat, 25 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ChenPPZWF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PaganoniF23,
author = {Marco Paganoni and
Carlo A. Furia},
editor = {Marsha Chechik and
Joost{-}Pieter Katoen and
Martin Leucker},
title = {Verifying Functional Correctness Properties at the Level of Java Bytecode},
booktitle = {Formal Methods - 25th International Symposium, {FM} 2023, L{\"{u}}beck,
Germany, March 6-10, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14000},
pages = {343--363},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-27481-7\_20},
doi = {10.1007/978-3-031-27481-7\_20},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PaganoniF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MarcilioF23,
author = {Diego Marcilio and
Carlo A. Furia},
title = {Towards Code Improvements Suggestions from Client Exception Analysis},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
pages = {363--368},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSME58846.2023.00046},
doi = {10.1109/ICSME58846.2023.00046},
timestamp = {Tue, 09 Jan 2024 17:27:46 +0100},
biburl = {https://dblp.org/rec/conf/icsm/MarcilioF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/RezaalipourF23,
author = {Mohammad Rezaalipour and
Carlo A. Furia},
title = {aNNoTest: An Annotation-based Test Generation Tool for Neural Network
Programs},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2023, Bogot{\'{a}}, Colombia, October 1-6, 2023},
pages = {574--579},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSME58846.2023.00075},
doi = {10.1109/ICSME58846.2023.00075},
timestamp = {Tue, 09 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsm/RezaalipourF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PaganoniF23,
author = {Marco Paganoni and
Carlo A. Furia},
editor = {Paula Herber and
Anton Wijs},
title = {Reasoning About Exceptional Behavior at the Level of Java Bytecode},
booktitle = {iFM 2023 - 18th International Conference, iFM 2023, Leiden, The Netherlands,
November 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14300},
pages = {113--133},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-47705-8\_7},
doi = {10.1007/978-3-031-47705-8\_7},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ifm/PaganoniF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-07524,
author = {Carlo A. Furia and
Richard Torkar and
Robert Feldt},
title = {Towards Causal Analysis of Empirical Software Engineering Data: The
Impact of Programming Languages on Coding Competitions},
journal = {CoRR},
volume = {abs/2301.07524},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.07524},
doi = {10.48550/ARXIV.2301.07524},
eprinttype = {arXiv},
eprint = {2301.07524},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-07524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-19834,
author = {Mohammad Rezaalipour and
Carlo A. Furia},
title = {An Empirical Study of Fault Localization in Python Programs},
journal = {CoRR},
volume = {abs/2305.19834},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.19834},
doi = {10.48550/ARXIV.2305.19834},
eprinttype = {arXiv},
eprint = {2305.19834},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-19834.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/BhattF22,
author = {Bhargav Nagaraja Bhatt and
Carlo A. Furia},
title = {Automated repair of resource leaks in Android applications},
journal = {J. Syst. Softw.},
volume = {192},
pages = {111417},
year = {2022},
url = {https://doi.org/10.1016/j.jss.2022.111417},
doi = {10.1016/J.JSS.2022.111417},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/BhattF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FuriaTF22,
author = {Carlo A. Furia and
Richard Torkar and
Robert Feldt},
title = {Applying Bayesian Analysis Guidelines to Empirical Software Engineering
Data: The Case of Programming Languages and Code Quality},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {31},
number = {3},
pages = {40:1--40:38},
year = {2022},
url = {https://doi.org/10.1145/3490953},
doi = {10.1145/3490953},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tosem/FuriaTF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/XuCPZPF22,
author = {Tongtong Xu and
Liushan Chen and
Yu Pei and
Tian Zhang and
Minxue Pan and
Carlo A. Furia},
title = {Restore: Retrospective Fault Localization Enhancing Automated Program
Repair},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {2},
pages = {309--326},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.2987862},
doi = {10.1109/TSE.2020.2987862},
timestamp = {Tue, 15 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/XuCPZPF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/TorkarFFNGLE22,
author = {Richard Torkar and
Carlo A. Furia and
Robert Feldt and
Francisco Gomes de Oliveira Neto and
Lucas Gren and
Per Lenberg and
Neil A. Ernst},
title = {A Method to Assess and Argue for Practical Significance in Software
Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {48},
number = {6},
pages = {2053--2065},
year = {2022},
url = {https://doi.org/10.1109/TSE.2020.3048991},
doi = {10.1109/TSE.2020.3048991},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/TorkarFFNGLE22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsm/MarcilioF22,
author = {Diego Marcilio and
Carlo A. Furia},
title = {What Is Thrown? Lightweight Precise Automatic Extraction of Exception
Preconditions in Java Methods},
booktitle = {{IEEE} International Conference on Software Maintenance and Evolution,
{ICSME} 2022, Limassol, Cyprus, October 3-7, 2022},
pages = {340--351},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ICSME55016.2022.00038},
doi = {10.1109/ICSME55016.2022.00038},
timestamp = {Wed, 11 Jan 2023 16:16:16 +0100},
biburl = {https://dblp.org/rec/conf/icsm/MarcilioF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/OdermattMF22,
author = {Martin Odermatt and
Diego Marcilio and
Carlo A. Furia},
title = {Static Analysis Warnings and Automatic Fixing: {A} Replication for
C{\#} Projects},
booktitle = {{IEEE} International Conference on Software Analysis, Evolution and
Reengineering, {SANER} 2022, Honolulu, HI, USA, March 15-18, 2022},
pages = {805--816},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/SANER53432.2022.00098},
doi = {10.1109/SANER53432.2022.00098},
timestamp = {Tue, 26 Jul 2022 14:23:17 +0200},
biburl = {https://dblp.org/rec/conf/wcre/OdermattMF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-06615,
author = {Riccardo Felici and
Laura Pozzi and
Carlo A. Furia},
title = {HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding
Tools},
journal = {CoRR},
volume = {abs/2209.06615},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2209.06615},
doi = {10.48550/ARXIV.2209.06615},
eprinttype = {arXiv},
eprint = {2209.06615},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2209-06615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DrossFHMM21,
author = {Claire Dross and
Carlo A. Furia and
Marieke Huisman and
Rosemary Monahan and
Peter M{\"{u}}ller},
title = {VerifyThis 2019: a program verification competition},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {6},
pages = {883--893},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00619-x},
doi = {10.1007/S10009-021-00619-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DrossFHMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuriaFT21,
author = {Carlo A. Furia and
Robert Feldt and
Richard Torkar},
title = {Bayesian Data Analysis in Empirical Software Engineering Research},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {9},
pages = {1786--1810},
year = {2021},
url = {https://doi.org/10.1109/TSE.2019.2935974},
doi = {10.1109/TSE.2019.2935974},
timestamp = {Tue, 05 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FuriaFT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ChenPF21,
author = {Liushan Chen and
Yu Pei and
Carlo A. Furia},
title = {Contract-Based Program Repair Without The Contracts: An Extended Study},
journal = {{IEEE} Trans. Software Eng.},
volume = {47},
number = {12},
pages = {2841--2857},
year = {2021},
url = {https://doi.org/10.1109/TSE.2020.2970009},
doi = {10.1109/TSE.2020.2970009},
timestamp = {Sat, 25 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/ChenPF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/TorkarFF21,
author = {Richard Torkar and
Carlo A. Furia and
Robert Feldt},
title = {Bayesian Data Analysis for Software Engineering},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering:
Companion Proceedings, {ICSE} Companion 2021, Madrid, Spain, May 25-28,
2021},
pages = {328--329},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/ICSE-Companion52605.2021.00140},
doi = {10.1109/ICSE-COMPANION52605.2021.00140},
timestamp = {Mon, 28 Jun 2021 13:24:52 +0200},
biburl = {https://dblp.org/rec/conf/icse/TorkarFF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/msr/MarcilioF21,
author = {Diego Marcilio and
Carlo A. Furia},
title = {How Java Programmers Test Exceptional Behavior},
booktitle = {18th {IEEE/ACM} International Conference on Mining Software Repositories,
{MSR} 2021, Madrid, Spain, May 17-19, 2021},
pages = {207--218},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/MSR52588.2021.00033},
doi = {10.1109/MSR52588.2021.00033},
timestamp = {Fri, 02 Jul 2021 14:47:15 +0200},
biburl = {https://dblp.org/rec/conf/msr/MarcilioF21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-12591,
author = {Carlo A. Furia and
Richard Torkar and
Robert Feldt},
title = {Applying Bayesian Analysis Guidelines to Empirical Software Engineering
Data: The Case of Programming Languages and Code Quality},
journal = {CoRR},
volume = {abs/2101.12591},
year = {2021},
url = {https://arxiv.org/abs/2101.12591},
eprinttype = {arXiv},
eprint = {2101.12591},
timestamp = {Tue, 02 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-12591.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-05567,
author = {Mohammad Rezaalipour and
Carlo A. Furia},
title = {Test-Case Generation for Finding Neural Network Bugs},
journal = {CoRR},
volume = {abs/2112.05567},
year = {2021},
url = {https://arxiv.org/abs/2112.05567},
eprinttype = {arXiv},
eprint = {2112.05567},
timestamp = {Tue, 14 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-05567.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/MarcilioFBP20,
author = {Diego Marcilio and
Carlo A. Furia and
Rodrigo Bonif{\'{a}}cio and
Gustavo Pinto},
title = {SpongeBugs: Automatically generating fix suggestions in response to
static code analysis warnings},
journal = {J. Syst. Softw.},
volume = {168},
pages = {110671},
year = {2020},
url = {https://doi.org/10.1016/j.jss.2020.110671},
doi = {10.1016/J.JSS.2020.110671},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jss/MarcilioFBP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/20/TorkarFF20,
author = {Richard Torkar and
Robert Feldt and
Carlo A. Furia},
editor = {Michael Felderer and
Guilherme Horta Travassos},
title = {Bayesian Data Analysis in Empirical Software Engineering: The Case
of Missing Data},
booktitle = {Contemporary Empirical Methods in Software Engineering},
pages = {289--324},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-32489-6\_11},
doi = {10.1007/978-3-030-32489-6\_11},
timestamp = {Fri, 26 Mar 2021 14:31:04 +0100},
biburl = {https://dblp.org/rec/books/sp/20/TorkarFF20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-03201,
author = {Bhargav Nagaraja Bhatt and
Carlo A. Furia},
title = {Automated Repair of Resource Leaks in Android Applications},
journal = {CoRR},
volume = {abs/2003.03201},
year = {2020},
url = {https://arxiv.org/abs/2003.03201},
eprinttype = {arXiv},
eprint = {2003.03201},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-03201.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2008-13610,
author = {Claire Dross and
Carlo A. Furia and
Marieke Huisman and
Rosemary Monahan and
Peter M{\"{u}}ller},
title = {VerifyThis 2019: {A} Program Verification Competition (Extended Report)},
journal = {CoRR},
volume = {abs/2008.13610},
year = {2020},
url = {https://arxiv.org/abs/2008.13610},
eprinttype = {arXiv},
eprint = {2008.13610},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-13610.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-03525,
author = {Paul Ralph and
Sebastian Baltes and
Domenico Bianculli and
Yvonne Dittrich and
Michael Felderer and
Robert Feldt and
Antonio Filieri and
Carlo Alberto Furia and
Daniel Graziotin and
Pinjia He and
Rashina Hoda and
Natalia Juristo and
Barbara A. Kitchenham and
Romain Robbes and
Daniel M{\'{e}}ndez and
Jefferson Seide Moll{\'{e}}ri and
Diomidis Spinellis and
Miroslaw Staron and
Klaas{-}Jan Stol and
Damian A. Tamburri and
Marco Torchiano and
Christoph Treude and
Burak Turhan and
Sira Vegas},
title = {{ACM} {SIGSOFT} Empirical Standards},
journal = {CoRR},
volume = {abs/2010.03525},
year = {2020},
url = {https://arxiv.org/abs/2010.03525},
eprinttype = {arXiv},
eprint = {2010.03525},
timestamp = {Tue, 03 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-03525.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/NetoTFGFH19,
author = {Francisco Gomes de Oliveira Neto and
Richard Torkar and
Robert Feldt and
Lucas Gren and
Carlo A. Furia and
Ziwei Huang},
title = {Evolution of statistical analysis in empirical software engineering
research: Current state and steps forward},
journal = {J. Syst. Softw.},
volume = {156},
pages = {246--267},
year = {2019},
url = {https://doi.org/10.1016/j.jss.2019.07.002},
doi = {10.1016/J.JSS.2019.07.002},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/NetoTFGFH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/MarcilioFB019,
author = {Diego Marcilio and
Carlo A. Furia and
Rodrigo Bonif{\'{a}}cio and
Gustavo Pinto},
title = {Automatically Generating Fix Suggestions in Response to Static Code
Analysis Warnings},
booktitle = {19th International Working Conference on Source Code Analysis and
Manipulation, {SCAM} 2019, Cleveland, OH, USA, September 30 - October
1, 2019},
pages = {34--44},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/SCAM.2019.00013},
doi = {10.1109/SCAM.2019.00013},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/MarcilioFB019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1906-01778,
author = {Tongtong Xu and
Liushan Chen and
Yu Pei and
Tian Zhang and
Minxue Pan and
Carlo A. Furia},
title = {Restore: Retrospective Fault Localization Enhancing Automated Program
Repair},
journal = {CoRR},
volume = {abs/1906.01778},
year = {2019},
url = {http://arxiv.org/abs/1906.01778},
eprinttype = {arXiv},
eprint = {1906.01778},
timestamp = {Thu, 13 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1906-01778.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/PolikarpovaTF18,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia},
title = {A fully verified container library},
journal = {Formal Aspects Comput.},
volume = {30},
number = {5},
pages = {495--523},
year = {2018},
url = {https://doi.org/10.1007/s00165-017-0435-1},
doi = {10.1007/S00165-017-0435-1},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/PolikarpovaTF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AichernigFGH18,
author = {Bernhard K. Aichernig and
Carlo A. Furia and
Marie{-}Claude Gaudel and
Robert M. Hierons},
title = {Special section of Tests and Proofs 2016},
journal = {Formal Aspects Comput.},
volume = {30},
number = {6},
pages = {627--628},
year = {2018},
url = {https://doi.org/10.1007/s00165-018-0474-2},
doi = {10.1007/S00165-018-0474-2},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AichernigFGH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/ChenF18,
author = {Yuting Chen and
Carlo A. Furia},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Robustness Testing of Intermediate Verifiers},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {91--108},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_6},
doi = {10.1007/978-3-030-01090-4\_6},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/ChenF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2018,
editor = {Carlo A. Furia and
Kirsten Winter},
title = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,
Maynooth, Ireland, September 5-7, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11023},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98938-9},
doi = {10.1007/978-3-319-98938-9},
isbn = {978-3-319-98937-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-03296,
author = {Yuting Chen and
Carlo A. Furia},
title = {Robustness Testing of Intermediate Verifiers},
journal = {CoRR},
volume = {abs/1805.03296},
year = {2018},
url = {http://arxiv.org/abs/1805.03296},
eprinttype = {arXiv},
eprint = {1805.03296},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-03296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-09849,
author = {Richard Torkar and
Robert Feldt and
Carlo A. Furia},
title = {Arguing Practical Significance in Software Engineering Using Bayesian
Data Analysis},
journal = {CoRR},
volume = {abs/1809.09849},
year = {2018},
url = {http://arxiv.org/abs/1809.09849},
eprinttype = {arXiv},
eprint = {1809.09849},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-09849.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05422,
author = {Carlo A. Furia and
Robert Feldt and
Richard Torkar},
title = {Bayesian Data Analysis in Empirical Software Engineering Research},
journal = {CoRR},
volume = {abs/1811.05422},
year = {2018},
url = {http://arxiv.org/abs/1811.05422},
eprinttype = {arXiv},
eprint = {1811.05422},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/FuriaS17,
author = {Carlo A. Furia and
Paola Spoletini},
title = {Bounded variability of metric temporal logic},
journal = {Ann. Math. Artif. Intell.},
volume = {80},
number = {3-4},
pages = {283--316},
year = {2017},
url = {https://doi.org/10.1007/s10472-016-9532-8},
doi = {10.1007/S10472-016-9532-8},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amai/FuriaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/FuriaNPT17,
author = {Carlo A. Furia and
Martin Nordio and
Nadia Polikarpova and
Julian Tschannen},
title = {AutoProof: auto-active functional verification of object-oriented
programs},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {6},
pages = {697--716},
year = {2017},
url = {https://doi.org/10.1007/s10009-016-0419-0},
doi = {10.1007/S10009-016-0419-0},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/FuriaNPT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Furia17,
author = {Carlo A. Furia},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
title = {What good is bayesian data analysis for software engineering?},
booktitle = {Proceedings of the 39th International Conference on Software Engineering,
{ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion
Volume},
pages = {374--376},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-C.2017.92},
doi = {10.1109/ICSE-C.2017.92},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/Furia17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ChenF17,
author = {Yuting Chen and
Carlo A. Furia},
editor = {Nadia Polikarpova and
Steve A. Schneider},
title = {Triggerless Happy - Intermediate Verification with a First-Order Prover},
booktitle = {Integrated Formal Methods - 13th International Conference, {IFM} 2017,
Turin, Italy, September 20-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10510},
pages = {295--311},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66845-1\_19},
doi = {10.1007/978-3-319-66845-1\_19},
timestamp = {Fri, 07 Aug 2020 17:57:32 +0200},
biburl = {https://dblp.org/rec/conf/ifm/ChenF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/Chen0F17,
author = {Liushan Chen and
Yu Pei and
Carlo A. Furia},
editor = {Grigore Rosu and
Massimiliano Di Penta and
Tien N. Nguyen},
title = {Contract-based program repair without the contracts},
booktitle = {Proceedings of the 32nd {IEEE/ACM} International Conference on Automated
Software Engineering, {ASE} 2017, Urbana, IL, USA, October 30 - November
03, 2017},
pages = {637--647},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ASE.2017.8115674},
doi = {10.1109/ASE.2017.8115674},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Chen0F17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AmeriF16,
author = {Michael Ameri and
Carlo A. Furia},
editor = {Erika {\'{A}}brah{\'{a}}m and
Marieke Huisman},
title = {Why Just Boogie? - Translating Between Intermediate Verification Languages},
booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
Reykjavik, Iceland, June 1-5, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9681},
pages = {79--95},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33693-0\_6},
doi = {10.1007/978-3-319-33693-0\_6},
timestamp = {Fri, 09 Apr 2021 18:43:38 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AmeriF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tap/2016,
editor = {Bernhard K. Aichernig and
Carlo A. Furia},
title = {Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna,
Austria, July 5-7, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9762},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-41135-4},
doi = {10.1007/978-3-319-41135-4},
isbn = {978-3-319-41134-7},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tap/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AmeriF16,
author = {Michael Ameri and
Carlo A. Furia},
title = {Why Just Boogie? Translating Between Intermediate Verification Languages},
journal = {CoRR},
volume = {abs/1601.00516},
year = {2016},
url = {http://arxiv.org/abs/1601.00516},
eprinttype = {arXiv},
eprint = {1601.00516},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AmeriF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Furia16,
author = {Carlo A. Furia},
title = {Bayesian Statistics in Software Engineering: Practical Guide and Case
Studies},
journal = {CoRR},
volume = {abs/1608.06865},
year = {2016},
url = {http://arxiv.org/abs/1608.06865},
eprinttype = {arXiv},
eprint = {1608.06865},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Furia16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/TschannenFN15,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio},
title = {AutoProof meets some verification challenges},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {17},
number = {6},
pages = {745--755},
year = {2015},
url = {https://doi.org/10.1007/s10009-014-0300-y},
doi = {10.1007/S10009-014-0300-Y},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/TschannenFN15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GaleottiFMFZ15,
author = {Juan P. Galeotti and
Carlo A. Furia and
Eva May and
Gordon Fraser and
Andreas Zeller},
title = {Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static
Checking},
journal = {{IEEE} Trans. Software Eng.},
volume = {41},
number = {10},
pages = {1019--1037},
year = {2015},
url = {https://doi.org/10.1109/TSE.2015.2431688},
doi = {10.1109/TSE.2015.2431688},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GaleottiFMFZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTF15,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {A Fully Verified Container Library},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {414--434},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_26},
doi = {10.1007/978-3-319-19249-9\_26},
timestamp = {Thu, 14 Apr 2022 20:26:16 +0200},
biburl = {https://dblp.org/rec/conf/fm/PolikarpovaTF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/0001FNM15,
author = {Yu Pei and
Carlo A. Furia and
Mart{\'{\i}}n Nordio and
Bertrand Meyer},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {Automated Program Repair in an Integrated Development Environment},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 2},
pages = {681--684},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.222},
doi = {10.1109/ICSE.2015.222},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/0001FNM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NanzF15,
author = {Sebastian Nanz and
Carlo A. Furia},
editor = {Antonia Bertolino and
Gerardo Canfora and
Sebastian G. Elbaum},
title = {A Comparative Study of Programming Languages in Rosetta Code},
booktitle = {37th {IEEE/ACM} International Conference on Software Engineering,
{ICSE} 2015, Florence, Italy, May 16-24, 2015, Volume 1},
pages = {778--788},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICSE.2015.90},
doi = {10.1109/ICSE.2015.90},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NanzF15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/TschannenFNP15,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Nadia Polikarpova},
editor = {Christel Baier and
Cesare Tinelli},
title = {AutoProof: Auto-Active Functional Verification of Object-Oriented
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 21st International Conference, {TACAS} 2015, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2015, London, UK, April 11-18, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9035},
pages = {566--580},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-46681-0\_53},
doi = {10.1007/978-3-662-46681-0\_53},
timestamp = {Sat, 30 Sep 2023 09:57:43 +0200},
biburl = {https://dblp.org/rec/conf/tacas/TschannenFNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/FuriaPT15,
author = {Carlo A. Furia and
Christopher M. Poskitt and
Julian Tschannen},
editor = {Catherine Dubois and
Paolo Masci and
Dominique M{\'{e}}ry},
title = {The AutoProof Verifier: Usability by Non-Experts and on Standard Code},
booktitle = {Proceedings Second International Workshop on Formal Integrated Development
Environment, {F-IDE} 2015, Oslo, Norway, June 22, 2015},
series = {{EPTCS}},
volume = {187},
pages = {42--55},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.187.4},
doi = {10.4204/EPTCS.187.4},
timestamp = {Tue, 01 Jun 2021 08:33:36 +0200},
biburl = {https://dblp.org/rec/journals/corr/FuriaPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/TschannenFNP15,
author = {Julian Tschannen and
Carlo A. Furia and
Mart{\'{\i}}n Nordio and
Nadia Polikarpova},
title = {AutoProof: Auto-active Functional Verification of Object-oriented
Programs},
journal = {CoRR},
volume = {abs/1501.03063},
year = {2015},
url = {http://arxiv.org/abs/1501.03063},
eprinttype = {arXiv},
eprint = {1501.03063},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/TschannenFNP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaMV14,
author = {Carlo A. Furia and
Bertrand Meyer and
Sergey Velder},
title = {Loop invariants: Analysis, classification, and examples},
journal = {{ACM} Comput. Surv.},
volume = {46},
number = {3},
pages = {34:1--34:51},
year = {2014},
url = {https://doi.org/10.1145/2506375},
doi = {10.1145/2506375},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/FuriaMV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ese/EstlerNFMS14,
author = {Hans{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer and
Johannes Schneider},
title = {Agile vs. structured distributed software development: {A} case study},
journal = {Empir. Softw. Eng.},
volume = {19},
number = {5},
pages = {1197--1224},
year = {2014},
url = {https://doi.org/10.1007/s10664-013-9271-y},
doi = {10.1007/S10664-013-9271-Y},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/EstlerNFMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/0001FNWMZ14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Yi Wei and
Bertrand Meyer and
Andreas Zeller},
title = {Automated Fixing of Programs with Contracts},
journal = {{IEEE} Trans. Software Eng.},
volume = {40},
number = {5},
pages = {427--449},
year = {2014},
url = {https://doi.org/10.1109/TSE.2014.2312918},
doi = {10.1109/TSE.2014.2312918},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/0001FNWMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/0001FNM14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Stefania Gnesi and
Arend Rensink},
title = {Automatic Program Repair by Fixing Contracts},
booktitle = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
pages = {246--260},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8\_17},
doi = {10.1007/978-3-642-54804-8\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/0001FNM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/EstlerFNPM14,
author = {H.{-}Christian Estler and
Carlo A. Furia and
Martin Nordio and
Marco Piccioni and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Contracts in Practice},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {230--246},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_17},
doi = {10.1007/978-3-319-06410-9\_17},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/EstlerFNPM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/PolikarpovaTFM14,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia and
Bertrand Meyer},
editor = {Cliff B. Jones and
Pekka Pihlajasaari and
Jun Sun},
title = {Flexible Invariants through Semantic Collaboration},
booktitle = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
May 12-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8442},
pages = {514--530},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-06410-9\_35},
doi = {10.1007/978-3-319-06410-9\_35},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/PolikarpovaTFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/GaleottiFMFZ14,
author = {Juan Pablo Galeotti and
Carlo A. Furia and
Eva May and
Gordon Fraser and
Andreas Zeller},
editor = {Eran Yahav},
title = {DynaMate: Dynamically Inferring Loop Invariants for Automatic Full
Functional Verification},
booktitle = {Hardware and Software: Verification and Testing - 10th International
Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
18-20, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8855},
pages = {48--53},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-13338-6\_4},
doi = {10.1007/978-3-319-13338-6\_4},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hvc/GaleottiFMFZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM14,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Awareness and Merge Conflicts in Distributed Software Development},
booktitle = {{IEEE} 9th International Conference on Global Software Engineering,
{ICGSE} 2014, Shanghai, China, 18-21 August, 2014},
pages = {26--35},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICGSE.2014.17},
doi = {10.1109/ICGSE.2014.17},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS14,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Amedeo Cesta and
Carlo Combi and
Fran{\c{c}}ois Laroussinie},
title = {Bounded Variability of Metric Temporal Logic},
booktitle = {21st International Symposium on Temporal Representation and Reasoning,
{TIME} 2014, Verona, Italy, September 8-10, 2014},
pages = {155--163},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/TIME.2014.18},
doi = {10.1109/TIME.2014.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001FNWMZ14,
author = {Yu Pei and
Carlo A. Furia and
Martin Nordio and
Yi Wei and
Bertrand Meyer and
Andreas Zeller},
title = {Automated Fixing of Programs with Contracts},
journal = {CoRR},
volume = {abs/1403.1117},
year = {2014},
url = {http://arxiv.org/abs/1403.1117},
eprinttype = {arXiv},
eprint = {1403.1117},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/0001FNWMZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Furia14,
author = {Carlo A. Furia},
title = {Rotation of Sequences: Algorithms and Proofs},
journal = {CoRR},
volume = {abs/1406.5453},
year = {2014},
url = {http://arxiv.org/abs/1406.5453},
eprinttype = {arXiv},
eprint = {1406.5453},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Furia14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GaleottiFMFZ14,
author = {Juan P. Galeotti and
Carlo A. Furia and
Eva May and
Gordon Fraser and
Andreas Zeller},
title = {Automating Full Functional Verification of Programs with Loops},
journal = {CoRR},
volume = {abs/1407.5286},
year = {2014},
url = {http://arxiv.org/abs/1407.5286},
eprinttype = {arXiv},
eprint = {1407.5286},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/GaleottiFMFZ14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NanzF14,
author = {Sebastian Nanz and
Carlo A. Furia},
title = {A Comparative Study of Programming Languages in Rosetta Code},
journal = {CoRR},
volume = {abs/1409.0252},
year = {2014},
url = {http://arxiv.org/abs/1409.0252},
eprinttype = {arXiv},
eprint = {1409.0252},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NanzF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/FuriaN13,
author = {Carlo A. Furia and
Sebastian Nanz},
title = {{TOOLS} Europe 2012 Special Section},
journal = {J. Object Technol.},
volume = {12},
number = {3},
year = {2013},
url = {https://doi.org/10.5381/jot.2013.12.3.e1},
doi = {10.5381/JOT.2013.12.3.E1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/FuriaN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswec/EstlerNFM13,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Unifying Configuration Management with Merge Conflict Detection and
Awareness Systems},
booktitle = {22nd Australian Conference on Software Engineering {(ASWEC} 2013),
4-7 June 2013, Melbourne, Victoria, Australia},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ASWEC.2013.32},
doi = {10.1109/ASWEC.2013.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aswec/EstlerNFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/TrudelFNM13,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Giuseppe Castagna},
title = {Really Automatic Scalable Object-Oriented Reengineering},
booktitle = {{ECOOP} 2013 - Object-Oriented Programming - 27th European Conference,
Montpellier, France, July 1-5, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7920},
pages = {477--501},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39038-8\_20},
doi = {10.1007/978-3-642-39038-8\_20},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/TrudelFNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esem/PiccioniFM13,
author = {Marco Piccioni and
Carlo A. Furia and
Bertrand Meyer},
title = {An Empirical Study of {API} Usability},
booktitle = {2013 {ACM} / {IEEE} International Symposium on Empirical Software
Engineering and Measurement, Baltimore, Maryland, USA, October 10-11,
2013},
pages = {5--14},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ESEM.2013.14},
doi = {10.1109/ESEM.2013.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esem/PiccioniFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/NordioCF13,
author = {Martin Nordio and
Cristiano Calcagno and
Carlo Alberto Furia},
editor = {Vittorio Cortellessa and
D{\'{a}}niel Varr{\'{o}}},
title = {Javanni: {A} Verifier for JavaScript},
booktitle = {Fundamental Approaches to Software Engineering - 16th International
Conference, {FASE} 2013, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2013, Rome, Italy, March
16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7793},
pages = {231--234},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37057-1\_17},
doi = {10.1007/978-3-642-37057-1\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/NordioCF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFM13,
author = {H.{-}Christian Estler and
Martin Nordio and
Carlo A. Furia and
Bertrand Meyer},
title = {Collaborative Debugging},
booktitle = {8th {IEEE} International Conference on Global Software Engineering,
{ICGSE} 2013, Bari, Italy, August 26-29, 2013},
pages = {110--119},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICGSE.2013.21},
doi = {10.1109/ICGSE.2013.21},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/PolikarpovaF0WM13,
author = {Nadia Polikarpova and
Carlo A. Furia and
Yu Pei and
Yi Wei and
Bertrand Meyer},
editor = {David Notkin and
Betty H. C. Cheng and
Klaus Pohl},
title = {What good are strong specifications?},
booktitle = {35th International Conference on Software Engineering, {ICSE} '13,
San Francisco, CA, USA, May 18-26, 2013},
pages = {262--271},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSE.2013.6606572},
doi = {10.1109/ICSE.2013.6606572},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/PolikarpovaF0WM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PolikarpovaFW13,
author = {Nadia Polikarpova and
Carlo A. Furia and
Scott West},
editor = {Axel Legay and
Saddek Bensalem},
title = {To Run What No One Has Run Before: Executing an Intermediate Verification
Language},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {251--268},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_15},
doi = {10.1007/978-3-642-40787-1\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/PolikarpovaFW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FuriaMOTW13,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {The search for the laws of automatic random testing},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1211--1216},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480590},
doi = {10.1145/2480362.2480590},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FuriaMOTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FraserBCFGIV13,
author = {Steven Fraser and
Luciano Baresi and
Jane Cleland{-}Huang and
Carlo A. Furia and
Georges Gonthier and
Paola Inverardi and
Moshe Y. Vardi},
editor = {Bertrand Meyer and
Luciano Baresi and
Mira Mezini},
title = {A publication culture in software engineering (panel)},
booktitle = {Joint Meeting of the European Software Engineering Conference and
the {ACM} {SIGSOFT} Symposium on the Foundations of Software Engineering,
ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013},
pages = {19--23},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2491411.2505431},
doi = {10.1145/2491411.2505431},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/FraserBCFGIV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/TschannenFNM13,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Program Checking with Less Hassle},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {149--169},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_8},
doi = {10.1007/978-3-642-54108-7\_8},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/TschannenFNM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FuriaS13,
author = {Carlo A. Furia and
Paola Spoletini},
title = {Bounded Variability of Metric Temporal Logic},
journal = {CoRR},
volume = {abs/1306.2141},
year = {2013},
url = {http://arxiv.org/abs/1306.2141},
eprinttype = {arXiv},
eprint = {1306.2141},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FuriaS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PolikarpovaTFM13,
author = {Nadia Polikarpova and
Julian Tschannen and
Carlo A. Furia and
Bertrand Meyer},
title = {Flexible Invariants Through Semantic Collaboration},
journal = {CoRR},
volume = {abs/1311.6329},
year = {2013},
url = {http://arxiv.org/abs/1311.6329},
eprinttype = {arXiv},
eprint = {1311.6329},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PolikarpovaTFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0030674,
author = {Carlo A. Furia and
Dino Mandrioli and
Angelo Morzenti and
Matteo Rossi},
title = {Modeling Time in Computing},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32332-4},
doi = {10.1007/978-3-642-32332-4},
isbn = {978-3-642-32331-7},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0030674.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Furia12,
author = {Carlo A. Furia},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {A Verifier for Functional Properties of Sequence-Manipulating Programs},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {183--186},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_15},
doi = {10.1007/978-3-642-33386-6\_15},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Furia12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icgse/EstlerNFMS12,
author = {H.{-}Christian Estler and
Mart{\'{\i}}n Nordio and
Carlo A. Furia and
Bertrand Meyer and
Johannes Schneider},
title = {Agile vs. Structured Distributed Software Development: {A} Case Study},
booktitle = {2012 {IEEE} Seventh International Conference on Global Software Engineering,
Porto Alegre, Rio Grande do Sul, Brazil, August 27-30, 2012},
pages = {11--20},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICGSE.2012.22},
doi = {10.1109/ICGSE.2012.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icgse/EstlerNFMS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS12,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Ben C. Moszkowski and
Mark Reynolds and
Paolo Terenziani},
title = {Automata-based Verification of Linear Temporal Logic Models with Bounded
Variability},
booktitle = {19th International Symposium on Temporal Representation and Reasoning,
{TIME} 2012, Leicester, United Kingdom, September 12-14, 2012},
pages = {89--96},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/TIME.2012.13},
doi = {10.1109/TIME.2012.13},
timestamp = {Thu, 15 Feb 2024 11:49:14 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFNMO12,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {C to {O-O} Translation: Beyond the Easy Stuff},
booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
ON, Canada, October 15-18, 2012},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WCRE.2012.12},
doi = {10.1109/WCRE.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/TrudelFNMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFN12,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio},
title = {Automatic {C} to {O-O} Translation with C2Eiffel},
booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
ON, Canada, October 15-18, 2012},
pages = {501--502},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WCRE.2012.60},
doi = {10.1109/WCRE.2012.60},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/TrudelFN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/50-2012,
editor = {Carlo A. Furia and
Sebastian Nanz},
title = {Objects, Models, Components, Patterns - 50th International Conference,
{TOOLS} 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7304},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-30561-0},
doi = {10.1007/978-3-642-30561-0},
isbn = {978-3-642-30560-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/50-2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1205-0178,
author = {Carlo A. Furia},
title = {A Survey of Multi-Tape Automata},
journal = {CoRR},
volume = {abs/1205.0178},
year = {2012},
url = {http://arxiv.org/abs/1205.0178},
eprinttype = {arXiv},
eprint = {1205.0178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1205-0178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-4860,
author = {Carlo A. Furia},
title = {Multi-tape automata for automatic verification},
journal = {CoRR},
volume = {abs/1206.4860},
year = {2012},
url = {http://arxiv.org/abs/1206.4860},
eprinttype = {arXiv},
eprint = {1206.4860},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-4860.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5648,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {Automatic Translation of {C} Source Code to Eiffel},
journal = {CoRR},
volume = {abs/1206.5648},
year = {2012},
url = {http://arxiv.org/abs/1206.5648},
eprinttype = {arXiv},
eprint = {1206.5648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-3337,
author = {Nadia Polikarpova and
Carlo A. Furia and
Yu Pei and
Yi Wei and
Bertrand Meyer},
title = {What Good Are Strong Specifications?},
journal = {CoRR},
volume = {abs/1208.3337},
year = {2012},
url = {http://arxiv.org/abs/1208.3337},
eprinttype = {arXiv},
eprint = {1208.3337},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-3337.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3257,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
title = {The Search for the Laws of Automatic Random Testing},
journal = {CoRR},
volume = {abs/1211.3257},
year = {2012},
url = {http://arxiv.org/abs/1211.3257},
eprinttype = {arXiv},
eprint = {1211.3257},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4470,
author = {Carlo A. Furia and
Bertrand Meyer and
Sergey Velder},
title = {A survey of loop invariants},
journal = {CoRR},
volume = {abs/1211.4470},
year = {2012},
url = {http://arxiv.org/abs/1211.4470},
eprinttype = {arXiv},
eprint = {1211.4470},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4470.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-4775,
author = {H.{-}Christian Estler and
Marco Piccioni and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {How Specifications Change and Why You Should Care},
journal = {CoRR},
volume = {abs/1211.4775},
year = {2012},
url = {http://arxiv.org/abs/1211.4775},
eprinttype = {arXiv},
eprint = {1211.4775},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-4775.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Furia11,
author = {Carlo A. Furia},
title = {Review of The calculus of computation: decision procedures with applications
to verification by Aaron R. Bradley and Zohar Manna},
journal = {{SIGACT} News},
volume = {42},
number = {1},
pages = {32--35},
year = {2011},
url = {https://doi.org/10.1145/1959045.1959053},
doi = {10.1145/1959045.1959053},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Furia11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/WeiFKM11,
author = {Yi Wei and
Carlo A. Furia and
Nikolay Kazmin and
Bertrand Meyer},
editor = {Richard N. Taylor and
Harald C. Gall and
Nenad Medvidovic},
title = {Inferring better contracts},
booktitle = {Proceedings of the 33rd International Conference on Software Engineering,
{ICSE} 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011},
pages = {191--200},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1985793.1985820},
doi = {10.1145/1985793.1985820},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/WeiFKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PeiWFNM11,
author = {Yu Pei and
Yi Wei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Code-based automated program fixing},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {392--395},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100080},
doi = {10.1109/ASE.2011.6100080},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PeiWFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/WeiRFPHSNM11,
author = {Yi Wei and
Hannes Roth and
Carlo A. Furia and
Yu Pei and
Alexander Horton and
Michael Steindorfer and
Martin Nordio and
Bertrand Meyer},
editor = {Perry Alexander and
Corina S. Pasareanu and
John G. Hosking},
title = {Stateful testing: Finding more errors in code and contracts},
booktitle = {26th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2011), Lawrence, KS, USA, November 6-10, 2011},
pages = {440--443},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ASE.2011.6100094},
doi = {10.1109/ASE.2011.6100094},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/WeiRFPHSNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/TschannenFNM11,
author = {Julian Tschannen and
Carlo Alberto Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Automatic Verification of Advanced Object-Oriented Features: The AutoProof
Approach},
booktitle = {Tools for Practical Software Verification, LASER, International Summer
School 2011, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7682},
pages = {133--155},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-35746-6\_5},
doi = {10.1007/978-3-642-35746-6\_5},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/laser/TschannenFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/TschannenFNM11,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
editor = {Gilles Barthe and
Alberto Pardo and
Gerardo Schneider},
title = {Usable Verification of Object-Oriented Programs by Combining Static
and Dynamic Techniques},
booktitle = {Software Engineering and Formal Methods - 9th International Conference,
{SEFM} 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7041},
pages = {382--398},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24690-6\_26},
doi = {10.1007/978-3-642-24690-6\_26},
timestamp = {Sat, 19 Oct 2019 20:16:56 +0200},
biburl = {https://dblp.org/rec/conf/sefm/TschannenFNM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/time/FuriaS11,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Carlo Combi and
Martin Leucker and
Frank Wolter},
title = {On Relaxing Metric Information in Linear Temporal Logic},
booktitle = {Eighteenth International Symposium on Temporal Representation and
Reasoning, {TIME} 2011, L{\"{u}}beck , Germany, September 12-14,
2011},
pages = {72--79},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/TIME.2011.9},
doi = {10.1109/TIME.2011.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/time/FuriaS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/TrudelOFN11,
author = {Marco Trudel and
Manuel Oriol and
Carlo A. Furia and
Martin Nordio},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Automated Translation of Java Source Code to Eiffel},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {20--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_4},
doi = {10.1007/978-3-642-21952-8\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/TrudelOFN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-1059,
author = {Yu Pei and
Yi Wei and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {Evidence-Based Automated Program Fixing},
journal = {CoRR},
volume = {abs/1102.1059},
year = {2011},
url = {http://arxiv.org/abs/1102.1059},
eprinttype = {arXiv},
eprint = {1102.1059},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-1059.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-4700,
author = {Julian Tschannen and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer},
title = {Verifying Eiffel Programs with Boogie},
journal = {CoRR},
volume = {abs/1106.4700},
year = {2011},
url = {http://arxiv.org/abs/1106.4700},
eprinttype = {arXiv},
eprint = {1106.4700},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-4700.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-1068,
author = {Yi Wei and
Hannes Roth and
Carlo A. Furia and
Yu Pei and
Alexander Horton and
Michael Steindorfer and
Martin Nordio and
Bertrand Meyer},
title = {Stateful Testing: Finding More Errors in Code and Contracts},
journal = {CoRR},
volume = {abs/1108.1068},
year = {2011},
url = {http://arxiv.org/abs/1108.1068},
eprinttype = {arXiv},
eprint = {1108.1068},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1108-1068.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaMMR10,
author = {Carlo A. Furia and
Dino Mandrioli and
Angelo Morzenti and
Matteo Rossi},
title = {Modeling time in computing: {A} taxonomy and a comparative survey},
journal = {{ACM} Comput. Surv.},
volume = {42},
number = {2},
pages = {6:1--6:59},
year = {2010},
url = {https://doi.org/10.1145/1667062.1667063},
doi = {10.1145/1667062.1667063},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/FuriaMMR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/MandrioliFFJRY10,
author = {Dino Mandrioli and
Stephen Fickas and
Carlo A. Furia and
Mehdi Jazayeri and
Matteo Rossi and
Michal Young},
title = {{SCORE:} the first student contest on software engineering},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {35},
number = {4},
pages = {24--30},
year = {2010},
url = {https://doi.org/10.1145/1811226.1811240},
doi = {10.1145/1811226.1811240},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/MandrioliFFJRY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/FuriaR10,
author = {Carlo A. Furia and
Matteo Rossi},
title = {A theory of sampling for continuous-time metric temporal logic},
journal = {{ACM} Trans. Comput. Log.},
volume = {12},
number = {1},
pages = {8:1--8:40},
year = {2010},
url = {https://doi.org/10.1145/1838552.1838560},
doi = {10.1145/1838552.1838560},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/FuriaR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/Furia10,
author = {Carlo A. Furia},
editor = {Ahmed Bouajjani and
Wei{-}Ngan Chin},
title = {What's Decidable about Sequences?},
booktitle = {Automated Technology for Verification and Analysis - 8th International
Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6252},
pages = {128--142},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15643-4\_11},
doi = {10.1007/978-3-642-15643-4\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/Furia10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/FuriaM10,
author = {Carlo A. Furia and
Bertrand Meyer},
editor = {Andreas Blass and
Nachum Dershowitz and
Wolfgang Reisig},
title = {Inferring Loop Invariants Using Postconditions},
booktitle = {Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich
on the Occasion of His 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {6300},
pages = {277--300},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15025-8\_15},
doi = {10.1007/978-3-642-15025-8\_15},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/FuriaM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/CavallaroNFP10,
author = {Luca Cavallaro and
Elisabetta Di Nitto and
Carlo A. Furia and
Matteo Pradella},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {A Tile-Based Approach for Self-Assembling Service Compositions},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {43--52},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.6},
doi = {10.1109/ICECCS.2010.6},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/CavallaroNFP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/BindelliNFR10,
author = {Silvia Bindelli and
Elisabetta Di Nitto and
Carlo A. Furia and
Matteo Rossi},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {Using Compositionality to Formally Model and Analyze Systems Built
of a High Number of Components},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {85--94},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.65},
doi = {10.1109/ICECCS.2010.65},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/BindelliNFR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/WeiPFSBMZ10,
author = {Yi Wei and
Yu Pei and
Carlo A. Furia and
Lucas Serpa Silva and
Stefan Buchholz and
Bertrand Meyer and
Andreas Zeller},
editor = {Paolo Tonella and
Alessandro Orso},
title = {Automated fixing of programs with contracts},
booktitle = {Proceedings of the Nineteenth International Symposium on Software
Testing and Analysis, {ISSTA} 2010, Trento, Italy, July 12-16, 2010},
pages = {61--72},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1831708.1831716},
doi = {10.1145/1831708.1831716},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/WeiPFSBMZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/PolikarpovaFM10,
author = {Nadia Polikarpova and
Carlo A. Furia and
Bertrand Meyer},
editor = {Gary T. Leavens and
Peter W. O'Hearn and
Sriram K. Rajamani},
title = {Specifying Reusable Components},
booktitle = {Verified Software: Theories, Tools, Experiments, Third International
Conference, {VSTTE} 2010, Edinburgh, UK, August 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6217},
pages = {127--141},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15057-9\_9},
doi = {10.1007/978-3-642-15057-9\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/PolikarpovaFM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-2100,
author = {Carlo A. Furia},
title = {What's Decidable About Sequences?},
journal = {CoRR},
volume = {abs/1001.2100},
year = {2010},
url = {http://arxiv.org/abs/1001.2100},
eprinttype = {arXiv},
eprint = {1001.2100},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-2100.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1796,
author = {Paul Z. Kolano and
Carlo A. Furia and
Richard A. Kemmerer and
Dino Mandrioli},
title = {Refinement and Verification of Real-Time Systems},
journal = {CoRR},
volume = {abs/1002.1796},
year = {2010},
url = {http://arxiv.org/abs/1002.1796},
eprinttype = {arXiv},
eprint = {1002.1796},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1796.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1003-5777,
author = {Nadia Polikarpova and
Carlo A. Furia and
Bertrand Meyer},
title = {Specifying Reusable Components},
journal = {CoRR},
volume = {abs/1003.5777},
year = {2010},
url = {http://arxiv.org/abs/1003.5777},
eprinttype = {arXiv},
eprint = {1003.5777},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1003-5777.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1009-3455,
author = {Carlo A. Furia and
Alberto Leva and
Martina Maggio and
Paola Spoletini},
title = {A control-theoretical methodology for the scheduling problem},
journal = {CoRR},
volume = {abs/1009.3455},
year = {2010},
url = {http://arxiv.org/abs/1009.3455},
eprinttype = {arXiv},
eprint = {1009.3455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1009-3455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/FuriaPR09,
author = {Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
title = {Comments on temporal logics for real-time system specification},
journal = {{ACM} Comput. Surv.},
volume = {41},
number = {2},
pages = {13:1--13:5},
year = {2009},
url = {https://doi.org/10.1145/1459352.1459358},
doi = {10.1145/1459352.1459358},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/FuriaPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictcs/FuriaS09,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Alessandra Cherubini and
Mario Coppo and
Giuseppe Persiano},
title = {Towards Relaxing Metric Information in Linear Temporal Logic},
booktitle = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
Cremona, Italy, September 28-30, 2009, Proceedings},
pages = {121--124},
year = {2009},
timestamp = {Tue, 28 May 2013 14:21:59 +0200},
biburl = {https://dblp.org/rec/conf/ictcs/FuriaS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BersaniFPR09,
author = {Marcello M. Bersani and
Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
editor = {Dang Van Hung and
Padmanabhan Krishnan},
title = {Integrated Modeling and Verification of Real-Time Systems through
Multiple Paradigms},
booktitle = {Seventh {IEEE} International Conference on Software Engineering and
Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
pages = {13--22},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/SEFM.2009.16},
doi = {10.1109/SEFM.2009.16},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sefm/BersaniFPR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0906-4711,
author = {Carlo A. Furia and
Paola Spoletini},
title = {On Relaxing Metric Information in Linear Temporal Logic},
journal = {CoRR},
volume = {abs/0906.4711},
year = {2009},
url = {http://arxiv.org/abs/0906.4711},
eprinttype = {arXiv},
eprint = {0906.4711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0906-4711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0907-5074,
author = {Marcello M. Bersani and
Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
title = {Integrated Modeling and Verification of Real-Time Systems through
Multiple Paradigms},
journal = {CoRR},
volume = {abs/0907.5074},
year = {2009},
url = {http://arxiv.org/abs/0907.5074},
eprinttype = {arXiv},
eprint = {0907.5074},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0907-5074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0909-0884,
author = {Carlo A. Furia and
Bertrand Meyer},
title = {Inferring Loop Invariants using Postconditions},
journal = {CoRR},
volume = {abs/0909.0884},
year = {2009},
url = {http://arxiv.org/abs/0909.0884},
eprinttype = {arXiv},
eprint = {0909.0884},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0909-0884.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-5642,
author = {Carlo A. Furia and
Matteo Rossi},
title = {A Theory of Sampling for Continuous-time Metric Temporal Logic},
journal = {CoRR},
volume = {abs/0911.5642},
year = {2009},
url = {http://arxiv.org/abs/0911.5642},
eprinttype = {arXiv},
eprint = {0911.5642},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-5642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/FuriaS08,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {Sung Deok Cha and
Jin{-}Young Choi and
Moonzoo Kim and
Insup Lee and
Mahesh Viswanathan},
title = {Practical Efficient Modular Linear-Time Model-Checking},
booktitle = {Automated Technology for Verification and Analysis, 6th International
Symposium, {ATVA} 2008, Seoul, Korea, October 20-23, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5311},
pages = {408--417},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88387-6\_35},
doi = {10.1007/978-3-540-88387-6\_35},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/atva/FuriaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/FuriaMST08,
author = {Carlo A. Furia and
Marco Mazzucchelli and
Paola Spoletini and
Mara Tanelli},
title = {Towards the exhaustive verification of real-time aspects in controller
implementation},
booktitle = {{IEEE} International Conference on Computer-Aided Control Systems,
{CACSD} 2008, San Antonio, TX, USA, September 3-5, 2008},
pages = {1265--1270},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/CACSD.2008.4627349},
doi = {10.1109/CACSD.2008.4627349},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cacsd/FuriaMST08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FuriaPR08,
author = {Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
editor = {Jorge Cu{\'{e}}llar and
T. S. E. Maibaum and
Kaisa Sere},
title = {Automated Verification of Dense-Time {MTL} Specifications Via Discrete-Time
Approximation},
booktitle = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
Methods, Turku, Finland, May 26-30, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5014},
pages = {132--147},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68237-0\_11},
doi = {10.1007/978-3-540-68237-0\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/FuriaPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR08,
author = {Carlo A. Furia and
Matteo Rossi},
editor = {Franck Cassez and
Claude Jard},
title = {{MTL} with Bounded Variability: Decidability and Complexity},
booktitle = {Formal Modeling and Analysis of Timed Systems, 6th International Conference,
{FORMATS} 2008, Saint Malo, France, September 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5215},
pages = {109--123},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85778-5\_9},
doi = {10.1007/978-3-540-85778-5\_9},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/FuriaR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/FuriaPR08,
author = {Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
editor = {Shaoying Liu and
T. S. E. Maibaum and
Keijiro Araki},
title = {Practical Automated Partial Verification of Multi-paradigm Real-Time
Models},
booktitle = {Formal Methods and Software Engineering, 10th International Conference
on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
October 27-31, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5256},
pages = {298--317},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88194-0\_19},
doi = {10.1007/978-3-540-88194-0\_19},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/FuriaPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/FuriaS08,
author = {Carlo A. Furia and
Paola Spoletini},
editor = {John S. Fitzgerald and
Anne E. Haxthausen and
H{\"{u}}sn{\"{u}} Yenig{\"{u}}n},
title = {Tomorrow and All our Yesterdays: {MTL} Satisfiability over the Integers},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International
Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5160},
pages = {126--140},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85762-4\_9},
doi = {10.1007/978-3-540-85762-4\_9},
timestamp = {Fri, 28 Feb 2020 14:02:33 +0100},
biburl = {https://dblp.org/rec/conf/ictac/FuriaS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0804-4383,
author = {Carlo A. Furia and
Matteo Pradella and
Matteo Rossi},
title = {Practical Automated Partial Verification of Multi-Paradigm Real-Time
Models},
journal = {CoRR},
volume = {abs/0804.4383},
year = {2008},
url = {http://arxiv.org/abs/0804.4383},
eprinttype = {arXiv},
eprint = {0804.4383},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0804-4383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-4132,
author = {Carlo A. Furia and
Dino Mandrioli and
Angelo Morzenti and
Matteo Rossi},
title = {Modeling Time in Computing: {A} Taxonomy and a Comparative Survey},
journal = {CoRR},
volume = {abs/0807.4132},
year = {2008},
url = {http://arxiv.org/abs/0807.4132},
eprinttype = {arXiv},
eprint = {0807.4132},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-4132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/FuriaR07,
author = {Carlo A. Furia and
Matteo Rossi},
title = {No Need to Be Strict: On the Expressiveness of Metric Temporal Logics
with (Non-)strict Operators},
journal = {Bull. {EATCS}},
volume = {92},
pages = {150--160},
year = {2007},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/FuriaR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FuriaRMM07,
author = {Carlo A. Furia and
Matteo Rossi and
Dino Mandrioli and
Angelo Morzenti},
title = {Automated compositional proofs for real-time systems},
journal = {Theor. Comput. Sci.},
volume = {376},
number = {3},
pages = {164--184},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.003},
doi = {10.1016/J.TCS.2007.02.003},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/FuriaRMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR07,
author = {Carlo A. Furia and
Matteo Rossi},
editor = {Jean{-}Fran{\c{c}}ois Raskin and
P. S. Thiagarajan},
title = {On the Expressiveness of {MTL} Variants over Dense Time},
booktitle = {Formal Modeling and Analysis of Timed Systems, 5th International Conference,
{FORMATS} 2007, Salzburg, Austria, October 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4763},
pages = {163--178},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75454-1\_13},
doi = {10.1007/978-3-540-75454-1\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/FuriaR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FuriaRM07,
author = {Carlo A. Furia and
Matteo Rossi and
Dino Mandrioli},
title = {Modeling the Environment in Software-Intensive Systems},
booktitle = {International Workshop on Modeling in Software Engineering, MiSE 2007,
Minneapolis, MN, USA, May 20-26, 2007},
pages = {11},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/MISE.2007.11},
doi = {10.1109/MISE.2007.11},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FuriaRM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/FuriaMPR06,
author = {Carlo A. Furia and
Angelo Morzenti and
Matteo Pradella and
Matteo Rossi},
title = {Comments on "An Interval Logic for Real-Time System Specification'},
journal = {{IEEE} Trans. Software Eng.},
volume = {32},
number = {6},
pages = {424--427},
year = {2006},
url = {https://doi.org/10.1109/TSE.2006.50},
doi = {10.1109/TSE.2006.50},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/FuriaMPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/FuriaR06,
author = {Carlo A. Furia and
Matteo Rossi},
editor = {Eugene Asarin and
Patricia Bouyer},
title = {Integrating Discrete- and Continuous-Time Metric Temporal Logics Through
Sampling},
booktitle = {Formal Modeling and Analysis of Timed Systems, 4th International Conference,
{FORMATS} 2006, Paris, France, September 25-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4202},
pages = {215--229},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11867340\_16},
doi = {10.1007/11867340\_16},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/FuriaR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/FuriaRMM05,
author = {Carlo A. Furia and
Matteo Rossi and
Dino Mandrioli and
Angelo Morzenti},
editor = {Maura Cerioli},
title = {Automated Compositional Proofs for Real-Time Systems},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {326--340},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_25},
doi = {10.1007/978-3-540-31984-9\_25},
timestamp = {Mon, 17 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/FuriaRMM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscis/MattaFR04,
author = {Andrea Matta and
Carlo A. Furia and
Matteo Rossi},
editor = {Cevdet Aykanat and
Tugrul Dayar and
Ibrahim Korpeoglu},
title = {Semi-formal and Formal Models Applied to Flexible Manufacturing Systems},
booktitle = {Computer and Information Sciences - {ISCIS} 2004, 19th International
Symposium, Kemer-Antalya, Turkey, October 27-29, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3280},
pages = {718--728},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30182-0\_72},
doi = {10.1007/978-3-540-30182-0\_72},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iscis/MattaFR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FuriaR05,
author = {Carlo A. Furia and
Matteo Rossi},
editor = {Mauro Pezz{\`{e}}},
title = {A Compositional Framework for Formally Verifying Modular Systems},
booktitle = {Proceedings of the International Workshop on Test and Analysis of
Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {116},
pages = {185--198},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.02.076},
doi = {10.1016/J.ENTCS.2004.02.076},
timestamp = {Fri, 09 Dec 2022 13:14:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FuriaR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-27 23:13 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
