Filtrer vos résultats
- 60
- 14
- 36
- 20
- 13
- 2
- 2
- 1
- 20
- 74
- 2
- 3
- 1
- 3
- 2
- 1
- 3
- 1
- 3
- 3
- 3
- 3
- 4
- 3
- 3
- 3
- 5
- 8
- 4
- 3
- 2
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 69
- 5
- 64
- 40
- 12
- 10
- 10
- 6
- 5
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 74
- 35
- 13
- 10
- 9
- 8
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
- 1
- 1
74 résultats
|
|
Efficient strategies for integration and regression testing of oo systems10th IEEE International Symposium on Software Reliability Engineering, ISSRE'99, Nov 1999, Florida, United States
Communication dans un congrès
hal-00776500v1
|
||
|
|
Predictability of Sequence Patterns in Discrete Event Systems[Research Report] PI 1834, 2007, pp.17
Rapport
inria-00136129v1
|
||
|
|
Abstract Interpretation of FIFO channels[Research Report] PI 1767, 2005, pp.25
Rapport
inria-00001031v1
|
||
Method and system for testing the operation of a target computer system by using timed requirementsFrance, Patent n° : EP 3 907 615 B1. 2022
Brevet
hal-04306225v1
|
|||
Supervision patterns in discrete event systemsDX'06 (17th International Workshop on Principal of Diagnosis), 2006, Burgos, Spain. pp.117-124
Communication dans un congrès
inria-00463799v1
|
|||
|
|
Predictive Runtime Verification of Timed PropertiesJournal of Systems and Software, 2017, 132, pp.353 - 365. ⟨10.1016/j.jss.2017.06.060⟩
Article dans une revue
hal-01666995v1
|
||
|
|
Control strategies for off‑line testing of timed systemsFormal Methods in System Design, 2022, pp.48. ⟨10.1007/s10703-022-00403-w⟩
Article dans une revue
hal-03932770v1
|
||
|
|
Abstracting Time and Data for Conformance Testing of Real-Time Systems7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany
Communication dans un congrès
hal-00646089v1
|
||
|
|
Test generation from recursive tiles systemsTAP - 6th International Conference on Tests & Proofs - 2012, May 2012, Prague, Czech Republic. pp.99-114
Communication dans un congrès
hal-00743941v1
|
||
|
|
Symbolic Determinisation of Extended Automata[Research Report] PI 1776, 2006
Rapport
inria-00001073v1
|
||
|
|
Abstract Interpretation of FIFO channels[Research Report] RR-5784, INRIA. 2005, pp.25
Rapport
inria-00070237v1
|
||
|
|
Construction de moniteurs pour la surveillance de propriétés de sécurité6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2007, Lyon, France. pp.105-120
Communication dans un congrès
inria-00424274v1
|
||
A Game Approach to Determinize Timed Automata.14th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'11), Mar 2011, Saarbrücken, Germany. pp. 245-259
Communication dans un congrès
inria-00629179v1
|
|||
Method and system for correcting the operation of a target computer system by using timed requirementsFrance, Patent n° : EP 4 064 057 B1. 2023
Brevet
hal-04306235v1
|
|||
|
|
A General approach to trace-checking in distributed computing systems[Research Report] RR-2238, INRIA. 1994
Rapport
inria-00074432v1
|
||
|
|
Test Generation from Recursive Tile Systems[Research Report] RR-8206, INRIA. 2013, pp.32
Rapport
hal-00778134v1
|
||
|
|
Test Generation from Recursive Tile SystemsJournal of Software Testing, Verification and Reliability, 2014, 24 (7), pp.532-557. ⟨10.1002/stvr.1525⟩
Article dans une revue
hal-01091672v1
|
||
|
|
Supervision Patterns in Discrete Event Systems DiagnosisWorkshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. pp.262-268, ⟨10.1109/WODES.2006.1678440⟩
Communication dans un congrès
inria-00425085v1
|
||
|
|
Predictive runtime enforcementFormal Methods in System Design, 2017, 51 (1), pp.154 - 199. ⟨10.1007/s10703-017-0271-1⟩
Article dans une revue
hal-01647787v1
|
||
|
|
Ensuring the conformance of reactive discrete-event systems by means of supervisory controlInternational Journal of Production Research, 2004, 42 (14), pp.2809 - 2826. ⟨10.1080/00207540410001705202⟩
Article dans une revue
inria-00517265v1
|
||
|
|
Verification and Symbolic Test Generation for Safety Properties[Research Report] RR-5285, INRIA. 2004, pp.20
Rapport
inria-00070715v1
|
||
|
|
Incremental methods for checking real-time consistencyFORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienne, Austria. pp.1-18
Communication dans un congrès
hal-02894772v1
|
||
|
|
Active learning of timed automata with unobservable resetsFORMATS 2020 - 18th International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2020, Vienna, Austria. pp.1-26
Communication dans un congrès
hal-02896517v1
|
||
|
|
Unfolding-based Dynamic Partial Order Reduction of Asynchronous Distributed ProgramsFORTE 2019 - 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2019, Copenhagen, Denmark. pp.224-241, ⟨10.1007/978-3-030-21759-4_13⟩
Communication dans un congrès
hal-02109769v1
|
||
|
|
Test Synthesis from UML Models of Distributed SoftwareIEEE Transactions on Software Engineering, 2007, 33 (4), pp.252--268
Article dans une revue
inria-00477560v1
|
||
|
|
Monitoring Confidentiality by Diagnosis TechniquesEuropean Control Conference, Aug 2009, Budapest, Hungary. pp.2584-2589
Communication dans un congrès
inria-00420420v1
|
||
Motifs de surveillance pour le diagnostic de systèmes à événements discretsRFIA 2006 (Congrès Reconnaissance des formes et Intelligence Artificielle), 2006, Tours, France
Communication dans un congrès
inria-00463795v1
|
|||
|
|
Off-line Test Selection with Test Purposes for Non-Deterministic Timed AutomataLogical Methods in Computer Science, 2012, 8 (4:8), pp.1-33
Article dans une revue
hal-00744074v1
|
||
|
|
A game approach to determinize timed automata[Research Report] RR-7381, INRIA. 2010
Rapport
inria-00524830v2
|
||
Combinaison entre vérification et test pour la validation de systèmes réactifsNicolas Navet. Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, 1, Hermès Science, pp.59-88, 2006, Informatique et Systèmes d'information
Chapitre d'ouvrage
inria-00424484v1
|