268 results  save search

hal-01803031v1  Conference papers
Dorian LeroyErwan BousseAnaël MegnaBenoit CombemaleManuel Wimmer. Trace Comprehension Operators for Executable DSLs
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
hal-02407868v1  Conference papers
Marcelino Rodriguez-CancioBenoit CombemaleBenoit Baudry. Approximate Loop Unrolling
CF 2019 - ACM International Conference on Computing Frontiers, Apr 2019, Alghero, Sardinia, Italy. pp.94-105, ⟨10.1145/3310273.3323841⟩
hal-02407886v1  Book sections
Benoit CombemaleManuel Wimmer. Towards a Model-Based DevOps for Cyber-Physical Systems
Software Engineering Aspects of Continuous Development, Springer-Verlag, pp.1-11, 2019
hal-02407932v1  Conference papers
Mojtaba BagherzadehKarim JahedBenoit CombemaleJuergen Dingel. Live-UMLRT: A Tool for Live Modeling of UML-RT Models
MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, Sep 2019, Munich, Germany. pp.743-747, ⟨10.1109/MODELS-C.2019.00115⟩
hal-01298206v2  Conference papers
Caroline CollangeMioara JoldesJean-Michel MullerValentina Popescu. Parallel floating-point expansions for extended-precision GPU computations
The 27th Annual IEEE International Conference on Application-specific Systems, Architectures and Processors (ASAP), Jul 2016, London, United Kingdom
hal-00684943v1  Journal articles
Raphaël BolzeFranck CappelloEddy CaronMichel DaydeFrédéric Desprez et al.  Grid'5000: A Large Scale And Highly Reconfigurable Experimental Grid Testbed
International Journal of High Performance Computing Applications, SAGE Publications, 2006, 20 (4), pp.481-494. ⟨10.1177/1094342006070078⟩
hal-00653367v1  Conference papers
Ricardo Bedin FrançaSandrine BlazyDenis Favre-FelixXavier LeroyMarc Pantel et al.  Formally verified optimizing compilation in ACG-based flight control software
ERTS2 2012: Embedded Real Time Software and Systems, AAAF, SEE, Feb 2012, Toulouse, France
hal-00743270v2  Conference papers
Srinivas PinisettyYliès FalconeThierry JéronHervé MarchandAntoine Rollet et al.  Runtime Enforcement of Timed Properties
3rd International Conference on Runtime Verification, Sep 2012, Istanbul, Turkey. pp.229-244, ⟨10.1007/978-3-642-35632-2_23⟩
hal-00953888v1  Conference papers
Philippe JolyJenny Benois-PineauEwa KijakGeorges Quénot. The ARGOS campaign: Evaluation of Video Analysis Tools
Fifth International Workshop on Content-Based Multimedia Indexing (CBMI'07), 2007, Bordeaux, France. ⟨10.1109/CBMI.2007.385402⟩
inria-00504667v1  Conference papers
Xavier CrégutBenoit CombemaleMarc PantelRaphaël FaudouxJonatas Pavei. Generative technologies for model animation in the TopCased platform
6th European Conference on Modelling Foundations and Applications (ECMFA 2010), 2010, Paris, France, South Africa. pp.90--103
hal-01000314v1  Conference papers
Laurent MicletNelly BarbotHenri Prade. From analogical proportions in lattices to proportional analogies in formal concepts
ECAI - 21th European Conference on Artificial Intelligence, Aug 2014, Prague, Czech Republic
hal-00908005v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Analogical proportions and the factorization of information in distributive lattices
10th International Conference on Concept Lattices and Their Applications (CLA), Oct 2013, La Rochelle, France
hal-00908020v1  Conference papers
Nelly BarbotLaurent MicletHenri Prade. Proportions analogiques et factorisation de l'information dans les treillis distributifs
Journées d'Intelligence Artificielle Fondamentale (JIAF), Jun 2013, Aix en Provence, France
hal-02360681v1  Book sections
Benedikt AhrensRalph Matthes. Heterogeneous Substitution Systems Revisited
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
hal-00770563v1  Book sections
Andreas HerzigPhilippe Besnard. Représentation des connaissances : modalités, conditionnels et raisonnement non monotone
Pierre Marquis and Odile Papini and Henri Prade. Panorama de l'intelligence artificielle Ses bases méthodologiques, ses développements, 2, Cépaduès, 2013
hal-00871750v1  Conference papers
Nina NarodytskaThierry PetitMohamed SialaToby Walsh. Three Generalizations of the FOCUS Constraint
23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), Aug 2013, Beijing, China. p.630 ; ISBN 978-1-57735-633-2
hal-01258358v1  Conference papers
Benoit CombemaleCédric BrunJoël ChampeauXavier CrégutJulien Deantoni et al.  A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
inria-00434346v1  Journal articles
Yuhong YanPhilippe DagueYannick PencoléMarie-Odile Cordier. A Model-based Approach for Diagnosing Faults in Web Service Processes
International Journal of Web Services Research JWSR, Idea Group Publishing, 2009
hal-00926244v1  Conference papers
Benoit CombemaleJulien DeantoniRobert FranceFrédéric BoulangerSébastien Mosser et al.  Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
GEMOC+AMINO@MoDELS: GEMOC - 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. pp.3-13
hal-01375576v1  Conference papers
Angeliki KritikakouThibaut MartyClaire PagettiChristine RochangeMichaël Lauer et al.  Multiplexing Adaptive with Classic AUTOSAR? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems
Workshop CARS 2016 - Critical Automotive applications : Robustness & Safety, Sep 2016, Göteborg, Sweden