Prof. Dr. Eric Bodden

Professor for Secure Software Engineering at Heinz Nixdorf Institute, Paderborn University and
Director for Software Engineering and IT Security at Fraunhofer IEM
  • rss
  • Home
  • CV
  • Publications
  • Research
  • Teaching
  • Contact

New Technical Reports

Eric | January 17, 2012

I have put online two new Technical Reports. Enjoy…

Identifying meaningless parameterized linear-temporal-logic formulas (Eric Bodden), Technical report TUD-CS-2012-0014, CASED, 2012.

On the Expressiveness of Parameterized Finite-state Runtime Monitors (Eric Bodden), Technical report TUD-CS-2012-0013, CASED, 2012.

Related Posts

  1. New technical report: "Instance keys: A technique for sharpening whole-program pointer analyses with intraprocedural information"
Categories
Research
Comments rss
Comments rss
Trackback
Trackback

« Video on Clara online FOAL Keynote: Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs »

rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox