Skip to Main content Skip to Navigation

hal-03328649v1  Conference papers
Ismail MendilYamine Aït-AmeurNeeraj K. SinghDominique MéryPhilippe Palanque. Standard Conformance-by-Construction with Event-B
26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), European Research Consortium for Informatics and Mathematics: ERCIM, Working Group on Formal Methods for Industrial Critical Systems, Aug 2021, Paris (virtual), France. pp.126-146, ⟨10.1007/978-3-030-85248-1_8⟩
hal-00641321v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël RusinowitchMathieu Turuani. Distributed Orchestration of Web Services under Security Constraints
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
hal-00641326v1  Conference papers
Tigran AvanesovYannick ChevalierMohammed Anis MekkiMichaël Rusinowitch. Web Services Verification and Prudent Implementation
4th SETOP International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
hal-00863046v1  Conference papers
Zhao LiuJosiane Zerubia. Towards Automatic Acne Detection Using a MRF Model with Chromophore Descriptors
European Signal Processing Conference (EUSIPCO), Sep 2013, Marrakech, Morocco
hal-03155433v1  Conference papers
Sylvain PrigentCharles KervrannJean Salamero. BioImage-IT: Design data analysis workflows using tools from different languages and keep track of the metadata
NEUBIAS 2020 - The 4th Network of BioImage Analysts Conference and Symposium, Feb 2020, Bordeaux, France. pp.1
hal-00541441v1  Directions of work or proceedings
Sébastien GérardJean-Philippe BabauJoël Champeau. Model Driven Engineering for Distributed Real-Time Embedded Systems
Hermes Science Publishing, pp.Non renseigné, 2005
hal-00872331v1  Conference papers
Zhao LiuJosiane Zerubia. Melanin and Hemoglobin Identification for Skin Disease Analysis
Asian Conference on Pattern Recognition (ACPR), Nov 2013, Okinawa, Japan
hal-02922043v1  Conference papers
F HähnleinY GryaditskayaA Bousseau. Bitmap or Vector? A study on sketch representations for deep stroke segmentation
Journées Francaises d'Informatique Graphique et de Réalité virtuelle, Nov 2019, Marseille, France
hal-01225640v1  Conference papers
Milan KabáčNic VolanschiCharles Consel. An Evaluation of the DiaSuite Toolset by Professional Developers
Workshop on Evaluation and Usability of Programming Languages and Tools (PLATEAU) 2015, Oct 2015, Pittsburgh, United States
inria-00472287v3  Conference papers
Daniel Le MétayerManuel MaarekEduardo MazzaMarie-Laure PotetStéphane Frénot et al.  Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study
ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010), ACM/IEEE, May 2010, Cape Town, South Africa. pp.135--144, ⟨10.1145/1806799.1806823⟩
hal-00850145v1  Conference papers
Yongxin LiaoMario LezocheEduardo Rocha LouresHervé PanettoNacer Boudjlida. Semantic enrichment of models to assist knowledge management in a PLM environment
21st International Conference on Cooperative Information Systems CoopIS 2013, Sep 2013, Graz, Austria. pp.267-274
hal-01205816v1  Journal articles
Simona DobreThierry BastogneMuriel Barberi-HeyobFrançois GuilleminAlain Richard. Conception assistée par une analyse de sensibilité globale d’une plate-forme dédiée à la recherche en thérapie photodynamique
Journal de la Société Française de Statistique, Société Française de Statistique et Société Mathématique de France, 2011, 152 (1), pp.72-88
hal-00722740v1  Conference papers
Yongxin LiaoMario LezocheEduardo Rocha LouresHervé PanettoNacer Boudjlida. Formalization of semantic annotation for systems interoperability in a PLM environment
OTM Federated conferences and worlshops, 2nd Workshop on Industrial and Business Applications of Semantic Web Technologies (INBAST), Sep 2012, Rome, Italy. pp.207-218, ⟨10.1007/978-3-642-33618-8-207⟩
hal-01817505v1  Journal articles
Adam GaierAlexander AsterothJean-Baptiste Mouret. Data-Efficient Design Exploration through Surrogate-Assisted Illumination
Evolutionary Computation, Massachusetts Institute of Technology Press (MIT Press), 2018, 26 (3), pp.381-410. ⟨10.1162/evcoa_00231⟩
hal-00645347v1  Journal articles
Robert IacobJean-Claude LéonPeter Mitrouchev. Assembly simulation incorporating component mobility modelling based on functional surfaces
International Journal on Interactive Design and Manufacturing, Springer Verlag, 2011, 5 (2), pp.119-132. ⟨10.1007/s12008-011-0120-1⟩
inria-00503126v1  Conference papers
Jean-Rémy ChardonnetJean-Claude Léon. Design of an immersive peripheral for object grasping
DETC2010 - ASME 2010 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, Aug 2010, Montréal, Canada. pp.1335-1344, ⟨10.1115/DETC2010-28416⟩