Mitigating omitted variable bias in empirical software engineering.

Carlo A. Furia Carlo Alberto Furia

Carlo A. Furia Richard Torkar Mitigating omitted variable bias in empirical software engineering. 2026 September 123 31 Empir. Softw. Eng. 5 https://doi.org/10.1007/s10664-026-10851-1 db/journals/ese/ese31.html#FuriaT26 streams/journals/ese

Shifat Sahariar Bhuiyan Abhishek Tiwari 0001 Yu Pei 0001 Carlo A. Furia PrevaRank: Ranking plausible patches by historic feature frequencies. 2026 112921 240 J. Syst. Softw. https://doi.org/10.1016/j.jss.2026.112921 db/journals/jss/jss240.html#BhuiyanTPF26 streams/journals/jss

Julian Frattini Richard Torkar Robert Feldt Carlo A. Furia Towards Improving the External Validity of Software Engineering Experiments with Transportability Methods. 2026 April abs/2604.08200 CoRR https://doi.org/10.48550/arXiv.2604.08200 db/journals/corr/corr2604.html#abs-2604-08200 streams/journals/corr

Marco Paganoni Carlo A. Furia Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack. 31:1-31:26 2025 December 37 Formal Aspects Comput. 4 https://doi.org/10.1145/3712015 db/journals/fac/fac37.html#PaganoniF25 streams/journals/fac

Carlo A. Furia Andrea Mocci What Makes a Level Hard in Super Mario Maker 2? 1-8 2025 CoG https://doi.org/10.1109/CoG64752.2025.11114357 conf/cig/2025 db/conf/cig/cog2025.html#FuriaM25 streams/conf/cig Marco Paganoni Carlo A. Furia Reasoning about Substitutability at the Level of JVM Bytecode. 236-256 2025 FASE https://doi.org/10.1007/978-3-031-90900-9_12 conf/fase/2025 db/conf/fase/fase2025.html#PaganoniF25 streams/conf/fase Lidia Losavio Marco Paganoni Carlo A. Furia Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. 401-423 2025 iFM https://doi.org/10.1007/978-3-032-10794-7_20 conf/ifm/2025 db/conf/ifm/ifm2025.html#LosavioPF25 streams/conf/ifm

Carlo A. Furia Richard Torkar Mitigating Omitted Variable Bias in Empirical Software Engineering. 2025 January abs/2501.17026 CoRR https://doi.org/10.48550/arXiv.2501.17026 db/journals/corr/corr2501.html#abs-2501-17026 streams/journals/corr

Carlo A. Furia Andrea Mocci What Makes a Level Hard in Super Mario Maker 2? 2025 July abs/2507.21078 CoRR https://doi.org/10.48550/arXiv.2507.21078 db/journals/corr/corr2507.html#abs-2507-21078 streams/journals/corr

Lidia Losavio Marco Paganoni Carlo A. Furia Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. 2025 August abs/2508.17895 CoRR https://doi.org/10.48550/arXiv.2508.17895 db/journals/corr/corr2508.html#abs-2508-17895 streams/journals/corr

Diego Marcilio Carlo A. Furia Lightweight precise automatic extraction of exception preconditions in java methods. 30 2024 February 29 Empir. Softw. Eng. 1 https://doi.org/10.1007/s10664-023-10392-x db/journals/ese/ese29.html#MarcilioF24

Riccardo Felici Laura Pozzi 0001 Carlo A. Furia HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. 38 2024 April 29 Empir. Softw. Eng. 2 https://doi.org/10.1007/s10664-023-10430-8 https://www.wikidata.org/entity/Q130073082 db/journals/ese/ese29.html#FeliciPF24

Mohammad Rezaalipour Carlo A. Furia An empirical study of fault localization in Python programs. 92 2024 July 29 Empir. Softw. Eng. 4 https://doi.org/10.1007/s10664-024-10475-3 db/journals/ese/ese29.html#RezaalipourF24

Carlo A. Furia Richard Torkar Robert Feldt Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. 13:1-13:35 2024 January 33 ACM Trans. Softw. Eng. Methodol. 1 https://doi.org/10.1145/3611667 https://www.wikidata.org/entity/Q130824907 db/journals/tosem/tosem33.html#FuriaTF24

Abhishek Tiwari 0001 Jyoti Prakash Zhen Dong Carlo A. Furia Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. 285-303 2024 FM (1) https://doi.org/10.1007/978-3-031-71162-6_15 conf/fm/2024-1 db/conf/fm/fm2024-1.html#TiwariPDF24 streams/conf/fm Carlo A. Furia Abhishek Tiwari 0001 Challenges of Multilingual Program Specification and Analysis. 124-143 2024 ISoLA (3) https://doi.org/10.1007/978-3-031-75380-0_8 conf/isola/2024-3 db/conf/isola/isola2024-3.html#FuriaT24 streams/conf/isola Nico Plat Stefania Gnesi Carlo A. Furia Antónia Lopes Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024 FormaliSE@ICSE ACM 2024 https://doi.org/10.1145/3644033 https://ieeexplore.ieee.org/xpl/conhome/10555571/proceeding db/conf/icse-formalise/formalise2024.html

Mohammad Rezaalipour Carlo A. Furia FauxPy: A Fault Localization Tool for Python. 2024 abs/2404.18596 CoRR https://doi.org/10.48550/arXiv.2404.18596 db/journals/corr/corr2404.html#abs-2404-18596

Carlo A. Furia Abhishek Tiwari 0001 Challenges of Multilingual Program Specification and Analysis. 2024 abs/2407.11661 CoRR https://doi.org/10.48550/arXiv.2407.11661 db/journals/corr/corr2407.html#abs-2407-11661 streams/journals/corr

Shifat Sahariar Bhuiyan Abhishek Tiwari 0001 Yu Pei 0001 Carlo A. Furia Ranking Plausible Patches by Historic Feature Frequencies. 2024 abs/2407.17240 CoRR https://doi.org/10.48550/arXiv.2407.17240 db/journals/corr/corr2407.html#abs-2407-17240 streams/journals/corr

Riccardo Felici Laura Pozzi 0001 Carlo A. Furia ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters. 2024 abs/2408.00433 CoRR https://doi.org/10.48550/arXiv.2408.00433 db/journals/corr/corr2408.html#abs-2408-00433 streams/journals/corr

Marco Paganoni Carlo A. Furia Reasoning About Exceptional Behavior At the Level of Java Bytecode. 2024 abs/2409.20056 CoRR https://doi.org/10.48550/arXiv.2409.20056 db/journals/corr/corr2409.html#abs-2409-20056 streams/journals/corr

