 | 2010 |
|---|
| 48 |       | Husain Aljazzar,
Stefan Leue:
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking.
IEEE Trans. Software Eng. 36(1): 37-60 (2010) |
| 2009 |
|---|
| 47 | | Christian Dax,
Felix Klaedtke,
Stefan Leue:
Specification Languages for Stutter-Invariant Regular Properties.
ATVA 2009: 244-254 |
| 46 | | Bahareh Badban,
Stefan Leue,
Jan-Georg Smaus:
Automated Predicate Abstraction for Real-Time Models
CoRR abs/0911.3277: (2009) |
| 45 | | Dragan Bosnacki,
Stefan Leue,
Alberto Lluch-Lafuente:
Partial-order reduction for general state exploring algorithms.
STTT 11(1): 39-51 (2009) |
| 2008 |
|---|
| 44 |  | Stefan Leue,
Pedro Merino:
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers
Springer 2008 |
| 43 | | Husain Aljazzar,
Stefan Leue:
Debugging of Dependability Models Using Interactive Visualization of Counterexamples.
QEST 2008: 189-198 |
| 42 | | Stefan Leue,
Alin Stefanescu,
Wei Wei:
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes.
SPIN 2008: 176-195 |
| 41 | | Stefan Leue,
Alin Stefanescu,
Wei Wei:
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT.
TOOLS (46) 2008: 238-257 |
| 2007 |
|---|
| 40 | | Stefan Edelkamp,
Stefan Leue,
Willem Visser:
Directed Model Checking, 26.04. - 29.04.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007 |
| 2006 |
|---|
| 39 | | Stefan Leue,
Alin Stefanescu,
Wei Wei:
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems.
CONCUR 2006: 79-94 |
| 38 | | Stefan Edelkamp,
Stefan Leue,
Willem Visser:
06172 Abstracts Collection -- Directed Model Checking.
Directed Model Checking 2006 |
| 37 | | Stefan Edelkamp,
Stefan Leue,
Willem Visser:
06172 Executive Summary -- Directed Model Checking.
Directed Model Checking 2006 |
| 36 | | Husain Aljazzar,
Stefan Leue:
Extended Directed Search for Probabilistic Timed Reachability.
FORMATS 2006: 33-51 |
| 35 | | Giuseppe Di Fatta,
Stefan Leue,
Evghenia Stegantova:
Discriminative pattern mining in software fault detection.
SOQUA 2006: 62-69 |
| 34 | | Dragan Bosnacki,
Stefan Leue,
Alberto Lluch-Lafuente:
Partial-Order Reduction for General State Exploring Algorithms.
SPIN 2006: 271-287 |
| 33 | | Stefan Leue,
Wei Wei:
A Region Graph Based Approach to Termination Proofs.
TACAS 2006: 318-333 |
| 2005 |
|---|
| 32 | | Stefan Leue,
Tarja Systä:
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
Springer 2005 |
| 31 | | Husain Aljazzar,
Holger Hermanns,
Stefan Leue:
Counterexamples for Timed Probabilistic Reachability.
FORMATS 2005: 177-195 |
| 30 | | Stefan Leue,
Wei Wei:
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages.
SPIN 2005: 58-74 |
| 2004 |
|---|
| 29 | | Jianbin Tan,
George S. Avrunin,
Lori A. Clarke,
Shlomo Zilberstein,
Stefan Leue:
Heuristic-guided counterexample search in FLAVERS.
SIGSOFT FSE 2004: 201-210 |
| 28 | | Stefan Leue,
Richard Mayr,
Wei Wei:
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models.
SPIN 2004: 216-233 |
| 27 | | Stefan Leue,
Richard Mayr,
Wei Wei:
A Scalable Incomplete Test for the Boundedness of UML RT Models.
TACAS 2004: 327-341 |
| 26 | | Stefan Edelkamp,
Stefan Leue,
Alberto Lluch-Lafuente:
Directed explicit-state model checking in the validation of communication protocols.
STTT 5(2-3): 247-267 (2004) |
| 25 | | Matthew B. Dwyer,
Stefan Leue:
Introductory paper.
STTT 6(4): 257-259 (2004) |
| 24 | | Stefan Edelkamp,
Stefan Leue,
Alberto Lluch-Lafuente:
Partial-order reduction and trail improvement in directed model checking.
STTT 6(4): 277-301 (2004) |
| 2002 |
|---|
| 23 | | Dragan Bosnacki,
Stefan Leue:
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings
Springer 2002 |
| 22 | | Alberto Lluch-Lafuente,
Stefan Edelkamp,
Stefan Leue:
Partial Order Reduction in Directed Model Checking.
SPIN 2002: 112-127 |
| 2001 |
|---|
| 21 | | Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue:
Directed Explicit Model Checking with HSF-SPIN.
SPIN 2001: 57-79 |
| 20 | | Stefan Edelkamp,
Alberto Lluch-Lafuente,
Stefan Leue:
Trail-directed model checking.
Electr. Notes Theor. Comput. Sci. 55(3): (2001) |
| 2000 |
|---|
| 19 | | Moataz Kamel,
Stefan Leue:
VIP: A Visual Editor and Compiler for v-Promela.
TACAS 2000: 471-486 |
| 18 | | Moataz Kamel,
Stefan Leue:
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN.
STTT 2(4): 394-409 (2000) |
| 1999 |
|---|
| 17 | | Dennis Dams,
Rob Gerth,
Stefan Leue,
Mieke Massink:
Theoretical and Practical Aspects of SPIN Model Checking, 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24 1999, Proceedings
Springer 1999 |
| 16 | | Stefan Leue,
Gerard J. Holzmann:
v-Promela: A Visual, Object-Oriented Language for SPIN.
ISORC 1999: 14-23 |
| 15 | | Moataz Kamel,
Stefan Leue:
VIP: A Visual Interface for Promela.
SPIN 1999: 153 |
| 1998 |
|---|
| 14 | | Stefan Leue,
L. Mehrmann,
Mohammad Rezai:
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications.
ASE 1998: 192-195 |
| 13 | | Hanêne Ben-Abdallah,
Stefan Leue:
MESA: Support for Scenario-Based Design of Concurrent Systems.
TACAS 1998: 118-135 |
| 12 | | Stefan Fischer,
Stefan Leue:
Formal Methods for Broadband and Multimedia Systems.
Computer Networks 30(9-10): 865-899 (1998) |
| 1997 |
|---|
| 11 | | Hanêne Ben-Abdallah,
Stefan Leue:
Timing Constraints in Message Sequence Chart Specifications.
FORTE 1997: 91-106 |
| 10 | | Stefan Fischer,
Stefan Leue:
Formal Methods for Broadband and Multimedia Systems (Tutorial).
ICSE 1997: 665-666 |
| 9 | | Hanêne Ben-Abdallah,
Stefan Leue:
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts.
TACAS 1997: 259-274 |
| 1996 |
|---|
| 8 | | Stefan Leue,
Philippe Oechslin:
On parallelizing and optimizing the implementation of communication protocols.
IEEE/ACM Trans. Netw. 4(1): 55-70 (1996) |
| 1995 |
|---|
| 7 | | Dieter Hogrefe,
Stefan Leue:
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994
Chapman & Hall 1995 |
| 6 | | Stefan Leue:
Specifying real-time requirements for SDL specifications - a temporal logic-based approach.
PSTV 1995: 19-34 |
| 5 | | Peter B. Ladkin,
Stefan Leue:
Interpreting Message Flow Graphs.
Formal Asp. Comput. 7(5): 473-509 (1995) |
| 1994 |
|---|
| 4 | | Peter B. Ladkin,
Stefan Leue:
Four issues concerning the semantics of Message Flow Graphs.
FORTE 1994: 355-369 |
| 3 | | Stefan Leue,
Philippe Oechslin:
From SDL specifications to optimized parallel protocol implementations.
Protocols for High-Speed Networks 1994: 308-327 |
| 1993 |
|---|
| 2 | | Peter B. Ladkin,
Stefan Leue:
What Do Message Sequence Charts Mean?
FORTE 1993: 301-316 |
| 1992 |
|---|
| 1 | | Peter B. Ladkin,
Stefan Leue:
On the Semantics of Message Sequence Charts.
FBT 1992: 88-104 |
