Filtrer vos résultats
- 16
- 11
- 16
- 6
- 2
- 1
- 1
- 1
- 1
- 26
- 1
- 1
- 1
- 3
- 4
- 3
- 2
- 3
- 1
- 1
- 4
- 4
- 26
- 1
- 16
- 8
- 7
- 6
- 3
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 11
- 5
- 5
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
27 résultats
|
|
|
triés par
|
|
|
Model Based Testing for Concurrent Systems with Labeled Event Structures2013
Pré-publication, Document de travail
hal-00796006v1
|
||
|
|
Model Based Testing for Concurrent Systems with Labeled Event StructuresJournal of Software Testing, Verification and Reliability, 2014, Tests and Proofs in Model-based Testing, 24 (7), pp.558-590. ⟨10.1002/stvr.1543⟩
Article dans une revue
istex
hal-00914796v3
|
||
On a generalized theorem for normalization of proof trees2005
Autre publication scientifique
hal-00341978v1
|
|||
|
|
How to be Sure a Faulty System Does not Always Appear Healthy?12th International Conference on Verification and Evaluation of Computer and Communication Systems, Sep 2018, Grenoble, France
Communication dans un congrès
hal-01818314v1
|
||
|
|
HOL-TestGen Version 1.8 USER GUIDE[Technical Report] Univeristé Paris-Saclay; LRI - CNRS, University Paris-Sud. 2016
Rapport
hal-01765526v1
|
||
A Specification-Based Test Case Generation Method for UML/OCLModels in Software Engineering - Workshops and Symposia at MODELS 2010, Oct 2010, Oslo, Norway
Communication dans un congrès
hal-01760563v1
|
|||
|
|
Model-based Testing for Concurrent Systems: Unfolding-based Test SelectionInternational Journal on Software Tools for Technology Transfer, 2014, pp.14-28. ⟨10.1007/s10009-014-0353-y⟩
Article dans une revue
hal-00996000v2
|
||
On the Semantics of Object-Oriented Data Structures and Path ExpressionsProceedings of the MODELS 2013 OCL Workshop co-located with the 16th International ACM/IEEE Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Sep 2013, Miami, United States
Communication dans un congrès
hal-01214460v1
|
|||
|
|
Compositional schedulability analysis of real-time actor-based systemsActa Informatica, 2017, 54 (4), pp.343 - 378. ⟨10.1007/s00236-015-0254-x⟩
Article dans une revue
hal-01632882v1
|
||
Global and local testing from Message Sequence ChartsACM Symposium on Applied Computing, Mar 2012, Riva, Trento, Italy
Communication dans un congrès
hal-01760554v1
|
|||
Fault Manifestability Verification for Discrete Event Systems22nd European Conference on Artificial Intelligence ECAI-16, Aug 2016, La Haye, Netherlands
Communication dans un congrès
hal-01483424v1
|
|||
A temporal logic for input output symbolic transition systems2005
Autre publication scientifique
hal-00341981v1
|
|||
Towards a Tool for Featherweight OCL: A Case Study On Semantic ReflectionProceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain
Communication dans un congrès
hal-01214466v1
|
|||
Test Selection Criteria for Modal Specifications of Reactive SystemsIEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, Jun 2007, Shanghai, China
Communication dans un congrès
hal-01760574v1
|
|||
|
|
An abstract way to define rewriting logicProceedings of the first IPM International Workshop on Foundations of Software Engineering (FSEN), 2005, Iran. pp.205--226, ⟨10.1016/j.entcs.2005.09.033⟩
Communication dans un congrès
hal-00341966v1
|
||
Schedulability and Compatibility of Real Time Asynchronous ObjectsIEEE Real-Time Systems Symposium, Nov 2008, Barcelona, Spain
Communication dans un congrès
hal-01760569v1
|
|||
|
|
Distributed Testing of Concurrent Systems: Vector Clocks to the RescueTheoretical Aspects of Computing, Sep 2014, Bucharest, Romania. ⟨10.1007/978-3-319-10882-7_22⟩
Communication dans un congrès
hal-00996002v2
|
||
Unfolding-based Test Selection for Concurrent Conformance25th IFIP International Conference on Testing Software and Systems (ICTSS'13), 2013, Turkey. pp.98-113
Communication dans un congrès
hal-00926103v1
|
|||
Conformance Relations for Labeled Event StructuresProceedings of the 6th International Conference on Tests and Proofs (TAP'12), 2012, Prague, Czech Republic. pp.83-98, ⟨10.1007/978-3-642-30473-6_8⟩
Communication dans un congrès
hal-00776783v1
|
|||
|
|
Some General Results About Proof NormalizationLogica Universalis, 2010, 4 (1), pp.1-29. ⟨10.1007/s11787-010-0011-4⟩
Article dans une revue
hal-00782857v1
|
||
|
|
Integration Testing from Structured First-Order Specifications via Deduction Modulo.Theoretical Aspects of Computing - ICTAC 2009, 6th International Colloquium, Aug 2009, Kuala Lumpur, Malaysia. pp.261-276, ⟨10.1007/978-3-642-03466-4_17⟩
Communication dans un congrès
hal-00812193v1
|
||
|
|
A Temporal Logic for Input Output Symbolic Transition Systems12th Asia-Pacific Software Engineering Conference (APSEC'05), Dec 2005, Taipei, Taiwan. pp.43--50, ⟨10.1109/APSEC.2005.19⟩
Communication dans un congrès
hal-00341980v1
|
||
|
|
Test à partir de spécifications axiomatiquesGénie logiciel [cs.SE]. Université d'Evry-Val d'Essonne, 2007. Français. ⟨NNT : ⟩
Thèse
tel-00258792v1
|
||
|
|
Test selection criteria for quantifier-free first-order specifications2nd IPM International Symposium on Fundamentals of Software Engineering (FSEN 2007), Apr 2007, Tehran, Iran. pp.144-159, ⟨10.1007/978-3-540-75698-9_10⟩
Communication dans un congrès
hal-00353787v1
|
||
|
|
Proof-Guided Test Selection from First-Order Specifications with EqualityJournal of Automated Reasoning, 2010, 45 (4), pp.437-473
Article dans une revue
hal-00782871v1
|
||
Exhaustive test sets for algebraic specification correctnessJournal of Software Testing, Verification and Reliability, 2016, 26 (4), pp.294-317. ⟨10.1002/stvr.1598⟩
Article dans une revue
istex
hal-01318362v1
|
|||
Specification-Based Testing for CoCasl's Modal SpecificationsInternational Conference on Algebra and Coalgebra in Computer Science, Aug 2007, Bergen, Norway
Communication dans un congrès
hal-01760572v1
|