Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. - Andrea Matta; Carlo A. Furia; Matteo Rossi 001 (ISCIS, 2004)

A Compositional Framework for Formally Verifying Modular Systems. - Carlo A. Furia; Matteo Rossi 001 (TACoS, 2004)

Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2006)

Comments on "An Interval Logic for Real-Time System Specification'. - Carlo A. Furia; Angelo Morzenti; Matteo Pradella; Matteo Rossi 001 (IEEE Trans. Software Eng., 2006)

On the Expressiveness of MTL Variants over Dense Time. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2007)

Modeling the Environment in Software-Intensive Systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli (MiSE@ICSE, 2007)

No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. - Carlo A. Furia; Matteo Rossi 001 (Bull. EATCS, 2007)

Automated compositional proofs for real-time systems. - Carlo A. Furia; Matteo Rossi 001; Dino Mandrioli; Angelo Morzenti (Theor. Comput. Sci., 2007)

Practical Efficient Modular Linear-Time Model-Checking. - Carlo A. Furia; Paola Spoletini (ATVA, 2008)

Towards the exhaustive verification of real-time aspects in controller implementation. - Carlo A. Furia; Marco Mazzucchelli; Paola Spoletini; Mara Tanelli (CACSD, 2008)

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (FM, 2008)

MTL with Bounded Variability: Decidability and Complexity. - Carlo A. Furia; Matteo Rossi 001 (FORMATS, 2008)

Practical Automated Partial Verification of Multi-paradigm Real-Time Models. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ICFEM, 2008)

Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. - Carlo A. Furia; Paola Spoletini (ICTAC, 2008)

Towards Relaxing Metric Information in Linear Temporal Logic. - Carlo A. Furia; Paola Spoletini (ICTCS, 2009)

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. - Marcello M. Bersani; Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (SEFM, 2009)

Comments on temporal logics for real-time system specification. - Carlo A. Furia; Matteo Pradella; Matteo Rossi 001 (ACM Comput. Surv., 2009)

What's Decidable about Sequences? - Carlo A. Furia (ATVA, 2010)

Inferring Loop Invariants Using Postconditions. - Carlo A. Furia; Bertrand Meyer 001 (Fields of Logic and Computation, 2010)

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. - Silvia Bindelli; Elisabetta Di Nitto; Carlo A. Furia; Matteo Rossi 001 (ICECCS, 2010)

A Tile-Based Approach for Self-Assembling Service Compositions. - Luca Cavallaro; Elisabetta Di Nitto; Carlo A. Furia; Matteo Pradella (ICECCS, 2010)

Automated fixing of programs with contracts. - Yi Wei 001; Yu Pei 001; Carlo A. Furia; Lucas Serpa Silva; Stefan Buchholz; Bertrand Meyer 001; Andreas Zeller (ISSTA, 2010)

Specifying Reusable Components. - Nadia Polikarpova; Carlo A. Furia; Bertrand Meyer 001 (VSTTE, 2010)

Refinement and Verification of Real-Time Systems - Paul Z. Kolano; Carlo A. Furia; Richard A. Kemmerer; Dino Mandrioli (CoRR, 2010)

A control-theoretical methodology for the scheduling problem - Carlo A. Furia; Alberto Leva; Martina Maggio; Paola Spoletini (CoRR, 2010)

Modeling time in computing: A taxonomy and a comparative survey. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (ACM Comput. Surv., 2010)

SCORE: the first student contest on software engineering. - Dino Mandrioli; Stephen Fickas; Carlo A. Furia; Mehdi Jazayeri; Matteo Rossi 001; Michal Young (ACM SIGSOFT Softw. Eng. Notes, 2010)

A theory of sampling for continuous-time metric temporal logic. - Carlo A. Furia; Matteo Rossi 001 (ACM Trans. Comput. Log., 2010)

Inferring better contracts. - Yi Wei 001; Carlo A. Furia; Nikolay Kazmin; Bertrand Meyer 001 (ICSE, 2011)

Code-based automated program fixing. - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Stateful testing: Finding more errors in code and contracts. - Yi Wei 001; Hannes Roth; Carlo A. Furia; Yu Pei 001; Alexander Horton; Michael Steindorfer; Martin Nordio; Bertrand Meyer 001 (ASE, 2011)

Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. - Julian Tschannen; Carlo Alberto Furia; Martin Nordio; Bertrand Meyer 001 (LASER Summer School, 2011)

Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (SEFM, 2011)

