BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2091-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:10:30\n\nRegistrierung\n\n10:45 - 11:00\n\nBegrüßung und Eröffn
 ung\n\n11:00 - 11:45\n\nEingeladener Vortrag I\n\n 	Dirk Denger. AVL \n\n11
 :45 - 13:00\n\nMittagspause\n\n13:00 - 15:00\n\nAbstraktion und Verifikatio
 n\n\n 	Leonore Winterer, Sebastian Junges, Ralf Wimmer, Nils Jansen, Ufuk T
 opcu, Joost-Pieter Katoen and Bernd Becker  	Abstraktionsbasierte Verifikat
 ion von POMDPs im Motion-Planning-Kontext  	Universität Freiburg 	Mohammad 
 Rahmani Fadiheh, Joakim Urdahl, Srinivas Shashank Nuthakki, Subhasish Mitra
 , Clark Barrett, Dominik Stoffel and Wolfgang Kunz  	Symbolic Quick Error D
 etection using Symbolic Initial State for Pre-silicon Verification  	TU Kai
 serslautern 	Christoph Grimm and Carna Radojicic  	Abstractions of Real-Val
 ued Quantities for Efficient Formal Verification  	TU Kaiserslautern 	Ralf 
 Wimmer, Andreas Karrenbauer, Ruben Becker, Christoph Scholl and Bernd Becke
 r  	From DQBF to QBF by Dependency Elimination  	Universität Freiburg \n\n1
 5:00 - 15:30\n\nKaffeepause\n\n15:30 - 17:00\n\nSystematische Testfallgener
 ierung und Eigenschaftsverfeinerung\n\n 	Vladimir Herdt, Hoang M. Le, Danie
 l Grosse and Rolf Drechsler  	Towards Automated Refinement of TLM Propertie
 s to RTL  	Universität Bremen 	Kai Neubauer, Christian Haubelt, Philipp Wan
 ko and Torsten Schaub  	Systematic Test Case Instance Generation for the As
 sessment of System-level Design Space Exploration Approaches  	Universität 
 Rostock 	Jonas Ströbele, Stefan Huster, Jürgen Ruf and Thomas Kropf  	Speci
 fication-Based Generation of Isolated Parameterized Unit Tests  	Universitä
 t Tübingen \n\n17:00 - 17:30\n\nTreffen der Fachgruppen 1, 3 und 4 (gemeins
 am)\n\n19:00 - 22:30\n\nAbendveranstaltung\n\nTag 2 Mittwoch, 14.03.2018\n\
 n09:00 - 09:45\n\nEingeladener Vortrag II\n\n 	Rainer Dorsch. Bosch Sensort
 ec \n\n09:45 - 10:00\n\nKaffeepause\n\n10:00 - 12:00\n\nEntwicklung heterog
 ener Systeme\n\n 	Christoph Grimm, Frank Wawrzik  	Ein wissensbasierter Ans
 atz für Entwicklung 4.0  	TU Kaiserslautern 	Markus Behle  	SCODE & CONGRA:
  neue Methoden für die Analyse und Modellierung komplexer Systeme  	ETAS Gm
 bH 	Marcel Riess, Cedrik Bock and Frank Slomka  	Generic Reusable Hardware/
 Software Co-Design Implementation of a Complete FH-FSK Modem for Robust Mul
 ti-User Acoustic Underwater Communication and System Validation on a FPGA  
 	Universität Ulm 	Johannes Mast, Stefan Rädle and Joachim Gerlach  	Modellb
 asierte Analyse und Multikriterien-Optimierung komplexer Systemszenarien un
 ter Anwendung von Methoden der Künstlichen Intelligenz  	Hochschule Albstad
 t-Sigmaringen \n\n12:00 - 13:30\n\nMittagspause\n\n13:30 - 15:00\n\nArchite
 kturentwurf – Spezifikation, Entwurfsraumexploration und Implementierung\n\
 n 	Philipp Käsgen and Markus Weinhardt  	Using Template Metaprogramming for
  Hardware Description  	Universität Osnabrück 	Valentina Richthammer and Mi
 chael Glaß  	On Search-Space Restriction for Design Space Exploration of Mu
 lti-/Many-Core Systems  	Universität Ulm 	Tripti Jain and Klaus Schneider  
 	Routing Partial Permutations in General Interconnection Networks based on 
 Radix Sorting  	TU Kaiserslautern \n\n15:00 - 15:30\n\nKaffeepause\n\n15:30
  - 17:00\n\nEchtzeitanalyse und Optimierung\n\n 	Timo Feld, Uwe Werkmann an
 d Frank Slomka  	Real-Time Analysis of Distributed Systems including Tasks 
 with Variable Rate-dependent Behavior  	Universität Ulm 	Florian Hock, Vikt
 or Pollex, Chijun Shen, Tobias Bund and Frank Slomka  	Upper Bound for Dela
 y Densities  	Universität Ulm 	Patrick Sittel, Thomas Schönwälder, Martin K
 umm and Peter Zipf  	ScaLP: A Light-Weighted (MI)LP-Library  	Universität K
 assel \n\n17:00 - 17:10\n\nVerabschiedung
LOCATION:Museumsgesellschaft Tübingen e. V.
DTSTAMP:20190128T110631Z
DTSTART:20180313T093000Z
DTEND:20180314T161000Z
END:VEVENT
END:VCALENDAR