Marco Paganoni Carlo A. Furia Verifying Functional Correctness Properties At the Level of Java Bytecode. 2024 abs/2409.20071 CoRR https://doi.org/10.48550/arXiv.2409.20071 db/journals/corr/corr2409.html#abs-2409-20071 streams/journals/corr

Mohammad Rezaalipour Carlo A. Furia An annotation-based approach for finding bugs in neural network programs. 111669 2023 July 201 J. Syst. Softw. https://doi.org/10.1016/j.jss.2023.111669 db/journals/jss/jss201.html#RezaalipourF23

Liushan Chen Yu Pei 0001 Minxue Pan Tian Zhang 0001 Qixin Wang 0001 Carlo A. Furia Program Repair With Repeated Learning. 831-848 2023 February 49 IEEE Trans. Software Eng. 2 https://doi.org/10.1109/TSE.2022.3164662 db/journals/tse/tse49.html#ChenPPZWF23

Marco Paganoni Carlo A. Furia Verifying Functional Correctness Properties at the Level of Java Bytecode. 343-363 2023 FM https://doi.org/10.1007/978-3-031-27481-7_20 conf/fm/2023 db/conf/fm/fm2023.html#PaganoniF23 Diego Marcilio Carlo A. Furia Towards Code Improvements Suggestions from Client Exception Analysis. 363-368 2023 ICSME https://doi.org/10.1109/ICSME58846.2023.00046 conf/icsm/2023 db/conf/icsm/icsme2023.html#MarcilioF23 Mohammad Rezaalipour Carlo A. Furia aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs. 574-579 2023 ICSME https://doi.org/10.1109/ICSME58846.2023.00075 conf/icsm/2023 db/conf/icsm/icsme2023.html#RezaalipourF23 Marco Paganoni Carlo A. Furia Reasoning About Exceptional Behavior at the Level of Java Bytecode. 113-133 2023 iFM https://doi.org/10.1007/978-3-031-47705-8_7 conf/ifm/2023 db/conf/ifm/ifm2023.html#PaganoniF23

Carlo A. Furia Richard Torkar Robert Feldt Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. 2023 abs/2301.07524 CoRR https://doi.org/10.48550/arXiv.2301.07524 db/journals/corr/corr2301.html#abs-2301-07524

Mohammad Rezaalipour Carlo A. Furia An Empirical Study of Fault Localization in Python Programs. 2023 abs/2305.19834 CoRR https://doi.org/10.48550/arXiv.2305.19834 db/journals/corr/corr2305.html#abs-2305-19834

Bhargav Nagaraja Bhatt Carlo A. Furia Automated repair of resource leaks in Android applications. 111417 2022 192 J. Syst. Softw. https://doi.org/10.1016/j.jss.2022.111417 https://www.wikidata.org/entity/Q113869720 db/journals/jss/jss192.html#BhattF22

Carlo A. Furia Richard Torkar Robert Feldt Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. 40:1-40:38 2022 31 ACM Trans. Softw. Eng. Methodol. 3 https://doi.org/10.1145/3490953 https://www.wikidata.org/entity/Q111901101 db/journals/tosem/tosem31.html#FuriaTF22

Tongtong Xu Liushan Chen Yu Pei 0001 Tian Zhang 0001 Minxue Pan Carlo A. Furia Restore: Retrospective Fault Localization Enhancing Automated Program Repair. 309-326 2022 48 IEEE Trans. Software Eng. 2 https://doi.org/10.1109/TSE.2020.2987862 db/journals/tse/tse48.html#XuCPZPF22

Richard Torkar Carlo A. Furia Robert Feldt Francisco Gomes de Oliveira Neto Lucas Gren Per Lenberg Neil A. Ernst A Method to Assess and Argue for Practical Significance in Software Engineering. 2053-2065 2022 48 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2020.3048991 db/journals/tse/tse48.html#TorkarFFNGLE22

Diego Marcilio Carlo A. Furia What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. 340-351 2022 ICSME https://doi.org/10.1109/ICSME55016.2022.00038 conf/icsm/2022 db/conf/icsm/icsme2022.html#MarcilioF22 Martin Odermatt Diego Marcilio Carlo A. Furia Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects. 805-816 2022 SANER https://doi.org/10.1109/SANER53432.2022.00098 conf/wcre/2022 db/conf/wcre/saner2022.html#OdermattMF22

Riccardo Felici Laura Pozzi 0001 Carlo A. Furia HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools. 2022 abs/2209.06615 CoRR https://doi.org/10.48550/arXiv.2209.06615 db/journals/corr/corr2209.html#abs-2209-06615

Claire Dross Carlo A. Furia Marieke Huisman Rosemary Monahan Peter Müller 0001 VerifyThis 2019: a program verification competition. 883-893 2021 23 Int. J. Softw. Tools Technol. Transf. 6 https://doi.org/10.1007/s10009-021-00619-x db/journals/sttt/sttt23.html#DrossFHMM21

Carlo A. Furia Robert Feldt Richard Torkar Bayesian Data Analysis in Empirical Software Engineering Research. 1786-1810 2021 47 IEEE Trans. Software Eng. 9 https://doi.org/10.1109/TSE.2019.2935974 db/journals/tse/tse47.html#FuriaFT21

Liushan Chen Yu Pei 0001 Carlo A. Furia Contract-Based Program Repair Without The Contracts: An Extended Study. 2841-2857 2021 47 IEEE Trans. Software Eng. 12 https://doi.org/10.1109/TSE.2020.2970009 db/journals/tse/tse47.html#ChenPF21

Richard Torkar Carlo A. Furia Robert Feldt Bayesian Data Analysis for Software Engineering. 328-329 2021 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-Companion52605.2021.00140 conf/icse/2021c db/conf/icse/icse2021c.html#TorkarFF21 Diego Marcilio Carlo A. Furia How Java Programmers Test Exceptional Behavior. 207-218 2021 MSR https://doi.org/10.1109/MSR52588.2021.00033 conf/msr/2021 db/conf/msr/msr2021.html#MarcilioF21

Carlo A. Furia Richard Torkar Robert Feldt Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. 2021 abs/2101.12591 CoRR https://arxiv.org/abs/2101.12591 db/journals/corr/corr2101.html#abs-2101-12591

Mohammad Rezaalipour Carlo A. Furia Test-Case Generation for Finding Neural Network Bugs. 2021 abs/2112.05567 CoRR https://arxiv.org/abs/2112.05567 db/journals/corr/corr2112.html#abs-2112-05567

