Items where Author is "Edelkamp, Stefan"

Article

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

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Heuristic Search for the Analysis of Graph Transition Systems. In: Graph Transformations (ICGT 2006). Lecture Notes in Computer Science, 4178 . Springer, pp. 414-429. ISBN 3-540-38870-2 (2006)

Edelkamp, Stefan and Jabbar, Shahid and Lluch-Lafuente, Alberto Cost-Algebraic Heuristic Search. In: AAAI-05, Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA. AAAI Press / The MIT Press, pp. 1362-1367. ISBN 1-57735-236-X (2005)

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 Jabbar, Shahid and Lluch-Lafuente, Alberto Action planning for graph transition systems. In: ICAPS'05 Workshop on verification and validation of model-based planning and scheduling systems, 5th-10th June 2005, Monterey, California, USA (Unpublished) (2005)

Edelkamp, Stefan and Lluch-Lafuente, Alberto Abstraction in directed model checking. In: Workshop on Connecting Planning Theory with Practice, International Conference on Automated Planning and Scheduling, June 3-7 2004, Whistler, Canada pp. 7-13. (Unpublished) (2004)

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)