Accéder directement au contenu Accéder directement à la navigation


hal-01708026v1  Communication dans un congrès
Yannick DevilleAlain DevilleSimon RebeyrolAli Mansour. Analytical performance analysis for blind quantum source separation with time-varying coupling
23rd Asia-Pacific Conference on Communications (APCC), Curtin University; The University of New South Wales, Dec 2017, Perth, Australia
hal-00517281v1  Article dans une revue
Theurer WolfgangFrédéric BoniolPhilippe DhaussyClaire Pagetti. Un cadre conceptuel pour la modélisation multi points de vue de systèmes embarqués
Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2007, 13, pp.79-110. ⟨10.3166/obj.13.2-3.79-110⟩
hal-00517282v1  Article dans une revue
Philippe DhaussyFrédéric Boniol. Mise en oeuvre de composants MDA pour la validation formelle de modèles de systèmes d'information embarqués
Revue des Sciences et Technologies de l'Information - Série ISI : Ingénierie des Systèmes d'Information, Lavoisier, 2007, 12 (5), pp.133-157. ⟨10.3166/isi.12.5.133-157⟩
hal-00676423v1  Chapitre d'ouvrage
Philippe DhaussyJean-Charles RogerFrédéric Boniol. Context Aware Model-Checking for Embedded Software
Embedded Systems - Theory and Design Methodology, InTech, ISBN: 978-953-51-0167-3 p. 167-184, 2012
hal-00862488v1  Chapitre d'ouvrage
Frédéric BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Analyse à partir du modèle
Hermes. Modélisation et analyse de systèmes embarqués, Lavoisier, pp.180-206, 2013, SEE, 978-2-7462-3900-5
hal-00843139v1  Chapitre d'ouvrage
Frederic BoniolPhilippe DhaussyLuka Le RouxJean-Charles Roger. Model-Based Analysis
Embedded systems, Analysis and Modeling with SysML, UML and AADL, Wiley, pp.157-184, 2013
hal-00662030v1  Chapitre d'ouvrage
Christian LexcellentM. Lamine BoubakarChristophe BouvetSylvain Calloch. Modelling Shape Memory Alloy Behaviour under Proportional Loading and Anisothermal Conditions
Mechanics, Models and Methods in Civil Engineering, Springer, Vol. 61/2012, pp. 163-174, 2012, Lecture Notes in Applied and Computational Mechanics, ⟨10.1007/978-3-642-24638-8⟩
...
hal-00690923v1  Communication dans un congrès
Hanh Nhi TranChristian Percebois. Towards a Rule-level Verification Framework for Property-Preserving Graph Transformations
ICST (International Conference on Software Testing, Verification and Validation) Workshop on Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-00497879v1  Article dans une revue
Mostapha TarfaouiPapa-Birame GningFrancis Collombet. Residual strength of damaged glass/epoxy tubular structures.
Journal of Composite Materials, SAGE Publications, 2007, 41 (18), pp.2165-2182. ⟨10.1177/0021998307074144⟩
hal-02924428v1  Chapitre d'ouvrage
Didier DuboisLuc JaulinHenri Prade. Thick sets, multiple-valued mappings, and possibility theory
Vladik Kreinovich. Statistical and Fuzzy Approaches to Data Processing, with Applications to Econometrics and Other Areas, 892, Springer, pp.101-109, 2021, Studies in Computational Intelligence, 978-3-030-45618-4. ⟨10.1007/978-3-030-45619-1_8⟩
inria-00545185v1  Communication dans un congrès
Vincent GibiatAbril PadillaValentin EmiyaLionel Cros. Phase characterization of soundscapes
149th Meeting of the Acoustical Society of America, May 2005, Vancouver, Canada
...
hal-02280754v1  Communication dans un congrès
Ramzi MhenniSébastien BourguignonMarcel MongeauJordan NininHervé Carfantan. Algorithme branch-and-bound pour l’optimisation exacte en norme l0
XXVIIème Colloque francophone de traitement du signal et des images (GRETSI 2019), Aug 2019, Lille, France
hal-00635897v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Context Modelling and Partial-Order Reduction: Application to SDL Industrial Embedded Systems
IEEE SIES'10 - Symposium on industrial Embedded Systems, Jul 2010, Trento, Italy
hal-00636878v1  Communication dans un congrès
Philippe DhaussyFrédéric BoniolJean-Charles Roger. Reducing State Explosion with Context Modeling for Model-Checking
HASE'11, Nov 2011, Boca Ranton, United States
hal-00635533v1  Communication dans un congrès
Xavier DumasFrédéric BoniolPhilippe DhaussyEric Bonnafous. Application of partial-order methods for the verification of closed-loop SDL systems
SAC'11 - 26th Symposium On Applied Computing, Mar 2011, TaiChung, Taiwan. pp.ACM 978-1-4503-0113-8/11/03
hal-00744434v1  Article dans une revue
Philippe DhaussyFrédéric BoniolJean-Charles RogerAmine RajiYves Le Traon et al.  Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
...
inria-00555044v1  Communication dans un congrès
Benoit BaudryPierre BazexJean-Charles DalbinPhilippe DhaussyHubert Dubois et al.  Trust in MDE Components: the DOMINO Experiment
SD4RCES workshop in conjunction with SAFECOMP 2010, 2010, Vienna, Austria
hal-02583457v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonJordan NininMarcel MongeauHervé Carfantan. Algorithme branch-and-bound pour l’optimisation exacte en norme L0
GRETSI, XXVIIème Colloque francophone de traitement du signal et des images, Aug 2019, Lille, France
hal-02564594v1  Communication dans un congrès
Ramzi Ben MhenniSébastien BourguignonMarcel MongeauJordan NininHervé Carfantan. Sparse Branch and Bound for Exact Optimization of L0-Norm Penalized Least Squares
ICASSP 2020, IEEE International Conference on Acoustics, Speech and Signal Processing, May 2020, Barcelona, Spain. pp.ISBN: 978-1-5090-6632-2, ⟨10.1109/ICASSP40776.2020.9053870⟩
hal-00847250v1  Article dans une revue
Charles AudetPierre HansenFrédéric MessineJordan Ninin. The Small Octagons of MaximalWidth
Discrete and Computational Geometry, Springer Verlag, 2013, 49 (3), pp.589-600. ⟨10.1007/s00454-013-9489-x⟩