On Relaxing Metric Information in Linear Temporal Logic. - Carlo A. Furia; Paola Spoletini (TIME, 2011)

Automated Translation of Java Source Code to Eiffel. - Marco Trudel; Manuel Oriol; Carlo A. Furia; Martin Nordio (TOOLS (49), 2011)

Evidence-Based Automated Program Fixing - Yu Pei 001; Yi Wei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

Verifying Eiffel Programs with Boogie - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2011)

Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. - Carlo A. Furia (SIGACT News, 2011)

Modeling Time in Computing. - Carlo A. Furia; Dino Mandrioli; Angelo Morzenti; Matteo Rossi 001 (Springer, 2012)

A Verifier for Functional Properties of Sequence-Manipulating Programs. - Carlo A. Furia (ATVA, 2012)

Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. - Carlo A. Furia; Paola Spoletini (TIME, 2012)

Automatic C to O-O Translation with C2Eiffel. - Marco Trudel; Carlo A. Furia; Martin Nordio (WCRE, 2012)

C to O-O Translation: Beyond the Easy Stuff. - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (WCRE, 2012)

A Survey of Multi-Tape Automata - Carlo A. Furia (CoRR, 2012)

Multi-tape automata for automatic verification - Carlo A. Furia (CoRR, 2012)

Automatic Translation of C Source Code to Eiffel - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001; Manuel Oriol (CoRR, 2012)

A survey of loop invariants - Carlo A. Furia; Bertrand Meyer 001; Sergey Velder (CoRR, 2012)

How Specifications Change and Why You Should Care - H.-Christian Estler; Marco Piccioni; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (CoRR, 2012)

Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (Australian Software Engineering Conference, 2013)

Really Automatic Scalable Object-Oriented Reengineering. - Marco Trudel; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (ECOOP, 2013)

An Empirical Study of API Usability. - Marco Piccioni; Carlo A. Furia; Bertrand Meyer 001 (ESEM, 2013)

Javanni: A Verifier for JavaScript. - Martin Nordio; Cristiano Calcagno; Carlo Alberto Furia (FASE, 2013)

Collaborative Debugging. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (ICGSE, 2013)

What good are strong specifications? - Nadia Polikarpova; Carlo A. Furia; Yu Pei 001; Yi Wei 001; Bertrand Meyer 001 (ICSE, 2013)

To Run What No One Has Run Before: Executing an Intermediate Verification Language. - Nadia Polikarpova; Carlo A. Furia; Scott West (RV, 2013)

The search for the laws of automatic random testing. - Carlo A. Furia; Bertrand Meyer 001; Manuel Oriol; Andrey Tikhomirov; Yi Wei 001 (SAC, 2013)

A publication culture in software engineering (panel). - Steven Fraser 001; Luciano Baresi; Jane Cleland-Huang; Carlo A. Furia; Georges Gonthier; Paola Inverardi; Moshe Y. Vardi (ESEC/SIGSOFT FSE, 2013)

Program Checking with Less Hassle. - Julian Tschannen; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (VSTTE, 2013)

TOOLS Europe 2012 Special Section. - Carlo A. Furia; Sebastian Nanz (J. Object Technol., 2013)

Automatic Program Repair by Fixing Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Bertrand Meyer 001 (FASE, 2014)

Contracts in Practice. - H.-Christian Estler; Carlo A. Furia; Martin Nordio; Marco Piccioni; Bertrand Meyer 001 (FM, 2014)

Flexible Invariants through Semantic Collaboration. - Nadia Polikarpova; Julian Tschannen; Carlo A. Furia; Bertrand Meyer 001 (FM, 2014)

DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. - Juan Pablo Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (Haifa Verification Conference, 2014)

Awareness and Merge Conflicts in Distributed Software Development. - H.-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001 (ICGSE, 2014)

Rotation of Sequences: Algorithms and Proofs. - Carlo A. Furia (CoRR, 2014)

Automating Full Functional Verification of Programs with Loops. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (CoRR, 2014)

Loop invariants: Analysis, classification, and examples. - Carlo A. Furia; Bertrand Meyer 001; Sergey Velder (ACM Comput. Surv., 2014)

