Skip to Main content Skip to Navigation

hal-00695619v1  Conference papers
Alireza Esna AshariLaurent Mevel. Input-Output Subspace-Based Fault Detection
8th IFAC Symposium on fault detection, diagnosis and safety of technical processes, IFAC, Aug 2012, Mexico City, Mexico
hal-00696018v1  Conference papers
Joseph MorlierLaurent Mevel. Modeshapes Recognition Using Fourier Descriptors: A Simple SHM Example
30th International Modal Analysis Conference, SEM, Jan 2012, JacksonVille, United States
hal-00752221v1  Conference papers
Ahmed JhinaouiLaurent MevelJoseph MorlierWensong Zhou. Generalized subspace identification for rotating systems: application to a wind turbine
Leuven Conference on Noise and Vibration Engineering, Sep 2012, Leuven, Belgium
hal-00743981v1  Journal articles
Yliès FalconeJean-Claude FernandezThierry JéronHervé MarchandLaurent Mounier. More testable properties
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (4), pp.407-437. ⟨10.1007/s10009-011-0220-z⟩
hal-00694584v1  Journal articles
Thomas CorpettiEtienne Mémin. Stochastic uncertainty models for the luminance consistency assumption
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (2), pp.481-493. ⟨10.1109/TIP.2011.2162742⟩
hal-00754043v1  Conference papers
Arnaud LetortNicolas BeldiceanuMats Carlsson. A Scalable Sweep Algorithm for the cumulative Constraint
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.439-454, ⟨10.1007/978-3-642-33558-7_33⟩
hal-00754044v1  Conference papers
Nicolas BeldiceanuHelmut Simonis. A Model Seeker: Extracting Global Constraint Models from Positive Examples
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada. pp.141-157, ⟨10.1007/978-3-642-33558-7_13⟩
lirmm-00748195v1  Conference papers
Mohamed WahbiRedouane EzzahirChristian BessièreEl Houssine Bouyakhf. Maintaining Arc Consistency Asynchronously in Synchronous Distributed Search
ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2012, Athens, Greece. pp.33-40, ⟨10.1109/ICTAI.2012.14⟩
hal-00907240v1  Conference papers
Michèle CarlierA. PoulainC. BacheletJ. LabireYves Martin et al.  Perception de l'espace d'action chez les patients hémiplégiques
Symposium International de Neuropsychologie: Rehabilitation Cognitive et prise en charge chirurgicale, Jun 2012, Lille, France
hal-00714721v1  Journal articles
Asja JelićCécile Appert-RollandSamuel LemercierJulien Pettré. Properties of pedestrians walking in line: Stepping behavior
Physical Review E : Statistical, Nonlinear, and Soft Matter Physics, American Physical Society, 2012, 86, pp.046111
hal-00716032v1  Journal articles
Mehdi MoussaidElsa G. GuillotMathieu MoreauJérôme FehrenbachOlivier Chabiron et al.  Traffic Instabilities in Self-Organized Pedestrian Crowds
PLoS Computational Biology, Public Library of Science, 2012, 8 (3), pp.1002442. ⟨10.1371/journal.pcbi.1002442⟩
hal-00710695v1  Journal articles
Frederico Alvares de Oliveira Jr.Thomas Ledoux. Self-management of cloud applications and infrastructure for energy optimization
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2)
hal-00734143v1  Books
Hugo ArboledaJean-Claude Royer. Model-Driven and Software Product Line Engineering
ISTE LTd and John Wiley & Sons, Inc., pp.288, 2012, 978-1-84821-427-9
hal-00714262v1  Reports
Amélie Stainer. Frequencies in forgetful timed automata
[Research Report] RR-8009, INRIA. 2012
hal-00752412v1  Conference papers
Jean-Marie MottuSagar SenMassimo TisiJordi Cabot. Static Analysis of Model Transformations for Effective Test Generation
ISSRE - 23rd IEEE International Symposium on Software Reliability Engineering, 2012, Dallas, United States
hal-00752440v1  Conference papers
Nathalie BertrandSven Schewe. Playing Optimally on Timed Automata with Random Delays
Formats - 10th International Conference on Formal Modeling and Analysis of Timed Systems - 2012, Sep 2012, London, United Kingdom. pp.43-58, ⟨10.1007/978-3-642-33365-1_5⟩
hal-00752445v1  Conference papers
Nathalie BertrandJohn FearnleySven Schewe. Bounded Satisfiability for PCTL
CSL - 21st EACSL Annual Conferences on Computer Science Logic - 2012, Sep 2012, Fontainebleau, France. pp.92-106, ⟨10.4230/LIPIcs.CSL.2012.92⟩
hal-00752446v1  Conference papers
Nathalie BertrandGiorgio DelzannoBarbara KönigArnaud SangnierJan Stückrath. On the Decidability Status of Reachability and Coverability in Graph Transformation Systems
RTA - 23rd International Conference on Rewriting Techniques and Applications - 2012, 2012, Nagoya, Japan. pp.101-116, ⟨10.4230/LIPIcs.RTA.2012.101⟩
hal-00753673v1  Conference papers
Thierry Petit. Focus: A Constraint for Concentrating High Costs
Proc. First International Workshop on Search Strategies and Non-standard Objectives, (CPAIOR-SSNOW'12), May 2012, Nantes, France, France
hal-00753664v1  Conference papers
Thierry Petit. Intermediary Local Consistencies
European Conference on Artificial Intelligence (ECAI'12), Aug 2012, Montpellier, France, France
hal-00744081v1  Conference papers
Amélie Stainer. Frequencies in Forgetful Timed Automata
Formal Modeling and Analysis of Timed Systems, Sep 2012, London, United Kingdom. pp.236-251
hal-00682914v1  Conference papers
Frederico Alvares de Oliveira Jr.Rémi SharrockThomas Ledoux. Synchronization of Multiple Autonomic Control Loops: Application to Cloud Computing
14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. pp.29-43, ⟨10.1007/978-3-642-30829-1_3⟩
hal-00754354v1  Conference papers
Helmut SimonisNicolas Beldiceanu. Building global constraint models from positive examples
21th International Symposium on Mathematical Programming (ISMP'12), Aug 2012, Berlin, Germany
hal-00753598v1  Conference papers
Thierry Petit. Focus: A Constraint for Concentrating High Costs
Principles and Practice of Constraint Programming CP2012, Oct 2012, Quebec city, Canada. pp.577-592, ⟨10.1007/978-3-642-33558-7_42⟩
hal-00754341v1  Conference papers
Helmut SimonisNicolas Beldiceanu. A Model Seeker: Extracting Global Constraint Models From Positive Examples
First workshop on COmbining COnstraint solving with MIning and LEarning (CoCoMile'12), Aug 2012, Montpellier, France
hal-00754356v1  Conference papers
Nicolas BeldiceanuPierre FlenerJean-Noël MonetteJustin PearsonHelmut Simonis. Some Research Challenges and Remarks on CP
18th International Conference on Principles and Practice of Constraint Programming (CP'12), Oct 2012, Quebec, Canada
hal-00733182v1  Conference papers
Akram Ajouli. An Automatic Reversible Transformation from Composite to Visitor in Java
CIEL 2012 - Conférence en IngénieriE du Logiciel, Jun 2012, Rennes, France
hal-00734417v1  Conference papers
Yousri KoukiThomas Ledoux. SLA-driven Capacity Planning for Cloud applications
IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2012, Dec 2012, Taipei, Taiwan. pp.135-140
hal-00715043v1  Conference papers
Fabian BuettnerJordi Cabot. Lightweight String Reasoning for OCL
8th European Conference on Modelling Foundations and Applications July 2-5, 2012, Technical University of Denmark Kgs. Lyngby, Denmark, Jul 2012, Lyngby, Denmark
hal-00715033v1  Conference papers
Fabian BuettnerMarina EgeaJordi Cabot. On verifying ATL transformations using 'off-the-shelf' SMT solvers
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
hal-00728546v1  Conference papers
Jurgen Michael van Ham. Adding high-level concurrency to EScala
Aspect-oriented software development, Mar 2012, Potsdam, Germany. pp.19-20, ⟨10.1145/2162110.2162125⟩
tel-00761919v1  Theses
Pierre Dérian. Wavelets and Fluid Motion Estimation
Computer Vision and Pattern Recognition [cs.CV]. Université Rennes 1, 2012. English
hal-00711819v1  Conference papers
Carlos Alberto González PérezJordi Cabot. ATLTest: A White-Box Test Generation Approach for ATL Transformations
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Sep 2012, Innsbruck, Austria
hal-00692175v1  Conference papers
Sagar SenJean-Marie MottuMassimo TisiJordi Cabot. Using Models of Partial Knowledge to Test Model Transformations
International Conference on Model Transformation, May 2012, Prague, Czech Republic
hal-00670375v1  Journal articles
Patrick HéasCédric HerzetEtienne Mémin. Bayesian inference of models and hyper-parameters for robust optic-flow estimation
IEEE Transactions on Image Processing, Institute of Electrical and Electronics Engineers, 2012, 21 (4), pp.1437-1451
hal-00720739v1  Reports
Gilles ChabertRémi Douence. From Implicit to Explicit Pavings
[Research Report] RR-8028, INRIA. 2012
hal-00589881v1  Journal articles
Arnaud DebusscheErwan Faou. Weak backward error analysis for SDEs
SIAM Journal on Numerical Analysis, Society for Industrial and Applied Mathematics, 2012, 50 (3), pp.1735-1752. ⟨10.1137/110831544⟩
hal-00746563v1  Journal articles
Assyr AbdulleDavid CohenGilles VilmartKonstantinos Zygalakis. High weak order methods for stochastic differential equations based on modified equations
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (3), pp.1800-1823. ⟨10.1137/110846609⟩
hal-00751788v1  Journal articles
Mohammed LemouFlorian Méhats. Micro-macro schemes for kinetic equations including boundary layers
SIAM Journal on Scientific Computing, Society for Industrial and Applied Mathematics, 2012, 34 (6), pp.734-760
hal-00734712v1  Journal articles
Claudia AyalaXavier FranchDavid AmellerJordi CabotFrank Buschmann. Architecture Quality Revisited
IEEE Software, Institute of Electrical and Electronics Engineers, 2012, 29 (4), pp.22-24
hal-00734573v1  Conference papers
Elena PlanasDavid Sanchez-MendozaJordi CabotCristina Gómez. Alf-verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models
31st International Conference on Conceptual Modeling (ER Workshops 2012), Oct 2012, Florence, Italy
hal-00755014v1  Conference papers
David AmellerClaudia AyalaJordi CabotXavier Franch. How do software architects consider non-functional requirements: An exploratory study
Requirements Engineering Conference (RE), 2012 20th IEEE International, Sep 2012, Chicago, United States. ⟨10.1109/RE.2012.6345838⟩
hal-00690706v1  Conference papers
Éric TanterNicolas TabareauRémi Douence. Taming Aspects with Membranes
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
hal-00875262v1  Journal articles
Broderick CrawfordCarlos CastroEric MonfroyRicardo SotoWenceslao Palma et al.  Dynamic selection of enumeration strategies for solving constraint satisfaction problems
Romanian Journal of Information Science and Technology, Romanian Academy, 2012, 15 (2), pp.106-128
hal-01442159v1  Journal articles
J. -C. MauduitM. LacyD. FarrahJ. A. SuraceM. Jarvis et al.  The Spitzer Extragalactic Representative Volume Survey (SERVS): Survey Definition and Goals
Publications of the Astronomical Society of the Pacific, Astronomical Society of the Pacific, 2012, 124 (917), pp.714-736. ⟨10.1086/666945⟩
hal-00875224v1  Conference papers
Broderick CrawfordC. Leon de la BarraRicardo SotoS. MisraE. Monfroy. Knowledge Management and Creativity Practices in Software Engineering
The International Conference on Knowledge Management and Information Sharing (KMIS), 2012, Barcelona, Spain, Spain. pp.277--280
hal-00875758v1  Journal articles
Claudio ValenzuelaBroderick CrawfordRicardo SotoEric MonfroyFernando Paredes. A 2-level metaheuristic for the set covering problem.
International Journal of Computers, Communications and Control, Agora University of Oradea, 2012, 7 (2), pp.377-387
hal-00875751v1  Journal articles
Ricardo SotoBroderick CrawfordEric MonfroyFernando Paredes. Syntax extensions for a constrained-object language via dynamic parser cooperation
Studies in Informatics and Control, Informatics and Control Publications, 2012, 41 (1), pp.41-48
hal-00690717v1  Conference papers
Ismael FigueroaÉric TanterNicolas Tabareau. A Practical Monadic Aspect Weaver
Foundations of Aspect-Oriented Languages, Mar 2012, Potsdam, Germany
hal-00726770v1  Conference papers
Tom DinkelakerJohan FabryJacques Noyé. Proceedings of the seventh workshop on Domain-Specific Aspect Languages (DSAL 2012)
AOSD - Aspect-Oriented Software Development - 2012, Mar 2012, Potsdam, Germany
hal-00875217v1  Conference papers
R. And SotoJ. GutiérrezA. LópezBroderick CrawfordE. Monfroy. Solving Manufacturing Cell Design Problems using Constraint Programming
The 25th International Conference on Industrial, Engineering and Other Aplications of Applied Intelligent Systems (IEA/AIE), 2012, Dalian, China, China. pp.400--406
hal-00875215v1  Conference papers
Broderick CrawfordCarlos CastroEric MonfroyRicardo SotoWenceslao Palma et al.  Hyperheuristic Approach for Guiding Enumeration in Constraint Solving
EVOLVE - A Bridge between Probability, Set Oriented Numerics, and Evolutionary Computation, 2012, Dalian, China. pp.171-188
hal-00875226v1  Conference papers
Broderick CrawfordC. Leon de la BarraRicardo SotoEric Monfroy. Agile Software Teams Must be Creatives
IEEE Workshop on Engineering Applications, 2012, Bogotá, Colombia, Colombia
hal-00875225v1  Conference papers
Ricardo SotoBroderick CrawfordE. MonfroyV. Bustos. Using Autonomous Search for Generating Food Enumeration Strategy Blends in Constraint Programming
The 12th International Conference on Computational Science and Its Applications (ICCSA), 2012, Salvador de Bahía, Brazil, Brazil. pp.607--617
hal-01853135v1  Conference papers
Ahmed JhinaouiLaurent MevelJoseph Morlier. Subspace Instability Monitoring for Linear Periodically Time-Varying Systems
16th IFAC Symposium on System Identification, Jul 2012, Brussels, Belgium. pp.380-385
hal-00688039v1  Conference papers
Carlos Alberto González PérezFabian BuettnerRobert ClarisóJordi Cabot. EMFtoCSP: A Tool for the Lightweight Verification of EMF Models
Formal Methods in Software Engineering: Rigorous and Agile Approaches (FormSERA), Jun 2012, Zurich, Switzerland
hal-00687042v1  Conference papers
Javier CánovasJordi Cabot. Community-Driven Language Development
International Workshop on Modelling in Software Engineering, Jun 2012, Zurich, Switzerland
hal-00711524v1  Conference papers
Cauê ClasenMarcos Didonet del FabroMassimo Tisi. Transforming Very Large Models in the Cloud: a Research Roadmap
CloudMDE 2012 - First International Workshop on Model-Driven Engineering on and for the Cloud, Jul 2012, Copenhagen, Denmark
hal-00921653v1  Journal articles
Hui-Zi ChenMadhu OusephJing LiThierry PécotVeda Chokshi et al.  Canonical and Atypical E2Fs Regulate the Mammalian Endocycle
Nature Cell Biology, Nature Publishing Group, 2012
hal-00655398v1  Conference papers
Laurent SimonEmmanuel Vincent. A general framework for online audio source separation
International conference on Latent Variable Analysis and Signal Separation, Mar 2012, Tel-Aviv, Israel
hal-00718716v1  Journal articles
Alysson BessaniRüdiger KapitzaDana PetcuPaolo RomanoSpyridon V. Gogouvitis et al.  A look to the old-world sky: EU-funded dependability cloud computing research
Operating Systems Review, Association for Computing Machinery, 2012, 46 (2), pp.43-56. ⟨10.1145/2331576.2331584⟩
hal-00952129v1  Book sections
Pierre DuhamelEnrico MagliGabriella OlmoChristine GuillemotMichel Kieffer et al.  Multimedia signal processing for wireless delivery
Sergio Benedetto, Luis M. Correia, Marco Luise. The Newcom++ Vision Book, Springer, pp.131-143, 2012, ⟨10.1007/978-88-470-1983-6_7⟩
hal-00658239v1  Book sections
Jordi Perez-RomeroSergio PalazzoLaura GalluccioGiacomo MorabitoAlessandro Leonardi et al.  Heterogeneous and opportunistic wireless networks
Sergio Benedetto (Editor), Marco Luise (Editor), Luis Correia (Editor). The Newcom++ Vision Book: Perspectives of Research on Wireless Communications in Europe, Springer, pp.41-66, 2012, ⟨10.1007/978-88-470-1983-6_3⟩
hal-00692174v1  Journal articles
Philip LangerKonrad WielandManuel WimmerJordi Cabot. EMF Profiles: A Lightweight Extension Approach for EMF Models
The Journal of Object Technology, Chair of Software Engineering, 2012, 11 (1), pp.1-29
hal-00670033v1  Book sections
Frederico Alvares de Oliveira Jr.Adrien LebreThomas LedouxJean-Marc Menaud. Self-management of applications and systems to optimize energy in data centers
Ivona Brandic and Massimo Villari and Francesco Tusa. Achieving Federated and Self-Manageable Cloud Infrastructures: Theory and Practice, IGI Global, 2012
hal-00752687v1  Book sections
Jesús Sánchez CuadradoJavier CánovasJesus Garcia Molina. Comparison between internal and external DSLs via RubyTL and Gra2MoL
Marjan Mernik. Formal and Practical Aspects of Domain-Specific Languages: Recent Developments, IGI Global, 2012, 9781466620926. ⟨10.4018/978-1-4666-2092-6.ch005⟩
hal-00755006v1  Books
Marco BrambillaJordi CabotManuel Wimmer. Model-Driven Software Engineering in Practice
Morgan & Claypool, pp.182, 2012, 9781608458820
hal-00755009v1  Book sections
Jordi CabotMartin Gogolla. Object Constraint Language (OCL): A Definitive Guide
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio. Formal Methods for Model-Driven Engineering - 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, 7320, Springer, pp.58-90, 2012, Lecture Notes in Computer Science
hal-00743941v1  Conference papers
Sébastien ChédorThierry JéronChristophe Morvan. Test generation from recursive tiles systems
TAP - 6th International Conference on Tests & Proofs - 2012, May 2012, Prague, Czech Republic. pp.99-114
hal-00505587v1  Journal articles
François CastellaEric Dumas. High frequency behavior of the Maxwell-Bloch model with relaxation: convergence to the Schrödinger-rate system
Journal of Hyperbolic Differential Equations, World Scientific Publishing, 2012, 9 (3), pp.355-401. ⟨10.1142/S0219891612500129⟩
hal-00763829v1  Conference papers
Laurent GuyonC. MignonFabrice SengerLaurent BlanchoinJ. Xie et al.  Lateral drift correction without fiduciary markers in PALM experiments
Swiss Single Molecule Localization Microscopy, Aug 2012, Lausanne, Switzerland