Filter your results
- 19
- 3
- 1
- 17
- 3
- 1
- 1
- 1
- 21
- 7
- 6
- 6
- 1
- 3
- 1
- 3
- 3
- 4
- 1
- 5
- 1
- 1
- 1
- 15
- 8
- 13
- 9
- 4
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 21
- 5
- 4
- 4
- 4
- 4
- 3
- 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
|
|
sorted by
|
|
Patterns for Certification StandardsAdvanced Information Systems Engineering, 32nd International Conference, CAiSE 2020, Jun 2020, Grenoble, France. pp.417 - 432, ⟨10.1007/978-3-030-49435-3_26⟩
Conference papers
hal-03171837v1
|
||
|
Support of Justification Elicitation: Two Industrial Reports30th International Conference on Advanced Information Systems Engineering (CAISE'2018), Jun 2018, Tallinn, Estonia
Conference papers
hal-01816334v1
|
||
|
Modélisation graphique des SI. Du traitement visuel de modèles complexesJournées INFormatique des Organisations et Systemes d'Information et de Decision (INFORSID 2013), May 2013, Paris, France. pp.99-114
Conference papers
hal-03668941v1
|
||
Validation, Accreditation or Certification : a New Kind of Diagram to Provide ConfidenceIEEE Tenth International Conference on Research Challenges in Information Science, May 2016, GRENOBLE, France
Conference papers
hal-01413100v1
|
|||
|
A Collaborative Model for Connecting Product Design and Assembly Line Design: an Aeronautical CasepoEM 2021: International Federation for Information Processing 2021, Nov 2021, RIGA, Latvia
Conference papers
hal-03464418v1
|
||
|
Une sémantique pour les patrons de justification36ème Congrès INFORSID (INFormatique des ORganisations et Systèmes d’Information et de Décision), May 2018, Nantes, France
Conference papers
hal-01819287v1
|
||
|
A service-based modelling approach to ease the certification of multi-core COTS processorsSAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers
hal-02441365v1
|
||
|
PHYLOG: a model-based certification framework37th AIAA/IEEE Digital Avionics Systems Conference (DASC), Sep 2018, LONDRES, United Kingdom
Conference papers
hal-01888687v1
|
||
|
Design for Efficient Production, a Model-Based ApproachRCIS 2019, May 2019, BRUXELLES, Belgium
Conference papers
hal-02362061v1
|
||
|
Formal Software Verification at Model and at Source Code Levels2nd International Conference on Model & Data Engineering (MEDI'2012), Oct 2012, France. pp.162-169, ⟨10.1007/978-3-642-33609-6_16⟩
Conference papers
hal-00797091v1
|
||
|
PHYLOG certification methodology: a sane way to embed multi-core processors10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02441323v1
|
||
|
The need of diagrams based on Toulmin schema application: an aeronautical case study2020
Preprints, Working Papers, ...
hal-02468175v1
|
||
|
Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logicielsSystèmes embarqués. Université Toulouse 3 Paul Sabatier (UT3 Paul Sabatier), 2019
Habilitation à diriger des recherches
tel-02283804v2
|
||
|
Assembly Line Performance Analysis Based on Aircraft Preliminary Design: a Scheduling Approach18th International Workdhop on Project Managment and Scheduling PMS 2022, Apr 2022, Gand, Belgium
Conference papers
hal-03771512v1
|
||
|
Use of formal methods in embedded software development: stakes, constraints and proposalEmbedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France
Conference papers
hal-02272049v1
|
||
Diffusion d'alarmes, diffusion d'alertes. De nouveaux enjeux pour les SI.Sèdes, Florence; Delmas, Rémi; Polacsek, Thomas. Hermès Science, 21 (4 : juillet - août 2016), 2016, Ingénierie des Systèmes d'Information
Books
hal-03165009v1
|
|||
|
A model-based certification approach for multi/many-core embedded systemsERTS 2018, Jan 2018, Toulouse, France
Conference papers
hal-01700857v1
|
||
Une approche basée sur l'ordonnancement pour évaluer la performance de la production d'avions à haut niveau23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France
Conference papers
hal-03596246v1
|
|||
|
IntroductionRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.141-144
Journal articles
hal-01407938v1
|
||
|
The Aircraft and Its Manufacturing System: From Early Requirements to Global DesignCAISE 2022, Jun 2022, Louvain, Belgium. pp.164-179, ⟨10.1007/978-3-031-07472-1_10⟩
Conference papers
hal-03832242v1
|
||
Diagramme de justification. Un outil pour la validation, la certification et l’accréditationIngéniérie des Systèmes d'Information, 2017, 22 (2), pp.95-120. ⟨10.3166/isi.22.2.95-119⟩
Journal articles
hal-01849131v1
|
|||
|
MIMOSA: Towards a model driven certification process8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, TOULOUSE, France
Conference papers
hal-01289704v1
|
||
|
StrataVis : une technique de visualisation graphique orientée modèleRevue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2016, 35 (2), pp.145-174. ⟨10.3166/tsi.35.145-174⟩
Journal articles
hal-01405784v1
|