Moritz Martens
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
2007–2016
Best venue rank
C
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | ISoLA | Combinatory Process Synthesis. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | ESOP | Staged Composition Synthesis. | Boris Ddder, Moritz Martens, Jakob Rehof |
| 2014 | ISoLA | Combinatory Logic Synthesizer. | Jan Bessai, Andrej Dudenhefner, Boris Ddder, Moritz Martens, Jakob Rehof |
| 2012 | CSL | Bounded Combinatory Logic. | Boris Ddder, Moritz Martens, Jakob Rehof, Pawel Urzyczyn |
| 2009 | TASE | Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. | Moritz Martens, Mila E. Majster-Cederbaum |
| 2008 | EMSOFT | Compositional analysis of deadlock-freedom for tree-like component architectures. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2007 | FORTE | Robustness in Interaction Systems. | Mila E. Majster-Cederbaum, Moritz Martens |
| 2007 | SOFSEM | An Approach to Modelling and Verification of Component Based Systems. | Gregor Gler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
| 2007 | SOFSEM | A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems. | Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier |