http://sct.inf.ethz.ch/projects/student_docs/Simon_Hofer/Simon_Hofe...
... Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie: A modular reusable verifier for ... object-oriented programs. In LNCS, volume 4111. Springer, 2006. [2] Mike Barnett, Robert DeLine, Manuel ... Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie: A modular reusable verifier for ... object-oriented programs. In LNCS, volume 4111. Springer, 2006. [2] Mike Barnett, Robert DeLine, Manuel ...
UZH - s.e.a.l - Publications
... you a glimpse on my research: Saleema Amershi, Andrew Begel, Christian Bird, Robert DeLine, Harald C ... Begel, Christian Bird, Robert DeLine, Harald C. Gall , Ece Kamar, Nachiappan Nagappan, Besmira Nushi ...
ESEC/FSE 2013 - Program Chairs
... Boyapati , Google, USA Vittorio Cortellessa , Università dell'Aquila, Italy Robert DeLine , Microsoft, USA ...
Rock falls in the Mont Blanc Massif in 2007 and 2008 - Zurich Open ...
... Massif in 2007 and 2008 Ravanel, L ; Allignol, F ; Deline, P ; Gruber, S ; Ravello, M (2010). Rock falls ... Ravanel, L * Corresponding author Université Savoie Mont Blanc, Chambery, France Allignol, F Deline, P ...
Ice thawing, mountains falling-are alpine rock slope failures incre...
... ; Deline, P ; Fischer, L ; Noetzli, J ; Ravanel, L (2012). Ice thawing, mountains falling-are alpine rock ... Deline, P Université Savoie Mont Blanc, Chambery, France Fischer, L Norges geologiske undersekelse ...
Chair of Software Engineering, ETH Zurich, teaching
... Venolia and Robert DeLine: Maintaining mental models: a study of developer work habits . In ICSE '06 ... Venolia and Robert DeLine: Maintaining mental models: a study of developer work habits . In ICSE '06 ...
A Certified Multi-Language Multi-prover Verification Condition Generator
... University Press, 1996. 2. M. Barnett, R. DeLine, B. Jacobs, B.-Y. E. Chang, and K. R. M. Leino. Boogie: A ... University Press, 1996. 2. M. Barnett, R. DeLine, B. Jacobs, B.-Y. E. Chang, and K. R. M. Leino. Boogie: A ...
http://laser.inf.ethz.ch/2014/students/kevic.pdf
... Trans. on Soft. Eng., 32:971–987, 2006. [3] T. D. LaToza, G. Venolia, and R. DeLine. Maintaining mental ... Trans. on Soft. Eng., 32:971–987, 2006. [3] T. D. LaToza, G. Venolia, and R. DeLine. Maintaining mental ...
Estimating glacier-bed overdeepenings as possible sites of future l...
... Magnin, Florence ; Haeberli, Wilfried ; Linsbauer, Andreas ; Deline, Philip ; Ravanel, Ludovic ... , Florence ; Haeberli, Wilfried ; Linsbauer, Andreas ; Deline, Philip ; Ravanel, Ludovic (2020). Estimating ... University of Fribourg, Fribourg, Switzerland Deline, Philip Universite Grenoble Alpes, Saint Martin d'Heres ...
Timing of rockfalls in the Mont Blanc massif (Western Alps): eviden...
... ; Brandová, Dagmar ; Schaepman, Michael E ; Christl, Marcus ; Gruber, Stephan ; Deline, Philip ; Carcaillet ... , Canada Deline, Philip Université Savoie Mont Blanc, Chambery, France Carcaillet, Julien Institut des ...
