|
|
Formal Verification of Compiler Transformations on Polychronous Equations
van Chan Ngo
,
Loic Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Jean-Pierre Talpin
International Conference on Integrated Formal Methods, CNR/ISTI Italy, Jun 2012, Pisa, Italy
Communication dans un congrès
hal-00730393v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Evaluating SDVG translation validation: from Signal to C
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
,
Paul Le Guernic
[Research Report] RR-8508, INRIA. 2014, pp.43
Rapport
hal-00962430v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Statistical Model Checking for SystemC Models
van Chan Ngo
,
Axel Legay
,
Jean Quilbeuf
High Assurance Systems Engineering Symposium, Jan 2016, Orlando, Florida, United States
Communication dans un congrès
hal-01238162v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Verification of Synchronous Data-flow Program Transformations Toward Certified Compilers
van Chan Ngo
,
Loïc Besnard
,
Paul Le Guernic
,
Jean-Pierre Talpin
,
Thierry Gautier
Frontiers of Computer Science, 2013
Article dans une revue
hal-00846279v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Indistinguishability Extended to the Random Oracle Model
Cristian Ene
,
Yassine Lakhnech
,
van Chan Ngo
Communication dans un congrès
hal-01086874v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Precise deadlock detection for polychronous data-flow specifications
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
Communication dans un congrès
hal-01086843v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Verification of Synchronous Data-flow Compilers
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
,
Paul Le Guernic
,
Loic Besnard
[Research Report] RR-7921, INRIA. 2012
Rapport
hal-00685633v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal verification of a synchronous data-flow compiler : from Signal to C
van Chan Ngô
Thèse
tel-01067477v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Modular translation validation of a full-sized synchronous compiler using off-the-shelf verification tools (abstract)
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
,
Loic Besnard
,
Paul Le Guernic
International Workshop on Software and Compilers for Embedded Systems, ACM, Jun 2015, St Goar, Germany
Communication dans un congrès
hal-01148919v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Translation Validation for Synchronous Data-flow Specification in the SIGNAL Compiler
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
2014
Pré-publication, Document de travail
hal-01087801v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal verification of automatically generated C-code from polychronous data-flow equations
van Chan Ngo
,
Loic Besnard
,
Thierry Gautier
,
Paul Le Guernic
,
Jean-Pierre Talpin
HLDVT 2012 - IEEE International High-Level Design, Validation and Test Workshop, Nov 2012, California, United States
Communication dans un congrès
hal-00763781v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Translation Validation for Clock Transformations in a Synchronous Compiler
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
,
Paul Le Guernic
FASE - ETAPS 2015, Apr 2015, London, United Kingdom
Communication dans un congrès
hal-01087795v3
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Dynamic Verification of SystemC with Statistical Model Checking
van Chan Ngo
,
Axel Legay
,
Jean Quilbeuf
[Research Report] RR-8644, INRIA Rennes - Bretagne Atlantique, équipe ESTASYS; INRIA. 2014, pp.25
Rapport
hal-01089742v3
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Formal Indistinguishability Extended to the Random Oracle Model
Cristian Ene
,
Yassine Lakhnech
,
van Chan Ngo
Communication dans un congrès
hal-01086869v1
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
van Chan Ngo
,
Axel Legay
[Research Report] RR-8762, INRIA Rennes - Bretagne Atlantique; INRIA. 2015
Rapport
hal-01180996v2
|
Partager
Gmail
Facebook
X
LinkedIn
More
|
|
|
Translation Validation for Transformations on Abstract Clocks in Synchronous Languages
van Chan Ngo
,
Jean-Pierre Talpin
,
Thierry Gautier
,
Paul Le Guernic
[Research Report] RR-8064, INRIA. 2012
Rapport
hal-00730926v5
|
Partager
Gmail
Facebook
X
LinkedIn
More
|