S. Leue

Most-cited papers

K⁎: A heuristic search algorithm for finding the k shortest paths
Husain Aljazzar, S. Leue
2011Artificial Intelligence173 citations Open access
Semantic Scholar
Development of a Continuous‐Flow System for Catalysis with Palladium(0) Particles.
Wladimir Solodenko, Hong-Liang Wen, S. Leue, F. Stuhlmann +5 more
200499 citations
Semantic Scholar
Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples
Husain Aljazzar, M. Fischer, L. Grunske, M. Kuntz +2 more
20092009 Sixth International Conference on the Quantitative Evaluation of Systems84 citations Open access
Semantic Scholar
Causality Checking for Complex System Models
Florian Leitner-Fischer, S. Leue
2013International Conference on Verification, Model Checking and Abstract Interpretation79 citations Open access
Semantic Scholar
Discriminative pattern mining in software fault detection
G. Di Fatta, S. Leue, Evghenia Stegantova
2006International Workshop on Software Quality Assurance73 citations Open access
Semantic Scholar
Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking
Husain Aljazzar, S. Leue
200866 citations
Semantic Scholar
Partial Order Reduction in Directed Model Checking
Alberto Lluch-Lafuente, Stefan Edelkamp, S. Leue
2002SPIN52 citations Open access
Semantic Scholar
symQV: Automated Symbolic Verification of Quantum Programs
Fabian Bauer-Marquart, S. Leue, Christian Schilling
2022World Congress on Formal Methods48 citations Open access
Semantic Scholar
From Probabilistic Counterexamples via Causality to Fault Trees
M. Kuntz, Florian Leitner-Fischer, S. Leue
2011International Conference on Computer Safety, Reliability, and Security48 citations Open access
Semantic Scholar
DiPro - A Tool for Probabilistic Counterexample Generation
Husain Aljazzar, Florian Leitner-Fischer, S. Leue, D. Simeonov
2011SPIN44 citations
Semantic Scholar
Counterexamples for Timed Probabilistic Reachability
Husain Aljazzar, H. Hermanns, S. Leue
2005International Conference on Formal Modeling and Analysis of Timed Systems43 citations Open access
Semantic Scholar
Extended Directed Search for Probabilistic Timed Reachability
Husain Aljazzar, S. Leue
2006International Conference on Formal Modeling and Analysis of Timed Systems41 citations Open access
Semantic Scholar
Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers
S. Leue, T. Systä
2005Scenarios: Models, Transformations and Tools39 citations
Semantic Scholar
Probabilistic fault tree synthesis using causality computation
Florian Leitner-Fischer, S. Leue
2013Int. J. Crit. Comput. Based Syst.38 citations Open access
Semantic Scholar
Generation of Counterexamples for Model Checking of Markov Decision Processes
Husain Aljazzar, S. Leue
20092009 Sixth International Conference on the Quantitative Evaluation of Systems38 citations
Semantic Scholar
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Husain Aljazzar, S. Leue
20082008 Fifth International Conference on Quantitative Evaluation of Systems37 citations Open access
Semantic Scholar
QuantUM: Quantitative Safety Analysis of UML Models
Florian Leitner-Fischer, S. Leue
2011QAPL29 citations Open access
Semantic Scholar
A Scalable Incomplete Test for the Boundedness of UML RT Models
S. Leue, R. Mayr, Wei Wei
2004International Conference on Tools and Algorithms for Construction and Analysis of Systems29 citations Open access
Semantic Scholar
Heuristic-guided counterexample search in FLAVERS
Jian-Bin Tan, G. Avrunin, L. Clarke, S. Zilberstein +1 more
2004SIGSOFT '04/FSE-1227 citations Open access
Semantic Scholar
Symbolic Causality Checking Using Bounded Model Checking
A. Beer, Stephan Heidinger, U. Kühne, Florian Leitner-Fischer +1 more
2015SPIN25 citations Open access
Semantic Scholar
Simulink Design Verifier vs. SPIN : a comparative case study
Florian Leitner-Fischer, S. Leue
200818 citations
Semantic Scholar
Sialyl Lewis(x) analogs based on a quinic acid scaffold as the fucose mimic.
C. Girard, Jennifer Dourlat, Aline Savarin, Christine Surcin +5 more
2005Bioorganic & Medicinal Chemistry Letters17 citations Open access
Semantic Scholar
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
S. Leue, R. Mayr, Wei Wei
2004SPIN17 citations Open access
Semantic Scholar
On the Synergy of Probabilistic Causality Computation and Causality Checking
Florian Leitner-Fischer, S. Leue
2013SPIN16 citations
Semantic Scholar
Counterexample Explanation by Anomaly Detection
S. Leue, Mitra Tabaei Befrouei
2012SPIN16 citations
Semantic Scholar
Mining Sequential Patterns to Explain Concurrent Counterexamples
S. Leue, Mitra Tabaei Befrouei
2013SPIN15 citations Open access
Semantic Scholar
K∗: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
Husain Aljazzar, S. Leue
200815 citations
Semantic Scholar
SysML to NuSMV Model Transformation via Object-Orientation
Georgiana Caltais, Florian Leitner-Fischer, S. Leue, Jannis Weiser
2016International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems14 citations Open access
Semantic Scholar
Clock Bound Repair for Timed Systems
M. Kölbl, S. Leue, Thomas Wies
2019International Conference on Computer Aided Verification13 citations Open access
Semantic Scholar
SpinCause: a tool for causality checking
Florian Leitner-Fischer, S. Leue
2014SPIN13 citations Open access
Semantic Scholar
Specification Languages for Stutter-Invariant Regular Properties
Christian Dax, Felix Klaedtke, S. Leue
2009Automated Technology for Verification and Analysis13 citations Open access
Semantic Scholar
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
S. Leue, Alin Stefanescu, Wei Wei
2008International Conference on Software Technology: Methods and Tools13 citations Open access
Semantic Scholar
Causality for General LTL-definable Properties
Georgiana Caltais, Sophie Linnea Guetlein, S. Leue
2019CREST12 citations Open access
Semantic Scholar
A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
S. Leue, Alin Stefanescu, Wei Wei
2006International Conference on Concurrency Theory12 citations Open access
Semantic Scholar
Automated Functional Safety Analysis of Automated Driving Systems
M. Kölbl, S. Leue
2018International Workshop on Formal Methods for Industrial Critical Systems11 citations
Semantic Scholar
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation
Husain Aljazzar, M. Kuntz, Florian Leitner-Fischer, S. Leue
2010QUOVADIS '1011 citations Open access
Semantic Scholar
Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
S. Leue, Alin Stefanescu, Wei Wei
2008SPIN11 citations
Semantic Scholar
Counterexamples for Model Checking of Markov Decision Processes
Husain Aljazzar, S. Leue
200711 citations
Semantic Scholar
From SysML to Model Checkers via Model Transformation
M. Kölbl, S. Leue, Hargurbir Singh
2018SPIN10 citations
Semantic Scholar
(De-)Composing Causality in Labeled Transition Systems
Georgiana Caltais, S. Leue, M. Mousavi
2016CREST10 citations Open access
Semantic Scholar
Analysis of an Airport Surveillance Radar using the QuantUM approach
A. Beer, U. Kühne, Florian Leitner-Fischer, S. Leue +1 more
201210 citations
Semantic Scholar
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Fabian Bauer-Marquart, David Boetius, S. Leue, Christian Schilling
2021SPIN9 citations Open access
Semantic Scholar
TarTar: A Timed Automata Repair Tool
M. Kölbl, S. Leue, Thomas Wies
2020International Conference on Computer Aided Verification9 citations Open access
Semantic Scholar
A Region Graph Based Approach to Termination Proofs
S. Leue, Wei Wei
2006International Conference on Tools and Algorithms for Construction and Analysis of Systems9 citations Open access
Semantic Scholar
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages
S. Leue, Wei Wei
2005SPIN8 citations
Semantic Scholar
Deciding properties of message sequence charts
S. Leue, T. Systa
20058 citations
Semantic Scholar
Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models
A. Beer, Todor Georgiev, Florian Leitner-Fischer, S. Leue
2013Model-Based Development of Embedded Systems7 citations
Semantic Scholar
Quantitative Analysis of UML Models
Florian Leitner-Fischer, S. Leue
2011Model-Based Development of Embedded Systems7 citations
Semantic Scholar
Synthesis of Medium Size Macrocycles by Cinnamate 2+2 Photoaddition
B. König, S. Leue, Clemens R Horn, A. Caudan +2 more
20067 citations
Semantic Scholar
Automated Consistency Analysis for Legal Contracts
Alan Khoja, M. Kölbl, S. Leue, Rüdiger Wilhelmi
2025SPIN6 citations Open access
Semantic Scholar