Du bist Terrorist
Eric | May 23, 2009Would be very funny if it weren’t so true…
Du bist Terrorist (You are a Terrorist) english subtitles from lexela on Vimeo.
Related Posts
No related posts.
- Categories
- Misc
- Tags
- Ueberwachungsstaat
- Comments rss
Eric Bodden, Ph.D.
11°C
Head of Secure Software Engineering Group at EC SPRIDE
Principal Investigator in Secure Services at CASED
Principal Investigator in Secure Services at CASED
- Home
- Research
- Tools
- Behavior Compliance Control
- Join Point Interfaces
- TamiFlex: a tool set for Taming Reflection
- Closure Joinpoints for AspectJ
- Clara: Compile-time Approximation of Runtime Analyses
- RacerAJ (for race detection)
- An introduction to Soot 2.2.5
- J-LO, a tool for runtime-checking temporal assertions
- Aspect-oriented approaches targeting the .NET Framework
- Teaching
- About me
- Photos
Welcome
Welcome to my website. Interested in my research? Click here for details or jump directly to my publications.
Upcoming Conferences
Photos
Collaborations
- Don Batory, UTA
- Eric Tanter, Universidad de Chile
- Friedrich Steimann, Fernuni Hagen
- Grigore Rosu, UIUC
- Hans Vangheluwe, McGill University/Universiteit Antwerpen
- Klaus Havelund, NASA JPL
- Laurie Hendren, McGill University
- Matthew Dwyer, University of Nebraska
- Oege de Moor, University of Oxford
- Ondrej Lhotak, University of Waterloo
- Patrick Lam, University of Waterloo
- Sarfraz Khurshid, UTA
- Shahar Maoz, RWTH Aachen
- Tian Zhao, UW Milwaukee
- Volker Stolz, University of Oslo
Research projects
Service
- AOSD 2006
- AOSD 2007
- AOSD 2010
- AOSD 2011
- AOSD 2012
- ATVA 2008
- ECOOP 2008 Doctoral Symposium
- ECOOP 2010
- ESEC/FSE 2011 New Ideas Track
- FOAL 2010
- FOAL 2012
- ICSE 2010
- ICSE 2013 (New Ideas)
- IEEE Transactions on Software Engineering (TSE)
- International Journal of Image and Graphics
- ISSTA 2011
- NFM 2011
- OOPSLA 2008
- OOPSLA 2010
- OOPSLA 2012
- PEPM 2008
- PLDI 2006
- PLDI 2008
- RAM-SE 2011
- RV 2007
- RV 2009
- RV 2010
- RV 2011
- SAC 2012
- SC 2011
- SEFM 2005
- SEFM 2008
- Transactions on Software Engineering and Methodology (TOSEM)
- VMIL 2008
- VMIL 2009
Some other people I know
Some people not to confuse me with
Previous Posts
Tags
Alumni
AOP
AOSD
AspectJ
Atlanta
Bike
Blizzard
Bug finding
Caro
Clara
COMP 621
Eclipse
FSE
Google
ISSTA
Java
LinkedIn
Mac
McGill
Microsoft
Montreal
NASA
Photos
Programming
Quebec City
Race detection
Racer
Runtime Monitoring
Runtime verification
RV
RWTH
Seattle
Slides
Snow storm
Soot
Soot Tutorial
Static Analysis
Strike
TamiFlex
TA strike
Thesis
tracematches
Typestate
Vacation
Winter carnival
