Moritz Martens

According to our database, Moritz Martens authored at least 17 papers between 2006 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

The Algebraic Intersection Type Unification Problem.

Andrej Dudenhefner, Moritz Martens, Jakob Rehof

Log. Methods Comput. Sci., 2017

2016

The Intersection Type Unification Problem.

Andrej Dudenhefner, Moritz Martens, Jakob Rehof

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

Combinatory Process Synthesis.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

2015

Staged Composition Synthesis.

Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

2014

Combinatory Logic Synthesizer.

Jan Bessai, Andrej Dudenhefner, Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014

2013

Intersection Type Matching with Subtyping.

Boris Düdder, Moritz Martens, Jakob Rehof

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

Deadlock-freedom in component systems with architectural constraints.

Moritz Martens, Mila E. Majster-Cederbaum

Formal Methods Syst. Des., 2012

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.

Boris Düdder, Oliver Garbe, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

Bounded Combinatory Logic.

Boris Düdder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn

Proceedings of the Computer Science Logic (CSL'12), 2012

2009

Establishing properties of interaction systems.

Moritz Martens

PhD thesis, 2009

Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation.

Moritz Martens, Mila E. Majster-Cederbaum

Proceedings of the TASE 2009, 2009

2008

Compositional analysis of deadlock-freedom for tree-like component architectures.

Mila E. Majster-Cederbaum, Moritz Martens

Proceedings of the 8th ACM & IEEE International conference on Embedded software, 2008

2007

Liveness in Interaction Systems.

Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems.

Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

An Approach to Modelling and Verification of Component Based Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007

Robustness in Interaction Systems.

Mila E. Majster-Cederbaum, Moritz Martens

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Ensuring Properties of Interaction Systems.

Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis

Proceedings of the Program Analysis and Compilation, 2006