关注
Stefan Leue
Stefan Leue
Professor of Computer Science, University of Konstanz, Germany
在 uni-konstanz.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Directed explicit model checking with HSF-SPIN
S Edelkamp, AL Lafuente, S Leue
International SPIN Workshop on Model Checking of Software, 57-79, 2001
2582001
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
2552004
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
2071997
K⁎: A heuristic search algorithm for finding the k shortest paths
H Aljazzar, S Leue
Artificial Intelligence 175 (18), 2129-2154, 2011
1922011
Interpreting message flow graphs
PB Ladkin, S Leue
Formal Aspects of Computing 7, 473-509, 1995
1641995
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
962009
Partial order reduction in directed model checking
A Lluch-Lafuente, S Edelkamp, S Leue
Model Checking Software: 9th International SPIN Workshop Grenoble, France …, 2002
912002
Causality checking for complex system models
F Leitner-Fischer, S Leue
International Workshop on Verification, Model Checking, and Abstract …, 2013
902013
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
782009
What do message sequence charts mean?
PB Ladkin, S Leue
771994
Timing constraints in message sequence chart specifications
H Ben-Abdallah, S Leue
Formal Description Techniques and Protocol Specification, Testing and …, 1997
751997
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, 394-409, 2000
702000
Protocol verification with heuristic search
S Edelkamp, AL Lafuente, S Leue
Bibliothek der Universität Konstanz, 2001
682001
Synthesizing ROOM models from message sequence chart specifications
S Leue, L Mehrmann, M Rezai
651998
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, 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