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 ...
ESEC/FSE 2013 - Program Chairs
... Boyapati , Google, USA Vittorio Cortellessa , Università dell'Aquila, Italy Robert DeLine , Microsoft, USA ...
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 ...
krml156.dvi
... krml156.dvi The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine ... . References 0. Mike Barnett, Robert DeLine, Manuel Fa¨hndrich, K. Rustan M. Leino, and Wolfram Schulte ... http://vstte.inf.ethz.ch/Files/barnett- deline-jacobs-faehndrich-leino-schulte-venter.pdf ... krml156.dvi The Spec# Programming System: Challenges and Directions Mike Barnett, Robert DeLine ...
http://vstte.inf.ethz.ch/Files/naumann.pdf
... -Oriented Programming (ECOOP), 2005. [7] M. Barnett, R. DeLine, M. Fa¨hndrich, K. R. M. Leino, and W ... Engi- neering, University of New South Wales, Australia, 2001. [16] R. DeLine and M. Fa¨hndrich. The ... -Oriented Programming (ECOOP), 2005. [7] M. Barnett, R. DeLine, M. Fa¨hndrich, K. R. M. Leino, and W ... Engi- neering, University of New South Wales, Australia, 2001. [16] R. DeLine and M. Fa¨hndrich. The ...
ASE2019-Nov12th2019-MiryungKim-SE4DA
... DeLine, Andrew Begel The Emerging Roles of Data Scientists on Software Teams We are at a tipping point ... DeLine, Andrew Begel The Emerging Roles of Data Scientists on Software Teams We are at a tipping point ...
Slicing Spec# Programs
... Bibliography [1] Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie ... , 2005. [3] Robert DeLine and Rustan M. Leino. BoogiePL: A typed procedural language for checking object ... Bibliography [1] Mike Barnett, Bor-Yuh Evan Chang, Robert DeLine, Bart Jacobs, and K. Rustan M. Leino. Boogie ... , 2005. [3] Robert DeLine and Rustan M. Leino. BoogiePL: A typed procedural language for checking object ...
http://vstte.inf.ethz.ch/Files/ball.pdf
... . Springer-Verlag, 2000. [LBD+04] J. R. Larus, T. Ball, M. Das, R. DeLine, M. Fahndrich, J. Pincus, S. K. Ra ... . Springer-Verlag, 2000. [LBD+04] J. R. Larus, T. Ball, M. Das, R. DeLine, M. Fahndrich, J. Pincus, S. K. Ra ...
