The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Stefan Leue: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stefan Leue, Alin Stefanescu, Wei Wei
    A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:79-94 [Conf]
  2. Peter B. Ladkin, Stefan Leue
    On the Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:88-104 [Conf]
  3. Husain Aljazzar, Holger Hermanns, Stefan Leue
    Counterexamples for Timed Probabilistic Reachability. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2005, pp:177-195 [Conf]
  4. Husain Aljazzar, Stefan Leue
    Extended Directed Search for Probabilistic Timed Reachability. [Citation Graph (0, 0)][DBLP]
    FORMATS, 2006, pp:33-51 [Conf]
  5. Hanêne Ben-Abdallah, Stefan Leue
    Timing Constraints in Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:91-106 [Conf]
  6. Peter B. Ladkin, Stefan Leue
    What Do Message Sequence Charts Mean? [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:301-316 [Conf]
  7. Peter B. Ladkin, Stefan Leue
    Four issues concerning the semantics of Message Flow Graphs. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:355-369 [Conf]
  8. Stefan Fischer, Stefan Leue
    Formal Methods for Broadband and Multimedia Systems (Tutorial). [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:665-666 [Conf]
  9. Stefan Leue, Gerard J. Holzmann
    v-Promela: A Visual, Object-Oriented Language for SPIN. [Citation Graph (0, 0)][DBLP]
    ISORC, 1999, pp:14-23 [Conf]
  10. Stefan Leue, L. Mehrmann, Mohammad Rezai
    Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:192-195 [Conf]
  11. Stefan Leue, Philippe Oechslin
    From SDL specifications to optimized parallel protocol implementations. [Citation Graph (0, 0)][DBLP]
    Protocols for High-Speed Networks, 1994, pp:308-327 [Conf]
  12. Stefan Leue
    Specifying real-time requirements for SDL specifications - a temporal logic-based approach. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:19-34 [Conf]
  13. Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
    Heuristic-guided counterexample search in FLAVERS. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:201-210 [Conf]
  14. Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova
    Discriminative pattern mining in software fault detection. [Citation Graph (0, 0)][DBLP]
    SOQUA, 2006, pp:62-69 [Conf]
  15. Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
    Partial-Order Reduction for General State Exploring Algorithms. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:271-287 [Conf]
  16. Moataz Kamel, Stefan Leue
    VIP: A Visual Interface for Promela. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:153- [Conf]
  17. Stefan Leue, Richard Mayr, Wei Wei
    A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:216-233 [Conf]
  18. Stefan Leue, Wei Wei
    Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. [Citation Graph (0, 0)][DBLP]
    SPIN, 2005, pp:58-74 [Conf]
  19. Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
    Partial Order Reduction in Directed Model Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2002, pp:112-127 [Conf]
  20. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
    Directed Explicit Model Checking with HSF-SPIN. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:57-79 [Conf]
  21. Hanêne Ben-Abdallah, Stefan Leue
    Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. [Citation Graph (0, 0)][DBLP]
    TACAS, 1997, pp:259-274 [Conf]
  22. Hanêne Ben-Abdallah, Stefan Leue
    MESA: Support for Scenario-Based Design of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 1998, pp:118-135 [Conf]
  23. Moataz Kamel, Stefan Leue
    VIP: A Visual Editor and Compiler for v-Promela. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:471-486 [Conf]
  24. Stefan Leue, Richard Mayr, Wei Wei
    A Scalable Incomplete Test for the Boundedness of UML RT Models. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:327-341 [Conf]
  25. Stefan Leue, Wei Wei
    A Region Graph Based Approach to Termination Proofs. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:318-333 [Conf]
  26. Stefan Fischer, Stefan Leue
    Formal Methods for Broadband and Multimedia Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 1998, v:30, n:9-10, pp:865-899 [Journal]
  27. Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
    Trail-directed model checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:55, n:3, pp:- [Journal]
  28. Peter B. Ladkin, Stefan Leue
    Interpreting Message Flow Graphs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:473-509 [Journal]
  29. Moataz Kamel, Stefan Leue
    Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. [Citation Graph (0, 0)][DBLP]
    STTT, 2000, v:2, n:4, pp:394-409 [Journal]
  30. Matthew B. Dwyer, Stefan Leue
    Introductory paper. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:257-259 [Journal]
  31. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
    Directed explicit-state model checking in the validation of communication protocols. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:5, n:2-3, pp:247-267 [Journal]
  32. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
    Partial-order reduction and trail improvement in directed model checking. [Citation Graph (0, 0)][DBLP]
    STTT, 2004, v:6, n:4, pp:277-301 [Journal]
  33. Stefan Leue, Philippe Oechslin
    On parallelizing and optimizing the implementation of communication protocols. [Citation Graph (0, 0)][DBLP]
    IEEE/ACM Trans. Netw., 1996, v:4, n:1, pp:55-70 [Journal]

  34. Specification Languages for Stutter-Invariant Regular Properties. [Citation Graph (, )][DBLP]


  35. 06172 Abstracts Collection -- Directed Model Checking. [Citation Graph (, )][DBLP]


  36. 06172 Executive Summary -- Directed Model Checking. [Citation Graph (, )][DBLP]


  37. Debugging of Dependability Models Using Interactive Visualization of Counterexamples. [Citation Graph (, )][DBLP]


  38. Generation of Counterexamples for Model Checking of Markov Decision Processes. [Citation Graph (, )][DBLP]


  39. Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. [Citation Graph (, )][DBLP]


  40. Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. [Citation Graph (, )][DBLP]


  41. An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. [Citation Graph (, )][DBLP]


  42. An Executable and Extensible Formal Semantics for UML-RT. [Citation Graph (, )][DBLP]


  43. Automated Predicate Abstraction for Real-Time Models [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002