Carlo A. Furia

160 papers A* 5A 9B 22C 10Misc 1Journal 84Unranked 24

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Mitigating omitted variable bias in empirical software engineering. Empir. Softw. Eng. Carlo A. Furia, Richard Torkar
2025	J	`jnl`	Mitigating Omitted Variable Bias in Empirical Software Engineering. CoRR Carlo A. Furia, Richard Torkar
2025	B	`conf`	Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. iFM Lidia Losavio, Marco Paganoni, Carlo A. Furia
2025	J	`jnl`	Model-Based Testing of an Intermediate Verifier Using Executable Operational Semantics. CoRR Lidia Losavio, Marco Paganoni, Carlo A. Furia
2025	J	`jnl`	Reasoning About Exceptional Behavior At the Level of Java Bytecode with ByteBack. Formal Aspects Comput. Marco Paganoni, Carlo A. Furia
2025	B	`conf`	Reasoning about Substitutability at the Level of JVM Bytecode. FASE Marco Paganoni, Carlo A. Furia
2025	C	`conf`	What Makes a Level Hard in Super Mario Maker 2? CoG Carlo A. Furia, Andrea Mocci
2025	J	`jnl`	What Makes a Level Hard in Super Mario Maker 2? CoRR Carlo A. Furia, Andrea Mocci
2024	J	`jnl`	An empirical study of fault localization in Python programs. Empir. Softw. Eng. Mohammad Rezaalipour, Carlo A. Furia
2024	—	`conf`	Automated Repair of Information Flow Security in Android Implicit Inter-App Communication. FM (1) Abhishek Tiwari, Jyoti Prakash, Zhen Dong, Carlo A. Furia
2024	—	`conf`	Challenges of Multilingual Program Specification and Analysis. ISoLA (3) Carlo A. Furia, Abhishek Tiwari
2024	J	`jnl`	Challenges of Multilingual Program Specification and Analysis. CoRR Carlo A. Furia, Abhishek Tiwari
2024	J	`jnl`	FauxPy: A Fault Localization Tool for Python. CoRR Mohammad Rezaalipour, Carlo A. Furia
2024	J	`jnl`	HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. Empir. Softw. Eng. Riccardo Felici, Laura Pozzi, Carlo A. Furia
2024	J	`jnl`	Lightweight precise automatic extraction of exception preconditions in java methods. Empir. Softw. Eng. Diego Marcilio, Carlo A. Furia
2024	—	`ed.`	Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), Lisbon, Portugal, April 14-15, 2024 FormaliSE@ICSE Nico Plat, Stefania Gnesi, Carlo A. Furia, Antónia Lopes
2024	J	`jnl`	Ranking Plausible Patches by Historic Feature Frequencies. CoRR Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia
2024	J	`jnl`	Reasoning About Exceptional Behavior At the Level of Java Bytecode. CoRR Marco Paganoni, Carlo A. Furia
2024	J	`jnl`	ShellFuzzer: Grammar-based Fuzzing of Shell Interpreters. CoRR Riccardo Felici, Laura Pozzi, Carlo A. Furia
2024	J	`jnl`	Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. ACM Trans. Softw. Eng. Methodol. Carlo A. Furia, Richard Torkar, Robert Feldt
2024	J	`jnl`	Verifying Functional Correctness Properties At the Level of Java Bytecode. CoRR Marco Paganoni, Carlo A. Furia
2023	J	`jnl`	An Empirical Study of Fault Localization in Python Programs. CoRR Mohammad Rezaalipour, Carlo A. Furia
2023	J	`jnl`	An annotation-based approach for finding bugs in neural network programs. J. Syst. Softw. Mohammad Rezaalipour, Carlo A. Furia
2023	J	`jnl`	Program Repair With Repeated Learning. IEEE Trans. Software Eng. Liushan Chen, Yu Pei, Minxue Pan, Tian Zhang, Qixin Wang, Carlo A. Furia
2023	B	`conf`	Reasoning About Exceptional Behavior at the Level of Java Bytecode. iFM Marco Paganoni, Carlo A. Furia
2023	J	`jnl`	Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. CoRR Carlo A. Furia, Richard Torkar, Robert Feldt
2023	A	`conf`	Towards Code Improvements Suggestions from Client Exception Analysis. ICSME Diego Marcilio, Carlo A. Furia
2023	B	`conf`	Verifying Functional Correctness Properties at the Level of Java Bytecode. FM Marco Paganoni, Carlo A. Furia
2023	A	`conf`	aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs. ICSME Mohammad Rezaalipour, Carlo A. Furia
2022	J	`jnl`	A Method to Assess and Argue for Practical Significance in Software Engineering. IEEE Trans. Software Eng. Richard Torkar, Carlo A. Furia, Robert Feldt, Francisco Gomes de Oliveira Neto, Lucas Gren, Per Lenberg, Neil A. Ernst
2022	J	`jnl`	Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. ACM Trans. Softw. Eng. Methodol. Carlo A. Furia, Richard Torkar, Robert Feldt
2022	J	`jnl`	Automated repair of resource leaks in Android applications. J. Syst. Softw. Bhargav Nagaraja Bhatt, Carlo A. Furia
2022	J	`jnl`	HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools. CoRR Riccardo Felici, Laura Pozzi, Carlo A. Furia
2022	J	`jnl`	Restore: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Trans. Software Eng. Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
2022	A	`conf`	Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects. SANER Martin Odermatt, Diego Marcilio, Carlo A. Furia
2022	A	`conf`	What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. ICSME Diego Marcilio, Carlo A. Furia
2021	J	`jnl`	Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. CoRR Carlo A. Furia, Richard Torkar, Robert Feldt
2021	—	`conf`	Bayesian Data Analysis for Software Engineering. ICSE (Companion Volume) Richard Torkar, Carlo A. Furia, Robert Feldt
2021	J	`jnl`	Bayesian Data Analysis in Empirical Software Engineering Research. IEEE Trans. Software Eng. Carlo A. Furia, Robert Feldt, Richard Torkar
2021	J	`jnl`	Contract-Based Program Repair Without The Contracts: An Extended Study. IEEE Trans. Software Eng. Liushan Chen, Yu Pei, Carlo A. Furia
2021	A	`conf`	How Java Programmers Test Exceptional Behavior. MSR Diego Marcilio, Carlo A. Furia
2021	J	`jnl`	Test-Case Generation for Finding Neural Network Bugs. CoRR Mohammad Rezaalipour, Carlo A. Furia
2021	J	`jnl`	VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2020	J	`jnl`	Automated Repair of Resource Leaks in Android Applications. CoRR Bhargav Nagaraja Bhatt, Carlo A. Furia
2020	—	`ch.`	Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing Data. Contemporary Empirical Methods in Software Engineering Richard Torkar, Robert Feldt, Carlo A. Furia
2020	J	`jnl`	SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings. J. Syst. Softw. Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto
2020	J	`jnl`	VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2019	C	`conf`	Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. SCAM Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto
2019	J	`jnl`	Evolution of statistical analysis in empirical software engineering research: Current state and steps forward. J. Syst. Softw. Francisco Gomes de Oliveira Neto, Richard Torkar, Robert Feldt, Lucas Gren, Carlo A. Furia, Ziwei Huang
2019	J	`jnl`	Restore: Retrospective Fault Localization Enhancing Automated Program Repair. CoRR Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia
2018	J	`jnl`	A fully verified container library. Formal Aspects Comput. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
2018	J	`jnl`	Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis. CoRR Richard Torkar, Robert Feldt, Carlo A. Furia
2018	J	`jnl`	Bayesian Data Analysis in Empirical Software Engineering Research. CoRR Carlo A. Furia, Robert Feldt, Richard Torkar
2018	B	`ed.`	Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings IFM Carlo A. Furia, Kirsten Winter
2018	B	`conf`	Robustness Testing of Intermediate Verifiers. ATVA Yuting Chen, Carlo A. Furia
2018	J	`jnl`	Robustness Testing of Intermediate Verifiers. CoRR Yuting Chen, Carlo A. Furia
2018	J	`jnl`	Special section of Tests and Proofs 2016. Formal Aspects Comput. Bernhard K. Aichernig, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
2017	J	`jnl`	AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen
2017	J	`jnl`	Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. Carlo A. Furia, Paola Spoletini
2017	A*	`conf`	Contract-based program repair without the contracts. ASE Liushan Chen, Yu Pei, Carlo A. Furia
2017	B	`conf`	Triggerless Happy - Intermediate Verification with a First-Order Prover. IFM Yuting Chen, Carlo A. Furia
2017	—	`conf`	What good is bayesian data analysis for software engineering? ICSE (Companion Volume) Carlo A. Furia
2016	J	`jnl`	Bayesian Statistics in Software Engineering: Practical Guide and Case Studies. CoRR Carlo A. Furia
2016	—	`ed.`	Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings TAP@STAF Bernhard K. Aichernig, Carlo A. Furia
2016	B	`conf`	Why Just Boogie? - Translating Between Intermediate Verification Languages. IFM Michael Ameri, Carlo A. Furia
2016	J	`jnl`	Why Just Boogie? Translating Between Intermediate Verification Languages. CoRR Michael Ameri, Carlo A. Furia
2015	—	`conf`	A Comparative Study of Programming Languages in Rosetta Code. ICSE (1) Sebastian Nanz, Carlo A. Furia
2015	B	`conf`	A Fully Verified Container Library. FM Nadia Polikarpova, Julian Tschannen, Carlo A. Furia
2015	J	`jnl`	AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. Julian Tschannen, Carlo A. Furia, Martin Nordio
2015	A	`conf`	AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova
2015	J	`jnl`	AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova
2015	—	`conf`	Automated Program Repair in an Integrated Development Environment. ICSE (2) Yu Pei, Carlo A. Furia, Martín Nordio, Bertrand Meyer
2015	J	`jnl`	Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
2015	—	`conf`	The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen
2014	J	`jnl`	A Comparative Study of Programming Languages in Rosetta Code. CoRR Sebastian Nanz, Carlo A. Furia
2014	J	`jnl`	Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
2014	J	`jnl`	Automated Fixing of Programs with Contracts. CoRR Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014	J	`jnl`	Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
2014	B	`conf`	Automatic Program Repair by Fixing Contracts. FASE Yu Pei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2014	J	`jnl`	Automating Full Functional Verification of Programs with Loops. CoRR Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
2014	C	`conf`	Awareness and Merge Conflicts in Distributed Software Development. ICGSE H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2014	C	`conf`	Bounded Variability of Metric Temporal Logic. TIME Carlo A. Furia, Paola Spoletini
2014	B	`conf`	Contracts in Practice. FM H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer
2014	—	`conf`	DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Haifa Verification Conference Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
2014	B	`conf`	Flexible Invariants through Semantic Collaboration. FM Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2014	J	`jnl`	Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. Carlo A. Furia, Bertrand Meyer, Sergey Velder
2014	J	`jnl`	Rotation of Sequences: Algorithms and Proofs. CoRR Carlo A. Furia
2013	—	`conf`	A publication culture in software engineering (panel). ESEC/SIGSOFT FSE Steven Fraser, Luciano Baresi, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi
2013	A	`conf`	An Empirical Study of API Usability. ESEM Marco Piccioni, Carlo A. Furia, Bertrand Meyer
2013	J	`jnl`	Bounded Variability of Metric Temporal Logic. CoRR Carlo A. Furia, Paola Spoletini
2013	C	`conf`	Collaborative Debugging. ICGSE H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2013	J	`jnl`	Flexible Invariants Through Semantic Collaboration. CoRR Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer
2013	—	`conf`	Program Checking with Less Hassle. VSTTE Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013	A	`conf`	Really Automatic Scalable Object-Oriented Reengineering. ECOOP Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2013	J	`jnl`	TOOLS Europe 2012 Special Section. J. Object Technol. Carlo A. Furia, Sebastian Nanz
2013	Misc	`conf`	The search for the laws of automatic random testing. SAC Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2013	B	`conf`	To Run What No One Has Run Before: Executing an Intermediate Verification Language. RV Nadia Polikarpova, Carlo A. Furia, Scott West
2013	—	`conf`	Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer
2013	A*	`conf`	What good are strong specifications? ICSE Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2012	J	`jnl`	A Survey of Multi-Tape Automata CoRR Carlo A. Furia
2012	B	`conf`	A Verifier for Functional Properties of Sequence-Manipulating Programs. ATVA Carlo A. Furia
2012	J	`jnl`	A survey of loop invariants CoRR Carlo A. Furia, Bertrand Meyer, Sergey Velder
2012	C	`conf`	Agile vs. Structured Distributed Software Development: A Case Study. ICGSE H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider
2012	C	`conf`	Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME Carlo A. Furia, Paola Spoletini
2012	—	`conf`	Automatic C to O-O Translation with C2Eiffel. WCRE Marco Trudel, Carlo A. Furia, Martin Nordio
2012	J	`jnl`	Automatic Translation of C Source Code to Eiffel CoRR Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012	—	`conf`	C to O-O Translation: Beyond the Easy Stuff. WCRE Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol
2012	J	`jnl`	How Specifications Change and Why You Should Care CoRR H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2012	—	`book`	Modeling Time in Computing. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012	J	`jnl`	Multi-tape automata for automatic verification CoRR Carlo A. Furia
2012	—	`ed.`	Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings TOOLS (50) Carlo A. Furia, Sebastian Nanz
2012	J	`jnl`	The Search for the Laws of Automatic Random Testing CoRR Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei
2012	J	`jnl`	What Good Are Strong Specifications? CoRR Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer
2011	—	`conf`	Automated Translation of Java Source Code to Eiffel. TOOLS (49) Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio
2011	A*	`conf`	Code-based automated program fixing. ASE Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011	J	`jnl`	Evidence-Based Automated Program Fixing CoRR Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011	A*	`conf`	Inferring better contracts. ICSE Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
2011	C	`conf`	On Relaxing Metric Information in Linear Temporal Logic. TIME Carlo A. Furia, Paola Spoletini
2011	J	`jnl`	Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. SIGACT News Carlo A. Furia
2011	J	`jnl`	Stateful Testing: Finding More Errors in Code and Contracts CoRR Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011	A*	`conf`	Stateful testing: Finding more errors in code and contracts. ASE Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer
2011	B	`conf`	Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2011	J	`jnl`	Verifying Eiffel Programs with Boogie CoRR Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer
2010	B	`conf`	A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella
2010	J	`jnl`	A control-theoretical methodology for the scheduling problem CoRR Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini
2010	J	`jnl`	A theory of sampling for continuous-time metric temporal logic. ACM Trans. Comput. Log. Carlo A. Furia, Matteo Rossi
2010	A	`conf`	Automated fixing of programs with contracts. ISSTA Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
2010	—	`conf`	Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation Carlo A. Furia, Bertrand Meyer
2010	J	`jnl`	Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010	J	`jnl`	Refinement and Verification of Real-Time Systems CoRR Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli
2010	J	`jnl`	SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
2010	J	`jnl`	Specifying Reusable Components CoRR Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010	—	`conf`	Specifying Reusable Components. VSTTE Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer
2010	B	`conf`	Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ICECCS Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi
2010	J	`jnl`	What's Decidable About Sequences? CoRR Carlo A. Furia
2010	B	`conf`	What's Decidable about Sequences? ATVA Carlo A. Furia
2009	J	`jnl`	A Theory of Sampling for Continuous-time Metric Temporal Logic CoRR Carlo A. Furia, Matteo Rossi
2009	J	`jnl`	Comments on temporal logics for real-time system specification. ACM Comput. Surv. Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009	J	`jnl`	Inferring Loop Invariants using Postconditions CoRR Carlo A. Furia, Bertrand Meyer
2009	J	`jnl`	Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms CoRR Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009	B	`conf`	Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009	J	`jnl`	On Relaxing Metric Information in Linear Temporal Logic CoRR Carlo A. Furia, Paola Spoletini
2009	—	`conf`	Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS Carlo A. Furia, Paola Spoletini
2008	B	`conf`	Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008	—	`conf`	MTL with Bounded Variability: Decidability and Complexity. FORMATS Carlo A. Furia, Matteo Rossi
2008	J	`jnl`	Modeling Time in Computing: A Taxonomy and a Comparative Survey CoRR Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2008	J	`jnl`	Practical Automated Partial Verification of Multi-Paradigm Real-Time Models CoRR Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008	C	`conf`	Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008	B	`conf`	Practical Efficient Modular Linear-Time Model-Checking. ATVA Carlo A. Furia, Paola Spoletini
2008	C	`conf`	Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC Carlo A. Furia, Paola Spoletini
2008	—	`conf`	Towards the exhaustive verification of real-time aspects in controller implementation. CACSD Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini, Mara Tanelli
2007	J	`jnl`	Automated compositional proofs for real-time systems. Theor. Comput. Sci. Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2007	—	`conf`	Modeling the Environment in Software-Intensive Systems. MiSE@ICSE Carlo A. Furia, Matteo Rossi, Dino Mandrioli
2007	J	`jnl`	No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Bull. EATCS Carlo A. Furia, Matteo Rossi
2007	—	`conf`	On the Expressiveness of MTL Variants over Dense Time. FORMATS Carlo A. Furia, Matteo Rossi
2006	J	`jnl`	Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2006	—	`conf`	Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS Carlo A. Furia, Matteo Rossi
2005	B	`conf`	Automated Compositional Proofs for Real-Time Systems. FASE Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2004	—	`conf`	A Compositional Framework for Formally Verifying Modular Systems. TACoS Carlo A. Furia, Matteo Rossi
2004	—	`conf`	Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. ISCIS Andrea Matta, Carlo A. Furia, Matteo Rossi