Jakob Rehof

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 30

Top Venues

CoRR

ISoLA (1)

TYPES

SPLC

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

Constantin Chaumet, Jakob Rehof, Thomas Schuster
A knowledge-driven framework for synthesizing designs from modular components. CoRR (2023)
Constantin Chaumet, Jakob Rehof
CLS-CAD: Synthesizing CAD Assemblies in Fusion 360. CoRR (2023)
Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof
Finite Combinatory Logic with Predicates. TYPES (2023)
Alexander Mages, Carina Mieth, Jens Hetzler, Fadil Kallat, Jakob Rehof, Christian Riest, Tristan Schäfer
Automatic Component-Based Synthesis of User-Configured Manufacturing Simulation Models. WSC (2022)
Tristan Schäfer, Jan Bessai, Constantin Chaumet, Jakob Rehof, Christian Riest
Design Space Exploration for Sampling-Based Motion Planning Programs with Combinatory Logic Synthesis. WAFR (2022)
Jan Bessai, Lukasz Czajka, Felix Laarmann, Jakob Rehof
Restricting Tree Grammars with Term Rewriting. FSCD (2022)
Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof
Knowledge-Driven Data Ecosystems Toward Data Transparency. ACM J. Data Inf. Qual. 14 (1) (2022)
Sandra Geisler, Maria-Esther Vidal, Cinzia Cappiello, Bernadette Farias Lóscio, Avigdor Gal, Matthias Jarke, Maurizio Lenzerini, Paolo Missier, Boris Otto, Elda Paja, Barbara Pernici, Jakob Rehof
Knowledge-driven Data Ecosystems Towards Data Transparency. CoRR (2021)
Andrej Dudenhefner, Jakob Rehof
Undecidability of Intersection Type Inhabitation at Rank 3 and its Formalization. Fundam. Informaticae 170 (1-3) (2019)
Cinzia Cappiello, Avigdor Gal, Matthias Jarke, Jakob Rehof
Data Ecosystems: Sovereign Data Exchange among Organizations (Dagstuhl Seminar 19391). Dagstuhl Reports 9 (9) (2019)
Sigrid Wenzel, Jana Stolipin, Jakob Rehof, Jan Winkels
Trends in Automatic Composition of Structures for Simulation Models in Production and Logistics. WSC (2019)
Andrej Dudenhefner, Jakob Rehof
Principality and approximation under dimensional bound. Proc. ACM Program. Lang. 3 (POPL) (2019)
Andrej Dudenhefner, Jakob Rehof
A Simpler Undecidability Proof for System F Inhabitation. TYPES (2018)
Jan Bessai, Jakob Rehof, Boris Düdder
Fast Verified BCD Subtyping. Models, Mindsets, Meta (2018)
Tristan Schäfer, Frederik Möller, Anja Burmann, Yevgen Pikus, Norbert Weißenberg, Marcus Hintze, Jakob Rehof
A Methodology for Combinatory Process Synthesis: Process Variability in Clinical Pathways. ISoLA (4) (2018)
Jan Winkels, Julian Graefenstein, Tristan Schäfer, David Scholz, Jakob Rehof, Michael Henke
Automatic Composition of Rough Solution Possibilities in the Target Planning of Factory Planning Projects by Means of Combinatory Logic. ISoLA (4) (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. Log. Methods Comput. Sci. 14 (1) (2018)
Jan Bessai, Tzu-Chun Chen, Andrej Dudenhefner, Boris Düdder, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis based on Intersection Types. CoRR (2017)
Andrej Dudenhefner, Jakob Rehof
Lower End of the Linial-Post Spectrum. TYPES (2017)
Andrej Dudenhefner, Jakob Rehof
Rank 3 Inhabitation of Intersection Types Revisited (Extended Version). CoRR (2017)
Andrej Dudenhefner, Jakob Rehof
Typability in bounded dimension. LICS (2017)
Andrej Dudenhefner, Jakob Rehof
The Complexity of Principal Inhabitation. FSCD (2017)
Andrej Dudenhefner, Jakob Rehof
Intersection type calculi of bounded dimension. POPL (2017)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Algebraic Intersection Type Unification Problem. Log. Methods Comput. Sci. 13 (3) (2017)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Intersection Type Unification Problem. CoRR (2016)
George T. Heineman, Jan Bessai, Boris Düdder, Jakob Rehof
A Long and Winding Road Towards Modular Synthesis. ISoLA (1) (2016)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Intersection Type Unification Problem. FSCD (2016)
Boris Düdder, George T. Heineman, Jakob Rehof
ModSyn-PP: Modular Synthesis of Programs and Processes Track Introduction. ISoLA (1) (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Process Synthesis. ISoLA (1) (2016)
Fritz Henglein, Jakob Rehof
Modal Intersection Types, Two-Level Languages, and Staged Synthesis. Semantics, Logics, and Calculi (2016)
George T. Heineman, Armend Hoxha, Boris Düdder, Jakob Rehof
Towards migrating object-oriented frameworks to enable synthesis of product line members. SPLC (2015)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Tzu-Chun Chen, Ugo de'Liguoro, Jakob Rehof
Mixin Composition Synthesis Based on Intersection Types. TLCA (2015)
Jakob Rehof, George T. Heineman
Modular synthesis of product lines (ModSyn-PL). SPLC (2015)
Boris Düdder, Jakob Rehof, George T. Heineman
Synthesizing type-safe compositions in feature oriented software designs using staged composition. SPLC (2015)
Jan Bessai, Boris Düdder, George T. Heineman, Jakob Rehof
Combinatory Synthesis of Classes Using Feature Grammars. FACS (2015)
Boris Düdder, Moritz Martens, Jakob Rehof
Staged Composition Synthesis. Software Engineering & Management (2015)
Jakob Rehof, Moshe Y. Vardi
Design and Synthesis from Components (Dagstuhl Seminar 14232). Dagstuhl Reports 4 (6) (2014)
Boris Düdder, Moritz Martens, Jakob Rehof
Staged Composition Synthesis. ESOP (2014)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Logic Synthesizer. ISoLA (1) (2014)
Boris Düdder, Moritz Martens, Jakob Rehof
Intersection Type Matching with Subtyping. TLCA (2013)
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis. ITRS (2012)
Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
Bounded Combinatory Logic. CSL (2012)
Jakob Rehof, Pawel Urzyczyn
The Complexity of Inhabitation with Explicit Intersection. Logic and Program Semantics (2012)
Jakob Rehof, Pawel Urzyczyn
Finite Combinatory Logic with Intersection Types. TLCA (2011)
Jakob Rehof, Bernhard Holtkamp
Logistic Clouds - Nutzung von Cloud Computing Services in der Logistik (Vorwort). GI Jahrestagung (1) (2010)
Manuel Fähndrich, Jakob Rehof
Type-based flow analysis and context-free language reachability. Math. Struct. Comput. Sci. 18 (5) (2008)
Shaz Qadeer, Jakob Rehof
Context-Bounded Model Checking of Concurrent Software. TACAS (2005)
Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof, Yichen Xie
Zing: A Model Checker for Concurrent Software. CAV (2004)
Cédric Fournet, C. A. R. Hoare, Sriram K. Rajamani, Jakob Rehof
Stuck-Free Conformance. CAV (2004)
Shaz Qadeer, Sriram K. Rajamani, Jakob Rehof
Summarizing procedures in concurrent programs. POPL (2004)
Jakob Rehof, Sriram K. Rajamani
Models for Contract Conformance. ISoLA (Preliminary proceedings) (2004)
Sriram K. Rajamani, Jakob Rehof
Models for Contract Conformance. ISoLA (2004)
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
Types as models: model checking message-passing programs. POPL (2002)
Sriram K. Rajamani, Jakob Rehof
Conformance Checking for Models of Asynchronous Message Passing Software. CAV (2002)
Sriram K. Rajamani, Jakob Rehof
A Behavioral Module System for the Pi-Calculus. SAS (2001)
Manuvir Das, Ben Liblit, Manuel Fähndrich, Jakob Rehof
Estimating the Impact of Scalable Pointer Analysis on Optimization. SAS (2001)
Jakob Rehof, Manuel Fähndrich
Type-base flow analysis: from polymorphic subtyping to CFL-reachability. POPL (2001)
Todd B. Knoblock, Jakob Rehof
Type elaboration and subtype completion for Java bytecode. ACM Trans. Program. Lang. Syst. 23 (2) (2001)
Manuel Fähndrich, Jakob Rehof, Manuvir Das
Scalable context-sensitive flow analysis using instantiation constraints. PLDI (2000)
Todd B. Knoblock, Jakob Rehof
Type Elaboration and Subtype Completion for Java Bytecode. POPL (2000)
Jakob Rehof, Torben Æ. Mogensen
Tractable Constraints in Finite Semilattices. Sci. Comput. Program. 35 (2) (1999)
Fritz Henglein, Jakob Rehof
Constraint Automata and the Complexity of Recursive Subtype Entailment. ICALP (1998)
Fritz Henglein, Jakob Rehof
The Complexity of Subtype Entailment for Simple Types. LICS (1997)
Jakob Rehof
Minimal Typings in Atomic Subtyping. POPL (1997)
Jakob Rehof, Torben Æ. Mogensen
Tractable Constraints in Finite Semilattices. SAS (1996)
Jakob Rehof
Strong Normalization for Non-Structural Subtyping via Saturated Sets. Inf. Process. Lett. 58 (4) (1996)
Fritz Henglein, Jakob Rehof
Safe Polymorphic Type Inference for Scheme: Translating Scheme to ML. FPCA (1995)
Jakob Rehof, Morten Heine Sørensen
-calculus. TACS (1994)

Jakob Rehof.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jakob Rehof