Curriculum Vitae - Chair of Software Engineering - ETH Zürich
Curriculum Vitae - Chair of Software Engineering - ETH Zürich
Curriculum Vitae - Chair of Software Engineering - ETH Zürich
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Carlo A. Furia 2<br />
Research interests<br />
Formal methods for s<strong>of</strong>tware engineering.<br />
My main research interests focus on the development <strong>of</strong> models, techniques, methods, and<br />
tools to support the analysis, rigorous development, and verification <strong>of</strong> s<strong>of</strong>tware and s<strong>of</strong>twareintensive<br />
systems. The main topics include:<br />
Logic for the specification and analysis <strong>of</strong> s<strong>of</strong>tware.<br />
Formal pro<strong>of</strong>s <strong>of</strong> program correctness.<br />
Testing and dynamic analysis.<br />
Real-time modeling and verification.<br />
Integration <strong>of</strong> formal methods.<br />
Publications 2<br />
Books and Edited Proceedings<br />
B2. Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi. Modeling Time in Computing.<br />
Monographs in Theoretical Computer Science. An EATCS series. Springer, 2012<br />
B1. Carlo A. Furia and Sebastian Nanz, editors. Objects, Models, Components, Patterns – 50th<br />
International Conference, TOOLS 2012, Prague, Czech Republic, May 29–31, 2012. Proceedings,<br />
volume 7304 <strong>of</strong> Lecture Notes in Computer Science. Springer, 2012<br />
Research papers<br />
P38. Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer. Automatic verification<br />
<strong>of</strong> advanced object-oriented features: The AutoPro<strong>of</strong> approach. In Bertrand Meyer<br />
and Martin Nordio, editors, Tools for Practical S<strong>of</strong>tware Verification – LASER 2011, International<br />
Summer School, volume 7682 <strong>of</strong> Lecture Notes in Computer Science, pages 134–156. Springer,<br />
2012<br />
Extended version <strong>of</strong> [R27].<br />
P37. Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, and Manuel Oriol. C to O-<br />
O: Beyond the easy stuff. In Rocco Oliveto, Denys Poshyvanyk, James Cordy, and Thomas<br />
Dean, editors, Proceedings <strong>of</strong> the 19th Working Conference on Reverse <strong>Engineering</strong> (WCRE’12),<br />
pages 19–28. IEEE Computer Society, October 2012. (Acceptance rate: 33%)<br />
Extended version in [R32].<br />
P36. Marco Trudel, Carlo A. Furia, and Martin Nordio. Automatic C to O-O translation with<br />
C2Eiffel. In Rocco Oliveto, Denys Poshyvanyk, James Cordy, and Thomas Dean, editors,<br />
Proceedings <strong>of</strong> the 19th Working Conference on Reverse <strong>Engineering</strong> (WCRE’12), pages 508–509.<br />
IEEE Computer Society, October 2012. Tool demonstration paper<br />
Tool paper based on [P37].<br />
2 Publications are available online at http://se.inf.ethz.ch/people/furia/.<br />
Time Modeling<br />
TOOLS 2012<br />
LASER 2011<br />
WCRE 2012<br />
WCRE 2012