Diego Marcilio Carlo A. Furia Rodrigo Bonifácio Gustavo Pinto 0001 SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings. 110671 2020 168 J. Syst. Softw. https://doi.org/10.1016/j.jss.2020.110671 db/journals/jss/jss168.html#MarcilioFBP20

Richard Torkar Robert Feldt Carlo A. Furia Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing Data. 289-324 2020 Contemporary Empirical Methods in Software Engineering https://doi.org/10.1007/978-3-030-32489-6_11 books/sp/20/FT2020 db/books/collections/FT2020.html#TorkarFF20

Bhargav Nagaraja Bhatt Carlo A. Furia Automated Repair of Resource Leaks in Android Applications. 2020 abs/2003.03201 CoRR https://arxiv.org/abs/2003.03201 db/journals/corr/corr2003.html#abs-2003-03201

Claire Dross Carlo A. Furia Marieke Huisman Rosemary Monahan Peter Müller 0001 VerifyThis 2019: A Program Verification Competition (Extended Report). 2020 abs/2008.13610 CoRR https://arxiv.org/abs/2008.13610 db/journals/corr/corr2008.html#abs-2008-13610

Paul Ralph Sebastian Baltes Domenico Bianculli Yvonne Dittrich Michael Felderer Robert Feldt Antonio Filieri Carlo Alberto Furia Daniel Graziotin Pinjia He Rashina Hoda Natalia Juristo Barbara A. Kitchenham Romain Robbes Daniel Méndez 0001 Jefferson Seide Molléri Diomidis Spinellis Miroslaw Staron Klaas-Jan Stol Damian A. Tamburri Marco Torchiano Christoph Treude Burak Turhan Sira Vegas ACM SIGSOFT Empirical Standards. 2020 abs/2010.03525 CoRR https://arxiv.org/abs/2010.03525 db/journals/corr/corr2010.html#abs-2010-03525

Francisco Gomes de Oliveira Neto Richard Torkar Robert Feldt Lucas Gren Carlo A. Furia Ziwei Huang Evolution of statistical analysis in empirical software engineering research: Current state and steps forward. 246-267 2019 156 J. Syst. Softw. https://doi.org/10.1016/j.jss.2019.07.002 https://www.wikidata.org/entity/Q127582264 db/journals/jss/jss156.html#NetoTFGFH19

Diego Marcilio Carlo A. Furia Rodrigo Bonifácio Gustavo Pinto 0001 Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. 34-44 2019 SCAM https://doi.org/10.1109/SCAM.2019.00013 conf/scam/2019 db/conf/scam/scam2019.html#MarcilioFB019

Tongtong Xu Liushan Chen Yu Pei 0001 Tian Zhang 0001 Minxue Pan Carlo A. Furia Restore: Retrospective Fault Localization Enhancing Automated Program Repair. 2019 abs/1906.01778 CoRR http://arxiv.org/abs/1906.01778 db/journals/corr/corr1906.html#abs-1906-01778

Nadia Polikarpova Julian Tschannen Carlo A. Furia A fully verified container library. 495-523 2018 30 Formal Aspects Comput. 5 https://doi.org/10.1007/s00165-017-0435-1 https://www.wikidata.org/entity/Q59523455 db/journals/fac/fac30.html#PolikarpovaTF18

Bernhard K. Aichernig Carlo A. Furia Marie-Claude Gaudel Robert M. Hierons Special section of Tests and Proofs 2016. 627-628 2018 30 Formal Aspects Comput. 6 https://doi.org/10.1007/s00165-018-0474-2 https://www.wikidata.org/entity/Q113906135 db/journals/fac/fac30.html#AichernigFGH18

Yuting Chen Carlo A. Furia Robustness Testing of Intermediate Verifiers. 91-108 2018 ATVA https://doi.org/10.1007/978-3-030-01090-4_6 conf/atva/2018 db/conf/atva/atva2018.html#ChenF18 Carlo A. Furia Kirsten Winter Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings IFM Springer 2018 Lecture Notes in Computer Science 11023 978-3-319-98937-2 978-3-319-98938-9 https://doi.org/10.1007/978-3-319-98938-9 db/conf/ifm/ifm2018.html

Yuting Chen Carlo A. Furia Robustness Testing of Intermediate Verifiers. 2018 abs/1805.03296 CoRR http://arxiv.org/abs/1805.03296 db/journals/corr/corr1805.html#abs-1805-03296

Richard Torkar Robert Feldt Carlo A. Furia Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis. 2018 abs/1809.09849 CoRR http://arxiv.org/abs/1809.09849 db/journals/corr/corr1809.html#abs-1809-09849

Carlo A. Furia Robert Feldt Richard Torkar Bayesian Data Analysis in Empirical Software Engineering Research. 2018 abs/1811.05422 CoRR http://arxiv.org/abs/1811.05422 db/journals/corr/corr1811.html#abs-1811-05422

Carlo A. Furia Paola Spoletini Bounded variability of metric temporal logic. 283-316 2017 80 Ann. Math. Artif. Intell. 3-4 https://doi.org/10.1007/s10472-016-9532-8 https://www.wikidata.org/entity/Q57453362 db/journals/amai/amai80.html#FuriaS17

Carlo A. Furia Martin Nordio Nadia Polikarpova Julian Tschannen AutoProof: auto-active functional verification of object-oriented programs. 697-716 2017 19 Int. J. Softw. Tools Technol. Transf. 6 https://doi.org/10.1007/s10009-016-0419-0 db/journals/sttt/sttt19.html#FuriaNPT17

Carlo A. Furia What good is bayesian data analysis for software engineering? 374-376 2017 ICSE (Companion Volume) https://doi.org/10.1109/ICSE-C.2017.92 https://doi.ieeecomputersociety.org/10.1109/ICSE-C.2017.92 http://dl.acm.org/citation.cfm?id=3098472 conf/icse/2017c db/conf/icse/icse2017c.html#Furia17 Yuting Chen Carlo A. Furia Triggerless Happy - Intermediate Verification with a First-Order Prover. 295-311 2017 IFM https://doi.org/10.1007/978-3-319-66845-1_19 conf/ifm/2017 db/conf/ifm/ifm2017.html#ChenF17 Liushan Chen Yu Pei 0001 Carlo A. Furia Contract-based program repair without the contracts. 637-647 2017 ASE https://doi.org/10.1109/ASE.2017.8115674 https://doi.ieeecomputersociety.org/10.1109/ASE.2017.8115674 http://dl.acm.org/citation.cfm?id=3155642 conf/kbse/2017 db/conf/kbse/ase2017.html#Chen0F17 Michael Ameri Carlo A. Furia Why Just Boogie? - Translating Between Intermediate Verification Languages. 79-95 2016 IFM https://doi.org/10.1007/978-3-319-33693-0_6 conf/ifm/2016 db/conf/ifm/ifm2016.html#AmeriF16 Bernhard K. Aichernig Carlo A. Furia Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings TAP@STAF Springer 2016 Lecture Notes in Computer Science 9762 978-3-319-41134-7 https://doi.org/10.1007/978-3-319-41135-4 db/conf/tap/tap2016.html

