Moritz Martens

19 papers A 1B 2C 1Misc 2Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2017 J jnl
The Algebraic Intersection Type Unification Problem.
Log. Methods Comput. Sci.
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2016 — conf
Combinatory Process Synthesis.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2016 B conf
The Intersection Type Unification Problem.
FSCD
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2016 J jnl
The Intersection Type Unification Problem.
CoRR
Andrej Dudenhefner, Moritz Martens, Jakob Rehof
2015 — conf
Staged Composition Synthesis.
Software Engineering & Management
Boris Düdder, Moritz Martens, Jakob Rehof
2014 — conf
Combinatory Logic Synthesizer.
ISoLA (1)
Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof
2014 A conf
Staged Composition Synthesis.
ESOP
Boris Düdder, Moritz Martens, Jakob Rehof
2013 — conf
Intersection Type Matching with Subtyping.
TLCA
Boris Düdder, Moritz Martens, Jakob Rehof
2012 B conf
Bounded Combinatory Logic.
CSL
Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
2012 J jnl
Deadlock-freedom in component systems with architectural constraints.
Formal Methods Syst. Des.
Moritz Martens, Mila E. Majster-Cederbaum
2012 — conf
Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.
ITRS
Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn
2009 — —
Establishing properties of interaction systems.
Moritz Martens
2009 Misc conf
Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation.
TASE
Moritz Martens, Mila E. Majster-Cederbaum
2008 Misc conf
Compositional analysis of deadlock-freedom for tree-like component architectures.
EMSOFT
Mila E. Majster-Cederbaum, Moritz Martens
2007 — conf
A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.
SOFSEM (1)
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
2007 — conf
An Approach to Modelling and Verification of Component Based Systems.
SOFSEM (1)
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis
2007 — conf
Liveness in Interaction Systems.
FACS
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier
2007 C conf
Robustness in Interaction Systems.
FORTE
Mila E. Majster-Cederbaum, Moritz Martens
2006 — conf
Ensuring Properties of Interaction Systems.
Program Analysis and Compilation
Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis