Weekly outline

  • Seminar Formal Methods II (SS 2018)

    326.099, Wednesday, 12:30-13:00, Seminar Room Castle Hagenberg, Start: March 7, 2017.

    If you prefer another time or place (e.g., at the JKU campus), send me an email.

    In this seminar, we explore current research and systems for specifying and verifying computer programs (specification languages, program verifiers, model checkers, ...). This continues the seminar of the previous semester.

    To take part in the seminar, you have to enrol in the KUSSS system. If you also login in Moodle and register as a course participant, you will receive per email all messages posted in the Announcements forum.

  • March 7

    • Wolfgang Schreiner: Introduction and Organization
  • April 5

    Modeling Sensor Networks by using Finite-Source Retrial Queueing Systems

    Tamas Berczes, University of Debrecen, Hungary

    Thursday, April 5, 14:00, RISC Institute, Seminar Room Castle, Hagenberg

    A new finite source queueing model is introduced in order to calculate the most important system performance characteristics (e.g. mean waiting time, mean number of requests waiting for transmission). The sensors are classified according to their working purposes: The first class is the "Emergency" class, which is responsible to notify special emergency situations (e.g. fire alarms). The second class is the "Standard" class, which performs the measurement of standard environmental data (e.g. humidity). The novelty of this investigation is the introduction of servers vacation combined with priority customers for finite-source retrial queues and its application to wireless sensor networks.

  • April 25

    Wednesday, April 25, 16:15-18:30, S2 120
    • Lucas Payr: bachelor thesis (first report)
    • Johann Gschnaller: Rodin/Atelier-B
  • June 27

    Wednesday, June 27, 16:15-17:45, S2 120

    • Lucas Payr: bachelor thesis (second report)
    • Johann Gschnaller: Event-B and refinement