Oberseminar

Das Oberseminar der AG Wehrheim findet während des Semesters in 1-2-wöchigen Abständen statt. Themen der Vorträge und Diskussionen sind aktuelle Forschungen in der Fachgruppe sowie Vorträge zu Bachelor- und Masterarbeiten. Alle Interessierten sind herzlich eingeladen.

Nächste Termine

Datum Vortragende/r Thema Raum
n/a n/a n/a n/a

Frühere Vorträge

DatumVortragende/rThemaRaum
25.04.2016, 13:00 UhrHenrik BröcherEvaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung (Abschlussvortrag Bachelorarbeit)O4.267
18.02.2016, 14:45 Uhr Marie-Christine Jakobs Just test what you cannot verify! O4.267
18.02.2016, 14:00 Uhr Mike Czech Predicting Rankings of Software Verification Tools Using Kernels for Structured Data (Abschlussvortrag Masterarbeit) O4.267
21.01.2016, 14:00 Uhr Guangli Zhang Program Slicing: A Way of Separating WHILE Programs into Precise and Approximate Portions (Abschlussvortrag Masterarbeit) O4.267
18.11.2015, 14:00 Uhr Steffen Beringer Specification and Verification of AUTOSAR Timing Requirements O3.267
11.11.2015, 11:00 Uhr Oleg Travkin TSO to SC via symbolic execution O4.225
20.10.2015, 11:00 Uhr Henrik Bröcher Evaluation von Graphpartitionierungsalgorithmen im Kontext von Konfigurierbarer Softwarezertifizierung (Antrittsvortrag Bachelorarbeit) O3.267
Do, 03.09.2015, 09:00 Uhr Marie-Christine Jakobs Speed Up Configurable Certificate Validation by Certificate Reduction And Partioning O4.267
Mo, 31.08.2015, 17:00 Uhr Jan Bödefeld Evaluierung von Prozessmanagementlösungen im Hinblick auf agile Prozesse (Abschlussvortrag Bachelorarbeit) O4.267
Di, 14.07.2015, 14:00 Uhr Guangli Zhang Program Slicing: A Way of Separating C Programs into Approximate and Precise Portions (Antrittsvortrag Masterarbeit) O4.267
Di, 16.06.2015, 15:00 Uhr Tobias Isenberg Incremental Inductive Verification of Parameterized Timed Systems O4.267
11.06.2015, 15:00 Uhr Julia Krämer Error Localization in Service Compositions O4.267
21.05.2015, 15:00 Uhr Jan Bödefeld Evaluierung vonProzessmanagementlösungen im Hinblick auf agile Prozesse (Antrittsvortrag Bachelorarbeit) O4.267
21.05.2015, 15:30 Uhr Marie-Christine Jakobs How to speed up Configurable Software Certification? O4.267
21.05.2015, 16:00 Uhr Mike Czech A Survey on Data-driven Software Analysis O4.267
07.05.2015, 15:00 Uhr Sven Walther Termination Function Discovery in Service Compositions O4.267
30.04.2015, 15:00 Uhr Oleg Travkin Programmverifikation unter TSO O4.267
16.04.2015, 15:00 Uhr Manuel Töws Enforcing of algebra-based flow policies O4.267
09.04.2015, 15:00 Uhr Marie-Christine Jakobs Programs from Proofs of Predicated Dataflow Analyses O4.267
09.04.2015, 15:45 Uhr Mike Czech Just test what you cannot verify! O4.267
22.01.2015, 14:00 Uhr Julia Krämer Attack-Defence Graphs - eine formale Sprache für sicherheitskritische Systeme O3.267
15.01.2015, 14:00 Uhr Steffen Ziegert Durative Graph Transformations with Required Concurrency and Urgency O3.267
20.11.2014, 15:00 Uhr Johannes Heil Ein hierarchischer Ansatz für temporale Planung bei erforderlicher Nebenläufigkeit (Verteidigung Bachelor-Arbeit) O4.267
20.11.2014, 15:30 Uhr Philipp Korth Untersuchung transitiver Eigenschaften der Technik "Programs from Proofs" (Verteidigung Bachelor-Arbeit) O4.267
13.11.2014, 10:00 Uhr Oleg Travkin Handling TSO in Mechanized Linearizability Proofs O4.267
13.11.2014, 11:00 Uhr Steffen Beringer Visuelle Spezifikation und Analyse von Anforderungen im Kontext der Steuergeräteentwicklung mit AUTOSAR O4.267
30.10.2014, 14:00 Uhr Tobias Isenberg Timed Automata Verification via IC3 with Zones O4.267
23.10.2014, 14:00 Uhr Felix Pauck Generierung von Eigenschaftsprüfern in einem Hardware/Software-Co-Verifikationsverfahren (Verteidigung Bachelor-Arbeit) O4.267
24.09.2014, 14:00 Uhr Sebastian Osterbrink Visualisierung von SMT-Solver-Ausgaben (Verteidigung Bachelor-Arbeit) O4.267
04.09.2014, 14:00 Uhr Sven Walther Verified Service Compositions by Template-based Construction O4.267
21.08.2014, 14:00 Uhr Manuel Töws Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB (Verteidigung Master-Arbeit) O4.267
21.08.2014, 14:45 Uhr Andreas Krakau Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT (Verteidigung Bachelor-Arbeit) O4.267
20.08.2014, 14:00 Uhr Galina Besova Grammar-based Model Transformations O4.267
20.08.2014, 14:45 Uhr Sven Walther Towards Systematic Configuration for Architecture Validation O4.267
16.07.2014, 14:00 Uhr Marie-Christine Jakobs Certification for Configurable Program Analysis O3.267
16.07.2014, 14:45 Uhr Monika Wedel Linearisierbarkeitsbeweis der Work-Stealing Deque (BA-Abschlussvortrag) O3.267
11.06.2014, 14:00 Uhr Katharina Dridger Integration von History-basierten Korrektheits-Checks im Model Checker SPIN (BA-Abschlussvortrag) O4.267
28.05.2014, 14:00 Uhr Maryam Sanati Formal Semantics of Probabilistic SMT Solving in Verification of Service Compositions (MA-Abschlussvortrag) O3.267
28.05.2014, 14:30 Uhr Philipp Korth Untersuchung transitiver Eigenschaften von Programs from Proofs (BA-Antrittsvortrag) O3.267
14.05.2014, 14:00 Uhr Christoph Klauke Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen (BA-Abschlussvortrag) O3.267
14.05.2014, 14:30 Uhr Johannes Heil Ein hierarchischer Ansatz für temporale Planung bei erforderlicher Nebenläufigkeit (BA-Antrittsvortrag) O3.267
13.03.2014, 14:00 Uhr Felix Pauck Generierung von Eigenschaftsprüfern in einem HW/SW-Co-Verifikationsverfahren (BA-Antrittsvortrag) O4.267
05.03.2014, 14:00 Uhr Mike Czech Collaborative Verification and Testing with Explicit Assumptions O4.267
05.03.2014, 14:30 Uhr Sebastian Osterbrink Visualisierung von SMT-Solver-Ausgaben (BA-Antrittsvortrag) O4.267
19.02.2014 Andreas Krakau Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT O4.267
19.02.2014 Manuel Töws Statistisches Testen von unbeweisbaren Anforderungen an Programmspezifikationen in SMT-LIB O4.267
30.01.2014Steffen ZiegertReal-Time Planning on Temporal Multi-Agent DomainsO4.267
09.01.2014Tobias IsenbergProof-Carrying Hardware via IC3O4.267
09.01.2014Monika WedelLinearisierbarkeitsbeweis der Work-Stealing Double-Ended QueueO4.267
19.12.2013Marie-Christine JakobsSimplify Verification by Program TransformationO4.267
09.12.2013Maryam SanatiFormal Semantics of Probabilistic SMT Solving in Verification of Service Compositions (Antrittsvortrag Masterarbeit)O3.267
09.12.2013Marco EngelbrechtVergleichsstudie zur Ausdrucksstärke von SMT-Solvern (Verteidigung Bachelorarbeit)O3.267
09.12.2013Lugman AhmadIntroduction to Fuzzy Temporal Logic (Seminar: Probabilistic Methods in Verification)O3.267
05.12.2013Steffen BeringerTiming Analysis of AUTOSAR Software Architectures using Timed AutomataO4.267
28.11.2013Sven WaltherCoping with quantification in SMT-based verification of service compositions. A discussion.O4.267
20.11.2013Christoph KlaukeBA-Antrittsvortrag: Transformation graphischer Protokollspezifikationen in Model-Checker-AnfragenO4.267
07.11.2013Galina BesovaGrammar-based Model TransformationsO4.267
31.10.2013Oleg TravkinSPIN as a linearizability checker under weak memory modelsO4.267
24.10.2013Dominik SteenkenSMT Solving for Embedding Feasibility in Lazy State Space Construction for Abstract Graph TransformationO4.267
24.10.2013Tobias NickelAnalyse von Benutzeranforderungen von Service-Kompositionen mittels ModelcheckingO4.267
30.09.2013Matthias MulthauptGenerierung von Promela-Modellen aus Implementierungen von nebenläufigen Datenstrukturen in Form von LLVM IRO4.267
10.07.2013Sven WaltherKnowledge-based Verification of Service Compositions - an SMT ApproachO4.267
04.07.2013Dominik SteenkenPredicate Mining in Graph Traces via InterpolationO4.267
27.06.2013Oleg TravkinProgrammspezifikation für Linearisierbarkeitsbeweise unter schwachen SpeichermodellenO4.267
19.06.2013Alexander SchremmerTowards CEGAR of separation logic domains based on multi-parametric precisionsO4.267
06.06.2013Marie-Christine JakobsCertification for Configurable Program AnalysisO2.267
29.05.2013Michael FeldmannBachelorarbeit: Berechnung von Memory-Model-spezifischen KontrollflussgraphenO4.267
29.05.2013Tobias IsenbergBounded Model Checking of Graph Transformation Systems via SMT SolvingO4.267
22.05.2013Steffen ZiegertMultilevel Planning for Self-Optimizing Mechatronic SystemsO4.267
16.05.2013Sven WaltherGenerating Loop Invariants using TemplatesO4.267
15.05.2013Steffen BeringerAUTOSARO4.267
18.04.2013Tobias IsenbergInductive MethodsO4.267
21.03.2013Mike CzechDreiwertiges Model Checking paralleler Systeme mit heuristisch geleiteter Generierung von GegenbeispielenO3.267
11.03.2013Nikolaos IkonomakisCombining Three-Valued Logic and Quantified Boolean Formulae in Bounded Model Checking EncodingsO4.267
07.02.2013Steffen ZiegertDurative Graph Transformations: Semantics and PropertiesO2.267
29.01.2013Thomas HauckMultiagenten-Koordination in temporaler PlanungO3.267
29.01.2013Alexander SchremmerSeparation Logic meets CEGARO3.267
28.01.2013Marcel FriedrichSuchraumeinschränkung für Graphgrammatiken durch temporallogische FormelnO2.267
23.01.2013Antonio AttimonelliEin Tool zur automatischen Generierung von GraphabstraktionenO4.267
10.01.2013Oleg TravkinTowards Memory-Model-aware Semantics for High Level LanguagesO3,267
20.12.2012Sven WaltherA Primer on Description LogicsO3.267
19.12.2012Shayan AhmadianExploiting Planning Graphs and Landmarks for Efficient GTS PlanningO4.267
13.12.2012Dominik Steenken
Manuel Töws
Counterexample Analysis via Shape Constraints
Abstraction Maintenance and Counterexample Analysis in SGA
O3.267
29.11.2012Annika Mütze
Maryam Sanati
Memory Model-Aware Model Checking 
A Library of Platform Models for Model Weaving and Verification
O3.267
22.11.2012Galina BesovaGeneric and Domain Specific Method EngineeringO4.267
08.11.2012Nils TimmHeuristic-Guided Abstraction Refinement for Concurrent SystemsO4.267
18.10.2012Tobias IsenbergBounded Model Checking für Graphtransformationssysteme als SMT-ProblemO4.267
26.09.2012Galina BesovaWeaving-Based Configuration and Modular Transformation of Multi-Layer SystemsO4.267
25.07.2012Steffen ZiegertApproaches to Cooperative PathfindingO4.267
11.07.2012Sven WaltherGeneric Reasoning about Specific DomainsO4.267
28.06.2012Nils TimmHeuristic-Guided Abstraction Refinement for Concurrent SystemsO4.267
11.06.2012Oleg TravkinLinearisierbarkeit anhand lokaler Beweisverpflichtungen - Fallstudie: MultisetO4.267
04.06.2012Alexander SchremmerAbstraction Refinement in UFOO4.267
10.05.2012Dominik SteenkenEin Konzept für eine vollautomatische Erreichbarkeitsanalyse für Shape GraphenO4.267
03.05.2012Thomas RuhrothModeling and Verification of Secure Information Flow Properties in UMLsec- ModelsO4.267
12.04.2012Galina BesovaModel-driven Development of Model Transformations O4.267
01.02.2012Daniel WonischProof Simplification by Program TransformationO4.216
26.01.2012Sven WaltherAvoiding State Space Explosion using Pairwise CompositionO4.216
12.01.2012Steffen ZiegertPerspectives in Planning with Graph TransformationO4.216
08.12.2011Nils Timm3-valued Abstraction for (Bounded) Model CheckingO4.216
01.12.2011Oleg TravkinMulti-Core Memory Models - Eine EinführungO4.216
17.11.2011Alexander SchremmerRuntime VerificationO4.216
27.10.2011Dominik SteenkenWord Level Bitvector Interpolation for VerificationO4.216

Impressum | Webmaster | Letzte Änderungen am : 24.05.2016