Filtrer vos résultats
- 197
- 12
- 114
- 49
- 10
- 10
- 10
- 6
- 5
- 2
- 2
- 1
- 7
- 2
- 1
- 206
- 3
- 1
- 2
- 9
- 16
- 17
- 18
- 20
- 20
- 12
- 19
- 18
- 21
- 17
- 20
- 201
- 8
- 209
- 209
- 10
- 9
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 52
- 42
- 33
- 33
- 28
- 24
- 17
- 13
- 11
- 10
- 9
- 8
- 8
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
209 résultats
|
On Model-based Testing of GALS SystemsFormal Languages and Automata Theory [cs.FL]. Université Grenoble Alpes, 2019. English. ⟨NNT : 2019GREAM078⟩
Thèse
tel-02948083v1
|
||
|
Analysis of Resource Allocation of BPMN ProcessesICSOC 2019 - 17th International Conference on Service-Oriented Computing, Oct 2019, Toulouse, France. pp.452-457, ⟨10.1007/978-3-030-33702-5_35⟩
Communication dans un congrès
hal-02345879v1
|
||
|
Consistent Substitution of Object in Rule-based IoT ApplicationsCOMPSAC 2021 - Computer Software and Applications Conference, Jul 2021, Virtual, United States. pp.1-9
Communication dans un congrès
hal-03484028v1
|
||
|
A Formal TLS Handshake Model in LNTMARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩
Communication dans un congrès
hal-01779151v1
|
||
|
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive SystemsScience of Computer Programming, 168, pp.169 - 170, 2018, ⟨10.1016/j.scico.2018.09.003⟩
N°spécial de revue/special issue
hal-01898179v1
|
||
Compositional Verification of Asynchronous Concurrent Systems using CADPActa Informatica, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
Article dans une revue
hal-01247507v1
|
|||
|
Méthodes Formelles pour la vérification fonctionnelle des systèmes sur puce cache cohérentMicro and nanotechnologies/Microelectronics. Université Grenoble Alpes, 2015. English. ⟨NNT : 2015GREAM041⟩
Thèse
tel-01280455v1
|
||
Formal Aspects of Component SoftwareOuvrages hal-01272595v1 |
|||
|
MOZART: Design and Deployment of Advanced IoT ApplicationsWWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩
Communication dans un congrès
hal-02554029v1
|
||
|
A generic framework for n-protocol compatibility checkingScience of Computer Programming, 2012, 77 (7-8), pp.870-886
Article dans une revue
hal-00694561v1
|
||
Formal verification of UI using the power of a recent tool suiteEICS 2014 : Proceedings of the 2014 ACM SIGCHI symposium on Engineering Interactive Computing Systems, Jun 2014, Florence, Italy. pp.235-240, ⟨10.1145/2607023.2610280⟩
Communication dans un congrès
hal-01110183v1
|
|||
|
Stability of Asynchronously Communicating Systems[Research Report] RR-8561, INRIA. 2014
Rapport
hal-01020777v2
|
||
|
Verification of a Self-configuration Protocol for Distributed Applications in the Cloud27th Symposium On Applied Computing (SAC 2012), Mar 2012, Italy. pp.1278-1283
Communication dans un congrès
hal-00685394v1
|
||
|
Counterexample Guided Synthesis of Monitors for Realizability EnforcementAutomated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Oct 2012, Thiruvananthapuram, India. pp.238-253, ⟨10.1007/978-3-642-33386-6_20⟩
Communication dans un congrès
hal-00742159v1
|
||
|
Formal Verification of Distributed Branching Multiway Synchronization Protocols15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.146-160
Communication dans un congrès
hal-00818788v1
|
||
|
PIC2LNT: Model Transformation for Model Checking an Applied Pi-CalculusTACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩
Communication dans un congrès
hal-00805533v1
|
||
|
From LOTOS to LNTJoost-Pieter Katoen; Rom Langerak; Arend Rensink. ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, 10500, Springer, pp.3-26, 2017, Lecture Notes in Computer Science, 978-3-319-68270-9. ⟨10.1007/978-3-319-68270-9_1⟩
Chapitre d'ouvrage
hal-01621670v1
|
||
|
Recent advances in interactive and automated analysisFrance. International Journal on Software Tools for Technology Transfer, 20 (2), pp.119 - 123, 2018, ⟨10.1007/s10009-017-0477-y⟩
N°spécial de revue/special issue
hal-01766570v1
|
||
|
Unifying Probabilistic and Traditional Formal Model Based Analysis8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany
Communication dans un congrès
hal-00665607v1
|
||
|
Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion ProtocolsScience of Computer Programming, 2012, 78 (7), pp.843-861. ⟨10.1016/j.scico.2012.01.003⟩
Article dans une revue
hal-00671321v1
|
||
|
Rapport d’évaluation de l’unité FEMTO-ST – Franche-Comté Électronique, Mécanique, Thermique et Optiques - Sciences et TechnologiesC2023-EV-0251215K-DER-PUR230023102-RF, Hcéres. 2023, pp.1-51
Rapport
hal-04505233v1
|
||
On Explicit Substitution with NamesJournal of Automated Reasoning, 2012, Special Issue: Theory and Applications of Abstraction, Substitution and Naming, 49 (2), pp.275-300. ⟨10.1007/s10817-011-9222-5⟩
Article dans une revue
istex
hal-00763399v1
|
|||
|
Resource Provisioning Strategies for BPMN Processes: Specification and Analysis using MaudeJournal of Logical and Algebraic Methods in Programming, 2021, pp.1-50. ⟨10.1016/j.jlamp.2021.100711⟩
Article dans une revue
hal-03487960v1
|
||
|
Probabilistic Analysis of Industrial IoT ApplicationsIoT 2022 -The 12th International Conference on the Internet of Things, Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567461⟩
Communication dans un congrès
hal-03848674v2
|
||
|
Compositional Verification of Concurrent Systems by Combining BisimulationsFormal Methods in System Design, 2021, ⟨10.1007/s10703-021-00360-w⟩
Article dans une revue
hal-03159616v2
|
||
|
Verifying Temporal Properties of Stigmergic Collective Systems Using CADPISoLA 2021 - 10th International Symposium on Leveraging Applications of Formal Methods, Oct 2021, Rhodes, Greece. pp.473-489, ⟨10.1007/978-3-030-89159-6_29⟩
Communication dans un congrès
hal-03385131v1
|
||
|
R-MOZART: A Reconfiguration Tool for WebThings Applications2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2021, Madrid / Virtual, Spain. pp.41-44, ⟨10.1109/ICSE-Companion52605.2021.00031⟩
Communication dans un congrès
hal-03157158v1
|
||
|
Counting Bugs in Behavioural Models using Counterexample AnalysisFormaliSE 2022 - International Conference on Formal Methods in Software Engineering, May 2022, Pittsburgh, United States. pp.1-11, ⟨10.1145/3524482.3527647⟩
Communication dans un congrès
hal-03665317v1
|
||
|
Counterexample Simplification for Liveness Property ViolationSEFM 2018 - 16th International Conference on Software Engineering and Formal Methods, Jun 2018, Toulouse, France. pp.173-188, ⟨10.1007/978-3-319-92970-5_11⟩
Communication dans un congrès
hal-01818790v1
|
||
|
Comparative Study of Eight Formal Specifications of the Message Authenticator AlgorithmMARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and the 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.41 - 87, ⟨10.4204/EPTCS.268.2⟩
Communication dans un congrès
hal-01775332v1
|