Filtrer vos résultats
- 77
- 32
- 77
- 12
- 10
- 4
- 4
- 1
- 1
- 3
- 1
- 109
- 1
- 1
- 3
- 3
- 3
- 5
- 1
- 4
- 7
- 13
- 7
- 13
- 6
- 14
- 4
- 6
- 4
- 4
- 3
- 3
- 3
- 1
- 1
- 1
- 107
- 2
- 107
- 15
- 13
- 9
- 6
- 6
- 5
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 109
- 25
- 20
- 15
- 15
- 13
- 10
- 10
- 9
- 8
- 8
- 7
- 6
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
109 résultats
An Overview of the GRID-TLSE ProjectVECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
Communication dans un congrès
hal-00688814v1
|
|||
|
Model Execution and Debugging: A process to leverage existing toolsModelsWard (5th International Conference on Model-Driven Engineering and Software Development), Feb 2017, Porto, Portugal. pp. 401-408
Communication dans un congrès
hal-01784172v1
|
||
|
Formal specification of block libraries in dataflow languagesEmbedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272313v1
|
||
Formal Verification of Runtime Compensation of Web Service Compositions: A Refinement and Proof Based Proposal with Event-BIEEE International Conference on Services Computing (SCC 2015), Jun 2015, New York, NY, United States. pp.98--105, ⟨10.1109/SCC.2015.23⟩
Communication dans un congrès
hal-03198269v1
|
|||
|
Handling Refinement of Continuous Behaviors: A Refinement and Proof Based Approach with Event-B13th International Symposium on Theoretical Aspects of Software Engineering - TASE 2019, Jul 2019, Guilin, China. ⟨10.1109/TASE.2019.00-25⟩
Communication dans un congrès
hal-03012569v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Article dans une revue
hal-01319576v1
|
|||
|
A transformation-driven approach to generate a DSML verification frameworkModel and Data Engineering - Third International Conference, MEDI 2013, Sep 2013, Amantea, Italy. pp.266-277, ⟨10.1007/978-3-642-41366-7_23⟩
Communication dans un congrès
hal-00994321v1
|
||
|
Use of A Network Enabled Server System for a Sparse Linear Algebra Grid Application[Research Report] RR-5595, LIP RR-2005-30, INRIA, LIP. 2005, pp.23
Rapport
inria-00070412v1
|
||
|
Clock Constraints Specification Langage : A mechanized denotational semantics in Agda2017
Pré-publication, Document de travail
hal-01503384v1
|
||
|
Model Execution and Debugging - A Process to Leverage Existing ToolsInternational Conference on Model-Driven Engineering and Software Development, Feb 2017, Porto, Portugal. pp.401--408, ⟨10.5220/0006143104010408⟩
Communication dans un congrès
hal-03116284v1
|
||
|
A System Substitution Mechanism for Hybrid Systems in Event-BInternational Conference on Formal Engineering Methods, Nov 2016, Tokyo, Japan. pp.106--121, ⟨10.1007/978-3-319-47846-3_8⟩
Communication dans un congrès
hal-03172256v1
|
||
|
Refinement and Proof Based Development of Systems Characterized by Continuous Functions1st International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015), Nov 2015, Nanjing, China. pp.55--70, ⟨10.1007/978-3-319-25942-0_4⟩
Communication dans un congrès
hal-03198256v1
|
||
|
Specifying and Verifying Model Transformations for Certified Systems using Transformation ModelsEmbedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Communication dans un congrès
hal-02272309v1
|
||
|
Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩
Communication dans un congrès
hal-03740259v1
|
||
|
Formal Development of Multi-Purpose Interactive Application (MPIA) for ARINC 6617th International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2019), Nov 2019, Shenzhen, China. pp.21-39, ⟨10.1007/978-3-030-46902-3_2⟩
Communication dans un congrès
hal-02942767v1
|
||
|
SéMo'07 : premier atelier sur la Sémantique des ModèlesRevue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, 2007, 13 (4), pp.137-144. ⟨10.3166/obj.13.4.137-144⟩
Article dans une revue
hal-00369871v1
|
||
|
Correct-by-construction model composition: Application to the Invasive Software Composition methodInternational Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Communication dans un congrès
hal-03252267v1
|
||
|
A Design Pattern for Executable DSML[Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
Rapport
inria-00540648v3
|
||
|
An Event-B Based Generic Framework for Hybrid Systems Formal Modelling16th International Conference on Integrated Formal Methods (IFM 2020), Nov 2020, Lugano (virtual), Switzerland. pp.82-102, ⟨10.1007/978-3-030-63461-2_5⟩
Communication dans un congrès
hal-03265788v1
|
||
|
Formally Verified Architecture Patterns of Hybrid Systems Using Proof and Refinement with Event-B7th International Conference on Rigorous State-Based Methods (ABZ 2020), May 2020, Ulm, Germany. pp.169-185, ⟨10.1007/978-3-030-48077-6_12⟩
Communication dans un congrès
hal-03266062v1
|
||
|
Synoptic: a DSML for On-Board Real-Time Software Design5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), May 2010, Toulouse, France
Communication dans un congrès
hal-02267722v1
|
||
|
A transformation-driven approach to automate feedback verification results3rd International Conference On Model and Data Engineering (MEDI 2013), Sep 2013, Amantea, Calabria, Italy. pp. 266-277
Communication dans un congrès
hal-01231772v1
|
||
Web Service Compensation at Runtime: Formal Modeling and Verification Using the Event-B Refinement and Proof Based Formal MethodIEEE Transactions on Services Computing, 2017, 10 (1), pp.107--120. ⟨10.1109/TSC.2016.2594782⟩
Article dans une revue
hal-03116279v1
|
|||
|
Automated Failure Analysis in Model Checking based on Data Mining4th International Conference On Model and Data Engineering, Sep 2014, Larnaca, Cyprus. pp.13-28, ⟨10.1007/978-3-319-11587-0_4⟩
Communication dans un congrès
hal-03252269v1
|
||
|
Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net2012
Pré-publication, Document de travail
hal-00686986v1
|
||
|
Concurrency-aware eXecutable Domain-Specific Modeling Languages as Models of Concurrency2nd International Workshop on Executable Modeling (EXE 2016), Oct 2016, Saint-Malo, France. pp.12-18
Communication dans un congrès
hal-01357001v1
|
||
|
Probabilistic failure analysis in model Validation &Verification (ERTS 2014)7th European Conference on Embedded Real Time Software and Systems (ERTS 2014), 3AF Midi-Pyrénées: the French Society of Aeronautic and Aerospace; SEE: the French Society for Electricity, Electronics; Information & Communication Technologies, Feb 2014, Toulouse, France. pp.(electronic medium)
Communication dans un congrès
hal-03230717v1
|
||
A software product line approach for semantic specification of block libraries in dataflow languages18th Software Product Line Conference (SPLC 2014), Sep 2014, Florence, Italy. pp.217-218, ⟨10.1145/2648511.2648534⟩
Communication dans un congrès
hal-03252266v1
|
|||
|
Introducing Simulation and Model Animation in the MDE Topcased Toolkit4th European Congress EMBEDDED REAL TIME SOFTWARE (ERTS), Jan 2008, Toulouse, France, France. http://www.erts2008.org/
Communication dans un congrès
hal-00371596v1
|
||
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement22nd International Conference on Formal Engineering Methods (ICFEM 2020), Mar 2021, Singapour, Singapore. pp.251-267, ⟨10.1007/978-3-030-63406-3_15⟩
Communication dans un congrès
hal-03266056v1
|