Agile vs. structured distributed software development: A case study. - Hans-Christian Estler; Martin Nordio; Carlo A. Furia; Bertrand Meyer 001; Johannes Schneider 002 (Empir. Softw. Eng., 2014)

Automated Fixing of Programs with Contracts. - Yu Pei 001; Carlo A. Furia; Martin Nordio; Yi Wei 001; Bertrand Meyer 001; Andreas Zeller (IEEE Trans. Software Eng., 2014)

Automated Program Repair in an Integrated Development Environment. - Yu Pei 001; Carlo A. Furia; Martín Nordio; Bertrand Meyer 001 (ICSE (2), 2015)

A Comparative Study of Programming Languages in Rosetta Code. - Sebastian Nanz; Carlo A. Furia (ICSE (1), 2015)

The AutoProof Verifier: Usability by Non-Experts and on Standard Code. - Carlo A. Furia; Christopher M. Poskitt; Julian Tschannen (F-IDE, 2015)

AutoProof meets some verification challenges. - Julian Tschannen; Carlo A. Furia; Martin Nordio (Int. J. Softw. Tools Technol. Transf., 2015)

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. - Juan P. Galeotti; Carlo A. Furia; Eva May; Gordon Fraser 001; Andreas Zeller (IEEE Trans. Software Eng., 2015)

Why Just Boogie? - Translating Between Intermediate Verification Languages. - Michael Ameri; Carlo A. Furia (IFM, 2016)

Bayesian Statistics in Software Engineering: Practical Guide and Case Studies. - Carlo A. Furia (CoRR, 2016)

What good is bayesian data analysis for software engineering? - Carlo A. Furia (ICSE (Companion Volume), 2017)

Triggerless Happy - Intermediate Verification with a First-Order Prover. - Yuting Chen; Carlo A. Furia (IFM, 2017)

Contract-based program repair without the contracts. - Liushan Chen; Yu Pei 001; Carlo A. Furia (ASE, 2017)

Bounded variability of metric temporal logic. - Carlo A. Furia; Paola Spoletini (Ann. Math. Artif. Intell., 2017)

AutoProof: auto-active functional verification of object-oriented programs. - Carlo A. Furia; Martin Nordio; Nadia Polikarpova; Julian Tschannen (Int. J. Softw. Tools Technol. Transf., 2017)

Robustness Testing of Intermediate Verifiers. - Yuting Chen; Carlo A. Furia (ATVA, 2018)

Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis. - Richard Torkar; Robert Feldt; Carlo A. Furia (CoRR, 2018)

Special section of Tests and Proofs 2016. - Bernhard K. Aichernig; Carlo A. Furia; Marie-Claude Gaudel; Robert M. Hierons (Formal Aspects Comput., 2018)

A fully verified container library. - Nadia Polikarpova; Julian Tschannen; Carlo A. Furia (Formal Aspects Comput., 2018)

Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. - Diego Marcilio; Carlo A. Furia; Rodrigo Bonifácio; Gustavo Pinto 001 (SCAM, 2019)

Evolution of statistical analysis in empirical software engineering research: Current state and steps forward. - Francisco Gomes de Oliveira Neto; Richard Torkar; Robert Feldt; Lucas Gren; Carlo A. Furia; Ziwei Huang (J. Syst. Softw., 2019)

Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing Data. - Richard Torkar; Robert Feldt; Carlo A. Furia (Contemporary Empirical Methods in Software Engineering, 2020)

VerifyThis 2019: A Program Verification Competition (Extended Report). - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (CoRR, 2020)

ACM SIGSOFT Empirical Standards. - 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; et al. (CoRR, 2020)

SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings. - Diego Marcilio; Carlo A. Furia; Rodrigo Bonifácio; Gustavo Pinto 001 (J. Syst. Softw., 2020)

Bayesian Data Analysis for Software Engineering. - Richard Torkar; Carlo A. Furia; Robert Feldt (ICSE (Companion Volume), 2021)

How Java Programmers Test Exceptional Behavior. - Diego Marcilio; Carlo A. Furia (MSR, 2021)

Test-Case Generation for Finding Neural Network Bugs. - Mohammad Rezaalipour; Carlo A. Furia (CoRR, 2021)

