dang
Envoyer un message privé à cet auteur
Articles de cet auteur
Post-doc at VERIMAG and INRIA POP-ART Project
lundi 29 novembre 2010
COMPACS
vendredi 5 octobre 2018
Contract-Based Modelling and Design of Cyber-Physical Systems
mercredi 11 mars 2015
Coverage guided testing of automative models
jeudi 5 octobre 2017
d/dt
mardi 15 septembre 2009
HSCC 2012, Apr 17-19, Beijing
vendredi 20 avril 2012
IWHSB 2013
jeudi 5 septembre 2013
MALTHY
dimanche 31 décembre 2017
Model-based Testing for Embedded Systems
jeudi 5 octobre 2017
NLTOOLBOX
jeudi 29 octobre 2015
PhD in Abstract domains for hybrid systems verification
mercredi 12 mars 2014
PhD position : Encoding and Sampling of Constrained Signal Spaces for Validation of CPS
vendredi 31 décembre 2021
PhD : Contract-Based Modelling and Design of Cyber-Physical Systems
vendredi 11 mars 2016
Post-doc at Laboratory VERIMAG and INRIA POP-ART Project
mardi 30 novembre 2010
Stimulus generation for model generation
jeudi 5 octobre 2017
Test Generation for Simulink Models
mardi 17 octobre 2017
Thèse/PhD Position - Coverage Measures for Machine Learning Enabled Cyber-Physical Systems
mercredi 28 décembre 2022
[funded PhD] Abstract domains for hybrid systems verification, starting in Jan 15, 2014
mardi 3 juin 2014
