Filtrer vos résultats
- 45
- 21
- 34
- 17
- 12
- 2
- 1
- 11
- 65
- 2
- 1
- 1
- 4
- 1
- 2
- 1
- 1
- 2
- 5
- 4
- 6
- 12
- 9
- 7
- 4
- 3
- 2
- 1
- 62
- 4
- 66
- 52
- 49
- 7
- 7
- 7
- 5
- 4
- 4
- 2
- 2
- 2
- 1
- 1
- 1
- 66
- 18
- 15
- 15
- 9
- 6
- 5
- 5
- 5
- 4
- 4
- 4
- 3
- 3
- 3
- 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
- 1
- 1
- 1
- 1
66 résultats
Mutation-Based Test Generation from Security Protocols in HLPSL4th International Conference on Software Testing Verification and Validation (ICST'2011), Mar 2011, Berlin, Germany. ⟨10.1109/ICST.2011.42⟩
Communication dans un congrès
inria-00559850v1
|
|||
|
Random Walk in a N-Cube Without Hamiltonian Cycle to Chaotic Pseudorandom Number Generation: Theoretical and Practical ConsiderationsInternational journal of bifurcation and chaos in applied sciences and engineering , 2017, 27 (01), pp.1750014. ⟨10.1142/S0218127417500146⟩
Article dans une revue
hal-03003541v1
|
||
Component Simulation-based Substitutivity Managing QoS AspectsFormal Aspects On Component Softwre - FACS'08, Sep 2008, Malaga, Spain. pp.109-123, ⟨10.1016/j.entcs.2009.12.034⟩
Communication dans un congrès
istex
inria-00329909v1
|
|||
|
From Linear Temporal Logic Properties to Rewrite PropositionsIJCAR 2012, 6th Int. Joint Conf. on Automated Reasoning, Jan 2012, United Kingdom. pp.316-331
Communication dans un congrès
hal-00956586v1
|
||
|
On the Uniform Random Generation of Non Deterministic Automata Up to IsomorphismCIAA 2015, Aug 2015, Umea, Sweden. pp.12, ⟨10.1007/978-3-319-22360-5_12⟩
Communication dans un congrès
hal-01239735v1
|
||
|
Component Simulation-based Substitutivity Managing QoS and Composition IssuesScience of Computer Programming, 2010, 75 (10), pp.898-917. ⟨10.1016/j.scico.2010.02.004⟩
Article dans une revue
inria-00511466v1
|
||
|
Automatic Verification of Security Protocols Using Approximations[Research Report] RR-5727, INRIA. 2005, pp.27
Rapport
inria-00070291v1
|
||
|
Une approche parallèle et distribuée pour la complétion d'automates d'arbre10es Journées Francophones Internationales sur les Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL 2010, Jun 2010, Poitiers, France. pp.43
Communication dans un congrès
hal-00530350v1
|
||
Tree Automata for Detecting Attacks on Protocols with Algebraic Cryptographic Primitives9th International Workshop on Verification of Infinite-State Systems - INFINITY'07, 2007, Lisbonnes, Portugal. pp.57-72
Communication dans un congrès
inria-00429356v1
|
|||
|
How to Tackle Integer Weighted Automata Positivity3rd InternationalWorkshop on Reachability Problems - RP 2009, Sep 2009, Palaiseau, France. pp.79-92, ⟨10.1007/978-3-642-04420-5_9⟩
Communication dans un congrès
inria-00428998v1
|
||
|
Parametric Random Generation of Deterministic Tree AutomataTheoretical Computer Science, 2010, 411 (1), pp.3469--3480. ⟨10.1016/j.tcs.2010.05.036⟩
Article dans une revue
hal-00561274v1
|
||
On Positive TAGED with a Bounded Number of ConstraintsCIAA - 17th International Conference on Implementation and Application of Automata 2012, Jul 2012, Porto, Portugal. pp.329-336, ⟨10.1007/978-3-642-31606-7_29⟩
Communication dans un congrès
hal-00756564v1
|
|||
Model-Based Testing using Symbolic Animation and Machine LearningCSTVA'10, 2nd Int. Workshop on Constraints in Software Testing Verification and Analysis - co-located with ICST'2010, 2010, France. pp.355--360
Communication dans un congrès
hal-00662918v1
|
|||
|
A Cryptographic Approach for SteganographyIIHMSP'13, 9th Int. Conf. on Intelligent Information Hiding and Multimedia Signal Processing, Jan 2013, China. pp.IIHMSP-2013-0048
Communication dans un congrès
hal-00931972v1
|
||
|
A Theoretical Limit for Safety Verification Techniques with Regular Fix-point Computations[Research Report] RR-6411, INRIA. 2008, pp.6
Rapport
inria-00204579v2
|
||
|
Component Simulation-based Substitutivity Managing QoS and Composition IssuesElectronic Notes in Theoretical Computer Science, 2010, 260, pp.109--123. ⟨10.1016/j.entcs.2009.12.034⟩
Article dans une revue
istex
hal-00561275v1
|
||
From Linear Temporal Logic Properties to Rewrite PropositionsIJCAR - International Joint Conference on Automated Reasonning 2012, Jun 2012, Manchester, United Kingdom. pp.316-331, ⟨10.1007/978-3-642-31365-3_25⟩
Communication dans un congrès
hal-00756598v1
|
|||
|
Automatic Abstraction Generation : How to Make an Expert Verification Technique for Security Protocols available to Non-expert Users[Research Report] RR-6039, INRIA. 2006, pp.21
Rapport
inria-00116918v2
|
||
|
Composition of Services with Constraints6th International Conference on Formal Aspects of Component Software (FACS 2009), Nov 2009, Eindhoven, Netherlands. pp.31-46, ⟨10.1016/j.entcs.2010.05.003⟩
Communication dans un congrès
hal-00560496v1
|
||
|
Efficiency of Automata in Semi-Commutation Verification Techniques[Research Report] RR-5001, INRIA. 2003, pp.20
Rapport
inria-00077039v1
|
||
|
On the Use of Uniform Random Generation of Automata for TestingElectronic Notes in Theoretical Computer Science, 2009, Proceedings of Fifth Workshop on Model Based Testing (MBT 2009), 253 (2), pp.37-51. ⟨10.1016/j.entcs.2009.09.050⟩
Article dans une revue
inria-00429236v1
|
||
|
A Note on Partially Ordered Tree AutomataInformation Processing Letters, 2008, 108 (4), pp.242--246. ⟨10.1016/j.ipl.2008.05.012⟩
Article dans une revue
hal-00561271v1
|
||
|
Random Grammar-based Testing for Covering All Non-Terminals2013 IEEE Sixth International Conference on Software Testing, Verification and Validation - CSTVA Workshop, Mar 2013, Luxembourg, Luxembourg
Communication dans un congrès
hal-00909225v1
|
||
|
Approximation based tree regular model checkingNordic Journal of Computing, 2008, 14, pp.216-241
Article dans une revue
inria-00429345v1
|
||
|
Controlling and Assessing Correlations of Cost Matrices in Heterogeneous SchedulingEuro-par 2016 - 22nd International Conference on Parallel and Distributed Computing, Aug 2016, Grenoble, France. pp.133 - 145
Communication dans un congrès
hal-01664639v1
|
||
|
Random Generation of Deterministic Tree (Walking) Automata14th International Conference on Implementation and Application of Automata - CIAA 2009, Jul 2009, Sydney, Australia. pp.115--124, ⟨10.1007/978-3-642-02979-0_15⟩
Communication dans un congrès
inria-00408316v1
|
||
A Markov Chain Monte Carlo Approach to Cost Matrix Generation for Scheduling Performance EvaluationInternational Conference on High Performance Computing & Simulation, Jul 2018, Orléans, France
Communication dans un congrès
hal-02300458v1
|
|||
Seed, an Easy-to-Use Random Generator of Recursive Data Structures for Testing4th IEEE International Conference on Software Testing, Verification and Validation (ICST'11), Mar 2011, Berlin, Germany. pp.60 - 69, ⟨10.1109/ICST.2011.31⟩
Communication dans un congrès
hal-00620373v1
|
|||
|
Random Grammar-Based Testing for Covering All Non-terminalsCSTVA 2013, 5-th Int. Workshop on Constraints in Software Testing Verification and Analysis. Held in conjunction with ICST 2013, Jan 2013, Luxembourg. pp.210 - 215
Communication dans un congrès
hal-00940429v1
|
||
|
Composition of Services with Constraints6th International Workshop on Formal Aspects of Component Software (FACS 2009), International Institute for Software Technology of the United Nations University (UNU-IIST), Nov 2009, Eindhoven, Netherlands. pp.31--46, ⟨10.1016/j.entcs.2010.05.003⟩
Communication dans un congrès
hal-03997676v1
|