Michael Ameri Carlo A. Furia Why Just Boogie? Translating Between Intermediate Verification Languages. 2016 abs/1601.00516 CoRR http://arxiv.org/abs/1601.00516 db/journals/corr/corr1601.html#AmeriF16

Carlo A. Furia Bayesian Statistics in Software Engineering: Practical Guide and Case Studies. 2016 abs/1608.06865 CoRR http://arxiv.org/abs/1608.06865 db/journals/corr/corr1608.html#Furia16

Julian Tschannen Carlo A. Furia Martin Nordio AutoProof meets some verification challenges. 745-755 2015 17 Int. J. Softw. Tools Technol. Transf. 6 https://doi.org/10.1007/s10009-014-0300-y db/journals/sttt/sttt17.html#TschannenFN15

Juan P. Galeotti Carlo A. Furia Eva May Gordon Fraser 0001 Andreas Zeller Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. 1019-1037 2015 41 IEEE Trans. Software Eng. 10 https://doi.org/10.1109/TSE.2015.2431688 http://doi.ieeecomputersociety.org/10.1109/TSE.2015.2431688 db/journals/tse/tse41.html#GaleottiFMFZ15

Nadia Polikarpova Julian Tschannen Carlo A. Furia A Fully Verified Container Library. 414-434 2015 FM https://doi.org/10.1007/978-3-319-19249-9_26 conf/fm/2015 db/conf/fm/fm2015.html#PolikarpovaTF15 Yu Pei 0001 Carlo A. Furia Martín Nordio Bertrand Meyer 0001 Automated Program Repair in an Integrated Development Environment. 681-684 2015 ICSE (2) https://doi.org/10.1109/ICSE.2015.222 https://doi.ieeecomputersociety.org/10.1109/ICSE.2015.222 http://dl.acm.org/citation.cfm?id=2819137 conf/icse/2015-2 db/conf/icse/icse2015-2.html#0001FNM15 Sebastian Nanz Carlo A. Furia A Comparative Study of Programming Languages in Rosetta Code. 778-788 2015 ICSE (1) https://doi.org/10.1109/ICSE.2015.90 https://doi.ieeecomputersociety.org/10.1109/ICSE.2015.90 http://dl.acm.org/citation.cfm?id=2818848 conf/icse/2015-1 db/conf/icse/icse2015-1.html#NanzF15 Julian Tschannen Carlo A. Furia Martin Nordio Nadia Polikarpova AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. 566-580 2015 TACAS https://doi.org/10.1007/978-3-662-46681-0_53 conf/tacas/2015 db/conf/tacas/tacas2015.html#TschannenFNP15 Carlo A. Furia Christopher M. Poskitt Julian Tschannen The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE 2015 42-55 https://doi.org/10.4204/EPTCS.187.4 http://arxiv.org/abs/1508.03895 journals/corr/DuboisMM15 db/series/eptcs/eptcs187.html#FuriaPT15

Julian Tschannen Carlo A. Furia Martín Nordio Nadia Polikarpova AutoProof: Auto-active Functional Verification of Object-oriented Programs. 2015 abs/1501.03063 CoRR http://arxiv.org/abs/1501.03063 db/journals/corr/corr1501.html#TschannenFNP15

Carlo A. Furia Bertrand Meyer 0001 Sergey Velder Loop invariants: Analysis, classification, and examples. 34:1-34:51 2014 46 ACM Comput. Surv. 3 https://doi.org/10.1145/2506375 db/journals/csur/csur46.html#FuriaMV14

Hans-Christian Estler Martin Nordio Carlo A. Furia Bertrand Meyer 0001 Johannes Schneider 0002 Agile vs. structured distributed software development: A case study. 1197-1224 2014 19 Empir. Softw. Eng. 5 https://doi.org/10.1007/s10664-013-9271-y https://www.wikidata.org/entity/Q110569612 db/journals/ese/ese19.html#EstlerNFMS14

Yu Pei 0001 Carlo A. Furia Martin Nordio Yi Wei 0001 Bertrand Meyer 0001 Andreas Zeller Automated Fixing of Programs with Contracts. 427-449 2014 40 IEEE Trans. Software Eng. 5 https://doi.org/10.1109/TSE.2014.2312918 http://doi.ieeecomputersociety.org/10.1109/TSE.2014.2312918 https://www.wikidata.org/entity/Q57311861 db/journals/tse/tse40.html#0001FNWMZ14

Yu Pei 0001 Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Automatic Program Repair by Fixing Contracts. 246-260 2014 FASE https://doi.org/10.1007/978-3-642-54804-8_17 conf/fase/2014 db/conf/fase/fase2014.html#0001FNM14 H.-Christian Estler Carlo A. Furia Martin Nordio Marco Piccioni Bertrand Meyer 0001 Contracts in Practice. 230-246 2014 FM https://doi.org/10.1007/978-3-319-06410-9_17 conf/fm/2014 db/conf/fm/fm2014.html#EstlerFNPM14 Nadia Polikarpova Julian Tschannen Carlo A. Furia Bertrand Meyer 0001 Flexible Invariants through Semantic Collaboration. 514-530 2014 FM https://doi.org/10.1007/978-3-319-06410-9_35 conf/fm/2014 db/conf/fm/fm2014.html#PolikarpovaTFM14 Juan Pablo Galeotti Carlo A. Furia Eva May Gordon Fraser 0001 Andreas Zeller DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. 48-53 2014 Haifa Verification Conference https://doi.org/10.1007/978-3-319-13338-6_4 conf/hvc/2014 db/conf/hvc/hvc2014.html#GaleottiFMFZ14 H.-Christian Estler Martin Nordio Carlo A. Furia Bertrand Meyer 0001 Awareness and Merge Conflicts in Distributed Software Development. 26-35 2014 ICGSE https://doi.org/10.1109/ICGSE.2014.17 https://doi.ieeecomputersociety.org/10.1109/ICGSE.2014.17 conf/icgse/2014 db/conf/icgse/icgse2014.html#EstlerNFM14 Carlo A. Furia Paola Spoletini Bounded Variability of Metric Temporal Logic. 155-163 2014 TIME https://doi.org/10.1109/TIME.2014.18 https://doi.ieeecomputersociety.org/10.1109/TIME.2014.18 conf/time/2014 db/conf/time/time2014.html#FuriaS14

