FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem; Rolf Drechsler; Görschwin Fey; Alexander Finder; Georg Hofferek; Robert Könighofer; Jaan Raik; Urmas Repinski; Andre Sülflow

FoREnSiC - An Automatic Debugging Environment for C Programs

Roderick Paul Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, Andre Sülflow

Institute of Applied Information Processing and Communications (7050)

Research output: Contribution to conference › Poster

Original language	English
Publication status	Published - 2012
Event	Design, Automation & Test in Europe - Dresden, Germany Duration: 13 Mar 2012 → 15 Mar 2012

Conference

Conference	Design, Automation & Test in Europe
City	Dresden, Germany
Period	13/03/12 → 15/03/12

Fields of Expertise

Information, Communication & Computing

Treatment code (Nähere Zuordnung)

Application

Access to Document

forensic_poster.pdfFinal published version, 313 KB

Cite this

@conference{3ab4e6b9cd6343bf94ada90adf9241e1,

title = "FoREnSiC - An Automatic Debugging Environment for C Programs",

author = "Bloem, {Roderick Paul} and Rolf Drechsler and G{\"o}rschwin Fey and Alexander Finder and Georg Hofferek and Robert K{\"o}nighofer and Jaan Raik and Urmas Repinski and Andre S{\"u}lflow",

year = "2012",

language = "English",

note = "Design, Automation & Test in Europe ; Conference date: 13-03-2012 Through 15-03-2012",

}

TY - CONF

T1 - FoREnSiC - An Automatic Debugging Environment for C Programs

AU - Bloem, Roderick Paul

AU - Drechsler, Rolf

AU - Fey, Görschwin

AU - Finder, Alexander

AU - Hofferek, Georg

AU - Könighofer, Robert

AU - Raik, Jaan

AU - Repinski, Urmas

AU - Sülflow, Andre

PY - 2012

Y1 - 2012

UR - http://www.date-conference.com/date12/group/exhibition/u-booth

M3 - Poster

T2 - Design, Automation & Test in Europe

Y2 - 13 March 2012 through 15 March 2012

ER -

FoREnSiC - An Automatic Debugging Environment for C Programs

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this

FoREnSiC - An Automatic Debugging Environment for C Programs

Conference

Fields of Expertise

Treatment code (Nähere Zuordnung)

Access to Document

Other files and links

Projects

RiSE - Rigorous Systems Engineering

EU - DIAMOND - Diagnosis, Error Modelling and Correction for Reliable Systems Design

Formal Methods for Design & Verification

Cite this