Search the dblp DataBase
Stefan Leue :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Peter B. Ladkin , Stefan Leue On the Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP ] FBT, 1992, pp:88-104 [Conf ] Husain Aljazzar , Holger Hermanns , Stefan Leue Counterexamples for Timed Probabilistic Reachability. [Citation Graph (0, 0)][DBLP ] FORMATS, 2005, pp:177-195 [Conf ] Husain Aljazzar , Stefan Leue Extended Directed Search for Probabilistic Timed Reachability. [Citation Graph (0, 0)][DBLP ] FORMATS, 2006, pp:33-51 [Conf ] Hanêne Ben-Abdallah , Stefan Leue Timing Constraints in Message Sequence Chart Specifications. [Citation Graph (0, 0)][DBLP ] FORTE, 1997, pp:91-106 [Conf ] Peter B. Ladkin , Stefan Leue What Do Message Sequence Charts Mean? [Citation Graph (0, 0)][DBLP ] FORTE, 1993, pp:301-316 [Conf ] 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 ] Stefan Fischer , Stefan Leue Formal Methods for Broadband and Multimedia Systems (Tutorial). [Citation Graph (0, 0)][DBLP ] ICSE, 1997, pp:665-666 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Moataz Kamel , Stefan Leue VIP: A Visual Interface for Promela. [Citation Graph (0, 0)][DBLP ] SPIN, 1999, pp:153- [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Moataz Kamel , Stefan Leue VIP: A Visual Editor and Compiler for v-Promela. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:471-486 [Conf ] 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 ] Stefan Leue , Wei Wei A Region Graph Based Approach to Termination Proofs. [Citation Graph (0, 0)][DBLP ] TACAS, 2006, pp:318-333 [Conf ] 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 ] 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 ] 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 ] 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 ] Matthew B. Dwyer , Stefan Leue Introductory paper. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:4, pp:257-259 [Journal ] 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 ] 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 ] 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 ] Specification Languages for Stutter-Invariant Regular Properties. [Citation Graph (, )][DBLP ] 06172 Abstracts Collection -- Directed Model Checking. [Citation Graph (, )][DBLP ] 06172 Executive Summary -- Directed Model Checking. [Citation Graph (, )][DBLP ] Debugging of Dependability Models Using Interactive Visualization of Counterexamples. [Citation Graph (, )][DBLP ] Generation of Counterexamples for Model Checking of Markov Decision Processes. [Citation Graph (, )][DBLP ] Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. [Citation Graph (, )][DBLP ] Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. [Citation Graph (, )][DBLP ] An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. [Citation Graph (, )][DBLP ] An Executable and Extensible Formal Semantics for UML-RT. [Citation Graph (, )][DBLP ] Automated Predicate Abstraction for Real-Time Models [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.452secs