Search: (more)
Header

Search Result

2017

BibTeX Search WWW PDF   [Li17]
X. Li
Induction-based Verification of Synchronous and Hybrid Programs
PhD Thesis
BibTeX Search WWW PDF   [Li17a]
X. Li
Induction-based Verification of Synchronous and Hybrid Programs
Presentation

2016

BibTeX Search WWW PDF   [Heer16]
M. Heer
Verification Condition Generation for Hybrid Systems described by Synchronous Languages
Master Thesis
BibTeX Search WWW PDF   [Li16]
X. Li
Control-flow Guided Property Directed Reachability for Imperative Synchronous Programs
Presentation
BibTeX Search WWW PDF   [LiSc16a]
X. Li and K. Schneider
Control-flow Guided Clause Generation for Property Directed Reachability
High-Level Design Validation and Test Workshop (HLDVT)
BibTeX Search WWW PDF   [LiSc16b]
X. Li and K. Schneider
Control-flow Guided Clause Generation for Property Directed Reachability
Presentation
BibTeX Search WWW PDF   [LiSc16c]
X. Li and K. Schneider
Control-flow Guided Property Directed Reachability for Synchronous Programs
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [LiSc16d]
X. Li and K. Schneider
Control-flow Guided Property Directed Reachability for Synchronous Programs
Presentation
BibTeX Search WWW PDF   [RBLS16]
T. Ropertz and K. Berns and X. Li and K. Schneider
Verification of Behavior-Based Control Systems in their Physical Environment
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [RBLS16a]
T. Ropertz and K. Berns and X. Li and K. Schneider
Verification of Behavior-Based Control Systems in their Physical Environment
Presentation

2015

BibTeX Search WWW PDF   [LiSc15]
X. Li and K. Schneider
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [LiSc15a]
X. Li and K. Schneider
An SMT-based Approach to analyze Non-Linear Relations of Parameters for Hybrid Systems
Formal Modeling and Verification of Cyber-Physical Systems
BibTeX Search WWW PDF   [LiSc15b]
X. Li and K. Schneider
Verification Condition Generation for Hybrid Systems
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [LiSc15e]
X. Li and K. Schneider
A Counterexample-Guided Approach to Symbolic Simulation of Hybrid Systems
Presentation

2014

BibTeX Search WWW PDF   [LiSc14]
X. Li and K. Schneider
Interactive Verification of Hybrid Systems
Automated Verification of Critical Systems (AVoCS)
BibTeX Search WWW PDF   [LiSc14b]
X. Li and K. Schneider
Interactive Verification of Hybrid Systems
Presentation

2013

BibTeX Search WWW PDF   [Bich13]
F. Bichued
Cyber Physical System Verification with SAL
BibTeX Search WWW PDF   [Bich13a]
F. Bichued
Cyber Physical System Verification with SAL
Presentation
BibTeX Search WWW PDF   [Ciol13]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
BibTeX Search WWW PDF   [Ciol13a]
G.A. Ciolacu
Introducing Simulation of Hybrid Systems with the Modelica Tool
Presentation
BibTeX Search WWW PDF   [GeLS13]
M. Gesell and X. Li and K. Schneider
Interactive Verification of Cyber-physical Systems
Presentation
BibTeX Search WWW PDF   [LiBS13]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera
International Workshop on Cyber-Physical Systems (IWCPS)
BibTeX Search WWW PDF   [LiBS13a]
X. Li and K. Bauer and K. Schneider
Interactive Verification of Cyber-physical Systems Interfacing Averest and KeYmaera
Presentation
BibTeX Search WWW PDF   [Schu13c]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
BibTeX Search WWW PDF   [Schu13d]
S. Schumb
Cyber Physical System Verification Seminar: Event-B
Presentation

2012

BibTeX Search WWW PDF   [Liet12]
B. Lietzow
A Domain Specific Language for the Synthesis of Networked Embedded Systems
Master Thesis

2010

BibTeX Search WWW PDF   [BaBS10b]
D. Baudisch and J. Brandt and K. Schneider
Dependency-Driven Distribution of Synchronous Programs
Distributed and Parallel Embedded Systems (DIPES)

2005

BibTeX Search WWW PDF   [BrSc05a]
J. Brandt and K. Schneider
Dependable Polygon-Processing Algorithms for Safety-Critical Embedded Systems
Embedded and Ubiquitous Computing (EUC)

1998

BibTeX Search WWW PDF   [AGHL98]
J. Avenhaus and R. Gotzhein and T. Härder and L. Litz and K. Madlener and J. Nehmer and M. Richter and N. Ritter and D. Rombach and B. Schürmann and G. Zimmermann
Entwicklung großer Systeme mit generischen Methoden-Eine übersicht über den Sonderforschungsbereich 501
Informatik -- Forschung und Entwicklung

1992

BibTeX Search WWW PDF   [ScAZ92]
B. Schürmann and J. Altmeyer and G. Zimmermann
Three-phase chip planning -- an improved top-down chip planning strategy
International Conference on Computer-Aided Design (ICCAD)