Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
LAAS-ISI : System Engineering and Integration Researchteam
Home
LAAS-ISI Presentation
Browse
Documents list
List by authors
List by years
List by subjects
List by document types
Search
Publishers copyright policies
Copyright FAQ
SHERPA/RoMEO
Héloïse
Submit
Links
LAAS-ISI
LAAS-Crucial Computing
LAAS
HAL-LAAS
Home
Last submissions
Sophia Karolina Salas Cordero, Rob A. Vingerhoeds, Marc Zolghadri, Claude Baron. Addressing Obsolescence from day one in the conceptual phase of complex systems as a design constraint. IFIP 17th International Conference on Product Lifecycle Management, Jul 2020, Rapperswil-Jona, Switzerland. pp.369-383. ⟨hal-03103055⟩
Clément Foucher. L’état interne des composants, grand oublié des formalismes DEVS à structure dynamique ?. Journées Francophones de la Modélisation et de la Simulation 2020, Nov 2020, Cargèse, France. ⟨hal-03099176⟩
Clément Foucher. Interpreting the PDEVS formalism and algorithms to enhance the state handling mechanism. European Simulation and Modelling Conference 2020, Oct 2020, Toulouse, France. ⟨hal-03099174⟩
Claude Baron, Vincent Louis. Towards a continuous certification of safety-critical avionics software. Computers in Industry, Elsevier, 2021, 125, pp.103382. ⟨10.1016/j.compind.2020.103382⟩. ⟨hal-03093923⟩
Yandika Sirgabsou, Claude Baron, Cyril Bonnard, Laurent Pahun, Lorenzo Grenier, et al.. Investigating the use of a model-based approach to assess automotive embedded software safety. 13th International Conference on Modeling, Optimization and Simulation (MOSIM20), Nov 2020, AGADIR, Morocco. ⟨hal-02942695⟩
Nikolena Christofi, Claude Baron, X Pucel, M Pantel, M Machin, et al.. Adopting a model-based approach for satellite operations' diagnosis. 13ème Conférence Internationale de Modélisation, Optimisation et Simulation (MOSIM 2020), Nov 2020, Agadir, Morocco. ⟨hal-02946817⟩
Karla Gomez Sotelo. Quality Assurance methodology for system requirement definition. Other. INSA de Toulouse, 2019. English. ⟨NNT : 2019ISAT0037⟩. ⟨tel-02901527⟩
Yann Argotti. Activity Report: PhD 2nd Year: Study of Qualimetry essentials applied to embedded software product and organization, with consideration to software entropy. Activity report linked to contract n°179808; Rapport LAAS n° 20045. 2020. ⟨hal-02491526⟩
Vatsal Pant, Jean-Charles Chaudemar, Hamid Demmou. Using Systems Engineering to Model the Interaction of the Pilot, the Aircraft, and the Procedures. 5th International Symposium on Systems Engineering (ISSE 2019), Oct 2019, Edinburgh, United Kingdom. pp.1-6. ⟨hal-02399717⟩
Amal Rochd, Maria Zrikem, Thierry Millan, Christian Percebois, Claude Baron, et al.. SynchroState: A SPEM-based Solution for Synchronizing Activities and Products through State Transitions. International Arab Journal of Information Technology, Colleges of Computing and Information Society (CCIS), 2018, 15 (6), pp.951-961. ⟨hal-02382302⟩
Number of fulltext
113
Submissions distribution by document type