Login / Signup
Simon Wawroschek
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Image Intensity
Ordering Constraints
Graph Cut Segmentation
Automatic Detection
Top Venues
DATE
</>
Publications
</>
Luis Gabriel Murillo
,
Simon Wawroschek
,
Jerónimo Castrillón
,
Rainer Leupers
,
Gerd Ascheid
Automatic detection of concurrency bugs through event ordering constraints.
DATE
(2014)