Recherche - INRIA - Institut National de Recherche en Informatique et en Automatique Accéder directement au contenu

Filtrer vos résultats

4 résultats
Page :
triés par
Image document

Trajectory Description Conception for Industrial Robots

 Sergey Alatartsev , Matthias Güdemann , Frank Ortmeier
ROBOTIK 2012 - 7th German Conference on Robotics, May 2012, Munich, Germany. pp.365-370
Communication dans un congrès hal-00727303v1
Image document

Unifying Probabilistic and Traditional Formal Model Based Analysis

 Matthias Güdemann , Michael Lipaczewski , Simon Struck , Frank Ortmeier
8. Dagstuhl-Workshop MBEES 2012 - Model-Based Development of Embedded Systems, Feb 2012, Dagstuhl, Germany
Communication dans un congrès hal-00665607v1
Image document

Multi-Objective Optimization of Formal Specifications

 Simon Struck , Michael Lipaczewski , Frank Ortmeier , Matthias Güdemann
HASE 2012 - 14th High Assurance System Engineering Symposium, Oct 2012, Omaha, United States. pp.201-208, ⟨10.1109/HASE.2012.21⟩
Communication dans un congrès hal-00735640v1
Image document

Efficient Optimization of Large Probabilistic Models

 Simon Struck , Matthias Güdemann , Frank Ortmeier
Journal of Systems and Software, 2013, ⟨10.1016/j.jss.2013.03.078⟩
Article dans une revue hal-00816636v1
Page :