Filter your results
- 74
- 31
- 75
- 12
- 10
- 4
- 3
- 1
- 3
- 1
- 105
- 1
- 1
- 1
- 3
- 3
- 3
- 2
- 4
- 6
- 15
- 6
- 13
- 6
- 14
- 3
- 6
- 4
- 4
- 2
- 4
- 3
- 1
- 1
- 1
- 103
- 2
- 103
- 15
- 13
- 8
- 6
- 5
- 5
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 105
- 18
- 14
- 13
- 13
- 9
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 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
105 Results
|
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
Conference papers
hal-01784172v1
|
||
Correct-by-construction model driven engineering composition operatorsFormal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles
hal-01319576v1
|
|||
An Overview of the GRID-TLSE ProjectVECPAR'04, Universidad Politécnica de Valencia, Jun 2004, Valence, Spain
Conference papers
hal-00688814v1
|
|||
|
Formal specification of block libraries in dataflow languagesEmbedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers
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⟩
Conference papers
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⟩
Conference papers
hal-03012569v1
|
||
|
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)
Conference papers
hal-03230717v1
|
||
|
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⟩
Conference papers
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⟩
Conference papers
hal-03266062v1
|
||
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⟩
Journal articles
hal-03116279v1
|
|||
|
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
Conference papers
hal-02267722v1
|
||
|
Time Properties Dedicated Transformation from UML-MARTE Activity to Time Petri Net2012
Preprints, Working Papers, ...
hal-00686986v1
|
||
|
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
Conference papers
hal-01231772v1
|
||
|
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/
Conference papers
hal-00371596v1
|
||
|
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
Conference papers
hal-01357001v1
|
||
|
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⟩
Conference papers
hal-03252269v1
|
||
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⟩
Conference papers
hal-03252266v1
|
|||
|
Block Library Driven Translation Validation for Dataflow Models in Safety Critical SystemsInternational Workshop on Formal Methods for Industrial Critical Systems (FMICS 2016), Sep 2016, Pise, Italy. pp.117--132, ⟨10.1007/978-3-319-45943-1_8⟩
Conference papers
hal-03172262v1
|
||
|
A DSL to Feedback Formal Verification Results13th Model-Driven Engineering, Verification and Validation Workshop at MODELS conference 2016 (MoDeVVa 2016), Oct 2016, Saint Malo, France. pp.30--39
Conference papers
hal-03172263v1
|
||
|
Static Safety for an Actor Dedicated Process Calculus by Abstract InterpretationIFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Jun 2006, Bologne, Italy. pp.78-92, ⟨10.1007/11768869_8⟩
Conference papers
hal-00116251v1
|
||
Use of A Network Enabled Server System for a Sparse Linear Algebra ApplicationWorkshop on Future Generation Grids, Nov 2006, Dagstuhl, Germany. pp.171-193, ⟨10.1007/978-0-387-29445-2_10⟩
Conference papers
hal-00688781v1
|
|||
|
Online diagnosis of accidental faults for real-time embedded systems using a hidden Markov modelSIMULATION: Transactions of The Society for Modeling and Simulation International, 2015, vol. 91 (n° 10), pp. 851-868
Journal articles
hal-01316834v1
|
||
|
A UML-MARTE Temporal Property Verification Tool based on Model CheckingInternational Conference on Embedded Real Time Software and Systems (ERTS 2014), Feb 2014, Toulouse, France
Conference papers
hal-01408375v1
|
||
|
Generative technologies for model animation in the TopCased platform6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
Conference papers
inria-00504667v1
|
||
|
Credible Autocoding of Convex Optimization AlgorithmsOptimization and Engineering, 2016, 17 (4), pp.781-812. ⟨10.1007/s11081-016-9320-7⟩
Journal articles
hal-00961133v1
|
||
|
Verification of Synchronization-Related Properties for UML-MARTE RTES Models with a Set of Time Constraints Dedicated Formal Semantic2012
Preprints, Working Papers, ...
hal-00677925v1
|
||
|
Verification of the Schorr-Waite Algorithm - From Trees to GraphsLogic-Based Program Synthesis and Transformation, Jul 2010, Hagenberg, Austria. pp.67-83, ⟨10.1007/978-3-642-20551-4_5⟩
Conference papers
hal-00601440v1
|
||
|
Efficient Online Analysis of Accidental Fault Localization for Dynamic Systems using Hidden Markov ModelSymposium on Theory and Modeling of Simulation (TMS/DEVS 2013), Apr 2013, San Diego, CA, United States. pp.1-8
Conference papers
hal-03668914v1
|
||
Event-B Refinement for Continuous Behaviours Approximation19th International Symposium on Automated Technology for Verification and Analysis (ATVA 2021), Oct 2021, Gold Coast, QLD, Australia. pp.320-336, ⟨10.1007/978-3-030-88885-5_21⟩
Conference papers
hal-03385081v1
|
|||
|
Formally verified architectural patterns of hybrid systems using proof and refinement with Event-BScience of Computer Programming, 2022, 216, pp.102765. ⟨10.1016/j.scico.2021.102765⟩
Journal articles
hal-03513847v1
|