Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  78 results for ""verification""

Your Filters

Collection : Archives Ouvertes Hal Imt Atlantique
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications

Subjects: IoT applications; Cloud; Behavioral VerificationUnited StatesPhiladelphia, United States

  • Source: CCGrid 2024 - IEEE 24th International Symposium on Cluster, Cloud and Internet Computing ; https://hal.science/hal-04775142 ; CCGrid 2024 - IEEE 24th International Symposium on Cluster, Cloud and

Record details

Read More Add to Saved list
×
Academic Journal

Component-Based Distributed Software Reconfiguration: a Verification-Oriented Survey

Subjects: Reconiguration; Software adaptation; Component-based software engineering

  • Source: ISSN: 0360-0300 ; ACM Computing Surveys ; https://inria.hal.science/hal-04067909 ; ACM Computing Surveys, 2024, 56 (1), pp.1-37. ⟨10.1145/3595376⟩.

Record details

Read More Add to Saved list
×
Conference

Multi-Partner Project: A Model-Driven Engineering Framework for Federated Digital Twins of Industrial Systems (MATISSE)

Subjects: Model-Driven Engineering; Federated Digital Twins; Continuous System EngineeringLyon; France

  • Source: DATE 2025 - Design, Automation and Test in Europe Conference ; https://inria.hal.science/hal-04839759 ; DATE 2025 - Design, Automation and Test in Europe Conference, Mar 2025, Lyon, France. pp.1-6

Record details

Read More Add to Saved list
×
Conference

VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time

Subjects: Verification; Deployment; CI/CD pipelineCatania; Italy

  • Source: SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing ; SAC 2025 - 40th ACM/SIGAPP Symposium on Applied Computing ; https://hal.science/hal-04833623 ; SAC 2025 - 40th ACM/SIGAPP

Record details

Read More Add to Saved list
×
Conference

Automated Verification of Model. Transformations in the Automotive Industry

Subjects: Model Transformation; Automated Verification; Automotive IndustryMiami; United States

  • Source: Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013 ; https://inria.hal.science/hal-00834058 ; Model Driven Engineering Languages and Systems, 16th International

Record details

Read More Add to Saved list
×
Conference

A transversal alignment between measurements and enterprise architecture for early verification of telecom service design

Subjects: Engineering; Code Generation; Sofware engineeringChemnitz; Germany

  • Source: Lecture Notes in Computer Science ; 19th Open European Summer School (EUNICE) ; https://hal.science/hal-00859979 ; 19th Open European Summer School (EUNICE), Aug 2013, Chemnitz, Germany. pp.245-256,

Record details

Read More Add to Saved list
×
Conference

Rapid design and verification experience using flexible cycle-accurate NoC simulator

Subjects: NoC; MPSoC; simulatorBeirut; Lebanon

  • Source: 2021 IEEE 3rd International Multidisciplinary Conference on Engineering Technology (IMCET)IMCET 2021: IEEE 3rd International Multidisciplinary Conference on Engineering Technology

Record details

Read More Add to Saved list
×
Conference

Verification of ATL Transformations Using Transformation Models and Model Finders

Subjects: Model transformation; Verification; ATLKyoto; JapanKyoto, Japan

  • Source: ICFEM 2012: 14th International Conference on Formal Engineering Methods ; https://inria.hal.science/hal-00723984 ; ICFEM 2012: 14th International Conference on Formal Engineering Methods, Nov 2012,

Record details

Read More Add to Saved list
×
Conference

Automatic Verification of Bossa Scheduler Properties

Subjects: WS1S; model-checking; refinementNancy; France

  • Source: Electronic Notes in Theoretical Computer Science - Special issue: Proceedings of the 6th International Workshop on Automated Verification of Critical Systems (AVoCS

Record details

Read More Add to Saved list
×
Conference

A Language Agnostic Approach to Modeling Requirements: Specification and Verification

Subjects: Modeling; Domain Specific; Modeling RequirementsVirtual EventVirtual Event, Canada

  • Source: MODELS ’20 Companion ; https://inria.hal.science/hal-02924645 ; MODELS ’20 Companion, Oct 2020, Virtual Event, Canada. ⟨10.1145/3417990.3419224⟩

Record details

Read More Add to Saved list
×
  • 1-10 of  78 results for ""verification""