Skip to Main content Skip to Navigation

tel-00847076v1  Theses
Naeem Abbas. Acceleration of a bioinformatics application using high-level synthesis
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2012. English. ⟨NNT : 2012DENS0019⟩
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-00767170v1  Conference papers
Mathieu AcherPatrick HeymansPhilippe ColletPhilippe Lahire. Next-Generation Model-based Variability Management: Languages and Tools
MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
hal-00684620v1  Journal articles
Kamil AdilogluAnniés RobertWahlen ElioPurwins HendrikObermayer Klaus. A Graphical Representation and Dissimilarity Measure for Basic Everyday Sound Events
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2012, 20 (5), pp.1542-1552
hal-00656613v1  Conference papers
Kamil AdilogluEmmanuel Vincent. A General Variational Bayesian Framework for Robust Feature Extraction in Multisource Recordings
IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2012, Kyoto, Japan
inria-00577079v1  Journal articles
Amir AdlerValentin EmiyaMaria JafariMichael EladRémi Gribonval et al.  Audio Inpainting
IEEE Transactions on Audio, Speech and Language Processing, Institute of Electrical and Electronics Engineers, 2012, 20 (3), pp.922 - 932. ⟨10.1109/TASL.2011.2168211⟩
hal-01083071v1  Journal articles
Pierre AilliotValérie Monbet. Markov-switching autoregressive models for wind time series
Environmental Modelling and Software, Elsevier, 2012, 30, pp.92 - 101. ⟨10.1016/j.envsoft.2011.10.011⟩
hal-00737755v1  Journal articles
Esma AïmeurGilles BrassardSébastien GambsDavid Schönfeld. P3ERS: Privacy-Preserving PEer Review System
Transactions on Data Privacy, IIIA-CSIC, 2012
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-00879825v1  Journal articles
Sundararaman AkshayBlaise GenestLoïc HélouëtShaofa Yang. Regular Set of Representatives for Time-Constrained MSC Graphs
Information Processing Letters, Elsevier, 2012, 112 (14-15), pp.592-598
hal-00879832v1  Conference papers
Sundararaman AkshayLoic HelouetClaude JardPierre-Alain Reynier. Robustness of Time Petri Nets under Guard Enlargement
Reachability Problems, LABRI, Sep 2012, Bordeaux, France. pp.92-106
hal-00879831v1  Conference papers
Sundararaman AkshayBlaise GenestLoic HelouetShaofa Yang. Symbolically Bounding the Drift in Time-Constrained MSC-Graphs
International Colloquium on Theoretical Aspects of Computing, IIT Bangalore, Sep 2012, Bangalore, India. pp.1-15
hal-00724829v1  Conference papers
Mohammad AlagganSébastien GambsAnne-Marie Kermarrec. BLIP: Non-interactive Differentially-Private Similarity Computation on Bloom Filters
14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012), Oct 2012, Toronto, Canada
hal-00741558v1  Conference papers
M.M. AlamOlivier BerderD. MenardOlivier Sentieys. Latency-Energy Optimized MAC Protocol for Body Sensor Networks
Ninth International Conference on Wearable and Implantable Body Sensor Networks (BSN), May 2012, London, United Kingdom. pp.67 -72, ⟨10.1109/BSN.2012.8⟩
hal-00741556v1  Journal articles
M.M. AlamOlivier BerderD. MenardOlivier Sentieys. TAD-MAC: Traffic-Aware Dynamic MAC Protocol for Wireless Body Area Sensor Networks
IEEE Journal on Emerging and Selected Topics in Circuits and Systems, IEEE, 2012, 2 (1), pp.109 -119. ⟨10.1109/JETCAS.2012.2187243⟩
hal-00668975v1  Conference papers
Diana AllamRémi DouenceHervé GrallJean-Claude RoyerMario Südholt. A Message-Passing Model for Service Oriented Computing
WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
hal-00668999v1  Conference papers
Diana Allam. A Unified Formal Model for Service Oriented Architecture to Enforce Security Contracts
AOSD 2012 Student Research Competition (Poster), Mar 2012, Potsdam, Germany. pp.9-10, ⟨10.1145/2162110.2162120⟩
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-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-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-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-00756983v1  Conference papers
Ahmed AmokraneAdlen KsentiniYassine Hadjadj-Aoul. Congestion Control for Machine Type Communications
IEEE International Conference on Communication (ICC), Jun 2012, Ottawa, Canada
hal-00684717v1  Conference papers
Moussa AmraniLevi LucioGehan SelimBenoit CombemaleJürgen Dingel et al.  A Tridimensional Approach for Studying the Formal Verification of Model Transformations
Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
hal-00688352v1  Conference papers
Emmanuelle AnceaumeYann BusnelSébastien Gambs. AnKLe: détection automatique d'attaques par divergence d'information
14èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), 2012, La Grande Motte, France. pp.1-4
hal-00725097v1  Conference papers
Emmanuelle AnceaumeYann Busnel. An Information Divergence Estimation over Data Streams
11th IEEE International Symposium on Network Computing and Applications (IEEE NCA12), Aug 2012, Cambridge, MA, United States. pp.Number 72
hal-00677077v1  Conference papers
Emmanuelle AnceaumeYann BusnelSébastien Gambs. AnKLe: Detecting Attacks in Large Scale Systems via Information Divergence
Ninth European Dependable Computing Conference (EDCC 2012), May 2012, Sibiu, Romania. pp.12
hal-00736918v1  Journal articles
Emmanuelle AnceaumeRomaric LudinardBruno Sericola. Performance evaluation of large-scale dynamic systems
ACM SIGMETRICS Performance Evaluation Review, Association for Computing Machinery, 2012, 39 (4), pp.108-117. ⟨10.1145/2185395.2185447⟩
hal-00736922v1  Conference papers
Emmanuelle AnceaumeRomaric LudinardBruno SericolaErwan Le MerrerGilles Straub. FixMe: A Self-organizing Isolated Anomaly Detection Architecture for Large Scale Distributed Systems
Proceedings of the 16th International Conference On Principles Of Distributed Systems (OPODIS), Dec 2012, Rome, Italy. pp.12
hal-00760183v1  Conference papers
Geoffroy AndrieuxMichel Le BorgneNathalie Theret. Modeling cell signaling pathways with discrete dynamical systems : Application to Transforming Growth Factor β (TGFβ) signaling
Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM), Jul 2012, Rennes, France
hal-00684866v1  Conference papers
Gabriel AntoniuJulien BigotChristophe BlanchetLuc BougéFrançois Briant et al.  Towards Scalable Data Management for Map-Reduce-based Data-Intensive Applications on Cloud and Hybrid Infrastructures
1st International IBM Cloud Academy Conference - ICA CON 2012, Apr 2012, Research Triangle Park, North Carolina, United States
hal-00655394v1  Conference papers
Shoko ArakiFrancesco NestaEmmanuel VincentZbynek KoldovskyGuido Nolte et al.  The 2011 Signal Separation Evaluation Campaign (SiSEC2011): - Audio source separation
10th Int. Conf. on Latent Variable Analysis and Signal Separation (LVA/ICA), Mar 2012, Tel Aviv, Israel. pp.414-422
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-00773326v1  Conference papers
Laura AspirotErnesto MordeckiGerardo Rubino. Fluid Limit for a Repairman Problem with Phase Type Time Distribution
Proc. XII Latin American Congress of Probability and Mathematical Statistics, Mar 2012, Viña del Mar, Chile
hal-00771634v1  Conference papers
Laura Aspirot. Fluid Limits in Stochastic Networks
Latin American IMSA Workshop, U. Adolfo Ibáñez, Oct 2012, Los Andes, Chile
hal-00716074v1  Reports
Guillaume AucherBastien MaubertFrançois Schwarzentruber. Generalized DEL-sequents
[Research Report] RR-8012, INRIA. 2012, pp.23
hal-00856471v1  Journal articles
Guillaume Aucher. DEL-sequents for Regression and Epistemic Planning
Journal of Applied Non-Classical Logics, Taylor & Francis, 2012, pp.29
hal-01023234v1  Conference papers
Edouard AuvinetFranck MultonJean Meunier. Lower limb movement asymmetry measurement with a depth camera.
Annual International Conference of the IEEE - Engineering in Medicine and Biology Society (EMBC), Aug 2012, SanDiego (CA), United States. pp.6793-6796, ⟨10.1109/EMBC.2012.6347554⟩
hal-00744353v1  Conference papers
Edouard AuvinetJean MeunierFranck Multon. Multiple depth cameras calibration and body volume reconstruction for gait analysis
Information Science, Signal Processing and their Applications (ISSPA) 2012, Jul 2012, Montreal, Canada. ⟨10.1109/ISSPA.2012.6310598⟩
hal-00710519v1  Conference papers
Quentin AvrilValérie GourantonBruno Arnaldi. Fast Collision Culling in Large-Scale Environments Using GPU Mapping Function
EGPGV 2012 - Eurographics Symposium on Parallel Graphics and Visualization, May 2012, Cagliari, Italy. pp.71-80
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
lirmm-00727018v1  Conference papers
Zeina AzmehMarianne HuchardFady HamouiNaouel Moha. From Abstract to Executable BPEL Processes with Continuity Support
ICWS 2012: 19th International Conference on Web Services, Application and Experience Track, Jun 2012, Honolulu, Hawaii, United States. pp.368-374, ⟨10.1109/ICWS.2012.124⟩
tel-00754550v1  Habilitation à diriger des recherches
Marie Babel. From image coding and representation to robotic vision
Image Processing [eess.IV]. Université Rennes 1, 2012
hal-00658130v1  Book sections
Marie BabelFrançois PasteauClément StraussMaxime PelcatLaurent Bédat et al.  Preserving data integrity of encoded medical images: the LAR compression framework
Advances in Reasoning-Based Image Processing Intelligent Systems, Springer, pp.1-35, 2012
hal-00748230v1  Conference papers
Eric Badouel. On the alpha-Reconstructibility of Workflow Nets
Application and Theory of Petri Nets - 33rd International Conference, PETRI NETS 2012, Hamburg, Germany, June 25-29, 2012. Proceedings, Jun 2012, Hamburg, Germany. pp.128-147, ⟨10.1007/978-3-642-31131-4⟩
hal-00743907v1  Journal articles
Christel BaierNathalie BertrandMarcus Groesser. Probabilistic omega-automata
Journal of the ACM (JACM), Association for Computing Machinery, 2012, 59 (1), pp.1:1-1:52. ⟨10.1145/2108242.2108243⟩
hal-00767452v1  Conference papers
Anthony BaireCésar Viho. Long-term challenges in TTCN-3: a prototype to explore new features and concepts
TTCN-3 User Conference Workshop, Jun 2012, Bangalore, India
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
tel-00768862v1  Theses
Andrei Banciu. A Stochastic Approach For The Range Evaluation
Signal and Image processing. Université Rennes 1, 2012. English. ⟨NNT : 2012REN1E002⟩
inserm-00686834v1  Conference papers
Elise BannierCamille MaumetAnca PasnicuJean-Christophe FerréEduardo Pasqualini et al.  Voxel Based Analysis of 3D Double Inversion Recovery for the detection of cortical abnormalities in drug resistant epilepsy
International Society for Magnetic Resonance in Medicine 20th Annual Meeting & Exhibition (ISMRM), May 2012, Melbourne, Australia. pp.3244
hal-01110783v1  Conference papers
Gilles BartheDelphine DemangeDavid Pichardie. A Formally Verified SSA-based Middle-end
21th European Symposium on Programming, ESOP 2012, Mar 2012, Tallin, Estonia. pp.47-66, ⟨10.1007/978-3-642-28869-2_3⟩
hal-01540890v1  Conference papers
Patrick BasTeddy Furon. Are 128 Bits Long Keys Possible in Watermarking?
13th International Conference on Communications and Multimedia Security (CMS), Sep 2012, Canterbury, United Kingdom. pp.191-191, ⟨10.1007/978-3-642-32805-3_15⟩
hal-00686813v1  Conference papers
Patrick BasTeddy FuronFrançois Cayre. Practical Key Length of Watermarking Systems
ICASSP 2012 - IEEE International Conference on Acoustics, Speech and Signal Processing, Mar 2012, Kyoto, Japan
hal-00728159v1  Conference papers
Patrick BasTeddy Furon. Key Length Estimation of Zero-Bit Watermarking Schemes
EUSIPCO - 20th European Signal Processing Conference, Aug 2012, Romania. pp.TBA
hal-00722489v1  Journal articles
Ananda BasuSaddek BensalemMarius BozgaBenoit DelahayeAxel Legay. Statistical abstraction and model-checking of Large Heterogeneous Systems
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2012, 14 (1), pp.53-72. ⟨10.1007/s10009-011-0201-2⟩
hal-00871331v1  Conference papers
Aurélie BauerDamien VergnaudJean-Christophe Zapalowicz. Inferring Sequences Produced by Nonlinear Pseudorandom Number Generators Using Coppersmith's Methods
PKC 2012 - 15th International Conference on Practice and Theory in Public Key Cryptography, May 2012, Darmstadt, Germany. pp.609-626, ⟨10.1007/978-3-642-30057-8_36⟩
hal-00684881v1  Conference papers
Olivier BeaudouxMickaël ClavreulArnaud BlouinMengqiang YangOlivier Barais et al.  Specifying and Running Rich Graphical Components with Loa
EICS'12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2012, Copenhagen, Denmark. pp.169-178, ⟨10.1145/2305484.2305513⟩
hal-00752642v1  Conference papers
Juergen BeckerMichael HuebnerTimo StripfOliver OeySteven Derrien et al.  From Scilab To High Performance Embedded Multicore Systems - The ALMA Approach
15th EUROMICRO Conference on Digital System Design, Sep 2012, Cesme, Izmir, Turkey. pp.??-??
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-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⟩
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-00872981v1  Conference papers
Bruno BelinMarc ChristieCharlotte Truchet. Interactive Urban Planning with Local Search Techniques: the SUSTAINS Project
CompSust'12 - 3rd International Conference on Computational Sustainability, Jul 2012, Copenhagen, Denmark
hal-00763305v1  Conference papers
Djamel BenferhatFrédéric GuidecPatrice Quinton. Disruption-Tolerant Wireless Sensor Networking for Biomedical Monitoring in Outdoor Conditions
7th International Conference on Body Area Networks (BODYNETS'12), Sep 2012, Oslo, Norway. pp.13-19
hal-00763319v1  Conference papers
Djamel BenferhatFrédéric GuidecPatrice Quinton. Cardiac Monitoring of Marathon Runners using Disruption-Tolerant Wireless Sensors
6th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI'12), Dec 2012, Vitoria-Gasteiz, Spain. pp.395-402
hal-00659913v1  Conference papers
Alexis BenichouxPrasad SudhakarFrédéric BimbotRémi Gribonval. Some uniqueness results in sparse convolutive source separation
International Conference on Latent Variable Analysis and Source Separation, Mar 2012, Tel Aviv, Israel
hal-00847827v1  Conference papers
Saddek BensalemMarius BozgaBenoit DelahayeCyrille JégourelAxel Legay et al.  Statistical Model Checking QoS properties of Systems with SBIP
Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Oct 2012, Heraklion, Greece. pp.327-341, ⟨10.1007/978-3-642-34026-0_25⟩
hal-00766726v1  Journal articles
Albert BenvenisteTimothy BourkeBenoît CaillaudMarc Pouzet. Non-standard semantics of hybrid systems modelers
Journal of Computer and System Sciences, Elsevier, 2012, In Commemoration of Amir Pnueli, 78 (3), pp.877-910. ⟨10.1016/j.jcss.2011.08.009⟩
hal-00766793v1  Conference papers
Albert BenvenisteBenoît CaillaudJean-Baptiste Raclet. Application of Interface Theories to the Separate Compilation of Synchronous Programs
51st IEEE Conference on Decision and Control, Jay A. Farrell, Dec 2012, Maui, Hawaii, United States