Filtrer vos résultats
- 10
- 5
- 3
- 1
- 1
- 1
- 10
- 1
- 1
- 3
- 3
- 2
- 10
- 8
- 6
- 4
- 2
- 2
- 1
- 10
- 8
- 2
- 1
- 1
- 1
10 résultats
|
|
triés par
|
|
A Static Checker for Reference Tracking Systems via Laplace Transform and Transfer Functions2023
Pré-publication, Document de travail
hal-04152829v1
|
||
|
Incremental Deductive Verification for Relational Model TransformationsICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, Mar 2017, Tokyo, Japan. ⟨10.1109/ICST.2017.41⟩
Communication dans un congrès
hal-01435974v1
|
||
|
A Deductive Approach for Fault Localization in ATL Model TransformationsFASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, Apr 2017, Uppsala, Sweden. pp.300-317, ⟨10.1007/978-3-662-54494-5_17⟩
Communication dans un congrès
hal-01435977v1
|
||
|
Slicing ATL Model Transformations for Scalable Deductive Verification and Fault LocalizationInternational Journal on Software Tools for Technology Transfer, 2018, 20 (6), pp.645-663. ⟨10.1007/s10009-018-0491-8⟩
Article dans une revue
hal-01763410v1
|
||
|
Certifying a Rule-Based Model Transformation Engine for Proof PreservationACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, Oct 2020, Montreal, Canada. ⟨10.1145/3365438.3410949⟩
Communication dans un congrès
hal-02907622v1
|
||
|
CoqTL: A Coq DSL for Rule-Based Model TransformationSoftware and Systems Modeling, 2020, 19, pp.425-439. ⟨10.1007/s10270-019-00765-6⟩
Article dans une revue
hal-02333564v1
|
||
|
Efficiently Characterizing the Undefined Requests of a Rule-Based SystemIFM 2018 - 14th International Conference on integrated Formal Methods, Sep 2018, Maynooth, Ireland. pp.69-88, ⟨10.1007/978-3-319-98938-9_5⟩
Communication dans un congrès
hal-01828305v1
|
||
|
A Refinement Strategy for Hybrid System Design with Safety Constraints[Research Report] Université de Lorraine; INRIA; CNRS. 2020
Rapport
hal-02895528v1
|
||
|
CoqTL: an Internal DSL for Model Transformation in CoqICMT 2018 - 11th International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.142-156, ⟨10.1007/978-3-319-93317-7_7⟩
Communication dans un congrès
hal-01828344v1
|
||
|
Deep Specification and Proof Preservation for the CoqTL Transformation LanguageSoftware & Systems Modeling, 2022, ⟨10.1007/s10270-022-01004-1⟩
Article dans une revue
hal-03656144v1
|