Filtrer vos résultats
- 19
- 19
- 25
- 4
- 4
- 2
- 1
- 1
- 1
- 4
- 27
- 12
- 1
- 2
- 4
- 4
- 6
- 2
- 2
- 1
- 1
- 1
- 3
- 1
- 2
- 1
- 4
- 3
- 28
- 10
- 27
- 19
- 17
- 6
- 3
- 2
- 1
- 38
- 10
- 8
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 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
38 résultats
|
|
triés par
|
Modélisation et vérification d'un système mécatronique par SyncChartsCongrès Francophone Modélisation des Systèmes Réactifs MSR'03, Oct 2003, Metz, France. pp.77-93
Communication dans un congrès
hal-00973432v1
|
|||
|
Verification of Temporal Properties of Neuronal Archetypes Modeled as Synchronous Reactive SystemsHSB 2016 - 5th International Workshop Hybrid Systems Biology, Oct 2016, Grenoble, France. pp.15, ⟨10.1007/978-3-319-47151-8_7⟩
Communication dans un congrès
hal-01377288v1
|
||
|
A Synchronous Approach to Activity RecognitionIEEE 12th International Conference on Semantic Computing (ICSC), Jan 2018, Laguna Hills, CA, United States. pp.304-305, ⟨10.1109/ICSC.2018.00058⟩
Communication dans un congrès
hal-01931315v1
|
||
Wireless Sensor Network Protocol Property Validation through the System's Simulation in a Dedicated FrameworkInternational Conferences on Signal Processing and Communication Systems (ICSPCS), Dec 2016, Surfers Paradise, Gold Coast, Australia. , pp.1-9, 2016, ⟨10.1109/ICSPCS.2016.7843355⟩
Poster de conférence
hal-01435477v1
|
|||
Grafcet et environnements synchronesModélisation des Systèmes Réactifs - MSR'96, Afcet, Mar 1996, Brest, France. pp.71-77
Communication dans un congrès
hal-00973459v1
|
|||
|
Algebras and Synchronous Language Semantics[Research Report] RR-8138, INRIA. 2012, pp.107
Rapport
hal-00752976v1
|
||
|
Compilation Modulaire d'un Langage SynchroneRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2011, Application des méthodes formelles à l'analyse statique et la compilation, 4 (30), pp.441-471
Article dans une revue
inria-00524499v1
|
||
Coopération Grafcet/EsterelColloque Automatique, Génie Informatique (AGI'94), Jun 1994, Poitiers, France. pp.221-224
Communication dans un congrès
hal-00974275v1
|
|||
|
Modelling and Formal Verification of Neuronal Archetypes CouplingCSBio 2017 - 8th International Conference on Computational Systems-Biology and Bioinformatics, Dec 2017, Nha Trang, Vietnam. pp.3-10, ⟨10.1145/3156346.3156348⟩
Communication dans un congrès
hal-01643862v1
|
||
|
Verification of Temporal Properties of Neuronal Archetypes Using Synchronous Models[Research Report] RR-8937, UCA, Inria; UCA, I3S; UCA, LEAT; UCA, LJAD. 2016, pp.21
Rapport
hal-01349019v1
|
||
|
AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems26th IFIP International Conference on Testing Software and Systems (ICTSS), Sep 2014, Madrid, Spain. pp.97-112, ⟨10.1007/978-3-662-44857-1_7⟩
Communication dans un congrès
hal-01069101v1
|
||
Developing a Framework Dedicated to Wireless Protocol Property Validation during SimulationEuromicro Conference on Digital System Design (DSD), Aug 2016, Limassol, Cyprus. pp.2
Communication dans un congrès
hal-01343907v1
|
|||
Environnement pour la programmation synchrone des systèmes réactifsConférence RTS&ES Solutions Informatiques Temps-Réel, Teknea, Jan 1996, Paris, France. pp.27-41
Communication dans un congrès
hal-00973461v1
|
|||
Verifying Temporal Properties in GRAFCET2nd IMACS-IEEE International Multiconference, Computational Engineering in Systems Applications (CESA'98), Apr 1998, Nabeul-Hammamet, Tunisia. pp.vol 3, 38-43
Communication dans un congrès
hal-00973446v1
|
|||
Using Virtual Platform Emulation to Validate WSN Protocol ImplementationsColloque GDR SOC-SIP, Jun 2017, Bordeaux, France
Communication dans un congrès
hal-02059889v1
|
|||
|
A Model-checking Approach to Reduce Spiking Neural NetworksBIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.1-8, ⟨10.5220/0006572000890096⟩
Communication dans un congrès
hal-01638248v1
|
||
|
Algebraic Framework for Synchronous Language SemanticsTheoritical Aspects of Software Engineering, Hai Wang and Richard Banach, Jul 2013, Birmingham, United Kingdom. pp.51-58
Communication dans un congrès
hal-00841559v1
|
||
|
A Complete Automatic Test Set Generator for Embedded Reactive Systems: From AUTSEG V1 to AUTSEG V2International Journal On Advances in Systems and Measurements, 2016, 9 (3-4), pp.154-166
Article dans une revue
hal-01564594v1
|
||
|
Semantic Studies of a Synchronous Approach to Activity RecognitionInternational Conference on Software Engineering and Applications , Jan 2018, Dubaï, United Arab Emirates. pp.20
Communication dans un congrès
hal-01763511v1
|
||
Synchronous Approach for Modeling Spiking Neurons2019 IEEE Biomedical Circuits and Systems Conference BIOCAS 2019, Oct 2019, Nara, Japan. pp.1-4, ⟨10.1109/BIOCAS.2019.8919084⟩
Communication dans un congrès
hal-02276306v1
|
|||
Validating a Wireless Protocol Implementation at Binary Level through Simulation Using High Level Description of Protocol Properties in Light EsterelInternational Conference on Wireless and Mobile Communications (ICWMC 2016), IARIA-AFIN, Nov 2016, Barcelone, Spain. pp.59-64
Communication dans un congrès
hal-01352779v1
|
|||
Proving Properties of GRAFCET with Synchronous ToolsIEEE-SMC Computational Engineering in Systems Applications (CESA), Jul 1996, Lille, France. pp.777-782
Communication dans un congrès
hal-00973452v1
|
|||
Computer-Aided Formal Proofs about Dendritic Integration within a NeuronBIOINFORMATICS 2018 - 9th International Conference on Bioinformatics Models, Methods and Algorithms, Jan 2018, Funchal Madeira, Portugal. pp.12
Communication dans un congrès
hal-01663555v1
|
|||
|
Modular Compilation of a Synchronous Language[Research Report] RR-6424, INRIA. 2008, pp.61
Rapport
inria-00213472v2
|
||
|
Modular Compilation of a Synchronous LanguageRoger Lee. Software Engineering Research, Management and Applications, 150, Springer, pp.151-171, 2008, Studies in Computational Intelligence, 978-3-540-70774-5. ⟨10.1007/978-3-540-70561-1⟩
Chapitre d'ouvrage
inria-00523528v1
|
||
|
Safe Composition in Middleware for the Internet of ThingsMiddleware for Context-aware Applications for Internet of thing (M4IoT), Dec 2015, Vancouver, Canada. pp.6, ⟨10.1145/2836127.2836131⟩
Communication dans un congrès
hal-01236976v1
|
||
|
Concurrent control system: from Grafcet to VHDLEuromicro 2000, Sep 2000, Maastricht, Netherlands. pp.230-234, ⟨10.1109/eurmic.2000.874637⟩
Communication dans un congrès
hal-00973434v1
|
||
CLEM version 1.0.02014
Autre publication scientifique
hal-01345667v1
|
|||
|
Synchronous Automata For Activity Recognition[Research Report] RR-9059, Inria Sophia Antipolis. 2017
Rapport
hal-01505754v1
|
||
|
Le modèle de Grafcet: réflexion et intégration dans une plate-forme multiformalisme synchroneAutomatique / Robotique. Université de Nice Sophia-Antipolis (UNS), 1996. Français. ⟨NNT : 1996NICE4935⟩
Thèse
tel-02514876v1
|
- 1
- 2