BEGIN:VCALENDAR
VERSION:2.0
PRODID:www.dresden-science-calendar.de
METHOD:PUBLISH
CALSCALE:GREGORIAN
X-MICROSOFT-CALSCALE:GREGORIAN
X-WR-TIMEZONE:Europe/Berlin
BEGIN:VTIMEZONE
TZID:Europe/Berlin
X-LIC-LOCATION:Europe/Berlin
BEGIN:DAYLIGHT
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
DTSTART:19810329T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;INTERVAL=1;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:DSC-810
DTSTART;TZID=Europe/Berlin:20110510T130000
SEQUENCE:1304408134
TRANSP:OPAQUE
DTEND;TZID=Europe/Berlin:20110510T140000
URL:https://dresden-science-calendar.de/calendar/en/detail/810
LOCATION:TUD Andreas-Pfitzmann-Bau\, Nöthnitzer Straße 4601069 Dresden
SUMMARY:Klüppelholz: Verification of Branching-Time and Alternating-Time P
 roperties for Exogenous Coordination Models (Statusvortrag)
CLASS:PUBLIC
DESCRIPTION:Speaker: Dipl.-Inf. Sascha Klüppelholz\nInstitute of Speaker: 
 Institut für Theoretische Informatik\, Algebraische und logische Grundlag
 en der Informatik\nTopics:\nInformatik\n Location:\n  Name: TUD Andreas-Pf
 itzmann-Bau (INF 1004  (Ratssaal))\n  Street: Nöthnitzer Straße 46\n  Ci
 ty: 01069 Dresden\n  Phone: \n  Fax: \nDescription: Betreuer: Prof. Dr. re
 r. nat. C. Baier\; Fachreferent: Prof. Dr.-Ing. habil. H. Vogler    Inform
 ation and communication systems enter an increasing number of areas of  da
 ily life. Our reliance and dependence on the functioning of such systems i
 s  rapidly growing together with the costs/impact of system failures. At t
 he same  time the complexity of hardware and software systems extends to n
 ew limits.  These two tides/trends demand for a closer integration of form
 al methods and  system engineering to show the correctness of complex syst
 ems within the design  phase of large projects.    Modeling formalism\, su
 ch as the channel-based exogenous coordination language  Reo\, support hie
 rarchical modeling in an iterative top-down refinement procedure  which is
  similar to the refinement that is part of any design phase for complex  s
 ystems. They facilitate reusability\, exchangeability\, and heterogeneity 
 of  components and form the basis to apply formal verification methods.   
  The goal of this thesis is to combine and adapt well known techniques for
   modeling and verification\, and especially model checking of temporal lo
 gic  formulas\, to exogenous coordination models and to develop a holistic
  approach  suitable for compositional modeling of and reasoning about comp
 lex system  behaviour.    The talk provides an overview on the most releva
 nt research that has been done  in the area of coordination languages and 
 formal verification and presents an  idea of an holistic approach to verif
 y properties such as safety\, liveness\,  controllability\, and realizabil
 ity.
DTSTAMP:20260705T040553Z
CREATED:20110503T073534Z
LAST-MODIFIED:20110503T073534Z
END:VEVENT
END:VCALENDAR