| 2015 |
| - AutoProof: Auto-active Functional Verification of Object-oriented Programs. Julian Tschannen, Carlo A. Furia, Martin Nordio, Nadia Polikarpova, In 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer, 2015. [pdf]
[bib]
|
| - A Fully Verified Container Library. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, In FM 2015: Formal Methods, Springer, 2015.
[bib]
|
| - The AutoProof Verifier: Usability by Non-Experts and on Standard Code. Carlo A. Furia, Christopher M. Poskitt, Julian Tschannen, In Proc. Formal Integrated Development Environment (F-IDE 2015), Electronic Proceedings in Theoretical Computer Science (EPTCS), volume 187, 2015. [pdf]
[bib]
|
| 2014 |
| - AutoProof Meets Some Verification Challenges. Julian Tschannen, Carlo A. Furia, Martin Nordio, In International Journal on Software Tools for Technology Transfer, Springer, 2014. [pdf]
[bib]
|
| - Flexible Invariants Through Semantic Collaboration. Nadia Polikarpova, Julian Tschannen, Carlo A. Furia, Bertrand Meyer, In FM 2014: Formal Methods, Springer, volume 8442, 2014.
[bib]
|
| - Automated Fixing of Programs with Contracts. Yu Pei, Carlo A. Furia, Martin Nordio, Yi Wei, Bertrand Meyer, Andreas Zeller, In IEEE Transactions on Software Engineering, volume 40, 2014. [pdf]
[bib]
|
| - Automatic Program Repair by Fixing Contracts. Yu Pei, Carlo A. Furia, Martin Nordio, In 17th International Conference on Fundamental Approaches to Software Engineering (FASE), 2014. [pdf]
[bib]
|
| - DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification. Juan P. Galeotti, Carlo A. Furia, Eva May, Gordon Fraser, Andreas Zeller, In Proceedings of the 10th Haifa Verification Conference (HVC) (Eran Yahav, ed.), Springer, volume 8855, 2014. [pdf]
[bib]
|
| - Bounded Variability of Metric Temporal Logic. Carlo A. Furia, Paola Spoletini, In Proceedings of the 21st International Symposium on Temporal Representation and Reasoning (TIME'14) (Amedeo Cesta, Carlo Combi, Francois Laroussinie, eds.), IEEE Computer Society, 2014. [pdf]
[bib]
|
| - Loop Invariants: Analysis, Classification, and Examples. Carlo A. Furia, Bertrand Meyer, Sergey Velder, In ACM Computing Surveys, ACM, volume 46, 2014. [pdf]
[bib]
|
| - Awareness and Merge Conflicts in Distributed Software Development. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In Proceedings of the 9th International Conference on Global Software Engineering (ICGSE) (Yuanfang Cai, Jude Fernandez, Wenyun Zhao, eds.), IEEE Computer Society, 2014. [pdf]
[bib]
|
| - Contracts in Practice. H.-Christian Estler, Carlo A. Furia, Martin Nordio, Marco Piccioni, Bertrand Meyer, In Proceedings of the 19th International Symposium on Formal Methods (FM) (Cliff B. Jones, Pekka Pihlajasaari, Jun Sun, eds.), Springer, volume 8442, 2014. [pdf]
[bib]
|
| 2013 |
| - Program Checking With Less Hassle. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of Verified Software: Theories, Tools and Experiments (VSTTE), Springer, volume 8164, 2013. [pdf]
[bib]
|
| - Really Automatic Scalable Object-Oriented Reengineering. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In European Conference on Object-Oriented Programming (ECOOP), Springer, 2013. [pdf]
[bib]
|
| - To Run What No One Has Run Before: Executing an Intermediate Verification Language. Nadia Polikarpova, Carlo A. Furia, Scott West, In Fourth International Conference on Runtime Verification (RV'13), Springer, volume 8174, 2013. [pdf]
[bib]
|
| - What Good Are Strong Specifications?. Nadia Polikarpova, Carlo A. Furia, Yu Pei, Yi Wei, Bertrand Meyer, In Proceedings of the 35th International Conference on Software Engineering (ICSE'13), IEEE Press, 2013. [pdf]
[bib]
|
| - The Search for the Laws of Automatic Random Testing. Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei, In Proceedings of the 28th ACM Symposium on Applied Computing (SAC 2013), ACM, 2013. [pdf]
[bib]
|
| - Agile vs.\ structured distributed software development: A case study. Hans-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider, In Empirical Software Engineering, Springer, 2013. [pdf]
[bib]
|
| - Collaborative Debugging. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In 8th International Conference on Global Software Engineering (ICGSE), IEEE, 2013. [pdf]
[bib]
|
| - Unifying Configuration Management with Awareness Systems and Merge Conflict Detection. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, In 22nd Australasian Software Engineering Conference (ASWEC), IEEE, 2013. [pdf]
[bib]
|
| 2012 |
| - Automatic Verification of Advanced Object-Oriented Features: The AutoProof Approach. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Tools for Practical Software Verification - LASER 2011, International Summer School, Springer, volume 7682, 2012. [pdf]
[bib]
|
| - C to O-O Translation: Beyond the Easy Stuff. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol, In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE'12) (Rocco Oliveto, Denys Poshyvanyk, eds.), IEEE Computer Society, 2012. [pdf]
[bib]
|
| - Automatic C to O-O Translation with C2Eiffel (Tool demonstration paper). Marco Trudel, Carlo A. Furia, Martin Nordio, In Proceedings of the 19th Working Conference on Reverse Engineering (WCRE'12) (Rocco Oliveto, Denys Poshyvanyk, eds.), IEEE Computer Society, 2012. [pdf]
[bib]
|
| - A Verifier for Functional Properties of Sequence-Manipulating Programs. Carlo A. Furia, In Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis (ATVA'12) (Supratik Chakraborty, Madhavan Mukund, eds.), Springer, volume 7561, 2012. [pdf]
[bib]
|
| - Automata-based Verification of Linear Temporal Logic Models with Bounded Variability. Carlo A. Furia, Paola Spoletini, In Proceedings of the 19th International Symposium on Temporal Representation and Reasoning (TIME'12) (Ben Moszkowski, Mark Reynolds, Paolo Terenziani, eds.), IEEE Computer Society, 2012. [pdf]
[bib]
|
| - Modeling Time in Computing. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi, Springer, 2012. [pdf]
[bib]
|
| - Agile vs. Structured Distributed Software Development: A Case Study. H.-Christian Estler, Martin Nordio, Carlo A. Furia, Bertrand Meyer, Johannes Schneider, In 7th International Conference on Global Software Engineering, IEEE, 2012. [pdf]
[bib]
|
| 2011 |
| - Stateful Testing: Finding More Errors in Code and Contracts. Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer, In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, 2011. [pdf]
[bib]
|
| - Inferring Better Contracts. Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer, In Proceedings of the 33rd International Conference on Software Engineering (ICSE'11) (Richard N. Taylor, Harald Gall, Nenad Medvidovic, eds.), ACM, 2011. [pdf]
[bib]
|
| - Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM), Springer, 2011. [pdf]
[bib]
|
| - Verifying Eiffel programs with Boogie. Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In BOOGIE workshop, 2011. [pdf]
[bib]
|
| - Automated Translation of Java Source Code to Eiffel. Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio, In TOOLS-EUROPE (Judith Bishop, Antonio Vallecillo, eds.), 2011. [pdf]
[bib]
|
| - Code-Based Automated Program Fixing. Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer, In 26th IEEE/ACM International Conference on Automated Software Engineering (ASE), IEEE, 2011. [pdf]
[bib]
|
| - On Relaxing Metric Information in Linear Temporal Logic. Carlo A. Furia, Paola Spoletini, In Proceedings of the 18th International Symposium on Temporal Representation and Reasoning (TIME'11) (Carlo Combi, Martin Leucker, Frank Wolter, eds.), IEEE Computer Society, 2011. [pdf]
[bib]
|
| 2010 |
| - Automated Fixing of Programs with Contracts. Yi Wei, Yu Pei, Carlo A. Furia, Lucas S. Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller, In Proceedings of the International Symposium on Software Testing and Analysis 2010 (ISSTA'10), 2010. [pdf]
[bib]
|
| - Specifying Reusable Components. Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer, In Proceedings of the 3rd International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10) (Gary T. Leavens, Peter O'Hearn, Sriram Rajamani, eds.), Springer, volume 6217, 2010. [pdf]
[bib]
|
| - SCORE: the first student contest on software engineering. Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young, In SIGSOFT Software Engineering Notes, volume 35, 2010. [pdf]
[bib]
|
| - What's Decidable About Sequences?. Carlo A. Furia, In Proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA'10) (Ahmed Bouajjani, Wei-Ngan Chin, eds.), Springer, volume 6252, 2010. [pdf]
[bib]
|
| - A Theory of Sampling for Continuous-Time Metric Temporal Logic. Carlo A. Furia, Matteo Rossi, In ACM Transactions on Computational Logic, ACM, volume 12, 2010. [pdf]
[bib]
|
| - Modeling Time in Computing: a taxonomy and a comparative survey. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi, In ACM Computing Surveys, ACM, volume 42, 2010. [pdf]
[bib]
|
| - Inferring Loop Invariants Using Postconditions. Carlo A. Furia, Bertrand Meyer, In Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday (Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, eds.), Springer, volume 6300, 2010. [pdf]
[bib]
|
| - A Tile-based Approach for Self-assembling Service Compositions. Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella, In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), IEEE, 2010. [pdf]
[bib]
|
| - 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, In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'10), IEEE, 2010. [pdf]
[bib]
|
| 2009 |
| - Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi, In Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM'09), IEEE Computer Society Press, 2009. [pdf]
[bib]
|
