2018

  •  Martin Kölbl und Stefan Leue:  Automated Functional Safety Analysis of Automated Driving Systems. Proceedings of the 23rd International FMICS Conference on Formal Methods for Industrial Critical Systems (2018).
    Download: [pdf]
  • Martin Kölbl, Stefan Leue and Hargurbir Singh: From SysML to Model Checkers via Model Transformation. Proceedings of the 25th International SPIN Symposium on Model Checking of Software. (2018).
    Download: [pdf] 
  •  Georgiana Caltais, Sophie Linnea Guetlein, Stefan Leue: Causality for General LTL-definable Properties. 3rd Workshop on Formal Reasoning about Causation, Responsibility and Explanations in Science and Technology. (2018).
    Download: [pdf] 

  • Georgiana Caltais, Mohammad Reza Mousavi: Encoding Causality via Modal Formulae. Working Formal Methods Symposium. (2018).
    Download: [pdf]

    2016

     

  • Georgiana Caltais, Stefan Leue and Mohammad Reza Mousavi : (De-)Composing Causality in Labeled Transition Systems. CREST: 1st Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies. (2016).
    Download: [pdf] [BibTex]

  • Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue and Jannis Weiser : SysML to NuSMV Model Transformation via Object-Orientation. Sixth Workshop on Design, Modeling and Evaluation of Cyber Physical Systems. (2016).
    Download: [pdf] [BibTex]

  • Georgiana Caltais, Stefan Leue and Mohammad Reza Mousavi : On (De-)Composing Causality. 28th Nordic Workshop on Programming Theory. (2016).
    Download: [pdf] [BibTex]

  • Georgiana Caltais and Bertrand Meyer : On the Verification of SCOOP Programs. Science of Computer Programming. (2016).
    Download:  [BibTex] [www]

  • Florian Leitner-Fischer, Stefan Leue and Sirui Liu : Automated Freedom from Interference Analysis for Automotive Software. Proceedings of 4th International Workshop on Critical Automotive Applications: Robustness & Safety (CARS 2016), Gothenburg, Sweden (2016).
    Download: [pdf] [BibTex]

    2015

     

  • Florian Leitner-Fischer : Causality Checking of Safety-Critical Software and Systems. (2015).
    Download: [pdf] [BibTex]


  • Alina Bey and Christian Wienbruch : Intrinsic Network Properties Govern the Network Response to Repetitive Transcranial Magnetic Stimulation (rTMS) in a Neuronal Network Model Simulating the Effects of rTMS. Clinical Neurophysiology. 126 (8), e125-e126. (2015).
    Download: [pdf] [BibTex] [www] [doi]

  • Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer and Stefan Leue : Symbolic Causality Checking Using Bounded Model Checking. (2015). 
    Download: [pdf] [BibTex

    2014

  • Florian Leitner-Fischer and Stefan Leue : SpinCause: A Tool for Causality Checking. Proceedings of the International SPIN Symposium on Model Checking of Software (SPIN 2014), San Jose, CA, USA. (2014).
    Download: [pdf] [BibTex] [www

  • Adrian Beer, Florian Leitner-Fischer and Stefan Leue : On the Relationship of Event Order Logic and Linear Temporal Logic. Technical Report soft-14-01, Chair for Software Engineering, University of Konstanz (2014).
    Download: [pdf] [BibTex] [www

  • Adrian Beer, Uwe Kühne, Florian Leitner-Fischer and Stefan Leue : Towards Symbolic Causality Checking Using SAT-Solving. In Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2014). Dagstuhl, Germany. (2014).
    Download: [pdf] [BibTex] [www

  • Adrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue, Rüdiger Prem : Symbolic Causality Checking Using SAT-Solving. Technical Report soft-14-02, Chair for Software Engineering, University of Konstanz (2014).
    Download: [pdf] [BibTex] [www

    2013

     

  • Florian Leitner-Fischer and Stefan Leue: Probabilistic Fault Tree Synthesis using Causality Computation, International Journal of Critical Computer-Based Systems, Vol. 4, No. 2, pp.119–143, 2013.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: Probabilistic Fault Tree Synthesis using Causality Computation, Technical Report soft-13-03, Chair for Software Engineering, University of Konstanz, 2013.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: On the Synergy of Probabilistic Causality Computation and Causality Checking, In Model Checking Software - Proceedings of International SPIN Symposium on Model Checking of Software. Stony Brook, NY, USA. Lecture Notes in Computer Science Volume 7976, pp 246-263, Springer Verlag, 2013.
    Download: [PDF]

  • Stefan Leue and Mitra Tabaei Befrouei: Mining Sequential Patterns to Explain Concurrent Counterexamples., In Model Checking Software - Proceedings of International SPIN Symposium on Model Checking of Software. Stony Brook, NY, USA. Lecture Notes in Computer Science Volume 7976, pp 264-281, Springer Verlag, 2013.
    Download: [PDF]

  • Adrian Beer, Todor Georgiev, Florian Leitner-Fischer and Stefan Leue: Model-Based Quantitative Safety Analysis of Matlab Simulink / Stateflow Models, In Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2013). Dagstuhl, Germany. 2013.
    Download: [PDF

  • Adrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue and Rüdiger Prem: Quantitative Safety Analysis of Non-Deterministic System Architectures, Technical Report soft-13-02, Chair for Software Engineering, University of Konstanz, 2013.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: On the Synergy of Probabilistic Causality Computation and Causality Checking, Technical Report soft-13-01, Chair for Software Engineering, University of Konstanz, 2013.
    Download: [PDF]

  • F. Leitner-Fischer and S.Leue : Causality Checking for Complex System Models, In Proceedings of 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI2013),pp. 248-267, Lecture Notes in Computer Science, Volume 7737. Springer Verlag., 2013.
    Download: [PDF]

    2012

     

  • A. Bey, S. Leue, C. Wienbruch : A Neuronal Network Model for Simulating the Effects of Repetitive Transcranial Magnetic Stimulation on Local Field Potential Power Spectra, In PLOS ONE, 7(11): e49097, 2012.
    Download: [PDF]

  • Adrian Beer: Quantitative Analysis of Concurrent System Architectures, Master Thesis, University of Konstanz, 2012.
    Download: [PDF]

  • Stefan Leue and Mitra Tabaei Befrouei: Counterexample Explanation by Anomaly Detection, Pages 24-42, Proceedings of 19th International SPIN Workshop on Model Checking of Software (SPIN '12), Lecture Notes in Computer Science, Volume 7385. Springer Verlag., 2012.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: Causality Checking for Complex System Models, Technical Report soft-12-02, Chair for Software Engineering, University of Konstanz. 2012.
    Download: [PDF]

  • Adrian Beer, Uwe Kühne, Florian Leitner-Fischer, Stefan Leue and Rüdiger Prem: Analysis of an Airport Surveillance Radar using the QuantUM approach, Technical Report soft-12-01, Chair for Software Engineering, University of Konstanz. 2012.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: Towards Causality Checking for Complex System Models, In Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2012). Dagstuhl, Germany. 2012.
    Download: [PDF]

    2011

     

  • Husain Aljazzar and Stefan Leue: K*: A Heuristic Search Algorithm for Finding the k Shortest Paths, Artificial Intelligence, Volume 175, Number 18, December 2011 2011.
    Download: [PDF]

  • Matthias Kuntz, Florian Leitner-Fischer and Stefan Leue: From Probabilistic Counterexamples via Causality to Fault Trees, In Proceedings of 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 2011.
    Download: [PDF]

  • Husain Aljazzar, Florian Leitner-Fischer, Stefan Leue and Dimitar Simeonov: DiPro - A Tool for Probabilistic Counterexample Generation, In Proceedings of 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), 2011.
    Download: [PDF]

  • Dominic Lehle: Quantitative Safety Analysis of SysML Models, Bachelor Thesis, University of Konstanz 2011.
    Download: [PDF]

  • Alina Bey and Stefan Leue: Modeling and Analyzing Spike Timing Dependent Plasticity with Linear Hybrid Automata, Technical Report soft-11-03, Chair for Software Engineering, University of Konstanz. 2011.
    Download: [PDF]

  • Matthias Kuntz, Florian Leitner-Fischer and Stefan Leue: From Probabilistic Counterexamples via Causality to Fault Trees, Technical Report soft-11-02, Chair for Software Engineering, University of Konstanz. 2011.
    Download: [PDF]

  • Florian Leitner-Fischer, Stefan Leue: The QuantUM Approach in the Context of the ISO Standard 26262 for Automotive Systems (Extended Abstract), Technical Report soft-11-01, Chair for Software Engineering, University of Konstanz. 2011.
    Download: [PDF]

  • Matthias Kuntz, Florian Leitner-Fischer, Stefan Leue and Bernd Reh: Challenges in the Modelling and Quantitative Analysis of Safety-Critical Automotive Systems, Presentation at ROCKS workshop (ROCKS 2011). Saarbrücken, Germany. 2011.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: QuantUM: Quantitative Safety Analysis of UML Models, In Proceedings of Ninth Workshop on Quantitative Aspects of Programming Languages (QAPL 2011). Saarbrücken, Germany. 2011.
    Download: [PDF]

  • Florian Leitner-Fischer and Stefan Leue: Quantitative Analysis of UML Models, In Proceedings of Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2011). Dagstuhl, Germany. 2011.
    Download: [PDF]

  • Stefan Leue and Wei Wei: Integer Linear Programming Based Property Checking for Asynchronous Reactive Systems, IEEE Transactions on Software Engineering, vol. 99, 2011.
    Download: [PDF]

    2010

  • Florian Leitner-Fischer: Quantitative Safety Analysis of UML Models, Master Thesis, University of Konstanz, 2010.
    Download: [PDF]

  • Boudewijn R. Haverkort, Matthias Kuntz, Florian Leitner-Fischer, Anne Remke and Stephan Roolvink: Probabilistic verification of Architectural software models using SoftArc and Prism, In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 852-860. Taylor & Francis. ISBN 978-0-415-60427-7, 2010.
    Download: [PDF]

  • B.R. Haverkort, M. Kuntz, A. Remke, S. Roolvink: Formal Performability Evaluation of Architectural Models of Critical Infrastructures., In: Proceedings of the ESREL 2010 Annual Conference, 5-9 Sept 2010, Greece, Rhodos. pp. 27-34. Taylor & Francis Group. ISBN 978-0-415-60427-7, 2010.
    Download: [PDF]

  • B.R. Haverkort, M. Kuntz, A. Remke, S. Roolvink, M.I.A. Stoelinga: Evaluating Repair Strategies for a Water-Treatment Facility using Arcade, In: 2010 IEEE/IFIP International Conference on Dependable Systems & Networks (DSN), 28 June - 1 July 2010, Chicago, IL, USA. pp. 419-424. IEEE Computer Society Press. ISBN 978-1-4244-7499-8, 2010.
    Download: [PDF]

  • Matthias Kuntz, Stefan Leue and Christoph Scheben: Extending Non-Termination Proof Techniques to Asynchronously Communicating Concurrent Programs, Third International Workshop on Invariant Generation (WING 2010), 2010.
    Download: [PDF]

  • Husain Aljazzar and Stefan Leue: K*: Heuristics-Guided, On-the-Fly k Shortest Paths Search, Accepted for publication at Sixth Workshop on Model Checking and Artificial Intelligence (MoChArt 2010), 2010.
    Download: [PDF]

  • Husain Aljazzar and Matthias Kuntz and Florian Leitner-Fischer and Stefan Leue: Directed and Heuristic Counterexample Generation for Probabilistic Model Checking - A Comparative Evaluation, In: Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems, 2010.
    Download: [PDF]

    2009

  • Husain Aljazzar: Directed Diagnostics of System Dependability Models, Doctoral Dissertation, University of Konstanz, 2009.
    Download: [PDF]

  • 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, INFINITY 2009, 11th International Workshop on Verification of Infinite-State Systems, 2009.
    Download: [PDF]

  • 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.
    Download: [PDF]

  • 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.
    Download: [PDF]

  • 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, In Proceedings of Automated Technology for Verification and Analysis, 7th International Symposium, ATVA 2009, Lecture Notes in Computer Science, Springer Verlag, 2009.
    Download: [PDF]

  • 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]

    2008

     

  • 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 Veri er 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]

    2007

     

  • 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]

    2006

     

  • 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]

    2005

     

  • 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]

    2004

     

  • 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]

    2003

  • 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]

    2002

  • 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]

2001

  • 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]

2000

  • 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]

1999

  • 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]

1998

  • 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]

1997

  • 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]

1996

  • 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]

1995

  • 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]

  • 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]

1994

  • 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]

1993

  • 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]

1992

  • Peter B. Ladkin and Stefan Leue: Interpreting Message Sequence Charts, Research Report RJ 8965, IBM Almaden Research Center, 1992.