Filtrer vos résultats
- 31
- 21
- 31
- 7
- 5
- 4
- 2
- 1
- 1
- 1
- 4
- 47
- 8
- 6
- 5
- 3
- 2
- 5
- 1
- 6
- 2
- 1
- 1
- 3
- 3
- 1
- 2
- 1
- 2
- 2
- 2
- 3
- 1
- 46
- 6
- 30
- 20
- 16
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 52
- 14
- 9
- 9
- 6
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
52 résultats
|
|
triés par
|
Finite Model Generation for Distributed Java ProgramsWorkshop on Model-Checking for Dependable Software-Intensive Systems, 2003, San Francisco, United States
Communication dans un congrès
hal-02988879v1
|
|||
Another Implementation Technique for Functional Programming Languages.Journées francophones des langages applicatifs (JFLA'03), 2003, Chamrousse, France
Communication dans un congrès
hal-02988863v1
|
|||
Model Generation for Distributed Java ProgramsScientific Engineering of Distributed Java Applications, Third International Workshop, FIDJI 2003, Luxembourg-Kirchberg, Luxembourg, pp.139-152, 2003, ⟨10.1007/978-3-540-24639-8_13⟩
Chapitre d'ouvrage
istex
hal-02988853v1
|
|||
Semantic Preserving RTL Transformation for Control-Data Slicing in Virtual IPs2007 IEEE International Multitopic Conference (INMIC), Dec 2007, Lahore, France. pp.1-6, ⟨10.1109/INMIC.2007.4557700⟩
Communication dans un congrès
hal-02893223v1
|
|||
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
|
|||
|
Approach for Early Validation of System Requirements Application to software architecture of autonomous vehiclesSéminaire Doctoral, Rencontres Académie -Industrie AFIS, Dec 2022, Toulouse, France
Poster de conférence
hal-04341749v1
|
||
Une approche de raffinement et de vérification formels des communications SOCGDR SOC-SIP'12, Jun 2012, Paris, France
Communication dans un congrès
hal-02411880v1
|
|||
|
Tracking Dependent Information FlowsProceedings of the 3rd International Conference on Information Systems Security and Privacy (ICISSP'17), Feb 2017, Porto, Portugal. pp.179-189, ⟨10.5220/0006209301790189⟩
Communication dans un congrès
hal-01974727v1
|
||
Abstract Application Modeling for System Design Space Exploration9th EUROMICRO Conference on Digital System Design (DSD'06), Aug 2006, Cavtat, Croatia. pp.331-337
Communication dans un congrès
hal-00525081v1
|
|||
Formal Specification and Verification of Security Guidelines2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), IEEE Computer Society, Jan 2017, Christchurch, New Zealand. pp.267--273, ⟨10.1109/PRDC.2017.51⟩
Communication dans un congrès
hal-01974725v1
|
|||
Framework for the Formal Specification and Verification of Security GuidelinesAdvances in Science, Technology and Engineering Systems Journal, 2018, 3 (1), pp.38-48
Article dans une revue
hal-01974733v1
|
|||
SysML Model Transformation for Safety and Security AnalysisSecurity and Safety Interplay of Intelligent Software Systems -, pp.35-49, 2019
Chapitre d'ouvrage
hal-02269655v1
|
|||
Formal Specification of Security Guidelines for Program CertificationEleventh International Symposium on Theoretical Aspects of Software Engineering (TASE 2017), Sep 2017, Sophia-Antipolis, France
Communication dans un congrès
hal-01974729v1
|
|||
Verifying complex software control systems from test objectives: application to the ETCS systemICSOFT 2019: 14th International Conference on Software Technologies, Jul 2019, Prague, Czech Republic. ⟨10.5220/0007918203970406⟩
Communication dans un congrès
hal-02269604v1
|
|||
|
Behavioural semantics for asynchronous componentsJournal of Logical and Algebraic Methods in Programming, 2017, 89, pp.1 - 40. ⟨10.1016/j.jlamp.2017.02.003⟩
Article dans une revue
hal-01526055v1
|
||
|
DiplodocusDF, a domain-specific modelling language for software defined radio applications(SEAA'12), Sep 2012, Cesme, Izmir, Turkey. pp.509-514
Communication dans un congrès
hal-00739847v1
|
||
|
Integration of heterogeneous components for co-simulation2023
Pré-publication, Document de travail
hal-04104340v1
|
||
Vers une conception de systèmes synchrones réactifs sûrsModélisation des Systèmes Réactifs (MSR'19), Nov 2019, Angers, France
Communication dans un congrès
hal-02337481v1
|
|||
Verifying Safety of Fault-Tolerant Distributed ComponentsFormal Aspects of Component Software - 8th International Symposium, FACS 2011, Sep 2011, Oslo, Norway. pp.278--295, ⟨10.1007/978-3-642-35743-5_17⟩
Communication dans un congrès
hal-02989105v1
|
|||
|
Automatic Support for Requirements Validation11th Embedded Real-Time Systems Congress (ERTS'2022), Jun 2022, Toulouse, France
Communication dans un congrès
hal-03689243v1
|
||
|
Verifying Safety of Fault-Tolerant Distributed Components -- Extended Version[Research Report] RR-7717, INRIA. 2011, pp.31
Rapport
inria-00621264v1
|
||
|
Refinements for Open Automata (Extended Version)RR-9517, Inria - Research Centre Grenoble – Rhône-Alpes. 2023
Rapport
hal-04193421v1
|
||
|
Behavioural models for distributed Fractal componentsAnnals of Telecommunications - annales des télécommunications, 2009, 64 (1-2), pp.25-43. ⟨10.1007/s12243-008-0069-7⟩
Article dans une revue
hal-02904822v1
|
||
|
Vers une conception de systèmes réactifs synchrones sûrsMSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, Nov 2019, Angers, France
Communication dans un congrès
hal-02431949v1
|
||
A UML-based Environment for System Design Space ExplorationIEEE International Conference on Electronics, Circuits and Systems (ICECS 2006), Dec 2006, Nice, France. pp.1272-1275
Communication dans un congrès
hal-00525101v1
|
|||
From formal test objectives to TTCN-3 for verifying ETCS complex software control systemsCommunications in Computer and Information Science, 1250, Springer International Publishing; Springer, pp.156-178, 2020, Communications in Computer and Information Science (CCIS), 978-3-030-52990-1. ⟨10.1007/978-3-030-52991-8_8⟩
Chapitre d'ouvrage
hal-02904831v1
|
|||
SysML Models and Model Transformation for SecurityConferénce on Model-Driven Engineering and Software Development (Modelsward'2016), Feb 2016, Rome, Italy
Communication dans un congrès
hal-02287286v1
|
|||
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
|
|||
|
Detection of Security Vulnerabilities induced by Integer errorsICSOFT 2021, Jul 2021, Online Streaming, France
Poster de conférence
hal-03860231v1
|
||
Early Validation of Functional RequirementsAfrica Insight, 2023, 26 (4), pp.30-32. ⟨10.1002/inst.12467⟩
Article dans une revue
hal-04370662v1
|
- 1
- 2