Folgen
Jakob Rehof
Jakob Rehof
Professor of Computer Science, Technical University Dortmund
Bestätigte E-Mail-Adresse bei cs.tu-dortmund.de - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Context-bounded model checking of concurrent software
S Qadeer, J Rehof
International conference on tools and algorithms for the construction and …, 2005
4692005
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
1692002
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
1692000
Zing: A model checker for concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
International Conference on Computer Aided Verification, 484-487, 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
1422001
Stuck-free conformance
C Fournet, T Hoare, SK Rajamani, J Rehof
International Conference on Computer Aided Verification, 242-254, 2004
1282004
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
International Static Analysis Symposium, 260-278, 2001
1032001
The λ Δ-calculus
NJ Rehof, MH Sørensen
International Symposium on Theoretical Aspects of Computer Software, 516-542, 1994
911994
Zing: Exploiting program structure for model checking concurrent software
T Andrews, S Qadeer, SK Rajamani, J Rehof, Y Xie
International Conference on Concurrency Theory, 1-15, 2004
802004
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
Conformance checking for models of asynchronous message passing software
SK Rajamani, J Rehof
International Conference on Computer Aided Verification, 166-179, 2002
772002
Tractable constraints in finite semilattices
J Rehof
Science of Computer Programming 35 (2-3), 191-221, 1999
711999
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
631995
The complexity of subtype entailment for simple types
F Henglein, J Rehof
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
621997
Tractable constraints in finite semilattices
J Rehof, T Mogensen
International Static Analysis Symposium, 285-300, 1996
601996
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
A behavioral module system for the pi-calculus
SK Rajamani, J Rehof
International Static Analysis Symposium, 375-394, 2001
552001
Object-based systematic state space exploration of software
AD Andrews, S Qadeer, NJ Rehof, SK Rajamani, Y Xie
US Patent 7,526,750, 2009
482009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20