Search: (more)
Header

Search Result

2017

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

2016

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   [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   [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)

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)

2014

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

2013

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)

2012

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

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