Follow
Jakob Rehof
Jakob Rehof
Professor of Computer Science, TU Dortmund University
Verified email at cs.tu-dortmund.de - Homepage
Title
Cited by
Cited by
Year
Context-bounded model checking of concurrent software
S Qadeer, J Rehof
International conference on tools and algorithms for the construction and …, 2005
5012005
Types as models: model checking message-passing programs
S Chaki, SK Rajamani, J Rehof
Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of …, 2002
1742002
Scalable context-sensitive flow analysis using instantiation constraints
M Fähndrich, J Rehof, M Das
Proceedings of the ACM SIGPLAN 2000 conference on Programming language …, 2000
1742000
Zing: A model checker for concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1662004
System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model
GC Hunt, A Hydrie, RV Welland, B Tabbara, SP Levi, J Rehof
US Patent 6,907,395, 2005
1582005
Type-base flow analysis: from polymorphic subtyping to CFL-reachability
J Rehof, M Fähndrich
ACM SIGPLAN Notices 36 (3), 54-66, 2001
1572001
Stuck-free conformance
C Fournet, T Hoare, SK Rajamani, J Rehof
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
1292004
Summarizing procedures in concurrent programs
S Qadeer, SK Rajamani, J Rehof
ACM SIGPLAN Notices 39 (1), 245-255, 2004
1222004
Estimating the impact of scalable pointer analysis on optimization
M Das, B Liblit, M Fähndrich, J Rehof
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001
1062001
The λΔ-calculus
NJ Rehof, MH Sørensen
International Symposium on Theoretical Aspects of Computer Software, 516-542, 1994
921994
Zing: Exploiting program structure for model checking concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
832004
Conformance checking for models of asynchronous message passing software
SK Rajamani, J Rehof
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
792002
System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model
GC Hunt, A Hydrie, RV Welland, B Tabbara, SP Levi, J Rehof
US Patent 7,155,380, 2006
782006
Tractable constraints in finite semilattices
J Rehof
Science of Computer Programming 35 (2-3), 191-221, 1999
741999
Safe polymorphic type inference for a dynamically typed language: translating Scheme to ML
F Henglein, J Rehof
Proceedings of the seventh international conference on Functional …, 1995
661995
Tractable constraints in finite semilattices
J Rehof, TÆ Mogensen
Static Analysis: Third International Symposium, SAS'96 Aachen, Germany …, 1996
651996
A behavioral module system for the pi-calculus
SK Rajamani, J Rehof
Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July …, 2001
622001
The complexity of subtype entailment for simple types
F Henglein, J Rehof
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
611997
System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model
G Hunt, A Hydrie, R Welland, B Tabbara, S Levi, J Rehof
US Patent App. 11/008,730, 2005
552005
Data ecosystems: sovereign data exchange among organizations (Dagstuhl Seminar 19391)
C Cappiello, A Gal, M Jarke, J Rehof
Dagstuhl Reports 9 (9), 2020
532020
The system can't perform the operation now. Try again later.
Articles 1–20