Stefan Leue - RankMe

107 papers A* 4A 5B 7C 8Journal 28Unranked 49

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Automated Consistency Analysis for Legal Contracts. CoRR Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
2025	A*	`conf`	Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound. ICML David Boetius, Stefan Leue, Tobias Sutter
2025	J	`jnl`	Stable Robot Motions on Manifolds: Learning Lyapunov-Constrained Neural Manifold ODEs. CoRR David Boetius, Abdelrahman Abdelnaby, Ashok Kumar, Stefan Leue, Abdalla Swikir, Fares J. Abu-Dakka
2024	J	`jnl`	Counterexample-Guided Repair of Reinforcement Learning Systems Using Safety Critics. CoRR David Boetius, Stefan Leue
2024	J	`jnl`	Probabilistic Verification of Neural Networks using Branch and Bound. CoRR David Boetius, Stefan Leue, Tobias Sutter
2023	A*	`conf`	A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. ICML David Boetius, Stefan Leue, Tobias Sutter
2023	J	`jnl`	A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks. CoRR David Boetius, Stefan Leue, Tobias Sutter
2023	—	`conf`	Verifying Global Neural Network Specifications using Hyperproperties. FoMLAS@CAV David Boetius, Stefan Leue
2023	J	`jnl`	Verifying Global Neural Network Specifications using Hyperproperties. CoRR David Boetius, Stefan Leue
2023	B	`conf`	symQV: Automated Symbolic Verification of Quantum Programs. FM Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
2022	—	`conf`	Automated Consistency Analysis for Legal Contracts. SPIN Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
2022	J	`jnl`	Formal Modeling and Analysis of Legal Contracts using ContractCheck. CoRR Alan Khoja, Martin Kölbl, Stefan Leue, Rüdiger Wilhelmi
2022	—	`conf`	SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks. SPIN Fabian Bauer-Marquart, David Boetius, Stefan Leue, Christian Schilling
2022	J	`jnl`	symQV: Automated Symbolic Verification of Quantum Programs. CoRR Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
2021	J	`jnl`	Automated repair for timed systems. Formal Methods Syst. Des. Martin Kölbl, Stefan Leue, Thomas Wies
2021	J	`jnl`	DeepOpt: Scalable Specification-based Falsification of Neural Networks using Black-Box Optimization. CoRR Fabian Bauer-Marquart, Stefan Leue, Christian Schilling
2020	—	`conf`	An Algorithm to Compute a Strict Partial Ordering of Actions in Action Traces. ISoLA (4) Martin Kölbl, Stefan Leue
2020	C	`conf`	Correctness of an ATL Model Transformation from SysML State Machine Diagrams to Promela. MODELSWARD Georgiana Caltais, Stefan Leue, Hargurbir Singh
2020	—	`conf`	Dynamic Causes for the Violation of Timed Reachability Properties. FORMATS Martin Kölbl, Stefan Leue, Robert Schmid
2020	—	`conf`	TarTar: A Timed Automata Repair Tool. CAV (1) Martin Kölbl, Stefan Leue, Thomas Wies
2020	J	`jnl`	TarTar: A Timed Automata Repair Tool. CoRR Martin Kölbl, Stefan Leue, Thomas Wies
2019	B	`conf`	An Efficient Algorithm for Computing Causal Trace Sets in Causality Checking. ATVA Martin Kölbl, Stefan Leue
2019	J	`jnl`	Causal Reasoning in Systems (NII Shonan Meeting 139). NII Shonan Meet. Rep. Gregor Gössler, Stefan Leue, Shin Nakajima
2019	—	`conf`	Clock Bound Repair for Timed Systems. CAV (1) Martin Kölbl, Stefan Leue, Thomas Wies
2018	C	`conf`	Automated Functional Safety Analysis of Automated Driving Systems. FMICS Martin Kölbl, Stefan Leue
2018	—	`conf`	Causality for General LTL-definable Properties. CREST Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue
2018	—	`conf`	From SysML to Model Checkers via Model Transformation. SPIN Martin Kölbl, Stefan Leue, Hargurbir Singh
2018	J	`jnl`	Verlässliche Software im 21. Jahrhundert. CoRR Stefan Wagner, Matthias Tichy, Michael Felderer, Stefan Leue
2018	J	`jnl`	Verlässliche Software im 21. Jahrhundert. Inform. Spektrum Stefan Wagner, Matthias Tichy, Michael Felderer, Stefan Leue
2017	—	`ed.`	Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017, Uppsala, Sweden, 29th April 2017. CREST Alex Groce, Stefan Leue
2016	—	`conf`	(De-)Composing Causality in Labeled Transition Systems. CREST Georgiana Caltais, Stefan Leue, Mohammad Reza Mousavi
2016	—	`conf`	SysML to NuSMV Model Transformation via Object-Orientation. CyPhy Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue, Jannis Weiser
2015	—	`—`	Methods and semantics for telecommunications systems engineering. Stefan Leue
2015	—	`conf`	Symbolic Causality Checking Using Bounded Model Checking. SPIN Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue
2014	—	`conf`	SpinCause: a tool for causality checking. SPIN Florian Leitner-Fischer, Stefan Leue
2013	B	`conf`	Causality Checking for Complex System Models. VMCAI Florian Leitner-Fischer, Stefan Leue
2013	J	`jnl`	Integer Linear Programming-Based Property Checking for Asynchronous Reactive Systems. IEEE Trans. Software Eng. Stefan Leue, Wei Wei
2013	—	`conf`	Mining Sequential Patterns to Explain Concurrent Counterexamples. SPIN Stefan Leue, Mitra Tabaei Befrouei
2013	—	`conf`	Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models. MBEES Adrian Beer, Todor G. Georgiev, Florian Leitner-Fischer, Stefan Leue
2013	—	`conf`	On the Synergy of Probabilistic Causality Computation and Causality Checking. SPIN Florian Leitner-Fischer, Stefan Leue
2013	J	`jnl`	Probabilistic fault tree synthesis using causality computation. Int. J. Crit. Comput. Based Syst. Florian Leitner-Fischer, Stefan Leue
2012	—	`conf`	Counterexample Explanation by Anomaly Detection. SPIN Stefan Leue, Mitra Tabaei Befrouei
2012	—	`conf`	Towards Causality Checking for Complex System Models. MBEES Florian Leitner-Fischer, Stefan Leue
2011	—	`conf`	DiPro - A Tool for Probabilistic Counterexample Generation. SPIN Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue, Dimitar Simeonov
2011	B	`conf`	From Probabilistic Counterexamples via Causality to Fault Trees. SAFECOMP Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2011	J	`jnl`	K Artif. Intell. Husain Aljazzar, Stefan Leue
2011	J	`jnl`	Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS 2007 + FMICS 2008). Sci. Comput. Program. Darren D. Cofer, Alessandro Fantechi, Stefan Leue, Pedro Merino
2011	—	`conf`	QuantUM: Quantitative Safety Analysis of UML Models QAPL Florian Leitner-Fischer, Stefan Leue
2011	—	`conf`	Quantitative Analysis of UML Models. MBEES Florian Leitner-Fischer, Stefan Leue
2010	—	`conf`	Automated Invariant Generation for the Verification of Real-Time Systems. WING@ETAPS/IJCAR Bahareh Badban, Stefan Leue, Jan-Georg Smaus
2010	J	`jnl`	Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking. IEEE Trans. Software Eng. Husain Aljazzar, Stefan Leue
2010	—	`conf`	Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation. QUOVADIS@ICSE Husain Aljazzar, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2010	—	`conf`	Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs. WING@ETAPS/IJCAR Matthias Kuntz, Stefan Leue, Christoph Scheben
2009	—	`conf`	An Executable and Extensible Formal Semantics for UML-RT. MBEES Stefan Leue, Wei Wei
2009	—	`conf`	Automated Predicate Abstraction for Real-Time Models INFINITY Bahareh Badban, Stefan Leue, Jan-Georg Smaus
2009	—	`conf`	Generation of Counterexamples for Model Checking of Markov Decision Processes. QEST Husain Aljazzar, Stefan Leue
2009	J	`jnl`	Partial-order reduction for general state exploring algorithms. Int. J. Softw. Tools Technol. Transf. Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
2009	—	`conf`	Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples. QEST Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue
2009	B	`conf`	Specification Languages for Stutter-Invariant Regular Properties. ATVA Christian Dax, Felix Klaedtke, Stefan Leue
2008	—	`conf`	An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT. TOOLS (46) Stefan Leue, Alin Stefanescu, Wei Wei
2008	—	`conf`	Debugging of Dependability Models Using Interactive Visualization of Counterexamples. QEST Husain Aljazzar, Stefan Leue
2008	—	`conf`	Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes. SPIN Stefan Leue, Alin Stefanescu, Wei Wei
2008	C	`ed.`	Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers FMICS Stefan Leue, Pedro Merino
2007	—	`ed.`	Directed Model Checking, 26.04. - 29.04.2006 Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`conf`	06172 Abstracts Collection -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	—	`conf`	06172 Executive Summary -- Directed Model Checking. Directed Model Checking Stefan Edelkamp, Stefan Leue, Willem Visser
2006	B	`conf`	A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems. CONCUR Stefan Leue, Alin Stefanescu, Wei Wei
2006	A	`conf`	A Region Graph Based Approach to Termination Proofs. TACAS Stefan Leue, Wei Wei
2006	—	`conf`	Discriminative pattern mining in software fault detection. SOQUA Giuseppe Di Fatta, Stefan Leue, Evghenia Stegantova
2006	—	`conf`	Extended Directed Search for Probabilistic Timed Reachability. FORMATS Husain Aljazzar, Stefan Leue
2006	—	`conf`	Partial-Order Reduction for General State Exploring Algorithms. SPIN Dragan Bosnacki, Stefan Leue, Alberto Lluch-Lafuente
2005	—	`conf`	Counterexample-Based Refinement for a Boundedness Test for CFSM Languages. SPIN Stefan Leue, Wei Wei
2005	—	`conf`	Counterexamples for Timed Probabilistic Reachability. FORMATS Husain Aljazzar, Holger Hermanns, Stefan Leue
2005	—	`conf`	Dagstuhl-Manifest zur Strategischen Bedeutung des Software Engineering in Deutschland. Perspectives Workshop Manfred Broy, Matthias Jarke, Manfred Nagl, Hans Dieter Rombach, Armin B. Cremers, Jürgen Ebert, Sabine Glesner, Martin Glinz, Michael Goedicke, Gerhard Goos, Volker Gruhn, Wilhelm Hasselbring, Stefan Jähnichen, Stefan Kowalewski, Bernd J. Krämer, Stefan Leue, Claus Lewerentz, Peter Liggesmeyer, Christoph Lüth, Barbara Paech, Helmuth Arthur Partsch, Ilka Philippow, Lutz Prechelt, Andreas Rausch, Willem-Paul de Roever, Bernhard Rumpe, Gudula Rünger, Wilhelm Schäfer, Kurt Schneider, Andy Schürr, Walter F. Tichy, Bernhard Westfechtel, Wolf Zimmermann, Albert Zündorf
2005	—	`ed.`	Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers Scenarios: Models, Transformations and Tools Stefan Leue, Tarja Systä
2004	—	`conf`	A Scalable Incomplete Test for Message Buffer Overflow in Promela Models. SPIN Stefan Leue, Richard Mayr, Wei Wei
2004	A	`conf`	A Scalable Incomplete Test for the Boundedness of UML RT Models. TACAS Stefan Leue, Richard Mayr, Wei Wei
2004	J	`jnl`	Directed explicit-state model checking in the validation of communication protocols. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2004	—	`conf`	Heuristic-guided counterexample search in FLAVERS. SIGSOFT FSE Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, Stefan Leue
2004	J	`jnl`	Introductory paper. Int. J. Softw. Tools Technol. Transf. Matthew B. Dwyer, Stefan Leue
2004	J	`jnl`	Partial-order reduction and trail improvement in directed model checking. Int. J. Softw. Tools Technol. Transf. Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente
2002	—	`ed.`	Model Checking of Software, 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002, Proceedings SPIN Dragan Bosnacki, Stefan Leue
2002	—	`conf`	Partial Order Reduction in Directed Model Checking. SPIN Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue
2001	—	`conf`	Directed Explicit Model Checking with HSF-SPIN. SPIN Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
2001	—	`conf`	Trail-directed model checking. Workshop on Software Model Checking @ CAV Stefan Edelkamp, Alberto Lluch-Lafuente, Stefan Leue
2000	J	`jnl`	Formalization and Validation of the General Inter-ORB Protocol (GIOP) using PROMELA and SPIN. Int. J. Softw. Tools Technol. Transf. Moataz Kamel, Stefan Leue
2000	A	`conf`	VIP: A Visual Editor and Compiler for v-Promela. TACAS Moataz Kamel, Stefan Leue
1999	—	`ed.`	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 Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink
1999	—	`conf`	VIP: A Visual Interface for Promela. SPIN Moataz Kamel, Stefan Leue
1999	C	`conf`	v-Promela: A Visual, Object-Oriented Language for SPIN. ISORC Stefan Leue, Gerard J. Holzmann
1998	J	`jnl`	Formal Methods for Broadband and Multimedia Systems. Comput. Networks Stefan Fischer, Stefan Leue
1998	A	`conf`	MESA: Support for Scenario-Based Design of Concurrent Systems. TACAS Hanêne Ben-Abdallah, Stefan Leue
1998	A*	`conf`	Synthesizing Software Architecture Descriptions from Message Sequence Chart Specifications. ASE Stefan Leue, Lars Mehrmann, Mohammad Reza Mousavi
1997	A*	`conf`	Formal Methods for Broadband and Multimedia Systems (Tutorial). ICSE Stefan Fischer, Stefan Leue
1997	A	`conf`	Syntactic Detection of Process Divergence and Non-local Choice inMessage Sequence Charts. TACAS Hanêne Ben-Abdallah, Stefan Leue
1997	C	`conf`	Timing Constraints in Message Sequence Chart Specifications. FORTE Hanêne Ben-Abdallah, Stefan Leue
1996	—	`conf`	Implementing and verifying MSC specifications using Promela/XSpin. The Spin Verification System Stefan Leue, Peter B. Ladkin
1996	J	`jnl`	On parallelizing and optimizing the implementation of communication protocols. IEEE/ACM Trans. Netw. Stefan Leue, Philippe Oechslin
1996	J	`jnl`	OpParIm: A method and tool for optimized parallel protocol implementation. J. High Speed Networks Stefan Leue, Philippe Oechslin
1995	C	`ed.`	Formal Description Techniques VII, Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques, Berne, Switzerland, 1994 FORTE Dieter Hogrefe, Stefan Leue
1995	J	`jnl`	Interpreting Message Flow Graphs. Formal Aspects Comput. Peter B. Ladkin, Stefan Leue
1995	—	`conf`	Specifying real-time requirements for SDL specifications - a temporal logic-based approach. PSTV Stefan Leue
1994	B	`conf`	Formalizations and algorithms for optimized parallel protocol implementation. ICNP Stefan Leue, Philippe Oechslin
1994	C	`conf`	Four issues concerning the semantics of Message Flow Graphs. FORTE Peter B. Ladkin, Stefan Leue
1994	—	`conf`	From SDL specifications to optimized parallel protocol implementations. Protocols for High-Speed Networks Stefan Leue, Philippe Oechslin
1993	C	`conf`	What Do Message Sequence Charts Mean? FORTE Peter B. Ladkin, Stefan Leue
1992	—	`conf`	On the Semantics of Message Sequence Charts. FBT Peter B. Ladkin, Stefan Leue