Moritz Martens

Publication Activity (10 Years)

Years Active: 2006-2017
Publications (10 Years): 4

Top Venues

ISoLA (1)

CoRR

TLCA

FSCD

University of Mannheim, Germany (PHD)

Education History

University of Mannheim, Germany

PHD

Publications

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)
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
The Intersection Type Unification Problem. FSCD (2016)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
Combinatory Process Synthesis. ISoLA (1) (2016)
Boris Düdder, Moritz Martens, Jakob Rehof
Staged Composition Synthesis. Software Engineering & Management (2015)
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)
Moritz Martens, Mila E. Majster-Cederbaum
Deadlock-freedom in component systems with architectural constraints. Formal Methods Syst. Des. 41 (2) (2012)
Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
Bounded Combinatory Logic. CSL (2012)
Moritz Martens, Mila E. Majster-Cederbaum
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. TASE (2009)
Mila E. Majster-Cederbaum, Moritz Martens
Compositional analysis of deadlock-freedom for tree-like component architectures. EMSOFT (2008)
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
Liveness in Interaction Systems. Electron. Notes Theor. Comput. Sci. 215 (2008)
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. SOFSEM (1) (2007)
Mila E. Majster-Cederbaum, Moritz Martens
Robustness in Interaction Systems. FORTE (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
An Approach to Modelling and Verification of Component Based Systems. SOFSEM (1) (2007)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
Ensuring Properties of Interaction Systems. Program Analysis and Compilation (2006)

Moritz Martens.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Moritz Martens