Publications
-
Matthias Kuntz, Stefan Leue, Christoph Scheben, Wei Wei, Sen Yang: Heuristic Search for Unbounded Executions, Technical Report soft-09-02, Chair for Software Engineering, University of Konstanz, 2009.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Directed Explicit State-Space Search in the Generation of Counterexamples for Stochastic Model Checking, IEEE Transactions on Software Engineering, IEEE computer Society Digital Library, IEEE Computer Society, 2009.
Download: [PDF] -
Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Predicate Abstraction for Real-Time Models, Accepted for publication in INFINITY 2009, 11th International Workshop on Verification of Infinite-State Systems, 2009.
-
Bahareh Badban, Stefan Leue, Jan-Georg Smaus: Automated Invariant Generation for the Verification of Real-Time Systems, in the International Workshop on Invariant Generation (WING), 2009.
-
Bahareh Badban: A Term Rewriting Technique for Decision Graphs, in the International Workshop on Computing with Terms and Graphs (TERMGRAPH), 2009.
Download: [PDF] -
Stefan Edelkamp, Viktor Schuppan, Dragan Bosnacki, Anton Wijs, Ansgar Fehnker and Husain Aljazzar: Survey on Directed Model Checking, Volume 5348, Pages 65-89, Model Checking and Artificial Intelligence, 5th International Workshop, MoChArt '08. Revised Selected and Invited Papers, Lecture Notes in Computer Science, Springer Verlag, 2009.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Generation of Counterexamples for Model Checking of Markov Decision Processes, Proceedings of 6th International Conference on the Quantitative Evaluation of SysTems (QEST '09), IEEE Computer Society Press, 2009.
-
H. Aljazzar, M. Fischer, L. Grunske, M. Kuntz, F. Leitner-Fischer, S. Leue: Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples, Proceedings of 6th International Conference on the Quantitative Evaluation of SysTems (QEST '09), IEEE Computer Society Press, 2009.
Download: [PDF] -
Christian Dax, Felix Klaedtke and Stefan Leue: Specification Languages for Stutter-Invariant Regular Properties, To appear in: Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Lecture Notes in Computer Science, Springer Verlag, 2009.
-
Husain Aljazzar, Manuel Fischer, Lars Grunske, Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue: Safety Analysis of an Airbag System using Probabilistic FMEA and Probabilistic Counter Examples, Technical Report soft-09-01, Chair for Software Engineering, University of Konstanz, 2009.
Download: [PDF] -
Dragan Bosnacki, Stefan Leue and Alberto Lluch Lafuente: Partial-order reduction for general state exploring algorithms , Volume 11, Pages 39-51, International Journal on Software Tools for Technology Transfer (STTT), Springer Berlin / Heidelberg, DOI: 10.1007/s10009-008-0093-y, 2009.
Download: [PDF] -
F. Leitner and S. Leue: Simulink Design Verifier vs. SPIN - A Comparative Case Study, in: Participant's Proceedings of FMICS 2008, ERCIM Working Group on Formal Methods for Industrial Critical Systems, 2008.
Download: [PDF] -
Bahareh Badhan: Prove with GDPLL-WD.
A Complete Proof Procedure for Recursive Data Structures, Technical Report soft-08-07, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Bahareh Badban: Culling predicates for the Verification of Real-Time Models, Technical Report soft-08-06, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Florian Leitner: Evaluation of the Matlab Simulink Design Verier
versus the model checker SPIN, Technical Report soft-08-05, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Bahareh Badban, Wan Fokkink, Jaco van de Pol: Mechanical Verification of a Two-Way Sliding Window Protocol, Accepted for publication in the Communicating Process Architectures (CPA) conference, 2008.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Debugging of Dependability Models Using Interactive
Visualization of Counterexamples, Proceedings of 5th International Conference on the Quantitative Evaluation of SysTems (QEST), IEEE Computer Society Press, to appear, 2008.
-
Husain Aljazzar and Stefan Leue: Debugging of Dependability Models Using Interactive
Visualization of Counterexamples, Technical Report soft-08-04, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Wei Wei: Incomplete Property Checking for Asynchronous Reactive Systems, Doctoral Dissertation, University of Konstanz, 2008.
Download: [PDF] -
Stefan Leue, Alin Stefanescu and Wei Wei: Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes, Pages 176-195, Proceedings of 15th International SPIN Workshop on Model Checking of Software (SPIN '08), Lecture Notes in Computer Science, Volume 5156. Springer Verlag., 2008.
Download: [PDF] -
Stefan Leue and Pedro Merino (Eds.) : Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers, LNCS 4916, Lecture Notes in Computer Science, Springer Verlag, 2008.
-
Stefan Leue, Alin Stefanescu and Wei Wei: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT, Pages 238-257, Proceedings of 46th International Conference on Objects, Models, Components, Patterns (TOOLS '08), Lecture Notes in Business and Information Processing, Volume 11. Springer Verlag., 2008.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: K*: A Directed On-The-Fly Algorithm for Finding the k Shortest Paths, Technical Report soft-08-03, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Stefan Leue, Alin Stefanescu and Wei Wei: An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT (Long Version), Technical Report soft-08-02, Chair for Software Engineering, University of Konstanz, 2008.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Counterexamples for Model Checking of Markov Decision Processes, Technical Report soft-08-01, Chair for Software Engineering, University of Konstanz, 2007.
Download: [PDF] -
Dragan Bosnacki, Stefan Leue, and Alberto Lluch Lafuente: Partial-Order Reduction for General State Exploring Algorithms, To appear in: International Journal on Software Tools for Technology Transfer, 2007.
Download: [PDF] -
Giuseppe di Fatta, Stefan Leue and Evghenia Stegantova: Discriminative Pattern Mining in Software Fault Detection, Proceedings of the Third International Workshop on Software Quality Assurance SOQUA'06, ACM Digital Library, 2006.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability, Pages 33-51, Proceedings of 4th International Conference on Formal Modelling and Analysis of Timed Systems FORMATS '06, Lecture Notes in Computer Science, Springer Verlag, 2006.
Download: [PDF] -
Stefan Leue, Alin Stefanescu, and Wei Wei: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems, Pages 79-94, Proceedings of 17th International Conference on Concurrency Theory CONCUR '06, LNCS 4137, Lecture Notes in Computer Science, Springer Verlag., 2006.
Download: [PDF] -
Husain Aljazzar and Stefan Leue: Extended Directed Search for Probabilistic Timed Reachability, Technical Report soft-06-03, Chair for Software Engineering, University of Konstanz, 2006.
Download: [PDF] -
Stefan Leue, Alin Stefanescu, and Wei Wei: A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems, Technical Report soft-06-02, Chair for Software Engineering, University of Konstanz, 2006.
Download: [PDF] -
Dragan Bosnacki, Stefan Leue, and Alberto Lluch Lafuente: Partial-Order Reduction for General State Exploring Algorithms, Pages 271-287, Proceedings of the 13th International SPIN Workshop on Model Checking of Software, LNCS 3925, Lecture Notes in Computer Science, Springer Verlag, 2006.
Download: [PDF] -
Stefan Leue and Wei Wei: A Region Graph Based Approach to Termination Proofs, Technical Report soft-06-01, Chair for Software Engineering, University of Konstanz, 2006.
Download: [PDF] -
Stefan Leue and Wei Wei: A Region Graph Based Approach to Termination Proofs, Pages 318-333, Proceedings of 12th. International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS '06, LNCS 3920, Lecture Notes in Computer Science, Springer Verlag, 2006.
Download: [PDF] -
Dragan Bosnacki, Stefan Leue, and Alberto Lluch Lafuente: Partial-Order Reduction for General State Exploring Algorithms, Technical Report soft-05-02, Chair for Software Engineering, University of Konstanz, 2005.
Download: [PDF] -
Husain Aljazzar, Holger Hermanns, and Stefan Leue: Counterexamples for Timed Probabilistic Reachability, Pages 177-195, Proceedings of the 3rd International Conference on Formal Modelling and Analysis of Timed Systems FORMATS'05, LNCS 3829, Lecture Notes in Computer Science, Springer Verlag, 2005.
Download: [PDF] -
Stefan Leue and Tarja Johanna Systä (Eds.): Scenarios: Models, Transformations and Tools: Proceedings of International Workshop Dagstuhl Castle, Germany, September 2003, LNCS 3466, Lecture Notes in Computer Science, Springer Verlag, 2005.
-
Stefan Leue and Wei Wei: Counterexample-based Refinement for a Boundedness
Test for CFSM Languages, Pages 58-74, Proceedings of 12th International SPIN Workshop on Model Checking of Software SPIN2005, LNCS 3639, Lecture Notes in Computer Science, Springer Verlag, 2005.
Download: [PDF] -
Stefan Leue and Wei Wei: Counterexample Refinement for a Boundedness Test for CFSM Languages, Technical Report soft-05-01, Chair for Software Engineering, University of Konstanz, 2005.
Download: [PDF] -
Matthew Dwyer and Stefan Leue: The Algorithmics of Software Model Checking (Introductory Paper), Pages 257-259, International Journal on Software Tools for Technology Transfer 6 (4), Springer Verlag, 2004.
Download: [PDF] -
Jianbin Tan, George S. Avrunin, Lori A. Clarke, Shlomo Zilberstein, and Stefan Leue: Heuristic-Guided Counterexample Search in FLAVERS, Pages 201-210, Proceedings of the 12th ACM Symposium on the Foundations of Software Engineering, ACM Press, 2004.
Download: [PDF] -
Stefan Edelkamp, Stefan Leue, and Alberto Lluch-Lafuente: Partial-Order Reduction and Trail Improvement in Directed Model Checking, Pages 277-301, International Journal on Software Tools for Technology Transfer 6 (4), Springer Verlag, 2004.
Download: [PDF] -
Stefan Leue, Richard Mayr, and Wei Wei: A Scalable Incomplete Test for Message Buffer Overflow in Promela Models, Pages 216-233, Proceedings of the 11th International SPIN Workshop on Model Checking Software SPIN 2004, LNCS 2989, Lecture Notes in Computer Science, Springer Verlag, 2004.
Download: [PDF] -
Stefan Leue, Richard Mayr, and Wei Wei: A Scalable Incomplete Test for the Boundedness of UML RT Models, Pages 327-341, Proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2004, LNCS 2988, Lecture Notes in Computer Science, Springer Verlag, 2004.
Download: [PDF] -
Stefan Edelkamp, Stefan Leue, and Alberto Lluch-Lafuente: Directed Explicit-State Model Checking in the Validation of Communication Protocols, Pages 247-267, International Journal on Software Tools for Technology Transfer 5 (2-3), Springer Verlag, 2004.
Download: [PDF] -
Peter Biechele and Stefan Leue: Explicit State Model Checking in the Development Process for Inter-locking Software Systems (Extended Abstract), Proceedings of the Workshop on Model-Checking for Dependable Software-Intensive Systems to be held at the IEEE/IFIP International Conference on Dependable Systems and Networks, San Francisco, USA, 2003.
Download: [PDF] -
Dragan Bosnacki and Stefan Leue (Eds.): Proceedings of the 9th International SPIN Workshop on Model Checking of Software, Volume 2318, Lecture Notes in Computer Science, Springer Verlag, 2002.
-
Alberto Lluch-Lafuente, Stefan Edelkamp, Stefan Leue: Partial Order Reduction in Directed Model Checking, Volume 2318, Pages 112-127, Proceedings of the 9th International SPIN Workshop on Software Model Checking, Lecture Notes in Computer Science, Springer Verlag, 2002.
Download: [PDF] [PS] -
Stefan Edelkamp, Alberto Lluch Lafuente and Stefan Leue: Protocol Verification with Heuristic Search, Pages 75-83, Proceedings of the AAAI-Spring Symposium on Model-based Validation of Intelligence, Stanford University, 2001.
Download: [PDF] [PS] -
Stefan Edelkamp, Alberto Lluch Lafuente, Stefan Leue: Directed Explicit Model Checking with HSF-SPIN, Pages 57-79, Proceedings of 8th International SPIN Workshop on Model Checking Software, LNCS 2057, Lecture Notes in Computer Science, Springer Verlag, 2001.
Download: [PDF] [PS] -
Stefan Edelkamp, Alberto Luch Lafuente and Stefan Leue: Trail-Directed Model Checking, Pages 343-356, Proceedings of the Workshop on Software Model Checking, Electrical Notes in Theoretical Computer Science 55 (3), Elsevier, 2001.
Download: [PDF] -
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Partial Order Reduction in Directed Model Checking, Technical Report No. 162, Institute for Computer Science, Albert-Ludwigs-University Freiburg, 2001.
Download: [PDF] [PS] -
Stefan Edelkamp, Stefan Leue, Alberto Lluch-Lafuente: Directed Explicit-State Model Checking in the Validation of Communication Protocols, Technical Report No. 161, Institute for Computer Science, Albert-Ludwigs-University Freiburg, 2001.
Download: [PDF] [PS] -
Moataz Kamel and Stefan Leue: Formalization and Validation of the General Inter-ORB Protocol (GIOP) using Promela and Spin, Pages 394-409, International Journal on Software Tools for Technology Transfer 2 (4), Springer Verlag, 2000.
Download: [PDF] -
Moataz Kamel and Stefan Leue: VIP: A Visual Editor and Compiler for v-Promela, Pages 471-486, Proceedings of the 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2000, LNCS 1785, Lecture Notes in Computer Science, Springer Verlag, 2000.
Download: [PDF] [PS] -
P. Tysowski, Mohammad Zulkernine and Stefan Leue: JaCal: An Implementation of Linda in Java, Pages 683-692, Proceedings of the IASTED Conference on Parallel and Distributed Computing and Systems PDCS '99, Cambridge, 1999.
-
Dennis Dams, Rob Gerth, Stefan Leue, and Mieke Massink (Eds.): Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, LNCS 1680, Lecture Notes in Computer Science, Springer Verlag, 1999.
-
Stefan Leue and Gerard Holzmann: v-Promela: A Visual, Object-Oriented Language for Spin, Pages 14-23, Proceedings of the Second IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Saint Malo, France, IEEE Computer Society Press, 1999.
Download: [PDF] [PS] -
Moataz Kamel and Stefan Leue: Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin, Actes/Proceedings Spin\'98, Ecole Nationale Superieure des Telecommunications, Paris, France, 1998.
-
Hanêne Ben-Abdallah and Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems
, Volume 1384, Pages 118 - 135, Lecture Notes in Computer Science, Springer Verlag, 1998.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: MESA: Support for Scenario-Based Design of Concurrent Systems
, Proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, 1998.
Download: [PDF] [PS] -
Stefan Leue, Lars Mehrmann and Mohammad Rezai: Synthesizing ROOM Models from Message Sequence Chart Specifications
, 13th IEEE Conference on Automated Software Engineering, Honolulu, Hawaii, 1998.
Download: [PDF] [PS] -
Stefan Leue, Lars Mehrmann and Mohammad Rezai: Synthesizing ROOM Models from Message Sequence Chart Specifications
, Technical Report 98-06, Dept. of Electrical and Computer Engineering, University of Waterloo, 1998.
Download: [PDF] [PS] -
Stefan Fischer and Stefan Leue: Formal Methods for Broadband and Multimedia Systems
, Technical Report 97-08, Department of Electrical and Computer Engineering, University of Waterloo., 1997.
Download: [PDF] [PS] -
Stefan Fischer and Stefan Leue: Formal Methods for Broadband and Multimedia Systems
, Computer Networks and ISDN Systems, 1997.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Implementing and Verifying MSC Specifications Using Promela/XSpin
, Volume 32, Proceedings of the DIMACS Workshop SPIN96, the 2nd International Workshop on the SPIN Verification System. DIMACS Series, American Mathematical Society, Providence, R.I., 1997.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
, Volume 1217, Pages 259 - 274, Lecture Notes in Computer Science, Springer Verlag, 1997.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Syntactic Detection of Process Divergence and non-Local Choice in Message Sequence Charts
, Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems TACAS'97, 1997.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications
, Technical Report 97-04, Dept. of Electrical and Computer Engineering, University of Waterloo, 1997.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Timing Constraints in Message Sequence Chart Specifications , Formal Description Techniques X, Proceedings of the Tenth International Conference on Formal Description Techniques FORTE/PSTV'97, Chapman & Hall, 1997.
Download: [PDF] [PS] -
Stefan Leue and Philippe Oechslin: On Parallelising and Optimising the Implementation of Communication Protocols
, Pages 55 - 70, IEEE/ACM Transactions on Networking 4 (1), 1996.
Download: [PDF] [PS] -
Stefan Leue and Philippe Oechslin: Opparim - A Method and Tool for Optimized Parallel Protocol Implementation
, Volume 5, Pages 125 - 143, Journal of High Speed Networks, 1996.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Implementing and Verifying Scenario-Based Specifications Using Promela/XSpin
, Participants Proc. of the Second SPIN Workshop, Rutgers University, New Brunswick, New Jersey, 1996.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Architecture of a Requirements and Design Tool Based on Message Sequence Charts
, Technical Report 96-13, Dept. of Electrical and Computer Engineering, University of Waterloo, 1996.
Download: [PDF] [PS] -
Hanêne Ben-Abdallah and Stefan Leue: Syntactic Analysis of Message Sequence Chart Specifications
, Technical Report 96-12, Dept. of Electrical and Computer Engineering, University of Waterloo, 1996.
Download: [PDF] [PS] -
Dieter Hogrefe and Stefan Leue (Ed.): Formal Description Techniques VII - Proceedings of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Proceedings of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Chapman & Hall, 1995.
-
Stefan Leue: Specifying Real-Time Requirements for SDL Specifications - A Temporal Logic-Based Approach
, Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification PSTV'95, Chapmann & Hall, 1995.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Four Issues Concerning the Semantics of Message Flow Graphs
, Formal Description Techniques VII, Proc. of the Seventh IFIP International Conference on Formal Description Techniques FORTE'94, Chapman & Hall, 1995.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Comments on a Proposed Semantics for Basic Message Sequence Charts
, The Computer Journal 37 (9), 1995.
Download: [PDF] [PS]Abstract: 
Comments on a Proposed Semantics for Basic Message Sequence Charts, The Computer Journal, 37(9), January 1995. -
Peter B. Ladkin and Stefan Leue: Implementing Message Sequence Charts in Promela
, Proc. of the First SPIN Workshop, Proc. of the First SPIN Workshop, Montreal, Canada, 1995.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Interpreting Message Flow Graphs
, Pages 473 - 509, Formal Aspects of Computing 7(5), 1995.
Download: [PDF] [PS] -
Stefan Leue: QoS Specification Based on SDL /MSC and Temporal Logic
, Proceedings of the Montreal Workshop on Multimedia Applications and Quality of Service Verification, Workshop on Multimedia Applications and Quality of Service Verification, Montreal, 1994.
Download: [PDF] [PS] -
Stefan Leue and Philippe Oechslin: From SDL Specification to Optimized Parallel Protocol Implementations
, Pages 308 - 328, Proceedings of the Fourth International IFIP Workshop on Protocols for High Speed Networks, Chapman & Hall, 1994.
Download: [PDF] [PS] -
Stefan Leue and Philippe Oechslin: Formalizations and Algorithms for Optimized Parallel Protocol Implementation
, Proceedings of the IEEE International Conference on Network Protocols ICNP-94, IEEE Computer Scociety Press, Boston, Massachusetts, 1994.
Download: [PDF] [PS] -
Stefan Leue and Philippe Oechslin: Enhancing Integrated Layer Processing using Common Case Anticipation and Data Dependence Analysis
, Proceedings of the First Internation Workshop on High Performance Protocol Architectures HIPPARCH '94, INRIA Sophia Antipolis, 1994.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: What Do Message Sequence Charts Mean?
, Pages 301 - 316, Formal Description Techniques VI, IFIP Transactions C, Proc. of the 6th International Conference on Formal Description Techniques, 1994.
Download: [PDF] [PS] -
Stefan Leue: Methods and Semantics for Telecommunications Systems Engineering, Doctoral Dissertation, University of Berne, 1994.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Interpreting Message Sequence Charts (revised version), Technical Report TR 101, Dept. of Computing Science, University of Stirling, United Kingdom, 1993.
-
Peter B. Ladkin and Stefan Leue: On the Semantics of Message Sequence Charts., Formale Methoden für Verteilte Systeme, K.G. Sauer-Verlag, München, 1993, ISBN: 3-598-22409-5.
-
Stefan Leue and Philippe Oechslin: Optimization Techniques for Parallel Protocol Implementation
, Proceedings of the Fourth Workshop on Future Trends of Distributed Computing Systems, IEEE computer Society Press, 1993.
Download: [PDF] [PS] -
Peter B. Ladkin and Stefan Leue: Interpreting Message Sequence Charts, Research Report RJ 8965, IBM Almaden Research Center, 1992.


