Filtrer vos résultats
- 15
- 10
- 3
- 1
- 1
- 14
- 2
- 1
- 2
- 1
- 1
- 3
- 3
- 2
- 2
- 1
- 15
- 11
- 4
- 3
- 1
- 1
- 15
- 5
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
15 résultats
|
|
triés par
|
|
Some thoughts on teaching introductory programming and the first language dilemma23rd Koli Calling International Conference on Computing Education Research, Nov 2023, Koli, Finland. ⟨10.1145/3631802.3631812⟩
Communication dans un congrès
hal-04293446v1
|
||
|
Toward a Correct-and-Scalable Verification of Concurrent Robotic Systems: Insights on Formalisms and ToolsInternational Conference on Application of Concurrency to System Design (ACSD 2017), Jun 2017, Zaragoza, Spain. 10p., ⟨10.1109/ACSD.2017.10⟩
Communication dans un congrès
hal-01515012v1
|
||
|
A Two-Step Hybrid Approach for Verifying Real-Time Robotic Systems2020 IEEE 26th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2020, Gangnueng (virtual conference), South Korea. pp.1-10, ⟨10.1109/RTCSA50079.2020.9203687⟩
Communication dans un congrès
hal-02949916v1
|
||
|
Bridging the Gap between Formal Verification and Schedulability Analysis: The Case of RoboticsJournal of Systems Architecture, 2020, 111, pp.101817. ⟨10.1016/j.sysarc.2020.101817⟩
Article dans une revue
hal-02864928v3
|
||
|
Contract-Based Verification of Model Transformations: A Formally Founded Approach36th ACM/SIGAPP Symposium On Applied Computing (SAC 2021), Mar 2021, Gwangju (virtual), South Korea
Communication dans un congrès
hal-03059942v1
|
||
|
Model Checking Real-Time Properties on the Functional Layer of Autonomous Robots18th International Conference on Formal Engineering Methods (ICFEM 2016), Nov 2016, Tokyo, Japan
Communication dans un congrès
hal-01346080v1
|
||
|
Repeatable Decentralized Simulations for Cyber-Physical SystemsInternational Conference on Software Quality, Reliability and Security (QRS), Jun 2019, Sofia, Bulgaria
Communication dans un congrès
hal-02156842v1
|
||
|
Runtime Verification of Timed Properties in Autonomous Robots18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), ACM/IEEE, Dec 2020, Jaipur (virtual), India. ⟨10.1109/MEMOCODE51338.2020.9315156⟩
Communication dans un congrès
hal-03093298v1
|
||
|
On Reconciling Schedulability Analysis and Model Checking in RoboticsMEDI Workshops. 9th International Conference on Model and Data Engineering, Oct 2019, Toulouse, France
Communication dans un congrès
hal-02346015v1
|
||
|
Compositional Verification of Embedded Real-Time SystemsJournal of Systems Architecture, 2023, 142, pp.102928. ⟨10.1016/j.sysarc.2023.102928⟩
Article dans une revue
hal-04125520v3
|
||
|
Statistical Model Checking of Complex Robotic Systems26th International SPIN Symposium on Model Checking of Software, Jul 2019, Beijing, China
Communication dans un congrès
hal-02152286v1
|
||
|
Formal Verification of Real-Time Autonomous Robots: an Interdisciplinary ApproachFrontiers in Robotics and AI, In press, ⟨10.3389/frobt.2022.791757⟩
Article dans une revue
hal-03624519v2
|
||
|
Formal Verification of Complex Robotic Systems on Resource-Constrained PlatformsFormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Communication dans un congrès
hal-01778960v1
|
||
|
Formal verification of the functionnal layer of robotic and autonomous systemsLogic [math.LO]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0033⟩
Thèse
tel-02080063v2
|
||
|
GenoM3 Templates: from Middleware Independence to Formal Models Synthesis2017
Pré-publication, Document de travail
hal-01457881v2
|