BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Hungary
1 × Japan
1 × Norway
1 × Poland
1 × USA
2 × Denmark
Collaborated with:
T.Nahhal T.Dreossi F.Ivancic N.Shalev D.Salinas O.Maler C.Piazza S.Sankaranarayanan R.Alur E.Asarin A.Donzé A.S.Adimoolam J.Kapinski X.Jin G.Frehse C.L.Guernic S.Cotton R.Ray O.Lebeltel R.Ripado A.Girard
Talks about:
system (10) hybrid (8) test (4) use (3) coverag (2) tempor (2) specif (2) verif (2) guid (2) polyhedra (1)

Person: Thao Dang

DBLP DBLP: Dang:Thao

Contributed to:

FM 20152015
ICTSS 20122012
CAV 20112011
CAV 20092009
TACAS 20082008
TestCom/FATES 20082008
CAV 20072007
TACAS 20032003
CAV 20022002
CAV (1) 20172017
CASE 20172017

Wrote 11 papers:

FM-2015-DangDP #logic #parametricity #specification #synthesis
Parameter Synthesis Through Temporal Logic Specifications (TD, TD, CP), pp. 213–230.
ICTSS-2012-DangS #estimation #hybrid #testing
State Estimation and Property-Guided Exploration for Hybrid Systems Testing (TD, NS), pp. 152–167.
CAV-2011-FrehseGDCRLRGDM #hybrid #named #scalability #verification
SpaceEx: Scalable Verification of Hybrid Systems (GF, CLG, AD, SC, RR, OL, RR, AG, TD, OM), pp. 379–395.
CAV-2009-DangS #image #polynomial #using
Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion (TD, DS), pp. 219–232.
TACAS-2008-SankaranarayananDI #hybrid #model checking #using
Symbolic Model Checking of Hybrid Systems Using Template Polyhedra (SS, TD, FI), pp. 188–202.
TestCom-FATES-2008-DangN #generative #hybrid #testing #using
Using Disparity to Enhance Test Generation for Hybrid Systems (TD, TN), pp. 54–69.
CAV-2007-NahhalD #hybrid #test coverage
Test Coverage for Continuous and Hybrid Systems (TN, TD), pp. 449–462.
TACAS-2003-AlurDI #abstraction #hybrid
Counter-Example Guided Predicate Abstraction of Hybrid Systems (RA, TD, FI), pp. 208–223.
CAV-2002-AsarinDM #hybrid #verification
The d/dt Tool for Verification of Hybrid Systems (EA, TD, OM), pp. 365–370.
CAV-2017-AdimoolamDDKJ #classification #embedded
Classification and Coverage-Based Falsification for Embedded Control Systems (ASA, TD, AD, JK, XJ), pp. 483–503.
CASE-2017-DangD #hybrid #specification #testing
Temporal specification testing of hybrid systems (TD, TD), pp. 1338–1343.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.