- Four Issues Concerning the Semantics of Message Flow Graphs Peter B. Ladkin a and Stefan Leue b \Lambda
- Architecture of a Requirements and Design Tool Based on
- : A Directed On-The-Fly Algorithm for Finding the k Shortest Paths
- Validation of the General InterORB Protocol (GIOP) Using the Spin ModelChecker
- Heuristic-Guided Counterexample Search in FLAVERS Jianbin Tan, George S. Avrunin,
- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
- Specification Languages for Stutter-Invariant Regular Properties
- Heuristic Search for Unbounded Executions Matthias Kuntz, Stefan Leue, Christoph Scheben, Wei Wei, and Sen Yang
- Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes
- Modeling and Analyzing Spike Timing Dependent with Linear Hybrid Automata
- Protocol Veri cation with Heuristic Search Stefan Edelkamp and Alberto Lluch Lafuente and Stefan Leue
- Int J Softw Tools Technol Transfer (2004) 6: 257259 / Digital Object Identifier (DOI) 10.1007/s10009-004-0168-3 Special section on the algorithmics of software model checking
- On Parallelising and Optimising the Implementation of Communication Protocols
- Int J STTT (2000) 2: 394409 2000 Springer-Verlag Formalization and validation of the General Inter-ORB
- Partial Order Reduction in Directed Model Alberto Lluch-Lafuente, Stefan Edelkamp, and Stefan Leue
- Directed Explicit Model Checking with Stefan Edelkamp, Alberto Lluch Lafuente, and Stefan Leue
- Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counterexamples
- Extended Directed Search for Probabilistic Timed Reachability
- QoS Specification based on SDL/MSC and Temporal Stefan Leue \Lambda 1
- Synthesizing ROOM Models from Message Sequence Chart
- Counterexample-based Refinement for a Boundedness Test for CFSM Languages
- Comments on a Proposed Semantics for Basic Message Sequence Charts
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Syntactic Analysis Message Sequence Chart Specifications
- Partial Order Reduction in Directed Model Alberto LluchLafuente, Stefan Edelkamp, and Stefan Leue
- A Region Graph Based Approach to Termination Proofs Stefan Leue and Wei Wei
- Formal Methods for Broadband and Multimedia Stefan Fischer a
- What Do Message Sequence Charts Mean? Peter B. Ladkin a \Lambda and Stefan Leue by
- Implementing and Verifying ScenarioBased Specifications Using Promela/XSpin
- Partial Order Reduction in Directed Model Alberto LluchLafuente Stefan Edelkamp
- Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples
- A Scalable Incomplete Test for the Boundedness of UML Stefan Leue, Richard Mayr, and Wei Wei
- Moataz Kamel # and Stefan Leue #
- Mesa: Support for Scenario-Based Design of Concurrent Systems ?
- Evaluating Repair Strategies for a Water-Treatment Facility using Arcade B.R. Haverkort1,2
- Incomplete Property Checking for Asynchronous Reactive Systems
- vPromela: A Visual, ObjectOriented Language for SPIN Stefan Leue \Lambda
- Timing Constraints in Message Sequence Chart Specifications
- Syntactic Analysis Message Sequence Chart Speci cations
- QoS Speci cation based on SDL/MSC and Temporal Stefan Leue 1
- Int J Softw Tools Technol Transfer (2004) 6: 277301 / Digital Object Identifier (DOI) 10.1007/s10009-004-0151-z Partial-order reduction and trail improvement
- Implementing Message Sequence Charts in Promela --Preliminary Extended Abstract --
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Integer Linear Programming Based Property
- Extended Directed Search for Probabilistic Timed Reachability
- Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be
- Counterexample-Based Refinement for a Boundedness
- Counterexamples for Timed Probabilistic Reachability
- Directed Explicit-State Model Checking Stefan Leue
- Counterexamples for Timed Probabilistic Reachability
- Counterexamples for Stochastic Model Checking
- Validation of the General Inter-ORB Protocol (GIOP) Using the Spin Model-Checker
- Generation of Counterexamples for Model Checking of Markov Decision Processes
- engineering Der Traum von fehlerfreier Software
- Debugging of Dependability Models Using Interactive Visualization of Counterexamples
- Reliability, Risk and Safety Ale, Papazoglou & Zio (eds) 2010 Taylor & Francis Group, London, ISBN 978-0-415-60427-7
- Int J Softw Tools Technol Transfer (2004) 5: 247267 / Digital Object Identifier (DOI) 10.1007/s10009-002-0104-3 Regular contributions
- Partial-Order Reduction for General State Exploring Algorithms
- Axel Legay and Azadeh Farzan (Eds.): International Workshop on Verification of Infinite-State Systems (INFINITY 2009) EPTCS 10, 2009, pp. 3643, doi:10.4204/EPTCS.10.3
- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
- Communicating Process Architectures 2008 Susan Stepney, Fiona Polack, Alistair McEwan, Peter Welch, and Wilson Ifill (Eds.)
- : Heuristics-Guided, On-the-Fly k Shortest Paths Husain Aljazzar and Stefan Leue
- Syntactic Detection of Process Divergence and nonLocal Choice in Message Sequence Charts ?
- Architecture of a Requirements and Design Tool Based on
- Quantitative Analysis of UML Models Florian Leitner-Fischer and Stefan Leue
- An ASM semantics for the communication layer in Rational Rose Real-Time
- Optimization Techniques for Parallel Protocol Implementation Stefan Leue Philippe Oechslin
- A Method and Tool for Optimized Parallel Protocol Implementation \Lambda Stefan Leue Philippe Oechslin
- Methods and Semantics for Telecommunications Systems Engineering
- A Scalable Incomplete Boundedness Test for CFSM
- Discriminative Pattern Mining in Software Fault Detection Giuseppe Di Fatta
- Formalizations and Algorithms for Optimized Parallel Protocol Implementation
- Expressing and Analyzing Timing Constraints in
- Mesa: Support for ScenarioBased Design of Concurrent Systems ?
- v-Promela: A Visual, Object-Oriented Language for SPIN Stefan Leue
- Reliability, Risk and Safety Ale, Papazoglou & Zio (eds) 2010 Taylor & Francis Group, London, ISBN 978-0-415-60427-7
- Survey on Directed Model Checking Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs,
- Optimization Techniques for Parallel Protocol Implementation Stefan Leue Philippe Oechslin
- Specifying RealTime Requirements for SDL Specifications --A Temporal LogicBased Approach \Lambda
- Directed and Heuristic Counterexample Generation for Probabilistic Model Checking -A Comparative Evaluation
- Technical Report soft-11-02, Chair for Software Engineering, University of Konstanz
- Technical Report soft-11-01, Chair for Software Engineering, University of Konstanz The QuantUM Approach in the Context of the
- Challenges in the Modeling and Quantitative Analysis of Safety-Critical Automotive Systems!
- Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs
- Automated Invariant Generation for the Verification of Real-Time Systems
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Prove with GDPLLWD A Complete Proof Procedure for Recursive Data
- An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
- A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
- A Region Graph Based Approach to Termination Proofs Stefan Leue and Wei Wei
- Partial-Order Reduction for General State Exploring Algorithms
- Counterexample Refinement for a Boundedness Test for CFSM Languages
- Explicit State Model Checking in the Development Process for Interlocking Software Systems
- Partial Order Reduction in Directed Model Alberto Lluch-Lafuente Stefan Edelkamp
- Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
- Formal Methods for Broadband and Multimedia Stefan Fischera
- Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
- Timing Constraints in Message Sequence Chart Speci cations
- On Parallelising and Optimising the Implementation of Communication Protocols
- A Method and Tool for Optimized Parallel Protocol Implementation Stefan Leue Philippe Oechslin
- Implementing and Verifying Scenario-Based Speci cations Using Promela/XSpin
- Specifying Real-Time Requirements for SDL Speci cations { A Temporal Logic-Based Approach
- Four Issues Concerning the Semantics of Message Flow Graphs Peter B. Ladkinaand Stefan Leueb
- Implementing Message Sequence Charts in Promela { Preliminary Extended Abstract {
- Formalizations and Algorithms for Optimized Parallel Protocol Implementation
- What Do Message Sequence Charts Mean? Peter B. Ladkina and Stefan Leueby
- Methods and Semantics for Telecommunications Systems Engineering
- A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
- Submitted to: c F. Leitner-Fischer & S. Leue
- Technical Report soft-08-05, Chair for Software Engineering, University of Copyright by the authors 2008
- Synthesizing ROOM Models from Message Sequence Chart
- Comments on a Proposed Semantics for Basic Message Sequence Charts
- Culling predicates for the Verification of Real-Time Models
- Directed Explicit State-Space Search in the Generation of Counterexamples
- Expressing and Analyzing Timing Constraints in
- Counterexamples for Timed Probabilistic Reachability Husain Aljazzar1
- Debugging of Dependability Models Using Interactive Visualization of Counterexamples
- Formal Aspects of Computing (1994) 3: 1000 Interpreting Message Flow Graphs
- Partial-Order Reduction for General State Exploring Algorithms
- Counterexamples for Model Checking of Markov Decision Processes
- From Probabilistic Counterexamples via Causality to Fault Trees
- DiPro -A Tool for Probabilistic Counterexample Husain Aljazzar , Florian Leitner-Fischer, Stefan Leue, and Dimitar Simeonov
- Technical Report soft-12-02, Chair for Software Engineering, University of Konstanz, Copyright by the Authors 2012
- Technical Report soft-12-01, Chair for Software Engineering, University of Konstanz, Copyright by the Authors 2012
- Towards Causality Checking for Complex System Models Florian Leitner-Fischer and Stefan Leue
