| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino |
Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008).  |
Sci. Comput. Program.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Leitner-Fischer, Stefan Leue |
QuantUM: Quantitative Safety Analysis of UML Models |
QAPL |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
K⁎: A heuristic search algorithm for finding the k shortest paths. |
Artif. Intell. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov |
DiPro - A Tool for Probabilistic Counterexample Generation. |
SPIN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
From Probabilistic Counterexamples via Causality to Fault Trees. |
SAFECOMP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. |
IEEE Trans. Software Eng. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
Automated Predicate Abstraction for Real-Time Models |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction for general state exploring algorithms. |
STTT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Wei Wei |
An Executable and Extensible Formal Semantics for UML-RT. |
MBEES |
2009 |
DBLP BibTeX RDF |
|
| 1 | Christian Dax, Felix Klaedtke, Stefan Leue |
Specification Languages for Stutter-Invariant Regular Properties. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue |
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic FMEA, Stochastic Model Checking, Counter Examples in Stochastic Model Checking, Stochastic Modelling, Dependability Analysis |
| 1 | Husain Aljazzar, Stefan Leue |
Generation of Counterexamples for Model Checking of Markov Decision Processes. |
QEST |
2009 |
DBLP DOI BibTeX RDF |
Stochastic Model Checking, $k$-Shortest-Paths Search, K$^*$, Markov Decision Processes, Counterexamples, Directed Search |
| 1 | Stefan Leue, Alin Stefanescu, Wei Wei |
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. |
TOOLS |
2008 |
DBLP DOI BibTeX RDF |
AsmL, Rose-RT, Spec Explorer, model checking, model-based testing, formal semantics, UML-RT, dynamic structures |
| 1 | Stefan Leue, Pedro Merino (eds.) |
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers |
FMICS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Alin Stefanescu, Wei Wei |
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. |
SPIN |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Debugging of Dependability Models Using Interactive Visualization of Counterexamples. |
QEST |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser (eds.) |
Directed Model Checking, 26.04. - 29.04.2006 |
Directed Model Checking |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Alin Stefanescu, Wei Wei |
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. |
CONCUR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Wei Wei |
A Region Graph Based Approach to Termination Proofs. |
TACAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Husain Aljazzar, Stefan Leue |
Extended Directed Search for Probabilistic Timed Reachability. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Abstracts Collection -- Directed Model Checking. |
Directed Model Checking |
2006 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Willem Visser |
06172 Executive Summary -- Directed Model Checking. |
Directed Model Checking |
2006 |
DBLP BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente |
Partial-Order Reduction for General State Exploring Algorithms. |
SPIN |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova |
Discriminative pattern mining in software fault detection. |
SOQUA |
2006 |
DBLP DOI BibTeX RDF |
automated debugging, fault isolation |
| 1 | Husain Aljazzar, Holger Hermanns, Stefan Leue |
Counterexamples for Timed Probabilistic Reachability. |
FORMATS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Tarja Systä (eds.) |
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers |
Scenarios: Models, Transformations and Tools |
2005 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Wei Wei |
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. |
SPIN |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Partial-order reduction and trail improvement in directed model checking. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Trail improvement, HSF-SPIN, Model checking, Heuristic search, Partial-order reduction |
| 1 | Matthew B. Dwyer, Stefan Leue |
Introductory paper. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Software engineering, Program analysis, Software model checking |
| 1 | Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente |
Directed explicit-state model checking in the validation of communication protocols. |
STTT |
2004 |
DBLP DOI BibTeX RDF |
Model checking, Directed search, Protocol validation |
| 1 | Stefan Leue, Richard Mayr, Wei Wei |
A Scalable Incomplete Test for the Boundedness of UML RT Models. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Richard Mayr, Wei Wei |
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. |
SPIN |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue |
Heuristic-guided counterexample search in FLAVERS. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
FLAVERS, heuristic search, counterexamples |
| 1 | Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue |
Partial Order Reduction in Directed Model Checking. |
SPIN |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Stefan Leue (eds.) |
Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings |
SPIN |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Trail-directed model checking. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue |
Directed Explicit Model Checking with HSF-SPIN. |
SPIN |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Moataz Kamel, Stefan Leue |
Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. |
STTT |
2000 |
DBLP DOI BibTeX RDF |
General Inter-ORB Protocol, Promela/Spin, Model checking, Temporal logic, Specification patterns |
| 1 | Moataz Kamel, Stefan Leue |
VIP: A Visual Editor and Compiler for v-Promela. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink (eds.) |
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 |
SPIN |
1999 |
DBLP BibTeX RDF |
|
| 1 | Moataz Kamel, Stefan Leue |
VIP: A Visual Interface for Promela. |
SPIN |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Gerard J. Holzmann |
v-Promela: A Visual, Object-Oriented Language for SPIN. |
ISORC |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Fischer, Stefan Leue |
Formal Methods for Broadband and Multimedia Systems. |
Computer Networks |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanêne Ben-Abdallah, Stefan Leue |
MESA: Support for Scenario-Based Design of Concurrent Systems. |
TACAS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, L. Mehrmann, Mohammad Rezai |
Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hanêne Ben-Abdallah, Stefan Leue |
Timing Constraints in Message Sequence Chart Specifications. |
FORTE |
1997 |
DBLP BibTeX RDF |
|
| 1 | Hanêne Ben-Abdallah, Stefan Leue |
Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. |
TACAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Fischer, Stefan Leue |
Formal Methods for Broadband and Multimedia Systems (Tutorial). |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
broadband communication, quality of service, real time, specification, implementation, SDL, formal description techniques, distributed multimedia systems, Estelle |
| 1 | Stefan Leue, Philippe Oechslin |
On parallelizing and optimizing the implementation of communication protocols. |
IEEE/ACM Trans. Netw. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
Interpreting Message Flow Graphs. |
Formal Asp. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Dieter Hogrefe, Stefan Leue (eds.) |
Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 |
FORTE |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue |
Specifying real-time requirements for SDL specifications - a temporal logic-based approach. |
PSTV |
1995 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
Four issues concerning the semantics of Message Flow Graphs. |
FORTE |
1994 |
DBLP BibTeX RDF |
|
| 1 | Stefan Leue, Philippe Oechslin |
From SDL specifications to optimized parallel protocol implementations. |
Protocols for High-Speed Networks |
1994 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
What Do Message Sequence Charts Mean? |
FORTE |
1993 |
DBLP BibTeX RDF |
|
| 1 | Peter B. Ladkin, Stefan Leue |
On the Semantics of Message Sequence Charts. |
FBT |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")