Yu Pei 0001 Carlo A. Furia Martin Nordio Yi Wei 0001 Bertrand Meyer 0001 Andreas Zeller Automated Fixing of Programs with Contracts. 2014 abs/1403.1117 CoRR http://arxiv.org/abs/1403.1117 db/journals/corr/corr1403.html#0001FNWMZ14

Carlo A. Furia Rotation of Sequences: Algorithms and Proofs. 2014 abs/1406.5453 CoRR http://arxiv.org/abs/1406.5453 db/journals/corr/corr1406.html#Furia14

Juan P. Galeotti Carlo A. Furia Eva May Gordon Fraser 0001 Andreas Zeller Automating Full Functional Verification of Programs with Loops. 2014 abs/1407.5286 CoRR http://arxiv.org/abs/1407.5286 db/journals/corr/corr1407.html#GaleottiFMFZ14

Sebastian Nanz Carlo A. Furia A Comparative Study of Programming Languages in Rosetta Code. 2014 abs/1409.0252 CoRR http://arxiv.org/abs/1409.0252 db/journals/corr/corr1409.html#NanzF14

Carlo A. Furia Sebastian Nanz TOOLS Europe 2012 Special Section. 2013 12 J. Object Technol. 3 https://doi.org/10.5381/jot.2013.12.3.e1 db/journals/jot/jot12.html#FuriaN13

H.-Christian Estler Martin Nordio Carlo A. Furia Bertrand Meyer 0001 Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. 201-210 2013 Australian Software Engineering Conference https://doi.org/10.1109/ASWEC.2013.32 https://doi.ieeecomputersociety.org/10.1109/ASWEC.2013.32 conf/aswec/2013 db/conf/aswec/aswec2013.html#EstlerNFM13 Marco Trudel Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Really Automatic Scalable Object-Oriented Reengineering. 477-501 2013 ECOOP https://doi.org/10.1007/978-3-642-39038-8_20 conf/ecoop/2013 db/conf/ecoop/ecoop2013.html#TrudelFNM13 Marco Piccioni Carlo A. Furia Bertrand Meyer 0001 An Empirical Study of API Usability. 5-14 2013 ESEM https://doi.org/10.1109/ESEM.2013.14 https://doi.ieeecomputersociety.org/10.1109/ESEM.2013.14 conf/esem/2013 db/conf/esem/esem2013.html#PiccioniFM13 Martin Nordio Cristiano Calcagno Carlo Alberto Furia Javanni: A Verifier for JavaScript. 231-234 2013 FASE https://doi.org/10.1007/978-3-642-37057-1_17 conf/fase/2013 db/conf/fase/fase2013.html#NordioCF13 H.-Christian Estler Martin Nordio Carlo A. Furia Bertrand Meyer 0001 Collaborative Debugging. 110-119 2013 ICGSE https://doi.org/10.1109/ICGSE.2013.21 https://doi.ieeecomputersociety.org/10.1109/ICGSE.2013.21 conf/icgse/2013 db/conf/icgse/icgse2013.html#EstlerNFM13 Nadia Polikarpova Carlo A. Furia Yu Pei 0001 Yi Wei 0001 Bertrand Meyer 0001 What good are strong specifications? 262-271 2013 ICSE https://doi.org/10.1109/ICSE.2013.6606572 https://doi.ieeecomputersociety.org/10.1109/ICSE.2013.6606572 http://dl.acm.org/citation.cfm?id=2486823 conf/icse/2013 db/conf/icse/icse2013.html#PolikarpovaF0WM13 Nadia Polikarpova Carlo A. Furia Scott West To Run What No One Has Run Before: Executing an Intermediate Verification Language. 251-268 2013 RV https://doi.org/10.1007/978-3-642-40787-1_15 conf/rv/2013 db/conf/rv/rv2013.html#PolikarpovaFW13 Carlo A. Furia Bertrand Meyer 0001 Manuel Oriol Andrey Tikhomirov Yi Wei 0001 The search for the laws of automatic random testing. 1211-1216 2013 SAC https://doi.org/10.1145/2480362.2480590 conf/sac/2013 db/conf/sac/sac2013.html#FuriaMOTW13 Steven Fraser 0001 Luciano Baresi Jane Cleland-Huang Carlo A. Furia Georges Gonthier Paola Inverardi Moshe Y. Vardi A publication culture in software engineering (panel). 19-23 2013 ESEC/SIGSOFT FSE https://doi.org/10.1145/2491411.2505431 conf/sigsoft/2013 db/conf/sigsoft/fse2013.html#FraserBCFGIV13 Julian Tschannen Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Program Checking with Less Hassle. 149-169 2013 VSTTE https://doi.org/10.1007/978-3-642-54108-7_8 conf/vstte/2013 db/conf/vstte/vstte2013.html#TschannenFNM13

Carlo A. Furia Paola Spoletini Bounded Variability of Metric Temporal Logic. 2013 CoRR http://arxiv.org/abs/1306.2141 abs/1306.2141 db/journals/corr/corr1306.html#FuriaS13

