Eric Bodden http://www.bodden.de Easy and efficient software verification Fri, 19 Feb 2010 08:38:33 +0000 http://backend.userland.com/rss092 en Automated Software Engineering http://www.bodden.de/2010/02/19/ase-lecture/ New ICSE paper: Efficient Hybrid Typestate Analysis by Determining Continuation-Equivalent States http://www.bodden.de/2010/01/21/icse-2010-camera-ready/ Final version of PhD thesis available http://www.bodden.de/2009/12/29/phd-thesis-submitted/ Slides and photos of defense talk http://www.bodden.de/2009/11/17/slides-of-defense-talk/ Now working for CASED http://www.bodden.de/2009/11/07/cased/ New Tech Report: Efficient and Precise Typestate Analysis by Determining Continuation-Equivalent States http://www.bodden.de/2009/09/10/continuation-equivalent-states/ Now available: Clara, a novel framework for implementing hybrid typestate analyses http://www.bodden.de/2009/09/10/clara-is-here/ Where did Java 5 go? http://www.bodden.de/2009/09/03/java-5-gone-on-snow-leopard/ Feng Chen has passed away http://www.bodden.de/2009/08/16/feng-chen-has-passed-away/ Netzpolitik.org Schäuble Plakat – Remix-Wettbewerb http://www.bodden.de/2009/08/12/remix-wettbewerb/