| 2013 |
| - Certificates and Separation Logic. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, In proceedings of the 8th International Symposium on Trustworthy Global Computing (TGC), Springer, 2013. [pdf]
[bib]
|
| - Javanni: A Verifier for JavaScript. Martin Nordio, Cristiano Calcagno, Carlo Alberto Furia, In Proceedings of Fundamental Approaches to Software Engineering (FASE), Springer, volume 7793, 2013. [pdf]
[bib]
|
| 2012 |
| - Freefinement. Stephan van Staden, Cristiano Calcagno, Bertrand Meyer, In Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, ACM, New York, NY, USA, 2012. [pdf]
[bib]
|
| 2010 |
| - Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Julian Tschannen, In TOOLS-EUROPE (J. Vitek, ed.), 2010. [pdf]
[bib]
|
| - Verifying Executable Object-Oriented Specifications with Separation Logic. Stephan van Staden, Cristiano Calcagno, Bertrand Meyer, In ECOOP (Theo D'Hondt, ed.), Springer, volume 6183, 2010. [pdf]
[bib]
|
| 2009 |
| - Separation, Abstraction, Multiple Inheritance and View Shifting. Stephan van Staden, Cristiano Calcagno, Technical report, ETH Zurich, 2009. [pdf]
[bib]
|
| - A Sound and Complete Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, In TOOLS-EUROPE (M. Oriol, B. Meyer, eds.), volume 33, 2009. [pdf]
[bib]
|
| - Soundness and Completeness of a Program Logic for Eiffel. Martin Nordio, Cristiano Calcagno, Peter Müller, Bertrand Meyer, Technical report, ETH Zurich, 2009. [pdf]
[bib]
|
| - Reasoning about Function Objects. Martin Nordio, Cristiano Calcagno, Bertrand Meyer, Peter Müller, Technical report, ETH Zurich, 2009. [pdf]
[bib]
|
