Filtrer vos résultats
- 10
- 7
- 10
- 2
- 2
- 1
- 1
- 1
- 16
- 1
- 2
- 2
- 3
- 8
- 1
- 15
- 2
- 17
- 17
- 1
- 9
- 7
- 6
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
17 résultats
|
|
triés par
|
|
Phadeo : un environnement pour FPGA virtuel2015
Pré-publication, Document de travail
hal-01179474v1
|
||
|
A Diagnosis Framework for Critical Systems Verification15th International Conference on Software Engineering and Formal Methods, SEFM 2017, Sep 2017, Trente, Italy. Short Papers 1-6
Communication dans un congrès
hal-01559688v1
|
||
A Unified Design Flow to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware AcceleratorsIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 36 (3), pp.384-397. ⟨10.1109/TCAD.2016.2587278⟩
Article dans une revue
hal-01405531v1
|
|||
Using Parallel and Distributed Reachability in Model CheckingAmbient Communications and Computer Systems, pp.143-154, 2018, ⟨10.1007/978-981-10-7386-1_12⟩
Chapitre d'ouvrage
hal-02515020v1
|
|||
Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware AcceleratorsICSAS 2014 - International symposium on circuits and systems, Jun 2014, Melbourne, Australia
Communication dans un congrès
hal-01009572v1
|
|||
|
KriQL: a query language for the diagnosis of transition systems15th International Workshop on Automated Verification of Critical Systems - AVOCS'15, Sep 2015, Edimburgh, United Kingdom. pp.151-165
Communication dans un congrès
hal-01203649v1
|
||
A Design Approach to Automatically Generate On-Chip Monitors during High-Level Synthesis of Hardware AcceleratorGLSVLSI 2014, May 2014, Houston, United States
Communication dans un congrès
hal-01009551v1
|
|||
|
Techniques and Challenges for Trace Processing from a Model-Checking PerspectiveInternational Joint Conferences on Computer, Information, Systems Sciences, & Engineering - CISSE 2014, University of Bridgeport, Dec 2014, Bridgeport, United States
Communication dans un congrès
hal-01119571v1
|
||
|
Preface to the special issue on advances in Smalltalk based systems96 (1), pp.1-3, 2014, Science of Computer Programming, Science direct, ⟨10.1016/j.scico.2014.07.004⟩
Ouvrages
hal-01089392v1
|
||
International workshop on smalltalk technologies 2011 special issue (Journal of Software: Practice and Experience)Wiley, pp.91, 2014, ⟨10.1002/spe.2172⟩
Ouvrages
istex
hal-00782810v1
|
|||
|
Relational and graph queries over a transition systemInternational Conference on Computer as a Tool (EUROCON 2015), Sep 2015, Salamanque, Spain. pp.1-6, ⟨10.1109/EUROCON.2015.7313738⟩
Communication dans un congrès
hal-01203662v1
|
||
|
An Organizing System to Perform and Enable Verification and Diagnosis ActivitiesIntelligent Data Engineering and Automated Learning – IDEAL 2016, Oct 2016, Yangzou, China. pp.576-587
Communication dans un congrès
hal-01472718v1
|
||
A Design Approach to Automatically Synthesize ANSI-C Assertions during High-Level Synthesis of Hardware AcceleratorsISCAS 2014 - IEEE International Symposium on Circuits and Systems, May 2014, Melbourne, Australia. pp.XX
Communication dans un congrès
hal-00944548v1
|
|||
Une approche de conception pour générer automatiquement des moniteurs sur puce pendant la synthèse de haut niveau d'accélérateurs matérielsCOMPAS 2014 - Conférence en Parallélisme, Architecture et Système, Apr 2014, Neuchâtel, Suisse
Communication dans un congrès
hal-00989918v1
|
|||
|
Model-Driven Toolset for Embedded Reconfigurable Cores: Flexible Prototyping and Software-like DebuggingScience of Computer Programming, 2014, pp.1. ⟨10.1016/j.scico.2014.02.015⟩
Article dans une revue
hal-00998533v1
|
||
|
Model-based Diagnosis Patterns for Model CheckingPAME 2016, Oct 2016, St Malo, France. pp.7-12
Communication dans un congrès
hal-01406604v1
|
||
A Communication and Control Support for an heterogeneous Reconfigurable SoC (ComEngine)2006, (50 p.)
Autre publication scientifique
hal-00490533v1
|