![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Carlo A. Furia
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j33]Diego Marcilio
, Carlo A. Furia:
Lightweight precise automatic extraction of exception preconditions in java methods. Empir. Softw. Eng. 29(1): 30 (2024) - [j32]Riccardo Felici, Laura Pozzi, Carlo A. Furia:
HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. Empir. Softw. Eng. 29(2): 38 (2024) - [j31]Mohammad Rezaalipour
, Carlo A. Furia:
An empirical study of fault localization in Python programs. Empir. Softw. Eng. 29(4): 92 (2024) - [j30]Carlo A. Furia
, Richard Torkar
, Robert Feldt
:
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. ACM Trans. Softw. Eng. Methodol. 33(1): 13:1-13:35 (2024) - [e4]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. ACM 2024 [contents] - [i44]Mohammad Rezaalipour, Carlo A. Furia:
FauxPy: A Fault Localization Tool for Python. CoRR abs/2404.18596 (2024) - [i43]Carlo A. Furia, Abhishek Tiwari:
Challenges of Multilingual Program Specification and Analysis. CoRR abs/2407.11661 (2024) - [i42]Shifat Sahariar Bhuiyan, Abhishek Tiwari, Yu Pei, Carlo A. Furia:
Ranking Plausible Patches by Historic Feature Frequencies. CoRR abs/2407.17240 (2024) - 2023
- [j29]Mohammad Rezaalipour
, Carlo A. Furia
:
An annotation-based approach for finding bugs in neural network programs. J. Syst. Softw. 201: 111669 (2023) - [j28]Liushan Chen
, Yu Pei
, Minxue Pan
, Tian Zhang, Qixin Wang, Carlo A. Furia
:
Program Repair With Repeated Learning. IEEE Trans. Software Eng. 49(2): 831-848 (2023) - [c67]Marco Paganoni, Carlo A. Furia
:
Verifying Functional Correctness Properties at the Level of Java Bytecode. FM 2023: 343-363 - [c66]Diego Marcilio, Carlo A. Furia:
Towards Code Improvements Suggestions from Client Exception Analysis. ICSME 2023: 363-368 - [c65]Mohammad Rezaalipour, Carlo A. Furia:
aNNoTest: An Annotation-based Test Generation Tool for Neural Network Programs. ICSME 2023: 574-579 - [c64]Marco Paganoni, Carlo A. Furia
:
Reasoning About Exceptional Behavior at the Level of Java Bytecode. iFM 2023: 113-133 - [i41]Carlo A. Furia, Richard Torkar, Robert Feldt:
Towards Causal Analysis of Empirical Software Engineering Data: The Impact of Programming Languages on Coding Competitions. CoRR abs/2301.07524 (2023) - [i40]Mohammad Rezaalipour, Carlo A. Furia:
An Empirical Study of Fault Localization in Python Programs. CoRR abs/2305.19834 (2023) - 2022
- [j27]Bhargav Nagaraja Bhatt
, Carlo A. Furia:
Automated repair of resource leaks in Android applications. J. Syst. Softw. 192: 111417 (2022) - [j26]Carlo A. Furia
, Richard Torkar
, Robert Feldt
:
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. ACM Trans. Softw. Eng. Methodol. 31(3): 40:1-40:38 (2022) - [j25]Tongtong Xu
, Liushan Chen
, Yu Pei
, Tian Zhang, Minxue Pan
, Carlo A. Furia
:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. IEEE Trans. Software Eng. 48(2): 309-326 (2022) - [j24]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. IEEE Trans. Software Eng. 48(6): 2053-2065 (2022) - [c63]Diego Marcilio, Carlo A. Furia:
What Is Thrown? Lightweight Precise Automatic Extraction of Exception Preconditions in Java Methods. ICSME 2022: 340-351 - [c62]Martin Odermatt, Diego Marcilio, Carlo A. Furia:
Static Analysis Warnings and Automatic Fixing: A Replication for C# Projects. SANER 2022: 805-816 - [i39]Riccardo Felici, Laura Pozzi, Carlo A. Furia:
HyperPUT: Generating Synthetic Faulty Programs to Challenge Bug-Finding Tools. CoRR abs/2209.06615 (2022) - 2021
- [j23]Claire Dross, Carlo A. Furia, Marieke Huisman
, Rosemary Monahan, Peter Müller:
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23(6): 883-893 (2021) - [j22]Carlo A. Furia
, Robert Feldt
, Richard Torkar:
Bayesian Data Analysis in Empirical Software Engineering Research. IEEE Trans. Software Eng. 47(9): 1786-1810 (2021) - [j21]Liushan Chen
, Yu Pei
, Carlo A. Furia
:
Contract-Based Program Repair Without The Contracts: An Extended Study. IEEE Trans. Software Eng. 47(12): 2841-2857 (2021) - [c61]Richard Torkar, Carlo A. Furia, Robert Feldt:
Bayesian Data Analysis for Software Engineering. ICSE (Companion Volume) 2021: 328-329 - [c60]Diego Marcilio, Carlo A. Furia:
How Java Programmers Test Exceptional Behavior. MSR 2021: 207-218 - [i38]Carlo A. Furia, Richard Torkar, Robert Feldt:
Applying Bayesian Analysis Guidelines to Empirical Software Engineering Data: The Case of Programming Languages and Code Quality. CoRR abs/2101.12591 (2021) - [i37]Mohammad Rezaalipour, Carlo A. Furia:
Test-Case Generation for Finding Neural Network Bugs. CoRR abs/2112.05567 (2021) - 2020
- [j20]Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio, Gustavo Pinto:
SpongeBugs: Automatically generating fix suggestions in response to static code analysis warnings. J. Syst. Softw. 168: 110671 (2020) - [p1]Richard Torkar, Robert Feldt, Carlo A. Furia:
Bayesian Data Analysis in Empirical Software Engineering: The Case of Missing Data. Contemporary Empirical Methods in Software Engineering 2020: 289-324 - [i36]Bhargav Nagaraja Bhatt, Carlo A. Furia:
Automated Repair of Resource Leaks in Android Applications. CoRR abs/2003.03201 (2020) - [i35]Claire Dross, Carlo A. Furia, Marieke Huisman
, Rosemary Monahan, Peter Müller:
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR abs/2008.13610 (2020) - [i34]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, 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. CoRR abs/2010.03525 (2020)
2010 – 2019
- 2019
- [j19]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. J. Syst. Softw. 156: 246-267 (2019) - [c59]Diego Marcilio, Carlo A. Furia, Rodrigo Bonifácio
, Gustavo Pinto:
Automatically Generating Fix Suggestions in Response to Static Code Analysis Warnings. SCAM 2019: 34-44 - [i33]Tongtong Xu, Liushan Chen, Yu Pei, Tian Zhang, Minxue Pan, Carlo A. Furia:
Restore: Retrospective Fault Localization Enhancing Automated Program Repair. CoRR abs/1906.01778 (2019) - 2018
- [j18]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia:
A fully verified container library. Formal Aspects Comput. 30(5): 495-523 (2018) - [j17]Bernhard K. Aichernig
, Carlo A. Furia, Marie-Claude Gaudel, Robert M. Hierons
:
Special section of Tests and Proofs 2016. Formal Aspects Comput. 30(6): 627-628 (2018) - [c58]Yuting Chen, Carlo A. Furia:
Robustness Testing of Intermediate Verifiers. ATVA 2018: 91-108 - [e3]Carlo A. Furia, Kirsten Winter:
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Lecture Notes in Computer Science 11023, Springer 2018, ISBN 978-3-319-98937-2 [contents] - [i32]Yuting Chen, Carlo A. Furia:
Robustness Testing of Intermediate Verifiers. CoRR abs/1805.03296 (2018) - [i31]Richard Torkar, Robert Feldt, Carlo A. Furia:
Arguing Practical Significance in Software Engineering Using Bayesian Data Analysis. CoRR abs/1809.09849 (2018) - [i30]Carlo A. Furia, Robert Feldt, Richard Torkar:
Bayesian Data Analysis in Empirical Software Engineering Research. CoRR abs/1811.05422 (2018) - 2017
- [j16]Carlo A. Furia
, Paola Spoletini:
Bounded variability of metric temporal logic. Ann. Math. Artif. Intell. 80(3-4): 283-316 (2017) - [j15]Carlo A. Furia, Martin Nordio, Nadia Polikarpova, Julian Tschannen:
AutoProof: auto-active functional verification of object-oriented programs. Int. J. Softw. Tools Technol. Transf. 19(6): 697-716 (2017) - [c57]Carlo A. Furia:
What good is bayesian data analysis for software engineering? ICSE (Companion Volume) 2017: 374-376 - [c56]Yuting Chen, Carlo A. Furia:
Triggerless Happy - Intermediate Verification with a First-Order Prover. IFM 2017: 295-311 - [c55]Liushan Chen
, Yu Pei
, Carlo A. Furia:
Contract-based program repair without the contracts. ASE 2017: 637-647 - 2016
- [c54]Michael Ameri, Carlo A. Furia:
Why Just Boogie? - Translating Between Intermediate Verification Languages. IFM 2016: 79-95 - [e2]Bernhard K. Aichernig
, Carlo A. Furia:
Tests and Proofs - 10th International Conference, TAP@STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings. Lecture Notes in Computer Science 9762, Springer 2016, ISBN 978-3-319-41134-7 [contents] - [i29]Michael Ameri, Carlo A. Furia:
Why Just Boogie? Translating Between Intermediate Verification Languages. CoRR abs/1601.00516 (2016) - [i28]Carlo A. Furia:
Bayesian Statistics in Software Engineering: Practical Guide and Case Studies. CoRR abs/1608.06865 (2016) - 2015
- [j14]Julian Tschannen, Carlo A. Furia, Martin Nordio:
AutoProof meets some verification challenges. Int. J. Softw. Tools Technol. Transf. 17(6): 745-755 (2015) - [j13]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
:
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking. IEEE Trans. Software Eng. 41(10): 1019-1037 (2015) - [c53]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia:
A Fully Verified Container Library. FM 2015: 414-434 - [c52]Yu Pei
, Carlo A. Furia, Martín Nordio, Bertrand Meyer:
Automated Program Repair in an Integrated Development Environment. ICSE (2) 2015: 681-684 - [c51]Sebastian Nanz, Carlo A. Furia:
A Comparative Study of Programming Languages in Rosetta Code. ICSE (1) 2015: 778-788 - [c50]Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova:
AutoProof: Auto-Active Functional Verification of Object-Oriented Programs. TACAS 2015: 566-580 - [c49]Carlo A. Furia, Christopher M. Poskitt
, Julian Tschannen:
The AutoProof Verifier: Usability by Non-Experts and on Standard Code. F-IDE 2015: 42-55 - [i27]Julian Tschannen, Carlo A. Furia, Martín Nordio, Nadia Polikarpova:
AutoProof: Auto-active Functional Verification of Object-oriented Programs. CoRR abs/1501.03063 (2015) - 2014
- [j12]Carlo A. Furia, Bertrand Meyer, Sergey Velder:
Loop invariants: Analysis, classification, and examples. ACM Comput. Surv. 46(3): 34:1-34:51 (2014) - [j11]Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider:
Agile vs. structured distributed software development: A case study. Empir. Softw. Eng. 19(5): 1197-1224 (2014) - [j10]Yu Pei
, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller
:
Automated Fixing of Programs with Contracts. IEEE Trans. Software Eng. 40(5): 427-449 (2014) - [c48]Yu Pei
, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Automatic Program Repair by Fixing Contracts. FASE 2014: 246-260 - [c47]H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer:
Contracts in Practice. FM 2014: 230-246 - [c46]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants through Semantic Collaboration. FM 2014: 514-530 - [c45]Juan Pablo Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller
:
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Haifa Verification Conference 2014: 48-53 - [c44]H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Awareness and Merge Conflicts in Distributed Software Development. ICGSE 2014: 26-35 - [c43]Carlo A. Furia, Paola Spoletini
:
Bounded Variability of Metric Temporal Logic. TIME 2014: 155-163 - [i26]Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller:
Automated Fixing of Programs with Contracts. CoRR abs/1403.1117 (2014) - [i25]Carlo A. Furia:
Rotation of Sequences: Algorithms and Proofs. CoRR abs/1406.5453 (2014) - [i24]Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller:
Automating Full Functional Verification of Programs with Loops. CoRR abs/1407.5286 (2014) - [i23]Sebastian Nanz, Carlo A. Furia:
A Comparative Study of Programming Languages in Rosetta Code. CoRR abs/1409.0252 (2014) - 2013
- [j9]Carlo A. Furia, Sebastian Nanz:
TOOLS Europe 2012 Special Section. J. Object Technol. 12(3) (2013) - [c42]H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Unifying Configuration Management with Merge Conflict Detection and Awareness Systems. Australian Software Engineering Conference 2013: 201-210 - [c41]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Really Automatic Scalable Object-Oriented Reengineering. ECOOP 2013: 477-501 - [c40]Marco Piccioni, Carlo A. Furia, Bertrand Meyer:
An Empirical Study of API Usability. ESEM 2013: 5-14 - [c39]Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia:
Javanni: A Verifier for JavaScript. FASE 2013: 231-234 - [c38]H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer:
Collaborative Debugging. ICGSE 2013: 110-119 - [c37]Nadia Polikarpova, Carlo A. Furia, Yu Pei
, Yi Wei, Bertrand Meyer:
What good are strong specifications? ICSE 2013: 262-271 - [c36]Nadia Polikarpova, Carlo A. Furia, Scott West:
To Run What No One Has Run Before: Executing an Intermediate Verification Language. RV 2013: 251-268 - [c35]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The search for the laws of automatic random testing. SAC 2013: 1211-1216 - [c34]Steven Fraser
, Luciano Baresi
, Jane Cleland-Huang, Carlo A. Furia, Georges Gonthier, Paola Inverardi, Moshe Y. Vardi:
A publication culture in software engineering (panel). ESEC/SIGSOFT FSE 2013: 19-23 - [c33]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Program Checking with Less Hassle. VSTTE 2013: 149-169 - [i22]Carlo A. Furia, Paola Spoletini:
Bounded Variability of Metric Temporal Logic. CoRR abs/1306.2141 (2013) - [i21]Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer:
Flexible Invariants Through Semantic Collaboration. CoRR abs/1311.6329 (2013) - 2012
- [b1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing. Monographs in Theoretical Computer Science. An EATCS Series, Springer 2012, ISBN 978-3-642-32331-7, pp. I-XVI, 1-423 - [c32]Carlo A. Furia:
A Verifier for Functional Properties of Sequence-Manipulating Programs. ATVA 2012: 183-186 - [c31]H.-Christian Estler, Martín Nordio, Carlo A. Furia, Bertrand Meyer
, Johannes Schneider:
Agile vs. Structured Distributed Software Development: A Case Study. ICGSE 2012: 11-20 - [c30]Carlo A. Furia, Paola Spoletini
:
Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. TIME 2012: 89-96 - [c29]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer
, Manuel Oriol:
C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28 - [c28]Marco Trudel, Carlo A. Furia, Martin Nordio:
Automatic C to O-O Translation with C2Eiffel. WCRE 2012: 501-502 - [e1]Carlo A. Furia, Sebastian Nanz:
Objects, Models, Components, Patterns - 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012. Proceedings. Lecture Notes in Computer Science 7304, Springer 2012, ISBN 978-3-642-30560-3 [contents] - [i20]Carlo A. Furia:
A Survey of Multi-Tape Automata. CoRR abs/1205.0178 (2012) - [i19]Carlo A. Furia:
Multi-tape automata for automatic verification. CoRR abs/1206.4860 (2012) - [i18]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012) - [i17]Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer:
What Good Are Strong Specifications? CoRR abs/1208.3337 (2012) - [i16]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012) - [i15]Carlo A. Furia, Bertrand Meyer, Sergey Velder:
A survey of loop invariants. CoRR abs/1211.4470 (2012) - [i14]H.-Christian Estler, Marco Piccioni, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
How Specifications Change and Why You Should Care. CoRR abs/1211.4775 (2012) - 2011
- [j8]Carlo A. Furia:
Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. SIGACT News 42(1): 32-35 (2011) - [c27]Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer
:
Inferring better contracts. ICSE 2011: 191-200 - [c26]Yu Pei
, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer
:
Code-based automated program fixing. ASE 2011: 392-395 - [c25]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei
, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful testing: Finding more errors in code and contracts. ASE 2011: 440-443 - [c24]Julian Tschannen, Carlo Alberto Furia, Martin Nordio, Bertrand Meyer:
Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. LASER Summer School 2011: 133-155 - [c23]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. SEFM 2011: 382-398 - [c22]Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic. TIME 2011: 72-79 - [c21]Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio:
Automated Translation of Java Source Code to Eiffel. TOOLS (49) 2011: 20-35 - [i13]Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Evidence-Based Automated Program Fixing. CoRR abs/1102.1059 (2011) - [i12]Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer:
Verifying Eiffel Programs with Boogie. CoRR abs/1106.4700 (2011) - [i11]Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer:
Stateful Testing: Finding More Errors in Code and Contracts. CoRR abs/1108.1068 (2011) - 2010
- [j7]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling time in computing: A taxonomy and a comparative survey. ACM Comput. Surv. 42(2): 6:1-6:59 (2010) - [j6]Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young:
SCORE: the first student contest on software engineering. ACM SIGSOFT Softw. Eng. Notes 35(4): 24-30 (2010) - [j5]Carlo A. Furia, Matteo Rossi:
A theory of sampling for continuous-time metric temporal logic. ACM Trans. Comput. Log. 12(1): 8:1-8:40 (2010) - [c20]Carlo A. Furia:
What's Decidable about Sequences? ATVA 2010: 128-142 - [c19]Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants Using Postconditions. Fields of Logic and Computation 2010: 277-300 - [c18]Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella:
A Tile-Based Approach for Self-Assembling Service Compositions. ICECCS 2010: 43-52 - [c17]Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi:
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. ICECCS 2010: 85-94 - [c16]Yi Wei, Yu Pei
, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller
:
Automated fixing of programs with contracts. ISSTA 2010: 61-72 - [c15]Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. VSTTE 2010: 127-141 - [i10]Carlo A. Furia:
What's Decidable About Sequences? CoRR abs/1001.2100 (2010) - [i9]Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli:
Refinement and Verification of Real-Time Systems. CoRR abs/1002.1796 (2010) - [i8]Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer:
Specifying Reusable Components. CoRR abs/1003.5777 (2010) - [i7]Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini:
A control-theoretical methodology for the scheduling problem. CoRR abs/1009.3455 (2010)
2000 – 2009
- 2009
- [j4]Carlo A. Furia, Matteo Pradella
, Matteo Rossi:
Comments on temporal logics for real-time system specification. ACM Comput. Surv. 41(2): 13:1-13:5 (2009) - [c14]Carlo A. Furia, Paola Spoletini:
Towards Relaxing Metric Information in Linear Temporal Logic. ICTCS 2009: 121-124 - [c13]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella
, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. SEFM 2009: 13-22 - [i6]Carlo A. Furia, Paola Spoletini:
On Relaxing Metric Information in Linear Temporal Logic. CoRR abs/0906.4711 (2009) - [i5]Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. CoRR abs/0907.5074 (2009) - [i4]Carlo A. Furia, Bertrand Meyer:
Inferring Loop Invariants using Postconditions. CoRR abs/0909.0884 (2009) - [i3]Carlo A. Furia, Matteo Rossi:
A Theory of Sampling for Continuous-time Metric Temporal Logic. CoRR abs/0911.5642 (2009) - 2008
- [c12]Carlo A. Furia, Paola Spoletini
:
Practical Efficient Modular Linear-Time Model-Checking. ATVA 2008: 408-417 - [c11]Carlo A. Furia, Marco Mazzucchelli, Paola Spoletini
, Mara Tanelli
:
Towards the exhaustive verification of real-time aspects in controller implementation. CACSD 2008: 1265-1270 - [c10]Carlo A. Furia, Matteo Pradella
, Matteo Rossi:
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. FM 2008: 132-147 - [c9]Carlo A. Furia, Matteo Rossi:
MTL with Bounded Variability: Decidability and Complexity. FORMATS 2008: 109-123 - [c8]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. ICFEM 2008: 298-317 - [c7]Carlo A. Furia, Paola Spoletini:
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. ICTAC 2008: 126-140 - [i2]Carlo A. Furia, Matteo Pradella, Matteo Rossi:
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models. CoRR abs/0804.4383 (2008) - [i1]Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi:
Modeling Time in Computing: A Taxonomy and a Comparative Survey. CoRR abs/0807.4132 (2008) - 2007
- [j3]Carlo A. Furia, Matteo Rossi:
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. Bull. EATCS 92: 150-160 (2007) - [j2]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated compositional proofs for real-time systems. Theor. Comput. Sci. 376(3): 164-184 (2007) - [c6]Carlo A. Furia, Matteo Rossi:
On the Expressiveness of MTL Variants over Dense Time. FORMATS 2007: 163-178 - [c5]Carlo A. Furia, Matteo Rossi, Dino Mandrioli:
Modeling the Environment in Software-Intensive Systems. MiSE@ICSE 2007: 11 - 2006
- [j1]Carlo A. Furia, Angelo Morzenti, Matteo Pradella
, Matteo Rossi:
Comments on "An Interval Logic for Real-Time System Specification'. IEEE Trans. Software Eng. 32(6): 424-427 (2006) - [c4]Carlo A. Furia, Matteo Rossi:
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. FORMATS 2006: 215-229 - 2005
- [c3]Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti:
Automated Compositional Proofs for Real-Time Systems. FASE 2005: 326-340 - 2004
- [c2]Andrea Matta, Carlo A. Furia, Matteo Rossi:
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. ISCIS 2004: 718-728 - [c1]Carlo A. Furia, Matteo Rossi:
A Compositional Framework for Formally Verifying Modular Systems. TACoS 2004: 185-198
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-27 22:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint