Prof. Eric Bodden, Ph.D.

Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University and
Director for Software Engineering at Fraunhofer IEM
  • rss
  • Home
  • Research
    • Publications
  • Tools
  • Teaching
  • About me
  • Photos

Now at TOPLAS: Partially evaluating finite-state runtime monitors ahead of time

Eric | July 4, 2012

Our TOPLAS paper has just appeared. Just 18 months turnaround time – given the 52 pages this was fast!

Related Posts

  1. Partially evaluating finite-state runtime monitors ahead of time (to appear at TOPLAS)
  2. Clara: a Framework for Partially Evaluating Finite-state Runtime Monitors Ahead of Time
  3. New publication: Finding Programming Errors Earlier by Evaluating Runtime Monitors Ahead-of-Time
  4. New TR: Static Analysis Techniques for Evaluating Runtime Monitoring Properties Ahead-of-Time
  5. Stateful Breakpoints: A Practical Approach to Defining Parameterized Runtime Monitors
Categories
Research
Comments rss
Comments rss
Trackback
Trackback

« AOSD CFP for Industry and Research Results Papers ICS 2012: Dynamic Anomaly Detection for More Trustworthy Outsourced Computation »

Welcome

Welcome to my website. Interested in my research? Click here for details or jump directly to my publications.

Previous Posts

July 2012
M T W T F S S
« Jun   Sep »
 1
2345678
9101112131415
16171819202122
23242526272829
3031  

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
rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox