Skip to Main content Skip to Navigation

hal-00943540v1  Book sections
Sébastien GérardCedric DumoulinPatrick TessierBran Selic. Papyrus: A UML2 Tool for Domain-Specific Language Modeling Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz. Model-Based Engineering of Embedded Real-Time Systems, 6100, Springer Berlin Heidelberg, pp.361-368, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-16277-0_19⟩
hal-00677651v1  Conference papers
Bertrand DelezoideFrédéric PreciosoPhilippe-Henri GosselinMiriam RediBernard Merialdo et al.  IRIM at TRECVID 2011: Semantic Indexing and Instance Search
TRECVID 2011 - TREC Video Retrieval Evaluation Online, Nov 2011, Gaithersburg, MD, United States. 12p
hal-00770258v1  Conference papers
Nicolas BallasBenjamin LabbéAymen ShabouHervé Le BorgnePhilippe-Henri Gosselin et al.  IRIM at TRECVID 2012: Semantic Indexing and Instance Search
TRECVID - TREC Video Retrieval Evaluation workshop, Nov 2012, Gaithersburg, MD, United States. 12p
hal-01228715v1  Conference papers
Jean-Marie MottuSagar SenJuan CadavidBenoit Baudry. Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Nov 2015, Washington DC, United States
cea-01803832v1  Journal articles
Salvador MartínezValerio CosentinoJordi Cabot. Model-based analysis of Java EE web security misconfigurations
Computer Languages, Systems and Structures, Elsevier, 2017, 49 (SI), pp.36-61. ⟨10.1016/⟩
inria-00204114v1  Conference papers
Frédéric LoiretDavid ServatLionel Seinturier. A First Experimentation on High-Level Tooling Support upon Fractal
ECOOP 2006 - Workshop Fractal, Jul 2006, Nantes, France
hal-00937766v1  Journal articles
Audrey VigneronÉdouard DemaldentMarc Bonnet. Surface integral equations for electromagnetic testing: the low-frequency and high-contrast case
IEEE Transactions on Magnetics, Institute of Electrical and Electronics Engineers, 2014, 50, pp.7002704. ⟨10.1109/TMAG.2013.2283297⟩
hal-02867095v1  Reports
Yackolley Amoussou-GuenouBruno BiaisMaria Potop-ButucaruSara Tucci-Piergiovanni. Rational Behavior in Committee-Based Blockchains
[Research Report] CEA List; LIP6, Sorbonne Université, CNRS, UMR 7606; HEC Paris. 2020
hal-00909365v1  Journal articles
Mario BravettiCinzia Di GiustoJorge A. PérezGianluigi Zavattaro. Adaptable Processes
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (4:13), pp.1--71
hal-00685504v1  Conference papers
Omar ChebaroNikolai KosmatovNicky WilliamsBernard BotellaMuriel Roger. A lesson on structural testing with
6th International Conference on Tests & Proofs, May 2012, Prague, Czech Republic. pp.0-0
hal-01093719v1  Journal articles
Didier RémyBoris Yakobowski. A Church-Style Intermediate Language for MLF
Theoretical Computer Science, Elsevier, 2012, 435, pp.77--105. ⟨10.1016/j.tcs.2012.02.026⟩
hal-02119956v1  Conference papers
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. Blockchains basées sur du Consensus Répété
ALGOTEL 2019 - 21èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Jun 2019, Saint Laurent de la Cabrerisse, France
inria-00522657v1  Conference papers
Asma CharfiChokri MraidhaSébastien GerardFrançois TerrierPierre Boulet. Toward optimized code generation through model-based optimization
DATE 2010 - Design, Automation and Test in Europe Conference and Exhibition, Mar 2010, Dresden, Germany. pp.1313--1316, ⟨10.1109/DATE.2010.5457010⟩
inria-00522661v1  Conference papers
Asma CharfiChokri MraidhaSébastien GérardFrançois TerrierPierre Boulet. Does Code Generation Promote or Prevent Optimizations?
ISORC 2010 - 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, May 2010, Parador of Carmona, Spain. pp.75--79, ⟨10.1109/ISORC.2010.25⟩
inria-00585728v1  Conference papers
David BaeldeRomain BeauxisSamuel Mimram. Liquidsoap: a High-Level Programming Language for Multimedia Streaming
SOFSEM 2011: Theory and Practice of Computer Science, Jan 2011, Nový Smokovec, Slovakia. pp.99-110, ⟨10.1007/978-3-642-18381-2_8⟩
hal-02322642v1  Conference papers
Yackolley Amoussou-GuenouAntonella del PozzoMaria Potop-ButucaruSara Tucci-Piergiovanni. On Fairness in Committee-based Blockchains
2nd International Conference on Blockchain Economics, Security and Protocols (Tokenomics 2020), Oct 2020, Toulouse, France
inria-00455341v1  Conference papers
Xavier AllamigeonStéphane GaubertEric Goubault. The tropical double description method
27th International Symposium on Theoretical Aspects of Computer Science - STACS 2010, Inria Nancy Grand Est & Loria, Mar 2010, Nancy, France. pp.47-58
inria-00327342v1  Conference papers
Michal MalohlavaAles PlsekFrédéric LoiretPhilippe MerleLionel Seinturier. Introducing Distribution into a RTSJ-based Component Framework
2nd Junior Researcher Workshop on Real-Time Computing (JRWRTC 2008), Oct 2008, Rennes, France. pp.1-4
hal-01935591v1  Conference papers
François BobotStéphane Graham-LengrandBruno MarreGuillaume Bury. Centralizing equality reasoning in MCSAT
16th International Workshop on Satisfiability Modulo Theories (SMT 2018), Jul 2018, Oxford, United Kingdom
hal-00952318v1  Book sections
Pablo de Oliveira CastroStéphane LouiseDenis Barthou. DSL Stream Programming on Multicore Architectures
Programming multi-core and many-core computing systems, John Wiley and Sons, chapter 12, 2014, 978-0-470-93690-0. ⟨10.1002/9781119332015.ch7⟩
inria-00512541v1  Book sections
Jean-Marc JézéquelSébastien GérardBenoit Baudry. Le génie logiciel et l'IDM : une approche unificatrice par les modèles
J. Estublier. L'ingénierie dirigée par les modèles, Lavoisier, Hermes-science, 2006