Filtrer vos résultats
- 43
- 40
- 52
- 13
- 10
- 6
- 1
- 1
- 4
- 2
- 79
- 6
- 2
- 1
- 37
- 26
- 7
- 4
- 10
- 5
- 5
- 5
- 3
- 4
- 4
- 8
- 5
- 4
- 10
- 7
- 2
- 83
- 47
- 44
- 27
- 25
- 10
- 6
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 83
- 43
- 35
- 15
- 15
- 8
- 8
- 7
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 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
- 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
83 résultats
|
|
A System Substitution Mechanism for Hybrid Systems in Event-BInternational Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106--121, ⟨10.1007/978-3-319-47846-3_8⟩
Communication dans un congrès
hal-03172256v1
|
||
Detection of postural balance degradation using fuzzy neural networkInternational Journal of Bioinformatics Research and Applications, 2019, 15 (4), pp.371-394. ⟨10.1504/IJBRA.2019.103788⟩
Article dans une revue
hal-03617652v1
|
|||
Medical Protocol Diagnosis using Formal MethodsInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Communication dans un congrès
inria-00638478v1
|
|||
Integrating Proved State-Based Models for Constructing Correct Distributed AlgorithmsiFM - 10th International Conference on integrated Formal Methods - 2013, Jun 2013, Turku, Finland
Communication dans un congrès
hal-00819256v1
|
|||
|
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767v1
|
||
|
|
Formal Ontology Driven Model Refactoring2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Communication dans un congrès
hal-02353400v1
|
||
Formal Evaluation of Landing Gear SystemSoICT 2014 fifth symposium on Information and Communication Technology,, Dec 2014, HANOI, Vietnam
Communication dans un congrès
hal-01097645v1
|
|||
|
|
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Communication dans un congrès
hal-03012569v1
|
||
|
|
Leveraging Event-B Theories for Handling Domain Knowledge in Design Models7th International Symposium on Dependable Software Engineering. Theories, Tools, and Applications (SETTA 2021), Nov 2021, Beijing, China. pp.40-58, ⟨10.1007/978-3-030-91265-9_3⟩
Communication dans un congrès
hal-03857803v2
|
||
Analysis of DSR Protocol in Event-B13th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2011), Oct 2011, Grenoble, France. pp.401-415
Communication dans un congrès
inria-00637768v1
|
|||
|
|
Technical Report on Interpretation of the Electrocardiogram (ECG) Signal using Formal Methods[Technical Report] 2011
Rapport
inria-00584177v1
|
||
Detection of the critical point interval of postural control strategy using wavelet transform analysis2nd International Conference on Bio-Inspired Systems and Signal Processing (Biosignals 2009), Jan 2009, Porto, Portugal
Communication dans un congrès
hal-02870468v1
|
|||
|
|
Proof automation for Event-B theories10th Rodin User and Developer Workshop (Rodin 2023), May 2023, Nancy, France
Communication dans un congrès
hal-04308810v1
|
||
|
|
EB2C : A Tool for Event-B to C Conversion Support2010
Autre publication scientifique
inria-00540006v1
|
||
F3FLUID: A formal framework for developing safety‐critical interactive systems in FLUIDJournal of Software: Evolution and Process, In press, ⟨10.1002/smr.2439⟩
Article dans une revue
hal-03617603v1
|
|||
Event-B Refinement for Continuous Behaviours Approximation19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Communication dans un congrès
hal-03385081v1
|
|||
|
|
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BScience of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Article dans une revue
hal-03513847v1
|
||
|
|
Virtual environment model of glucose homeostasis for diabetes patients2019 IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), May 2019, Taipei, Taiwan. pp.417-422
Communication dans un congrès
hal-02421634v1
|
||
Incremental Proof-Based Development for Resilient Distributed SystemsTrustworthy Cyber-Physical Systems Engineering, Taylor and Francis Group, 2016, Trustworthy Cyber-Physical Systems Engineering
Chapitre d'ouvrage
hal-01246669v1
|
|||
|
|
Formalizing the Cardiac Pacemaker Resynchronization TherapyDigital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health - 6th International Conference (DHM 2015), Aug 2015, Los Angeles, United States. pp.374-386
Communication dans un congrès
hal-02354040v1
|
||
|
|
Real-Time Animation for Formal SpecificationComplex Systems Design & Management 2010, Oct 2010, Paris, France. pp.49-60, ⟨10.1007/978-3-642-15654-0_3⟩
Communication dans un congrès
inria-00540005v1
|
||
Formal Development and Automatic Code Generation : Cardiac PacemakerInternational Conference on Computers and Advanced Technology in Education (ICCATE, 2011), Nov 2011, Beijing, China
Communication dans un congrès
inria-00638486v1
|
|||
On the Benefits of Using MVC Pattern for Structuring Event-B Models of WIMP Interactive ApplicationsInteracting with Computers, 2021, ⟨10.1093/iwcomp/iwab016⟩
Article dans une revue
hal-03224780v1
|
|||
|
|
Formal domain-driven system development in Event-B: Application to interactive critical systemsJournal of Systems Architecture, 2023, 135, pp.102798. ⟨10.1016/j.sysarc.2022.102798⟩
Article dans une revue
hal-03904803v1
|
||
Functional Behavior of a Cardiac Pacing SystemInternational Journal of Discrete Event Control Systems (IJDECS), 2010
Article dans une revue
inria-00540007v1
|
|||
Formalisation of the Heart based on Conduction of Electrical Impulses and Cellular-AutomataInternational Symposium on Foundations of Health Information Engineering and Systems (FHIES, 2011), Aug 2011, Johannesburg, South Africa
Communication dans un congrès
inria-00638473v1
|
|||
|
|
Stepwise formal modeling and verification of Self-Adaptive systems with Event-B. The automatic rover protection case study21th International Conference on Engineering of Complex Computer Systems (ICECCS 2016), Nov 2016, Dubaï, United Arab Emirates. pp.1-10, ⟨10.1109/ICECCS.2016.015⟩
Communication dans un congrès
hal-01782961v1
|
||
|
|
Certified embedding of B models in an integrated verification framework2019 International Symposium on Theoretical Aspects of Software Engineering (TASE), Jul 2019, Guilin, China. pp.168-175
Communication dans un congrès
hal-02421919v1
|
||
Analysis of Self-* and P2P Systems using RefinementABZ 2014 - 4th International ABZ 2014 Conference ASM, Alloy, B, TLA, VDM, Z, Yamine AIT AMEUR and Klaus-Dieter SCHEWE, Jun 2014, Toulouse, France. pp.117-123, ⟨10.1007/978-3-662-43652-3_9⟩
Communication dans un congrès
hal-01018125v1
|
|||
Formal Specification of Medical Systems by Proof-Based RefinementACM Transactions on Embedded Computing Systems (TECS), 2013, 12 (1), pp.15. ⟨10.1145/2406336.2406351⟩
Article dans une revue
inria-00637756v1
|