- Rapport d'Activits 2010 Centre de Recherche et d'Appui pour l'Enseignement et ses Technologies
- EFQM Excellence Model Higher Education Version 2003
- iProve: A Scalable Technique for Consumer-Verifiable Software Guarantees Silviu Andrica, Horatiu Jula, and George Candea
- Execution Synthesis: A Technique for Automated Software Debugging
- Using Verification Technology to Specify and Detect Andreas Holzer, Johannes Kinder, and Helmut Veith
- Cloud9: A Software Testing Service Liviu Ciortea, Cristian Zamfir, Stefan Bucur, Vitaly Chipounov, George Candea
- Software Transformations to Improve Malware Mihai Christodorescu1
- Malware Normalization Mihai Christodorescu
- Detecting Malicious Code by Model Checking Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith
- Parallel Symbolic Execution for Automated Real-World Software Testing
- Communix: A Framework for Collaborative Deadlock Immunity Horatiu Jula, Pinar Tzn, George Candea
- Studying ApplicationLibrary Interaction and Behavior with LibTrac Eric Bisolfati, Paul Marinescu, and George Candea
- Rapport d'expertise de l'cole polytechnique fdrale de Lausanne (EPFL)
- Reverse-Engineering Drivers for Safety and Portability Vitaly Chipounov and George Candea
- Testing Closed-Source Binary Device Drivers with DDT Volodymyr Kuznetsov, Vitaly Chipounov, and George Candea
- Deadlock Immunity: Enabling Systems To Defend Against Deadlocks Horatiu Jula, Daniel Tralamazza, Cristian Zamfir, George Candea
- Reverse Engineering of Binary Device Drivers with RevNIC Vitaly Chipounov and George Candea
- 18.02.10Actualit04 Exit les bugs
- Let us bring technology news to you. Subscribe to our daily newsfeed
- Commission des Titres d'Ingnieur Guide d'Autovaluation
- AUDIT OAQ/CTI 2006 Programme dtaill -Visite des experts -20-24 novembre 2006 Version 5 Dbut Fin Dure Lieu Participants EPFL Experts / OAQ / CTI
- Accrditation de filires d'tudes Rapport de suivi de l'OAQ -Extrait: rapport des experts
- ACCREDITATION ET ADMISSION PAR L'ETAT DES FORMATIONS D'INGENIEUR D'UN ETABLISSEMENT ETRANGER
- des Titres d'Ingnieur Avis n 2010/05-10 relatif
- An Extensible Technique for High-Precision Testing of Recovery Code Paul D. Marinescu, Radu Banabic, George Candea
- Automated Software Testing as a Service George Candea, Stefan Bucur, Cristian Zamfir
- Appears in 10th ACM/IFIP/USENIX International Middleware Conference, Industrial Track, Urbana-Champaign, IL (December 2009) Drivolution: Rethinking the Database Driver Lifecycle
- TO APPEAR IN: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING 1 Proactive Detection of Computer Worms Using
- Efficient Model Checking of Fault-Tolerant Distributed Protocols Peter Bokor, Johannes Kinder, Marco Serafini and Neeraj Suri
- Precise Static Analysis of Untrusted Driver Binaries Johannes Kinder
- An Abstract Interpretation-Based Framework for Control Flow Reconstruction from Binaries
- Jakstab: A Static Analysis Platform for Binaries (Tool Paper)
- Proving Memory Safety of Floating-Point Computations by Combining Static and Dynamic Program Analysis
- Alternating Control Flow Reconstruction Johannes Kinder1
- Bachelor Curricula Hubert H. Girault
- The VLDB Journal (2011) 20:227248 DOI 10.1007/s00778-011-0221-2
- Efficient Testing of Recovery Code Using Fault Injection Paul D. Marinescu, Ecole Polytechnique Federale de Lausanne (EPFL), Switzerland