Nadia Polikarpova Julian Tschannen Carlo A. Furia Bertrand Meyer 0001 Flexible Invariants Through Semantic Collaboration. 2013 CoRR http://arxiv.org/abs/1311.6329 abs/1311.6329 db/journals/corr/corr1311.html#PolikarpovaTFM13

Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi 0001 Modeling Time in Computing. I-XVI, 1-423 Springer 2012 Monographs in Theoretical Computer Science. An EATCS Series 978-3-642-32331-7 https://doi.org/10.1007/978-3-642-32332-4 Carlo A. Furia A Verifier for Functional Properties of Sequence-Manipulating Programs. 183-186 2012 ATVA https://doi.org/10.1007/978-3-642-33386-6_15 conf/atva/2012 db/conf/atva/atva2012.html#Furia12 H.-Christian Estler Martín Nordio Carlo A. Furia Bertrand Meyer 0001 Johannes Schneider 0002 Agile vs. Structured Distributed Software Development: A Case Study. 11-20 2012 ICGSE https://doi.org/10.1109/ICGSE.2012.22 https://doi.ieeecomputersociety.org/10.1109/ICGSE.2012.22 https://www.wikidata.org/entity/Q56901485 conf/icgse/2012 db/conf/icgse/icgse2012.html#EstlerNFMS12 Carlo A. Furia Paola Spoletini Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. 89-96 2012 TIME https://doi.org/10.1109/TIME.2012.13 https://doi.ieeecomputersociety.org/10.1109/TIME.2012.13 conf/time/2012 db/conf/time/time2012.html#FuriaS12 Marco Trudel Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Manuel Oriol C to O-O Translation: Beyond the Easy Stuff. 19-28 2012 WCRE https://doi.org/10.1109/WCRE.2012.12 https://doi.ieeecomputersociety.org/10.1109/WCRE.2012.12 https://www.wikidata.org/entity/Q56901491 conf/wcre/2012 db/conf/wcre/wcre2012.html#TrudelFNMO12 Marco Trudel Carlo A. Furia Martin Nordio Automatic C to O-O Translation with C2Eiffel. 501-502 2012 WCRE https://doi.org/10.1109/WCRE.2012.60 https://doi.ieeecomputersociety.org/10.1109/WCRE.2012.60 conf/wcre/2012 db/conf/wcre/wcre2012.html#TrudelFN12 Carlo A. Furia Sebastian Nanz Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings 7304 2012 Springer Lecture Notes in Computer Science https://doi.org/10.1007/978-3-642-30561-0 978-3-642-30560-3 TOOLS (50) db/conf/tools/tools50-2012.html

Carlo A. Furia A Survey of Multi-Tape Automata http://arxiv.org/abs/1205.0178 2012 CoRR abs/1205.0178 db/journals/corr/corr1205.html#abs-1205-0178

Carlo A. Furia Multi-tape automata for automatic verification http://arxiv.org/abs/1206.4860 2012 CoRR abs/1206.4860 db/journals/corr/corr1206.html#abs-1206-4860

Marco Trudel Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Manuel Oriol Automatic Translation of C Source Code to Eiffel http://arxiv.org/abs/1206.5648 2012 CoRR abs/1206.5648 db/journals/corr/corr1206.html#abs-1206-5648

Nadia Polikarpova Carlo A. Furia Yu Pei 0001 Yi Wei 0001 Bertrand Meyer 0001 What Good Are Strong Specifications? http://arxiv.org/abs/1208.3337 2012 CoRR abs/1208.3337 db/journals/corr/corr1208.html#abs-1208-3337

Carlo A. Furia Bertrand Meyer 0001 Manuel Oriol Andrey Tikhomirov Yi Wei 0001 The Search for the Laws of Automatic Random Testing http://arxiv.org/abs/1211.3257 2012 CoRR abs/1211.3257 db/journals/corr/corr1211.html#abs-1211-3257

Carlo A. Furia Bertrand Meyer 0001 Sergey Velder A survey of loop invariants http://arxiv.org/abs/1211.4470 2012 CoRR abs/1211.4470 db/journals/corr/corr1211.html#abs-1211-4470

H.-Christian Estler Marco Piccioni Carlo A. Furia Martin Nordio Bertrand Meyer 0001 How Specifications Change and Why You Should Care http://arxiv.org/abs/1211.4775 2012 CoRR abs/1211.4775 db/journals/corr/corr1211.html#abs-1211-4775

Carlo A. Furia Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. 32-35 2011 42 SIGACT News 1 https://doi.org/10.1145/1959045.1959053 db/journals/sigact/sigact42.html#Furia11

Yi Wei 0001 Carlo A. Furia Nikolay Kazmin Bertrand Meyer 0001 Inferring better contracts. 191-200 2011 ICSE https://doi.org/10.1145/1985793.1985820 https://www.wikidata.org/entity/Q56901546 conf/icse/2011 db/conf/icse/icse2011.html#WeiFKM11 Yu Pei 0001 Yi Wei 0001 Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Code-based automated program fixing. 392-395 2011 ASE https://doi.org/10.1109/ASE.2011.6100080 https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100080 https://www.wikidata.org/entity/Q56901522 conf/kbse/2011 db/conf/kbse/ase2011.html#PeiWFNM11 Yi Wei 0001 Hannes Roth Carlo A. Furia Yu Pei 0001 Alexander Horton Michael Steindorfer Martin Nordio Bertrand Meyer 0001 Stateful testing: Finding more errors in code and contracts. 440-443 2011 ASE https://doi.org/10.1109/ASE.2011.6100094 https://doi.ieeecomputersociety.org/10.1109/ASE.2011.6100094 conf/kbse/2011 db/conf/kbse/ase2011.html#WeiRFPHSNM11 Julian Tschannen Carlo Alberto Furia Martin Nordio Bertrand Meyer 0001 Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. 133-155 2011 LASER Summer School https://doi.org/10.1007/978-3-642-35746-6_5 conf/laser/2011 db/conf/laser/laser2011.html#TschannenFNM11 Julian Tschannen Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. 382-398 2011 SEFM https://doi.org/10.1007/978-3-642-24690-6_26 conf/sefm/2011 db/conf/sefm/sefm2011.html#TschannenFNM11 Carlo A. Furia Paola Spoletini On Relaxing Metric Information in Linear Temporal Logic. 72-79 2011 TIME https://doi.org/10.1109/TIME.2011.9 https://doi.ieeecomputersociety.org/10.1109/TIME.2011.9 conf/time/2011 db/conf/time/time2011.html#FuriaS11 Marco Trudel Manuel Oriol Carlo A. Furia Martin Nordio Automated Translation of Java Source Code to Eiffel. 20-35 2011 TOOLS (49) https://doi.org/10.1007/978-3-642-21952-8_4 https://www.wikidata.org/entity/Q61631668 conf/tools/49-2011 db/conf/tools/tools49-2011.html#TrudelOFN11

Yu Pei 0001 Yi Wei 0001 Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Evidence-Based Automated Program Fixing http://arxiv.org/abs/1102.1059 2011 CoRR abs/1102.1059 db/journals/corr/corr1102.html#abs-1102-1059

Julian Tschannen Carlo A. Furia Martin Nordio Bertrand Meyer 0001 Verifying Eiffel Programs with Boogie http://arxiv.org/abs/1106.4700 2011 CoRR abs/1106.4700 db/journals/corr/corr1106.html#abs-1106-4700

