1662 results  save search

hal-00124936v2  Book sections
Monique DaugeSébastien TordeuxGrégory Vial. Self-similar perturbation near a corner: matching versus multiscale expansions for a model problem
Ari Laptev, Tamara Rozhkovskaya. Around the Research of Vladimir Maz'ya II, Partial Differential Equations., Springer, pp.95-134, 2010, International Mathematical Series, ⟨10.1007/978-1-4419-1343-2_4⟩
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-02120763v1  Journal articles
Christophe FliedelGilles SchneePierre Braunstein. Versatile coordination modes of novel hemilabile S-NHC ligands
Dalton Transactions, Royal Society of Chemistry, 2009, pp.2474-2476. ⟨10.1039/B902314N⟩
hal-00759110v1  Journal articles
Michał TurowskiClaudine CrépinMarcin GronowskiJean-Claude GuilleminAnne Coupeaud et al.  Electronic absorption and phosphorescence of cyanodiacetylene.
Journal of Chemical Physics, American Institute of Physics, 2010, 133 (7), pp.074310. ⟨10.1063/1.3472978⟩
inria-00555754v1  Journal articles
Guillaume FeuilladeSophie Pinchinat. Modal Specifications for the Control Theory of Discrete Event Systems
Discrete Event Dynamic Systems, Springer Verlag, 2007, 17 (2), pp.211-232