VerifyThis 2019: a program verification competition. - Claire Dross; Carlo A. Furia; Marieke Huisman; Rosemary Monahan; Peter Müller 001 (Int. J. Softw. Tools Technol. Transf., 2021)

Contract-Based Program Repair Without The Contracts: An Extended Study. - Liushan Chen; Yu Pei 001; Carlo A. Furia (IEEE Trans. Software Eng., 2021)

Bayesian Data Analysis in Empirical Software Engineering Research. - Carlo A. Furia; Robert Feldt; Richard Torkar (IEEE Trans. Software Eng., 2021)

What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. - Diego Marcilio; Carlo A. Furia (ICSME, 2022)

Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects. - Martin Odermatt; Diego Marcilio; Carlo A. Furia (SANER, 2022)

Automated repair of resource leaks in Android applications. - Bhargav Nagaraja Bhatt; Carlo A. Furia (J. Syst. Softw., 2022)

Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. - Carlo A. Furia; Richard Torkar; Robert Feldt (ACM Trans. Softw. Eng. Methodol., 2022)

A Method to Assess and Argue for Practical Significance in Software Engineering. - Richard Torkar; Carlo A. Furia; Robert Feldt; Francisco Gomes de Oliveira Neto; Lucas Gren; Per Lenberg; Neil A. Ernst (IEEE Trans. Software Eng., 2022)

Restore: Retrospective Fault Localization Enhancing Automated Program Repair. - Tongtong Xu; Liushan Chen; Yu Pei 001; Tian Zhang 001; Minxue Pan; Carlo A. Furia (IEEE Trans. Software Eng., 2022)

Verifying Functional Correctness Properties at the Level of Java Bytecode. - Marco Paganoni; Carlo A. Furia (FM, 2023)

Towards Code Improvements Suggestions from Client Exception Analysis. - Diego Marcilio; Carlo A. Furia (ICSME, 2023)

aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs. - Mohammad Rezaalipour; Carlo A. Furia (ICSME, 2023)

Reasoning About Exceptional Behavior at the Level of Java Bytecode. - Marco Paganoni; Carlo A. Furia (iFM, 2023)

Program Repair With Repeated Learning. - Liushan Chen; Yu Pei 001; Minxue Pan; Tian Zhang 001; Qixin Wang; Carlo A. Furia (IEEE Trans. Software Eng., 2023)

An annotation-based approach for finding bugs in neural network programs. - Mohammad Rezaalipour; Carlo A. Furia (J. Syst. Softw., 2023)

Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. - Abhishek Tiwari 001; Jyoti Prakash; Zhen Dong; Carlo A. Furia (FM (1), 2024)

Challenges of Multilingual Program Specification and Analysis. - Carlo A. Furia; Abhishek Tiwari 001 (ISoLA (3), 2024)

FauxPy: A Fault Localization Tool for Python. - Mohammad Rezaalipour; Carlo A. Furia (CoRR, 2024)

Ranking Plausible Patches by Historic Feature Frequencies. - Shifat Sahariar Bhuiyan; Abhishek Tiwari 001; Yu Pei 001; Carlo A. Furia (CoRR, 2024)

ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters. - Riccardo Felici; Laura Pozzi 001; Carlo A. Furia (CoRR, 2024)

Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. - Carlo A. Furia; Richard Torkar; Robert Feldt (ACM Trans. Softw. Eng. Methodol., 2024)

Lightweight precise automatic extraction of exception preconditions in java methods. - Diego Marcilio; Carlo A. Furia (Empir. Softw. Eng., 2024)

HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. - Riccardo Felici; Laura Pozzi 001; Carlo A. Furia (Empir. Softw. Eng., 2024)

An empirical study of fault localization in Python programs. - Mohammad Rezaalipour; Carlo A. Furia (Empir. Softw. Eng., 2024)

What Makes a Level Hard in Super Mario Maker 2? - Carlo A. Furia; Andrea Mocci (CoG, 2025)

Reasoning about Substitutability at the Level of JVM Bytecode. - Marco Paganoni; Carlo A. Furia (FASE, 2025)

Mitigating Omitted Variable Bias in Empirical Software Engineering. - Carlo A. Furia; Richard Torkar (CoRR, 2025)