Jakob Rehof

Jakob Rehof

Technische Universität Dortmund - Dortmund / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1780050
Dortmund University of Technology
person_outline Jakob Rehof's MOST POPULAR ARTICLES
1-) Context-bounded model checking of concurrent softwareS Qadeer, J RehofInternational conference on tools and algorithms for the construction and …, 20054742005
2-) Types as models: model checking message-passing programsS Chaki, SK Rajamani, J RehofProceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of …, 20021712002
3-) Scalable context-sensitive flow analysis using instantiation constraintsM Fähndrich, J Rehof, M DasProceedings of the ACM SIGPLAN 2000 conference on Programming language …, 20001702000
4-) Zing: A model checker for concurrent softwareT Andrews, S Qadeer, SK Rajamani, J Rehof, Y XieComputer Aided Verification: 16th International Conference, CAV 2004, Boston …, 20041682004
5-) Type-base flow analysis: from polymorphic subtyping to CFL-reachabilityJ Rehof, M FähndrichACM SIGPLAN Notices 36 (3), 54-66, 20011662001