Marc Messing

Publication Activity (10 Years)

Years Active: 2008-2009
Publications (10 Years): 0

Publications

Marc Messing, Andreas Glowatz, Friedrich Hapke, Rolf Drechsler
Using a two-dimensional fault list for compact Automatic Test Pattern Generation. LATW (2009)
Robert Wille, Görschwin Fey, Marc Messing, Gerhard Angst, Lothar Linhard, Rolf Drechsler
Identifying a Subset of System Verilog Assertions for Efficient Bounded Model Checking. DSD (2008)