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
|
||
|
|
Symbolic Determinisation of Extended Automata[Research Report] PI 1776, 2006
Rapport
inria-00001073v1
|
||
|
|
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
|
||
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
|
|||
|
|
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
|
||
|
|
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
|
||
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
|
||
|
|
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsFormal Methods 2005 (FM05), Jul 2005, Newcastle, United Kingdom. pp.189-204, ⟨10.1007/11526841_14⟩
Communication dans un congrès
inria-00483945v1
|
||
|
|
Automatic Testing of Access Control for Security PropertiesTESTCOM/FATES 2009, Nov 2009, Eindhoven, Netherlands. pp.113-128, ⟨10.1007/978-3-642-05031-2⟩
Communication dans un congrès
inria-00420424v1
|
||
|
|
Bounded-Memory Runtime Enforcement of Timed PropertiesTIME 2023 - 30th International Symposium on Temporal Representation and Reasoning, Sep 2023, Demokritos - Athènes, Greece. pp.1-22, ⟨10.4230/LIPIcs.TIME.2023.6⟩
Communication dans un congrès
hal-04213422v1
|
||
|
|
On-line model-checking for finite linear temporal logic specifications[Research Report] RR-1041, INRIA. 1989
Rapport
inria-00075517v1
|
||
|
|
An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology[Research Report] RR-2923, INRIA. 1996
Rapport
inria-00073775v1
|
||
|
|
Automatic Test Generation from Interprocedural Specifications[Research Report] PI 1835, 2007, pp.19
Rapport
inria-00137064v1
|
||
|
|
Runtime Enforcement of Parametric Timed Properties with Practical ApplicationsIEEE International Workshop on Discrete Event Systems, May 2014, Cachan, France. pp.420-427
Communication dans un congrès
hal-00974548v1
|
||
|
|
Model-Checking of CTL on Infinite Kripke Structures Defined by Simple Graph Grammars[Research Report] RR-2563, INRIA. 1995
Rapport
inria-00074118v1
|
||
|
|
System test synthesis from UML models of distributed softwareFormal Techniques for Networked and Distributed Systems - FORTE 2002, Nov 2002, Houston, United States
Communication dans un congrès
hal-00794606v1
|