Yi Wei 0001 Hannes Roth Carlo A. Furia Yu Pei 0001 Alexander Horton Michael Steindorfer Martin Nordio Bertrand Meyer 0001 Stateful Testing: Finding More Errors in Code and Contracts http://arxiv.org/abs/1108.1068 2011 CoRR abs/1108.1068 db/journals/corr/corr1108.html#abs-1108-1068

Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi 0001 Modeling time in computing: A taxonomy and a comparative survey. 2010 42 ACM Comput. Surv. 2 https://doi.org/10.1145/1667062.1667063 db/journals/csur/csur42.html#FuriaMMR10 6:1-6:59

Dino Mandrioli Stephen Fickas Carlo A. Furia Mehdi Jazayeri Matteo Rossi 0001 Michal Young SCORE: the first student contest on software engineering. 24-30 2010 35 ACM SIGSOFT Softw. Eng. Notes 4 https://doi.org/10.1145/1811226.1811240 db/journals/sigsoft/sigsoft35.html#MandrioliFFJRY10

Carlo A. Furia Matteo Rossi 0001 A theory of sampling for continuous-time metric temporal logic. 8:1-8:40 2010 12 ACM Trans. Comput. Log. 1 https://doi.org/10.1145/1838552.1838560 https://www.wikidata.org/entity/Q130869992 db/journals/tocl/tocl12.html#FuriaR10

Carlo A. Furia What's Decidable about Sequences? 128-142 2010 ATVA https://doi.org/10.1007/978-3-642-15643-4_11 conf/atva/2010 db/conf/atva/atva2010.html#Furia10 Carlo A. Furia Bertrand Meyer 0001 Inferring Loop Invariants Using Postconditions. 277-300 2010 Fields of Logic and Computation https://doi.org/10.1007/978-3-642-15025-8_15 conf/birthday/2010gurevich db/conf/birthday/gurevich2010.html#FuriaM10 Luca Cavallaro Elisabetta Di Nitto Carlo A. Furia Matteo Pradella A Tile-Based Approach for Self-Assembling Service Compositions. 43-52 2010 ICECCS https://doi.org/10.1109/ICECCS.2010.6 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2010.6 conf/iceccs/2010 db/conf/iceccs/iceccs2010.html#CavallaroNFP10 Silvia Bindelli Elisabetta Di Nitto Carlo A. Furia Matteo Rossi 0001 Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. 85-94 2010 ICECCS https://doi.org/10.1109/ICECCS.2010.65 https://doi.ieeecomputersociety.org/10.1109/ICECCS.2010.65 conf/iceccs/2010 db/conf/iceccs/iceccs2010.html#BindelliNFR10 Yi Wei 0001 Yu Pei 0001 Carlo A. Furia Lucas Serpa Silva Stefan Buchholz Bertrand Meyer 0001 Andreas Zeller Automated fixing of programs with contracts. 61-72 2010 ISSTA https://doi.org/10.1145/1831708.1831716 conf/issta/2010 db/conf/issta/issta2010.html#WeiPFSBMZ10 Nadia Polikarpova Carlo A. Furia Bertrand Meyer 0001 Specifying Reusable Components. 127-141 2010 VSTTE https://doi.org/10.1007/978-3-642-15057-9_9 conf/vstte/2010 db/conf/vstte/vstte2010.html#PolikarpovaFM10

Carlo A. Furia What's Decidable About Sequences? http://arxiv.org/abs/1001.2100 2010 CoRR abs/1001.2100 db/journals/corr/corr1001.html#abs-1001-2100

Paul Z. Kolano Carlo A. Furia Richard A. Kemmerer Dino Mandrioli Refinement and Verification of Real-Time Systems http://arxiv.org/abs/1002.1796 2010 CoRR abs/1002.1796 db/journals/corr/corr1002.html#abs-1002-1796

Nadia Polikarpova Carlo A. Furia Bertrand Meyer 0001 Specifying Reusable Components http://arxiv.org/abs/1003.5777 2010 CoRR abs/1003.5777 db/journals/corr/corr1003.html#abs-1003-5777

Carlo A. Furia Alberto Leva Martina Maggio Paola Spoletini A control-theoretical methodology for the scheduling problem http://arxiv.org/abs/1009.3455 2010 CoRR abs/1009.3455 db/journals/corr/corr1009.html#abs-1009-3455

Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Comments on temporal logics for real-time system specification. 2009 41 ACM Comput. Surv. 2 https://doi.org/10.1145/1459352.1459358 db/journals/csur/csur41.html#FuriaPR09 13:1-13:5

Carlo A. Furia Paola Spoletini Towards Relaxing Metric Information in Linear Temporal Logic. 121-124 2009 ICTCS conf/ictcs/2009 db/conf/ictcs/ictcs2009.html#FuriaS09 Marcello M. Bersani Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. 13-22 2009 SEFM https://doi.org/10.1109/SEFM.2009.16 https://doi.ieeecomputersociety.org/10.1109/SEFM.2009.16 conf/sefm/2009 db/conf/sefm/sefm2009.html#BersaniFPR09

Carlo A. Furia Paola Spoletini On Relaxing Metric Information in Linear Temporal Logic http://arxiv.org/abs/0906.4711 2009 CoRR abs/0906.4711 db/journals/corr/corr0906.html#abs-0906-4711

Marcello M. Bersani Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms http://arxiv.org/abs/0907.5074 2009 CoRR abs/0907.5074 db/journals/corr/corr0907.html#abs-0907-5074

Carlo A. Furia Bertrand Meyer 0001 Inferring Loop Invariants using Postconditions http://arxiv.org/abs/0909.0884 2009 CoRR abs/0909.0884 db/journals/corr/corr0909.html#abs-0909-0884

Carlo A. Furia Matteo Rossi 0001 A Theory of Sampling for Continuous-time Metric Temporal Logic http://arxiv.org/abs/0911.5642 2009 CoRR abs/0911.5642 db/journals/corr/corr0911.html#abs-0911-5642

Carlo A. Furia Paola Spoletini Practical Efficient Modular Linear-Time Model-Checking. 408-417 2008 ATVA https://doi.org/10.1007/978-3-540-88387-6_35 conf/atva/2008 db/conf/atva/atva2008.html#FuriaS08 Carlo A. Furia Marco Mazzucchelli Paola Spoletini Mara Tanelli Towards the exhaustive verification of real-time aspects in controller implementation. 1265-1270 2008 CACSD https://doi.org/10.1109/CACSD.2008.4627349 conf/cacsd/2008 db/conf/cacsd/cacsd2008.html#FuriaMST08 Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. 132-147 2008 FM https://doi.org/10.1007/978-3-540-68237-0_11 conf/fm/2008 db/conf/fm/fm2008.html#FuriaPR08 Carlo A. Furia Matteo Rossi 0001 MTL with Bounded Variability: Decidability and Complexity. 109-123 2008 FORMATS https://doi.org/10.1007/978-3-540-85778-5_9 conf/formats/2008 db/conf/formats/formats2008.html#FuriaR08 Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Practical Automated Partial Verification of Multi-paradigm Real-Time Models. 298-317 2008 ICFEM https://doi.org/10.1007/978-3-540-88194-0_19 conf/icfem/2008 db/conf/icfem/icfem2008.html#FuriaPR08 Carlo A. Furia Paola Spoletini Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. 126-140 2008 ICTAC https://doi.org/10.1007/978-3-540-85762-4_9 conf/ictac/2008 db/conf/ictac/ictac2008.html#FuriaS08

