dang
Send a private message to this author
Articles by this author
Post-doc at VERIMAG and INRIA POP-ART Project
Monday 29 November 2010
COMPACS
Friday 5 October 2018
Contract-Based Modelling and Design of Cyber-Physical Systems
Wednesday 11 March 2015
Coverage guided testing of automative models
Thursday 5 October 2017
d/dt
Tuesday 15 September 2009
HSCC 2012, Apr 17-19, Beijing
Friday 20 April 2012
IWHSB 2013
Thursday 5 September 2013
MALTHY
Sunday 31 December 2017
Model-based Testing for Embedded Systems
Thursday 5 October 2017
NLTOOLBOX
Thursday 29 October 2015
PhD in Abstract domains for hybrid systems verification
Wednesday 12 March 2014
PhD position: Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
Friday 31 December 2021
PhD: Contract-Based Modelling and Design of Cyber-Physical Systems
Friday 11 March 2016
Post-doc at Laboratory VERIMAG and INRIA POP-ART Project
Tuesday 30 November 2010
Stimulus generation for model generation
Thursday 5 October 2017
Test Generation for Simulink Models
Tuesday 17 October 2017
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
Wednesday 28 December 2022
[funded PhD] Abstract domains for hybrid systems verification, starting in Jan 15, 2014
Tuesday 3 June 2014
