wilhelma

CQSE GmbHMunich

Pinned Repositories

dld
Dynamic Loop Detector
Language:C++0 2 00
DwarfLoader
Language:C++0 2 20
ft_0_simple_calls
test
Language:C++00
icse18-presentation
presentation of Parceive for the ICSE 2018 - SEIP Track
Language:JavaScript0 1 00
java-design-patterns
Design patterns implemented in Java
Language:Java0 1 00
parpot
Automatically exported from code.google.com/p/parpot
Language:Groff0 0 70
pcvInterpreter
Language:C++0 2 442

wilhelma's Repositories

wilhelma/dld
Dynamic Loop Detector
Language:C++0 2 00
wilhelma/DwarfLoader
Language:C++0 2 20
wilhelma/ft_0_simple_calls
test
Language:C++00
wilhelma/icse18-presentation
presentation of Parceive for the ICSE 2018 - SEIP Track
Language:JavaScript0 1 00
wilhelma/java-design-patterns
Design patterns implemented in Java
Language:Java0 1 00
wilhelma/parpot
Automatically exported from code.google.com/p/parpot
Language:Groff0 0 70
wilhelma/pcvInterpreter
Language:C++0 2 442
wilhelma/sep-its-2010
Automatically exported from code.google.com/p/sep-its-2010
Language:PostScript0 0 330
wilhelma/thesis-benchmarks
Benchmarks supporting the master's thesis on efficient verification of multi-threaded software.
Language:C1 0
wilhelma/ux-workshop
Language:Java
wilhelma/WMSim
Language:C++