Filtrer vos résultats
- 18
- 16
- 21
- 9
- 2
- 1
- 1
- 1
- 30
- 3
- 2
- 1
- 1
- 3
- 1
- 3
- 5
- 4
- 2
- 2
- 1
- 8
- 1
- 1
- 3
- 31
- 3
- 15
- 11
- 10
- 9
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 1
- 1
- 1
- 34
- 16
- 9
- 7
- 6
- 5
- 5
- 5
- 4
- 3
- 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
34 résultats
|
|
triés par
|
Philosophers may Dine - Definitively!16th International Conference on Integrated Formal Methods, 2020, ⟨10.1007/978-3-030-63461-2_23⟩
Chapitre d'ouvrage
hal-03134972v1
|
|||
|
An incremental diagnosis algorithm of human erroneous decision making2nd International Conference on Human and Artificial Rationalities, Sep 2023, Paris, France
Communication dans un congrès
hal-04188221v1
|
||
The HOL-CSP Refinement ToolkitArchive of Formal Proofs, 2020, https://www.isa-afp.org/entries/CSP_RefTK.html#cite-popup
Article dans une revue
hal-04503821v1
|
|||
HOL-CSP Version 2.0Archive of Formal Proofs, 2019, https://www.isa-afp.org/entries/HOL-CSP.html#
Article dans une revue
hal-04503825v1
|
|||
|
Capturer les biais cognitifs dans un processus de prise de décision erronéWACAI 2021, Centre National de la Recherche Scientifique [CNRS], Oct 2021, Saint Pierre d'Oléron, France
Communication dans un congrès
hal-03377541v1
|
||
|
A Compositional Automata-based Semantics and Preserving Transformation Rules for Testing Property PatternsFormal Aspects of Computing, 2015, 27 (4), pp.641-664. ⟨10.1007/s00165-014-0328-5⟩
Article dans une revue
hal-01228335v1
|
||
|
PROVING PROPERTIES OF DISCRETE-VALUED FUNCTIONS USING DEDUCTIVE PROOF: APPLICATION TO THE SQUARE ROOTSystem Informatics, 2019, 14, ⟨10.31144/si.2307-6410.2019.n14.p45-54⟩
Article dans une revue
hal-02322645v1
|
||
Method for Synchronizing a Set of Devices, Associated Computer Program and Synchronization SystemFrance, Patent n° : WO2019057941. 2020, https://patentscope.wipo.int/search/en/detail.jsf?docId=WO2019057941
Brevet
hal-04495337v1
|
|||
Belief Revision TheoryArchive of Fomal Proofs, 2021, https://www.isa-afp.org/entries/Belief_Revision.html
Article dans une revue
hal-04495393v1
|
|||
|
Specification of temporal properties with OCLScience of Computer Programming, 2014, 96 (4), pp.527-551. ⟨10.1016/j.scico.2014.02.029⟩
Article dans une revue
hal-01103375v1
|
||
|
An Entirely Model-Based Framework for Hardware Design and Simulation 7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC), Sep 2011, Brisbane, Australia. pp.31-42, ⟨10.1007/978-3-642-15234-4_5⟩
Communication dans un congrès
hal-00526737v1
|
||
TASCCC - Project and Testing Tool (poster and demo)Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2012, Rennes, France. pp.241
Communication dans un congrès
hal-00953275v1
|
|||
Modeling and Verification of Redundancy PoliciesACESMB 2013, Sep 2013, MIAMI, United States. 10p
Communication dans un congrès
hal-00905551v1
|
|||
|
Temporal Constraint Support for OCLSLE2012, Sep 2012, Dresden, Germany. pp.83-103
Communication dans un congrès
hal-00762150v1
|
||
|
Modelling and Proving Safety in Autonomous Cars Scenarios in HOL-CSP[Research Report] 1, University Paris-Saclay; IRT SystemX, Palaiseau. 2021, pp.81
Rapport
hal-03429597v2
|
||
|
Specification Quality Metrics Based on Mutation and Inductive Incremental Model CheckingNASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings, pp.187-203, 2020, ⟨10.1007/978-3-030-55754-6_11⟩
Chapitre d'ouvrage
hal-02956436v1
|
||
|
Extending the standard execution model of UML for real-time systems7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) , Sep 2010, Brisbane, Australia. pp.43-54, ⟨10.1007/978-3-642-15234-4_6⟩
Communication dans un congrès
hal-01054487v1
|
||
|
A time synchronization protocol for A664-P7Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès
hal-01890134v1
|
||
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Communication dans un congrès
hal-00640312v1
|
||
|
Improved Invariant Generation for Industrial Software Model Checking of Time Properties2019 IEEE 19th International Conference on Software Quality, Reliability and Security (QRS), Jul 2019, Sofia, Bulgaria. pp.334-341, ⟨10.1109/QRS.2019.00050⟩
Communication dans un congrès
hal-02322576v1
|
||
|
Proving Properties of Discrete-Valued Functions Using Deductive Proof: Application to the Square RootModeling and Analysis of Information Systems, 2019, 26 (4), pp.520-533. ⟨10.18255/1818-1015-2019-4-520-533⟩
Article dans une revue
hal-02668283v1
|
||
Modeling and analysing Cyber–Physical Systems in HOL-CSPRobotics and Autonomous Systems, 2023, 170, pp.104549. ⟨10.1016/j.robot.2023.104549⟩
Article dans une revue
hal-04265879v1
|
|||
|
Diagnostiquer les biais cognitifsRencontres Jeunes Chercheurs en Intelligence Artificielle (RJCIA), 2020, Angers (virtuel), France
Communication dans un congrès
hal-03195524v1
|
||
|
Towards a formal semantics of the TESL specification language3rd International Workshop on the Globalization Of Modeling Languages (GEMOC 2015), Benoit Combemale; Julien Deantoni; Jeff Gray, Sep 2015, Ottawa, Canada. pp.14-19
Communication dans un congrès
hal-01239669v1
|
||
|
Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing ToolICST 2013, 6th Int. Conf. on Software Testing, Verification and Validation, Testing Tool track, Jan 2013, Luxembourg. pp.431 - 438
Communication dans un congrès
hal-00931649v1
|
||
|
A Compositional Automata-based Semantics for Property PatternsiFM 2013, 10th International Conference on integrated Formal Methods, Jan 2013, France. pp.316 - 330
Communication dans un congrès
hal-00931093v1
|
||
|
Le problème du décor revisité : un modèle logique pour le diagnostic d'erreurs humainesConférence Nationale en Intelligence Artificielle 2022, Jun 2022, Saint-Etienne, France
Communication dans un congrès
hal-03752151v1
|
||
HOL-CSPM - Architectural operators for HOL-CSPArchive of Formal Proofs, 2023, https://www.isa-afp.org/entries/HOL-CSPM.html
Article dans une revue
hal-04503778v1
|
|||
Extending the Standard Execution Model of UML for Real-Time Systems7th IFIP TC 10 Working Conference, DIPES 2010 and 3rd IFIP TC 10 International conference, BICC 2010 Held as Part of WCC 2010, Sep 2010, Brisbane, Australia. pp.43-54
Communication dans un congrès
hal-00534388v1
|
|||
TASCCC - Project and Testing Tool (poster)Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, 2013, Nancy, France. pp.198
Communication dans un congrès
hal-00974765v1
|
- 1
- 2