Christian Lambertz

According to our database, Christian Lambertz authored at least 7 papers between 2008 and 2013.

Collaborative distances:

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

2013

Efficient deadlock analysis of component-based software architectures.

Christian Lambertz, Mila E. Majster-Cederbaum

Sci. Comput. Program., 2013

2012

Software components and formal methods from a computational viewpoint.

Christian Lambertz

PhD thesis, 2012

2011

Analyzing Component-Based Systems on the Basis of Architectural Constraints.

Christian Lambertz, Mila E. Majster-Cederbaum

Proceedings of the Fundamentals of Software Engineering - 4th IPM International Conference, 2011

2010

Port Protocols for Deadlock-Freedom of Component Systems

Christian Lambertz, Mila E. Majster-Cederbaum

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

2009

The actual structure of eBay's feedback mechanism and early evidence on the effects of recent changes.

Tobias J. Klein, Christian Lambertz, Giancarlo Spagnolo, Konrad O. Stahl

Int. J. Electron. Bus., 2009

Modular Consensus Algorithms for the Crash-Recovery Model.

Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum

Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

2008

Easy Consensus Algorithms for the Crash-Recovery Model.

Felix C. Freiling, Christian Lambertz, Mila E. Majster-Cederbaum

Proceedings of the Distributed Computing, 22nd International Symposium, 2008