Items where Author is "Leue, Stefan"

Article

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction for general state exploring algorithms. International Journal on Software Tools for Technology Transfer (STTT), 11 (1). pp. 39-51. ISSN 1433-2779 (2009)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Directed explicit-state model checking in the validation of communication protocols. International Journal on Software Tools for Technology Transfer (STTT), 5 (2-3). pp. 247-267. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-order reduction and trail improvement in directed model checking. International Journal on Software Tools for Technology Transfer (STTT), 6 (4). pp. 277-301. ISSN 1433-2779 (2004)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Trail-directed model checking. Electronic Notes in Theoretical Computer Science, 55 (3). ISSN 1571-0661 (2001)

Book Section

Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto Partial-Order Reduction for General State Exploring Algorithms. In: Model Checking Software (SPIN 2006). Lecture Notes in Computer Science, 3925 . Springer, pp. 271-287. ISBN 3-540-33102-6 (2006)

Lluch-Lafuente, Alberto and Edelkamp, Stefan and Leue, Stefan Partial Order Reduction in Directed Model Checking. In: Model Checking Software (SPIN '02). Lecture Notes in Computer Science, 2318 . Springer, pp. 95-138. ISBN 3-540-43477-1 (2002)

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Directed Explicit Model Checking with HSF-SPIN. In: Model Checking Software (SPIN '01). Lecture Notes in Computer Science, 2057 . Springer, pp. 57-79. ISBN 3-540-42124-6 (2001)

Conference or Workshop Item

Edelkamp, Stefan and Lluch-Lafuente, Alberto and Leue, Stefan Protocol verification with heuristic search. In: AAAI Spring Symposium on Model-Based Validation of Intelligence, March 26-28, 2001, Stanford University (Submitted) (2001)