LTI - Computer Networking Laboratory
22:41A Model-Driven Environment for Service Design, Simulation and Prototyping. 4th International Conference on Exploring Services Sciences, Porto, Portugal, February 6-8, 2013. , Lecture Notes in Business Information Processing (LNBIP) 0143.
14:33From Business Services to IT Services by Capturing Design Decisions. 2nd International Symposium on Business Modeling and Software Design, Geneva, Switzerland, July 4-6, 2012.
16:13Querypoint Debugging (Semi-Automated Inspection of Buggy Execution). Thèse EPFL, n° 5533 (2012)
09:27A formal analysis of the deferred update technique. 11th International Conference on Principles of Distributed Systems, Guadeloupe, GUADELOUPE, Dec 17-20, 2007. , Lecture Notes In Computer Science.
16:47Querypoint : Moving Backwards on Wrong Values in the Buggy Execution. ESEC/FSE, Szeged, Hungary, 2011.
10:58Querypoint Debugging, 2010.
10:55Towards a Systematic Approach for Driving Micro-Level Software Development Process, 2009.
17:06Model-Based Debugging. Doctoral Symposium at the 23rd European Conference on Object-Oriented Programming (ECOOP), Genova, Italy, July 6-10, 2009.