Filtrer vos résultats
- 38
- 9
- 31
- 10
- 3
- 2
- 1
- 3
- 47
- 3
- 2
- 1
- 1
- 1
- 1
- 4
- 6
- 1
- 2
- 4
- 3
- 2
- 3
- 4
- 3
- 4
- 2
- 1
- 1
- 1
- 41
- 6
- 44
- 5
- 3
- 2
- 2
- 1
- 1
- 47
- 10
- 7
- 7
- 7
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
47 résultats
|
|
triés par
|
Formal verification of a software countermeasure against instruction skip attacksPROOFS 2013, Aug 2013, Santa-Barbara, United States
Communication dans un congrès
emse-00869509v1
|
|||
Formalizing the incremental design and verification process of a pipelined protocol converterRSP International Workshop on Rapid System Prototyping, Jun 2006, Chania, Crete, Greece. pp.103-109, ⟨10.1109/RSP.2006.19⟩
Communication dans un congrès
hal-01338249v1
|
|||
|
CTL-property Transformations along an Incremental Design ProcessInternational Journal on Software Tools for Technology Transfer, 2007, 9 (1), pp.77-88. ⟨10.1007/s10009-006-0007-9⟩
Article dans une revue
hal-01195866v1
|
||
Feasibility Analysis for Robustness Quantification by Symbolic Model CheckingFormal Methods in System Design, 2011, 39 (2), pp.165-184. ⟨10.1007/s10703-011-0121-5⟩
Article dans une revue
istex
hal-01176355v1
|
|||
|
CTL May Be Ambiguous When Model Checking Moore MachinesCHARME 2003 - 12th IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods, Oct 2003, L'Aquila, Italy. pp.164-169, ⟨10.1007/978-3-540-39724-3_16⟩
Communication dans un congrès
hal-01529835v1
|
||
Time separation of events, an inverse methodLIX Colloquium on emerging Trends in Concurrency Theory, Nov 2006, Palaiseau, France
Communication dans un congrès
hal-01338491v1
|
|||
Minimisation de la taille des buffers entre tâches communicantes pour la conception de composants embarqués4ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision (ROADEF 2002), Feb 2002, Paris, France. pp.230
Communication dans un congrès
hal-01562012v1
|
|||
A Further Step in the Incremental Design Process: Incorporation of an Increment SpecificationLPAR IEEE International Conference on Logic for Programming Artificial Intelligence and Reasoning, Nov 2006, Phnom Penh, Cambodia. Short paper
Communication dans un congrès
hal-01336653v1
|
|||
Using VCI in a on-chip system around SPIN networkMIXDES Mixed Design of Integrated Circuits and Systems, Jun 2004, Szczecin, Poland. pp.571-576
Communication dans un congrès
hal-01521120v1
|
|||
Automatic Verification of Counter Systems with Ranking FunctionsINFINITY International Symposium on Infinite-Space Systems, 2007, Porto, Portugal
Communication dans un congrès
hal-01334858v1
|
|||
CTL-Property Transformations along an Incremental Design ProcessAVOCS 2004 - 4th International Workshop on Automated Verification of Critical Systems, Sep 2004, London, United Kingdom. pp.263-278
Communication dans un congrès
hal-01496206v1
|
|||
Assisting Refinement in System on Chip DesignForum on Specification and Design Languages, Sep 2013, Paris, France. pp.1-6
Communication dans un congrès
hal-01216546v1
|
|||
A tool for automatic detection of deadlocks in wormhole networks on chipACM Transactions on Design Automation of Electronic Systems, 2008, 13 (1), pp.1-8. ⟨10.1145/1297666.1297672⟩
Article dans une revue
hal-01195903v1
|
|||
|
Property-dependant bisimulation for compositional model-checking[Research Report] lip6.1997.028, LIP6. 1997
Rapport
hal-02547642v1
|
||
|
Design Validation of ZCSP with SPIN[Research Report] lip6.2002.025, LIP6. 2003
Rapport
hal-02545640v1
|
||
Using CTL formulae as component abstraction in a design and verification flowACSD IEEE International Conference on Application of Concurrency to System Design, Jul 2007, Bratislava, Slovakia. pp.80-89, ⟨10.1109/ACSD.2007.76⟩
Communication dans un congrès
hal-01305787v1
|
|||
|
A Tool for Automatic Detection of Deadlock in Wormhole Networks on ChipHLDVT IEEE International High Level Design Validation and Test Workshop, Nov 2006, Monterey, California, United States. pp.203-210, ⟨10.1109/HLDVT.2006.319992⟩
Communication dans un congrès
hal-01338483v1
|
||
FSM-based properties and abstraction of componentsIEEE International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.37-43, ⟨10.1109/RSP.2014.6966690⟩
Communication dans un congrès
hal-01215913v1
|
|||
|
Extension des diagrammes de décisions binaires pour la représentation de programmes VHDL en vue de leur vérification[Rapport de recherche] lip6.2000.029, LIP6. 2000
Rapport
hal-02548390v1
|
||
Fault attack vulnerability assessment of binary codeCryptography and Security in Computing Systems (CS2’19), Jan 2019, Valencia, Spain. pp.13-18, ⟨10.1145/3304080.3304083⟩
Communication dans un congrès
hal-02163152v1
|
|||
|
Timed Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed AutomataFormal Methods in System Design, 2009, 34 (1), pp.59-81. ⟨10.1007/s10703-008-0061-x⟩
Article dans une revue
hal-01195912v1
|
||
Data Decision Diagrams for Petri Net analysis23th International Conference on Application and Theory of Petri Nets, Jun 2002, Adelaide, Australia. pp.101-120, ⟨10.1007/3-540-48068-4_8⟩
Communication dans un congrès
istex
hal-01544997v1
|
|||
Electromagnetic fault injection on microcontrollersChip-to-Cloud Security Forum 2013, Sep 2013, Nice, France
Communication dans un congrès
emse-00871686v1
|
|||
Approche pour l'intégration du raffinement formel dans le processus de conception des SOCJournal Européen des Systèmes Automatisés (JESA), 2011, 45 (1-3), pp.221-236. ⟨10.3166/jesa.45.221-236⟩
Article dans une revue
istex
hal-01195919v1
|
|||
Utilisation de Diagrammes de Décision de Données pour la Vérification Fonctionnelle de Systèmes MatérielsMAJECTSTIC 2004 - MAnifestation des JEunes Chercheurs STIC, Oct 2004, Calais, France
Communication dans un congrès
hal-01521138v1
|
|||
SPIN, un micro-réseau d'interconnexion à commutation de paquets respectant la norme VCI. Concepts généraux et validation.Symposium en Architecture et Adequation Algorithme Architecture (SympAAA 2003), Oct 2003, La Colle sur Loup, France. pp.337-344
Communication dans un congrès
hal-01529852v1
|
|||
Assisting Refinement in System-on-Chip DesignLanguages, Design Methods, and Tools for Electronic System Design, Selected Contributions from FDL 2013, 311, Springer, pp.21-42, 2015, Lecture Notes in Electrical Engineering, ⟨10.1007/978-3-319-06317-1_2⟩
Chapitre d'ouvrage
hal-01221739v1
|
|||
|
Efficient Design and Evaluation of Countermeasures against Fault Attack with Formal Verification14th International conference Smart Card Research and Advanced Applications (CARDIS), Nov 2015, Bochum, Germany. pp.177-192, ⟨10.1007/978-3-319-31271-2_11⟩
Communication dans un congrès
hal-01220291v1
|
||
|
Electromagnetic fault injection: towards a fault model on a 32-bit microcontroller10th workshop on Fault Diagnosis and Tolerance in Cryptography - FDTC 2013, Aug 2013, Santa-Barbara, United States. pp.77-88, ⟨10.1109/FDTC.2013.9⟩
Communication dans un congrès
emse-00871218v2
|
||
|
Formal verification of a software countermeasure against instruction skip attacksJournal of Cryptographic Engineering, 2014, 4 (3), pp.145-156. ⟨10.1007/s13389-014-0077-7⟩
Article dans une revue
emse-00951386v1
|
- 1
- 2