Filter your results
- 23
- 4
- 15
- 7
- 2
- 1
- 1
- 1
- 23
- 4
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 6
- 2
- 2
- 4
- 1
- 2
- 1
- 1
- 1
- 16
- 11
- 27
- 10
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 10
- 8
- 5
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Hippo: A Formal-Model Execution Engine to Control and Verify Critical Real-Time SystemsJournal of Systems and Software, 2021, 181, pp.111033. ⟨10.1016/j.jss.2021.111033⟩
Journal articles
hal-03017661v4
|
||
Decomposition and learning for a hard real-time task allocating problemCORS/INFORMS Joint International Meeting, 2004, Banff, Alberta, Canada
Conference papers
hal-00869109v1
|
|||
Ordonnancement temps réel multiprocesseur partitionné et programmation par contraintes10ème Congrès de la Société Française de Recherche Opérationnelle et d'Aide à la Décision - ROADEF'09, Feb 2009, Nancy, France. pp.159
Conference papers
hal-00490800v1
|
|||
|
Simulation d'ordonnancement temps réel avec prise en compte de l'impact des cachesÉcole d'été Temps Réel 2013, Aug 2013, Toulouse, France
Conference papers
hal-00870076v1
|
||
|
Optimal Design of Virtual Links in AFDX NetworksReal-Time Systems, 2013, 49 (3), 31p. ⟨10.1007/s11241-012-9171-z⟩
Journal articles
hal-00665755v2
|
||
|
Simulation of Real-Time Scheduling Algorithms with Cache Effects6th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, Jul 2015, Lund, Sweden. 6p
Conference papers
hal-01232512v1
|
||
|
Fast and Tight Analysis for AUTOSAR Schedule Tables2016
Preprints, Working Papers, ...
hal-01273673v1
|
||
|
Formal Verification of Complex Robotic Systems on Resource-Constrained PlatformsFormaliSE: 6th International Conference on Formal Methods in Software Engineering, Jun 2018, Gothenburg, Sweden
Conference papers
hal-01778960v1
|
||
|
Simulation of Real-Time Multiprocessor Scheduling with OverheadsInternational Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2013), Jul 2013, Reykjavik, Iceland. pp. 5-14
Conference papers
hal-00815502v1
|
||
|
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⟩
Journal articles
hal-02864928v3
|
||
|
An Interdisciplinary Capstone Design Experience on Critical Embedded Systems using Agile MethodsJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2019, 18 (0001), 23p. ⟨10.1051/j3ea/20190001⟩
Journal articles
hal-02189482v1
|
||
|
Ordonnancement temps réel : des politiques monoprocesseurs aux politiques multiprocesseurs2012
Reports
hal-00662741v1
|
||
|
Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réelSystèmes embarqués. INP DE TOULOUSE, 2016
Accreditation to supervise research
tel-01451027v1
|
||
|
Algorithmes pour l’ordonnancement temps réel multiprocesseurJournal Européen des Systèmes Automatisés (JESA), 2015, 48 (7-8), pp.613-639. ⟨10.3166/JESA.48.613-63⟩
Journal articles
hal-01221711v1
|
||
|
Activité pédagogique sur la création d'un jeu d'évasion6ème Colloque Pédagogie & Formation - groupe INSA, May 2019, Bourges, France
Conference papers
hal-02307883v1
|
||
Quaternions réels duaux et complexesEllipses Marketing, 2016, 978-2340010468
Books
hal-01587436v1
|
|||
|
SimSo: A Simulation Tool to Evaluate Real-Time Multiprocessor Scheduling Algorithms5th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), Jul 2014, Madrid, Spain. 6 p
Conference papers
hal-01052651v1
|
||
|
Model-Driven Approach to the Optimal Configuration of Time-Triggered Flows in a TTEthernet Network9th System Analysis and Modelling (SAM 2016), Oct 2016, Saint-Malo, France. ⟨10.1007/978-3-319-46613-2_11⟩
Conference papers
hal-01496891v1
|
||
|
Analyse d'un modèle AADL à l'aide de Pola10es journées Francophones sur les Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2010, Poitiers, France. p. 239--243
Conference papers
hal-00493726v2
|
||
|
A formal toolchain for offline and run-time verification of robotic systemsRobotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Journal articles
hal-03683044v2
|
||
|
Simulation of Real-Time Scheduling with Various Execution Time Models9th IEEE International Symposium on Industrial Embedded Systems (SIES), Jun 2014, Pise, Italy
Conference papers
hal-01052656v1
|
||
|
Outillage pour la modélisation, la vérification et la génération d'applications temporisées et embarquées15èmes journées Approches Formelles dans l'Assistance au Développement de Logiciels (AFADL), Jun 2016, Besançon, France
Conference papers
hal-01331726v1
|
||
|
Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays18th International Conference on Real-Time and Network Systems, Nov 2010, Toulouse, France. pp.179-188
Conference papers
hal-00546945v1
|
||
Overview of microkernel standards for real-time in-vehicle embedded systems4th Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
Conference papers
hal-00490671v1
|
|||
|
De l'illustration du guidage à l'optimisation d'un plan par un robot Lego Mindstorm NXTJournal sur l'enseignement des sciences et technologies de l'information et des systèmes, 2016, 15, ⟨10.1051/j3ea/2016006⟩
Journal articles
hal-01392601v1
|
||
|
A Brute-Force Schedulability Analysis for Formal Model under Logical Execution Time AssumptionThe 33rd ACM/SIGAPP Symposium On Applied Computing (SAC), Apr 2018, Pau, France. 13p
Conference papers
hal-01717293v1
|
||
|
Réécriture d'un modèle MCSE à l'aide du langage FIACRE2013
Reports
hal-00871943v1
|