Carlo A. Furia Matteo Pradella Matteo Rossi 0001 Practical Automated Partial Verification of Multi-Paradigm Real-Time Models http://arxiv.org/abs/0804.4383 2008 CoRR abs/0804.4383 db/journals/corr/corr0804.html#abs-0804-4383

Carlo A. Furia Dino Mandrioli Angelo Morzenti Matteo Rossi 0001 Modeling Time in Computing: A Taxonomy and a Comparative Survey http://arxiv.org/abs/0807.4132 2008 CoRR abs/0807.4132 db/journals/corr/corr0807.html#abs-0807-4132

Carlo A. Furia Matteo Rossi 0001 No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. 150-160 2007 92 Bull. EATCS db/journals/eatcs/eatcs92.html#FuriaR07

Carlo A. Furia Matteo Rossi 0001 Dino Mandrioli Angelo Morzenti Automated compositional proofs for real-time systems. 164-184 2007 376 Theor. Comput. Sci. 3 https://doi.org/10.1016/j.tcs.2007.02.003 db/journals/tcs/tcs376.html#FuriaRMM07

Carlo A. Furia Matteo Rossi 0001 On the Expressiveness of MTL Variants over Dense Time. 163-178 2007 conf/formats/2007 FORMATS https://doi.org/10.1007/978-3-540-75454-1_13 db/conf/formats/formats2007.html#FuriaR07 Carlo A. Furia Matteo Rossi 0001 Dino Mandrioli Modeling the Environment in Software-Intensive Systems. 11 2007 MiSE@ICSE https://doi.org/10.1109/MISE.2007.11 https://doi.ieeecomputersociety.org/10.1109/MISE.2007.11 conf/icse/2007mise db/conf/icse/mise2007.html#FuriaRM07

Carlo A. Furia Angelo Morzenti Matteo Pradella Matteo Rossi 0001 Comments on "An Interval Logic for Real-Time System Specification'. 424-427 2006 32 IEEE Trans. Software Eng. 6 https://doi.org/10.1109/TSE.2006.50 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.50 db/journals/tse/tse32.html#FuriaMPR06

Carlo A. Furia Matteo Rossi 0001 Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. 215-229 2006 conf/formats/2006 FORMATS https://doi.org/10.1007/11867340_16 db/conf/formats/formats2006.html#FuriaR06 Carlo A. Furia Matteo Rossi 0001 Dino Mandrioli Angelo Morzenti Automated Compositional Proofs for Real-Time Systems. 326-340 https://doi.org/10.1007/978-3-540-31984-9_25 2005 conf/fase/2005 FASE db/conf/fase/fase2005.html#FuriaRMM05 Andrea Matta Carlo A. Furia Matteo Rossi 0001 Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. 718-728 https://doi.org/10.1007/978-3-540-30182-0_72 2004 conf/iscis/2004 ISCIS db/conf/iscis/iscis2004.html#MattaFR04 Carlo A. Furia Matteo Rossi 0001 A Compositional Framework for Formally Verifying Modular Systems. 185-198 2004 conf/tacos/2004 TACoS https://doi.org/10.1016/j.entcs.2004.02.076 db/journals/entcs/entcs116.html#FuriaR05 Bernhard K. Aichernig Michael Ameri Sebastian Baltes Luciano Baresi Marcello M. Bersani Bhargav Nagaraja Bhatt Shifat Sahariar Bhuiyan Domenico Bianculli Silvia Bindelli Rodrigo Bonifácio Stefan Buchholz Cristiano Calcagno Luca Cavallaro Liushan Chen Yuting Chen Jane Cleland-Huang Yvonne Dittrich Zhen Dong Claire Dross Neil A. Ernst H.-Christian EstlerHans-Christian Estler Michael Felderer Robert Feldt Riccardo Felici Stephen Fickas Antonio Filieri Gordon Fraser 0001 Steven Fraser 0001 Julian Frattini Juan P. GaleottiJuan Pablo Galeotti Marie-Claude Gaudel Stefania Gnesi Georges Gonthier Daniel Graziotin Lucas Gren Pinjia He Robert M. Hierons Rashina Hoda Alexander Horton Ziwei Huang Marieke Huisman Paola Inverardi Mehdi Jazayeri Natalia Juristo JuzgadoNatalia Juristo Nikolay Kazmin Richard A. Kemmerer Barbara A. Kitchenham Paul Z. Kolano Per Lenberg Alberto Leva Antónia Lopes Lidia Losavio Martina Maggio Dino Mandrioli Diego Marcilio Andrea Matta Eva May Marco Mazzucchelli Daniel Méndez 0001 Bertrand Meyer 0001 Andrea Mocci Jefferson Seide Molléri Rosemary Monahan Angelo Morzenti Peter Müller 0001 Sebastian Nanz Francisco Gomes de Oliveira Neto Elisabetta Di Nitto Martín NordioMartin Nordio Martin Odermatt Manuel Oriol Marco Paganoni Minxue Pan Yu Pei 0001 Marco Piccioni Gustavo Pinto 0001 Nico Plat Nadia Polikarpova Christopher M. Poskitt Laura Pozzi 0001 Matteo Pradella Jyoti Prakash Paul Ralph Mohammad Rezaalipour Romain Robbes Matteo G. RossiMatteo Rossi 0001 Hannes Roth Johannes Schneider 0002 Lucas Serpa Silva Diomidis Spinellis Paola Spoletini Miroslaw Staron Michael Steindorfer Klaas-Jan Stol Damian A. Tamburri Mara Tanelli Andrey Tikhomirov Abhishek Tiwari 0001 Marco Torchiano Richard Torkar Christoph Treude Marco Trudel Julian Tschannen Burak Turhan Moshe Y. Vardi Sira Vegas Sergey Velder Qixin Wang 0001 Yi Wei 0001 Scott West Kirsten Winter Tongtong Xu Michal Young Andreas Zeller Tian Zhang 0001