Підписатись
Stefan Leue
Stefan Leue
Professor of Computer Science, University of Konstanz, Germany
Підтверджена електронна адреса в uni-konstanz.de - Домашня сторінка
Назва
Посилання
Посилання
Рік
Directed explicit-state model checking in the validation of communication protocols
S Edelkamp, S Leue, A Lluch-Lafuente
International journal on software tools for technology transfer 5, 247-267, 2004
2632004
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2592001
Syntactic detection of process divergence and non-local choice in message sequence charts
H Ben-Abdallah, S Leue
International Workshop on Tools and Algorithms for the Construction and …, 1997
2091997
K⁎: A heuristic search algorithm for finding the k shortest paths
H Aljazzar, S Leue
Artificial Intelligence 175 (18), 2129-2154, 2011
2042011
Interpreting message flow graphs
PB Ladkin, S Leue
Formal Aspects of Computing 7, 473-509, 1995
1631995
Causality checking for complex system models
F Leitner-Fischer, S Leue
International Workshop on Verification, Model Checking, and Abstract …, 2013
982013
Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples
H Aljazzar, M Fischer, L Grunske, M Kuntz, F Leitner-Fischer, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
972009
Partial order reduction in directed model checking
A Lluch-Lafuente, S Edelkamp, S Leue
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
932002
Discriminative pattern mining in software fault detection
G Di Fatta, S Leue, E Stegantova
Proceedings of the 3rd international workshop on Software quality assurance …, 2006
892006
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
H Aljazzar, S Leue
IEEE Transactions on Software Engineering 36 (1), 37-60, 2009
812009
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
771997
What do message sequence charts mean?
PB Ladkin, S Leue
761994
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
692001
Formalization and validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN
M Kamel, S Leue
International Journal on Software Tools for Technology Transfer 2 (4), 394-409, 2000
692000
Synthesizing ROOM models from message sequence chart specifications
S Leue, L Mehrmann, M Rezai
661998
Specifying real-time requirements for SDL specifications—A temporal logic-based approach
S Leue
International Conference on Protocol Specification, Testing and Verification …, 1995
651995
MESA: Support for scenario-based design of concurrent systems
H Ben-Abdallah, S Leue
International Conference on Tools and Algorithms for the Construction and …, 1998
621998
Synthesizing software architecture descriptions from Message Sequence Chart specifications
S Leue, L Mehrmann, M Rezai
Proceedings 13th IEEE International Conference on Automated Software …, 1998
611998
Partial-order reduction for general state exploring algorithms
D Bošnački, S Leue, A Lluch Lafuente
International Journal on Software Tools for Technology Transfer 11 (1), 39-51, 2009
572009
From probabilistic counterexamples via causality to fault trees
M Kuntz, F Leitner-Fischer, S Leue
Computer Safety, Reliability, and Security: 30th International Conference …, 2011
562011
У даний момент система не може виконати операцію. Спробуйте пізніше.
Статті 1–20