Back to overview
Export results as [feed] RSS 1.0 [feed] RSS 2.0
Order by: Document Type | Year of publication | No order
Number of items: 12.

Article

Martens, Moritz ; Majster-Cederbaum, Mila (2012) Deadlock-freedom in component systems with architectural constraints. Formal Methods in System Design Dordrecht [u.a.] 41 2 129-177 [Article]

Doctoral dissertation

Martens, Moritz (2009) Establishing Properties of Interaction Systems. Open Access Mannheim [Doctoral dissertation]
[img]
Preview

Conference or workshop publication

Martens, Moritz ; Majster-Cederbaum, Mila Using Architectural Constraints for Deadlock-Freedom of Component Systems with Multiway Cooperation. Chin, Wei-Ngan 225-232 In: 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering : (TASE 2009) ; Tianjin, China, 29 - 31 July 2009 (2009) Piscataway, NJ [Conference or workshop publication]

Martens, Moritz Liveness in Interaction Systems. Electronic Notes in Theoretical Computer Science : ENTCS 215 57-74 (2008) Amsterdam [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz Compositional analysis of deadlock-freedom for tree-like component architectures. De Alfaro, Luca 199-206 In: Proceedings of the 8th ACM & IEEE International conference on Embedded software, EMSOFT 2008, Atlanta, GA, USA, October 19-24, 2008 (2008) New York, NY [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz ; Minnameier, Christoph ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph A Polynomial-Time checkable sufficient Condition for Deadlock-Freedom of Component-Based Systems. Leeuwen, Jan van Lecture Notes in Computer Science 4362 888-899 In: SOFSEM 2007: Theory and Practice of Computer Science : 33rd Conference on Current Trends in Theory and Practice of Computer Science; Harrachov, Czech Republic, January 20-26, 2007; proceedings (2007) Berlin [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph ; Minnameier, Christoph An Approach to Modelling and Verification of Component Based Systems. In: SOFSEM 2007: Theory and Practice of Computer Science : 33nd Conference on Current Trendsin Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, Proceedings (2007) Berlin; Heidelberg [u.a.] [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz ; Gössler, Gregor ; Graf, Susanne ; Sifakis, Joseph Ensuring Properties of Interaction Systems by Construction. (2007) Berlin; Heidelberg [Conference or workshop publication]

Majster-Cederbaum, Mila ; Martens, Moritz Robustness in Interaction Systems. Derrick, John Lecture Notes in Computer Science 4574 325-340 In: Formal techniques for networked and distributed systems - FORTE 2007 : 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27 - 29, 2007; proceedings (2007) Berlin [u.a] [Conference or workshop publication]

Working paper

Martens, Moritz (2007) Liveness in Interaction Systems. Open Access [Working paper]
[img]
Preview

Majster-Cederbaum, Mila ; Martens, Moritz (2007) Robustness in Interaction Systems. Open Access [Working paper]
[img]
Preview

Martens, Moritz ; Minnameier, Christoph ; Majster-Cederbaum, Mila (2006) Deciding Liveness in Component-Based Systems is NP-hard. Open Access Manuskripte / Reihe Informatik Mannheim 06-17 [Working paper]
[img]
Preview

This list was created automatically on Sun Mar 29 05:21:49 2020 CEST