Chair for Software and Systems Engineering
Prof. Dr. Stefan Leue

Login |
 
 

Chair for Software Engineering

Prof. Dr. Stefan Leue

Past News

  • Logic Colloquium: Dr. Georgiana Caltais will speak on "(Co-)Algebraic Approaches to the Modelling and Verification of Reactive Systems" on January 26, 2017, 5:00 - 6:00 pm at University of Konstanz in room G 307.
  • Prof. Leue will speak on November 2, 2016 at New York University and on November 3, 2016 at Yale University on "Causality Checking".
  • Jannis Weiser will give a paper entitled "SysML to NuSMV model transformation via object-orientation" at the CyPhy 2016 Workshop held in Pittsburgh on October 6, 2016.
  • Dr. Florian Leitner-Fischer, PhD graduate from the Chair for Software and Systems Engineering, is awarded the Airbus Group Research Prize Claude Dornier 2014/15 for his PhD thesis on "Causality Checking of Safety-Critical Software and Systems" - Press Release of the University of Konstanz (in German).
    • Prof. Leue will give a lecture with the title "Model-based Functional Safety" during the Systems Engineering Forum  at Hochschule Ulm on Tuesday, October 6, 2015.
    • We welcome Dr. Georgiana Caltais who will join the Chair on July 1, 2015
    • The paper entitled "Symbolic Causality Checking Using Bounded Model Checking" authored by Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer and Stefan Leue was accepted for presentation at SPIN 2015.

       

    • Prof. Leue will teach a block course on Model Checking at IMT Lucca on 7-11 October 2013.
    • Folien von den Studientagen 2013 / Slides of the Study Days 2013 (in German)

    • Prof. Leue chairs the international industry conference IQPC Experiences with ISO26262, 
      28 - 30 March, 2012, Munich
      .
       
    • The uni´kon reports in the lead article of its 36th edition on our work on the verification of an airbag system.

    • The University of Konstanz is hosting the international conference "Middle East Simulation (MES 2009)", June 11 - 14, 2009, Konstanz, Germany.

    •  

      The book Formal Methods for Industrial Critical Systems,
      edited by Stefan Leue and Pedro Merino, has appeared.

      12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007,
      Revised Selected Papers
      Series: Lecture Notes in Computer Science , Vol. 4916

      ISBN: 978-3-540-79706-7

    • Prof. Leue will be on sabbatical during the Winter Term 2008/9. He will spend the Fall Term as a visiting professor at ETH Zurich (Switzerland.)

    • Prof. Leue will co-chair (with Prof. Laurie Dillon of Michigan State University) the New Faculty Symposium of the 30th International Conference on Software Engineering ICSE 2008.

    • The BITKOM IT industry association predicts a shortage of computer scienctists and engineers in Germany:

    • The DFG has approved a two-year extension of the research project IMCOS: Incomplete Model Checking for Concurrent Object-Oriented Systems. Openings for a PhD student and a Post-Doc are immediately available, please contact Prof. Leue if interested.

    • Prof. Leue co-chaired the FMICS 2007 workshop (jointly with Prof. Pedro Merino of the University of Malaga) tentatively to be held jointly with CAV 2007 at Berlin in July 2007.

    • Under the heading "Fehler im System - der Traum von Software ohne Bugs" (System Faults - the Dream of Bug-free Software) SPIEGEL ONLINE reports, amongst others, on the use of model checking technology (in German).

    • The Year of Science in 2006 in Germany: Informatikjahr (Year of Computer Science).

    • Our research will be presented during the upcoming CONCUR and FORMATS conferences.

    • New research project "Directed Model Checking in the Analysis of Real-Time and Probabilistic Systems" - funding approved by DFG.

    • Prof. Leue gave his inaugural lecture (Antrittsvorlesung) with the title 'Der Traum von fehlerfreier Software' during the Dies Academicus on Saturday, October 22, 2005. The Lecture recording in various formats is available now at the lecture page as well as the slides and the abstract.