Martin Leucker

No bio available. Add one in Open Library.

Books by Martin Leucker (50 max)

+ shelf+ list

Runtime Verification 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008, Selected Papers

2008

Martin Leucker

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2015

Martin Leucker, Camilo Rueda, Frank D. Valencia

+ shelf+ list

Logics for Mazurkiewicz traces

2002

Martin Leucker

+ shelf+ list

Model-Based Testing of Reactive Systems Advanced Lectures

2005

Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner

+ shelf+ list

Formal Methods : Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected

2007

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

+ shelf+ list

Theoretical Aspects of Computing - ICTAC 2009 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

2009

Martin Leucker

+ shelf+ list

Formal Methods in Outer Space: Essays Dedicated to Klaus Havelund on the Occasion of His 65th Birthday

2021

Ezio Bartocci, Yliès Falcone, Martin Leucker

+ shelf+ list

Formal Methods 25th International Symposium, FM 2023, lübeck, Germany, March 6-10, 2023, Proceedings

2023

Marsha Chechik, Joost-Pieter Katoen, Martin Leucker