Publications HAL du labo/EPI ADAM

2012

Journal articles

titre
Analysis of the rotation period of asteroids (1865) Cerberus, (2100) Ra-Shalom, and (3103) Eger - search for the YORP effect
auteur
Josef Durech, David Vokrouhlicky, Olexander R. Baransky, Slawomir Breiter, Otabek A. Burkhonov, Walt Cooney, Valerie Fuller, Ninel M. Gaftonyuk, John Gross, Raguli Ya. Inasaridze, Mikko Kaasalainen, Yu. N. Krugly, Otar I. Kvaratskhelia, E. A. Litvinenko, Brent Macomber, Franck Marchis, Igor E. Molotov, Julian Oey, David Polishook, Joseph T. Pollock, Petr Pravec, Krisztian Sarneczky, V. G. Shevchenko, Ivan Slyusarev, Robert D. Stephens, Gy. Szabo, Dirk Terrell, Frédéric Vachier, Zach A. Vanderplate, Matti Viikinkoski, Brian D. Warner
article
Astronomy and Astrophysics - A&A, 2012, 547 (id. A10), 9 pp. ⟨10.1051/0004-6361/201219396⟩
Accès au bibtex
https://arxiv.org/pdf/1210.2219 BibTex
titre
New ferroelectric: Bis-thiourea pyridinium bromide inclusion compound
auteur
Piotr Czarnecki, Aleksandra Pajzderska, Jan Wąsicki, Eric Collet, Loïc Toupet
article
Journal of Materials Research, 2012, 27 (22), pp.2844-2850. ⟨10.1557/JMR.2012.301⟩
Accès au bibtex
BibTex
titre
Photometry and models of selected main belt asteroids IX. Introducing interactive service for asteroid models (ISAM)
auteur
A. Marciniak, P. Bartczak, T. Santana-Ros, T. Michalowski, P. Antonini, R. Behrend, C. Bembrick, L. Bernasconi, W. Borczyk, Florent Colas, J. Coloma, R. Crippa, N. Esseiva, M. Fagas, M. Fauvaud, S. Fauvaud, D. D. M. Ferreira, R. P. Hein Bertelsen, D. Higgins, R. Hirsch, J. J. E. Kajava, K. Kaminski, A. Kryszczynska, T. Kwiatkowski, F. Manzini, J. Michalowski, M. J. Michalowski, A. Paschke, M. Polinska, R. Poncy, R. Roy, G. Santacana, K. Sobkowiak, M. Stasik, S. Starczewski, F. Velichko, H. Wücher, T. Zafar
article
Astronomy and Astrophysics - A&A, 2012, 545, ⟨10.1051/0004-6361/201219542⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01442146/file/aa19542-12.pdf BibTex
titre
Development and refinement of proxy-climate indicators from peats
auteur
Frank M. Chambers, Robert K. Booth, François de Vleeschouwer, Mariusz Lamentowicz, Gaël Le Roux, Dmitri Mauquoy, Jonathan E. Nichols, Bas van Geel
article
Quaternary International, 2012, vol. 268, pp. 21-33. ⟨10.1016/j.quaint.2011.04.039⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00980256/file/Chambers_11364.pdf BibTex
titre
An up-dated study of ptyctimous mite fauna (Acari: Oribatida) of the australasian region with description of thirteen new species
auteur
W. Niedbała
article
Acarologia, 2012, 52 (2), pp.183-228. ⟨10.1051/acarologia/20122049⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01567054/file/Acarologia-2012-52-183-228.pdf BibTex
titre
A Code Tagging Approach to Software Product Line Development
auteur
Patrick Heymans, Quentin Boucher, Andreas Classen, Arnaud Bourdoux, Laurent Demonceau
article
International Journal on Software Tools for Technology Transfer, 2012, 14 (5), pp.553-566. ⟨10.1007/s10009-012-0242-1⟩
Accès au bibtex
BibTex
titre
Under pressure: Quasi-high pressure effects in nanopores
auteur
Yun Long, Jeremy C. Palmer, Benoit Coasne, Małgorzata Sliwinska-Bartkowiak, Keith E. Gubbins
article
Microporous and Mesoporous Materials, 2012, 154, pp.19-23. ⟨10.1016/j.micromeso.2011.07.017⟩
Accès au bibtex
BibTex
titre
A Component-Based Middleware Platform for Reconfigurable Service-Oriented Architectures
auteur
Lionel Seinturier, Philippe Merle, Romain Rouvoy, Daniel Romero, Valerio Schiavoni, Jean-Bernard Stefani
article
Software: Practice and Experience, 2012, 42 (5), pp.559-583. ⟨10.1002/spe.1077⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00567442/file/frascati.pdf BibTex
titre
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
auteur
Raimundas Matulevicius, Haralambos Mouratidis, Mayer Nicolas, Dubois Eric, Patrick Heymans
article
Journal of Universal Computer Science, 2012, 18 (6), pp.816-844
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00718134/file/jucs_18_06_0816_0844_matulevicius.pdf BibTex
titre
CAPucine: Context-Aware Service-Oriented Product Line for Mobile Apps
auteur
Carlos Andrés Parra, Clément Quinton, Laurence Duchien
article
ERCIM News, 2012, Special Theme Evolving Software, 88, pp.38-39
Accès au bibtex
BibTex
titre
Introduction to the RE'11 special issue: requirements in motion
auteur
Patrick Heymans
article
Requirements Engineering, 2012, 17 (2), pp.79-81. ⟨10.1007/s00766-012-0156-1⟩
Accès au bibtex
BibTex
titre
Model Checking for Software Product Lines with SNIP
auteur
Andreas Classen, Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
article
International Journal on Software Tools for Technology Transfer, 2012, ⟨10.1007/s10009-012-0234-1⟩
Accès au bibtex
BibTex
titre
Bone modification by modern wolf (Canis lupus) : a taphonomic study from their natural feeding places
auteur
Philippe Fosse, Nuria Selva, Adam Wajrak, Jean-Baptiste Fourvel, Stéphane Madelaine, Montserrat Esteban-Nadal, José Yravedra, Jean-Philip Brugal, Audrey Prucca, Gary Haynes
article
Journal of Taphonomy, 2012, 10 (3-4), pp.197-217
Accès au texte intégral et bibtex
https://hal.science/hal-01842851/file/2012_Fosse_et_al.pdf BibTex
titre
The human tRNA m5C methyltransferase Misu is multisite-specific
auteur
Sylvie Auxilien, Vincent Guérineau, Zofia Szweykowska-Kulińska, Béatrice Golinelli-Pimpaneau
article
RNA Biology, 2012, 9 (11), pp.1331 - 1338. ⟨10.4161/rna.22180⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03280465/file/Misu-RNA-Biol-2012-version-auteur.pdf BibTex
titre
NERD, a Plant-Specific GW Protein, Defines an Additional RNAi-Dependent Chromatin-Based Pathway in Arabidopsis
auteur
D. Pontier, C. Picart, François Roudier, David Garcia, S. Lahmy, J. Azevedo, E. Alart, M. Laudié, W.M. Karlowski, R. Cooke, V. Colot, O. Voinnet, T. Lagrange
article
Molecular Cell, 2012, 48 (1), pp.121-132. ⟨10.1016/j.molcel.2012.07.027⟩
Accès au bibtex
BibTex
titre
What Should Developers Be Aware Of? An Empirical Study on the Directives of API Documentation
auteur
Martin Monperrus, Michael Eichberg, Elif Tekes, Mira Mezini
article
Empirical Software Engineering, 2012, 17 (6), pp.703-737. ⟨10.1007/s10664-011-9186-4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00702183/file/article.pdf BibTex
titre
A critical analysis of dipole-moment calculations as obtained from experimental and theoretical structure factors
auteur
Agnieszka Poulain-Paul, Ayoub Nassour, Christian Jelsch, Benoit Guillot, Maciej Kubicki, Claude Lecomte
article
Acta Crystallographica Section A : Foundations and Advances [2014-..], 2012, 68 (6), pp.715-728. ⟨10.1107/S0108767312034010⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01710507/file/2012_APaul_ActaCrystA_dipole.pdf BibTex
titre
Cascading photoinduced, elastic, and thermal switching of spin states triggered by a femtosecond laser pulse in an Fe(III) molecular crystal
auteur
Maciej Lorenc, Cherif Baldé, Wawrzyniec Kaszub, Antoine Tissot, Nicolas Moisan, Marina Servol, Marylise Buron-Le Cointe, Hervé Cailleau, Patrick Chasle, Piotr Czarnecki, Marie-Laure Boillot, Eric Collet
article
Physical Review B: Condensed Matter and Materials Physics (1998-2015), 2012, 85 (5), pp.054302. ⟨10.1103/PhysRevB.85.054302⟩
Accès au bibtex
BibTex
titre
Flex-eWare: a Flexible MDE-based Solution for Designing and Implementing Embedded Distributed Systems
auteur
Mathieu Jan, Christophe Jouvray, Fabrice Kordon, Antonio Kung, Jimmy Lalande, Frédéric Loiret, Juan Navas, Laurent Pautet, Jacques Pulou, Ansgar Radermacher, Lionel Seinturier
article
Software: Practice and Experience, 2012, 42 (12), pp.1467-1494. ⟨10.1002/spe.1143⟩
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00628310/file/SPE-flex-eWare.pdf BibTex

Conference papers

titre
Vers un Outil de Configuration et de Déploiement pour les Nuages
auteur
Clément Quinton, Laurence Duchien
article
JLdP - Journée Lignes de Produits, Nov 2012, Lille, France. pp.83-94
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00747319/file/jldp.pdf BibTex
titre
Une seule manière d'utiliser les exceptions ? Une étude empirique de 21 applications Java
auteur
Maxence G. de Montauzan, Martin Monperrus
article
9ème édition de la conférence MAnifestation des JEunes Chercheurs en Sciences et Technologies de l'Information et de la Communication - MajecSTIC 2012, L'association Manifestations Scientifiques des Jeunes Chercheurs, Oct 2012, Lille, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00745301/file/paper_46.pdf BibTex
titre
A Vision for Behavioural Model-Driven Validation of Software Product Lines
auteur
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
article
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00726121/file/isola2012-root.pdf BibTex
titre
Towards Behavioural Model-Driven Validation of Software Product Lines
auteur
Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
article
5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
Accès au bibtex
BibTex
titre
Next-Generation Model-based Variability Management: Languages and Tools
auteur
Mathieu Acher, Patrick Heymans, Philippe Collet, Philippe Lahire
article
MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00767170/file/NextGenVariabilityMODELS12-tutorial.pdf BibTex
titre
Efficient Consistency Checking of Scenario-Based Product Line Specifications
auteur
Joel Greenyer, Amir Sharifloo, Maxime Cordy, Patrick Heymans
article
RE 2012 - 20th IEEE International Requirements Engineering Conference, Sep 2012, Chicago, United States. ⟨10.1109/RE.2012.6345800⟩
Accès au bibtex
BibTex
titre
Constraint-based Self-adaptation of Wireless Sensor Networks
auteur
Nadia Gamez, Daniel Romero, Lidia Fuentes, Romain Rouvoy, Laurence Duchien
article
2nd International Workshop on Adaptive Services for Future Internet, Sep 2012, Bertinoro, Italy. pp.20-27
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00739236/file/article.pdf BibTex
titre
Binary Asteroids with Gaia Photometric Observations
auteur
Tadeusz Michalowski
article
GAIA-FUN-SSO 2012: Second "Gaia Follow-up Network for Solar System Objects", Workshop held at IMCCE / Paris Observatory, 2012, September 19 - 21, Sep 2012, Paris, France. pp. 57-58
Accès au bibtex
BibTex
titre
R-MOM: A Component-Based Framework for Interoperable and Adaptive Asynchronous Middleware Systems
auteur
Jonathan Labéjof, Antoine Léger, Philippe Merle, Lionel Seinturier, Hugues Vincent
article
First International Workshop on Service and Cloud Based Data Integration (SCDI) at the 16th IEEE International EDOC Conference, Sep 2012, Beijing, China. pp.204-213, ⟨10.1109/EDOCW.2012.35⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00710623/file/R-MOM.pdf BibTex
titre
A Middleware Platform to Federate Complex Event Processing
auteur
Fawaz Paraiso, Gabriel Hermosillo, Romain Rouvoy, Philippe Merle, Lionel Seinturier
article
Sixteenth IEEE International EDOC Conference, Sep 2012, Beijing, China. pp.113-122
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00700883/file/A_Middleware_Platform_to_Federate_Complex_Event_Processing.pdf BibTex
titre
Runtime Monitoring of Software Energy Hotspots
auteur
Adel Noureddine, Aurélien Bourdon, Romain Rouvoy, Lionel Seinturier
article
ASE - The 27th IEEE/ACM International Conference on Automated Software Engineering - 2012, Sep 2012, Essen, Germany. pp.160-169, ⟨10.1145/2351676.2351699⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00715331/file/noureddine-bourdon-ase-2012.pdf BibTex
titre
Behavioural Modelling and Verification of Real-time Software Product Lines
auteur
Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
article
16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
Accès au bibtex
BibTex
titre
Product Portfolio Scoping Optimization Based on Features and Goals
auteur
Joseph Gillain, Patrick Heymans, Ivan Jureta, Stéphane Faulkner, Monique Snoeck
article
16th Software Product Line Conference, Sep 2012, Salvador de Bahia, Brazil
Accès au bibtex
BibTex
titre
Unifying Software and Product Configuration: A Research Roadmap
auteur
Arnaud Hubaux, Dietmar Jannach, Conrad Drescher, Leonardo Murta, Tomi Mannisto, Krzysztof Czarnecki, Patrick Heymans, Thanh Hai Nguyen, Markus Zanker
article
ConfWS 2012 - Workshop on Configuration, Aug 2012, Montpellier, France. pp.31-35
Accès au bibtex
BibTex
titre
A Commutative Model Composition Operator to Support Software Adaptation
auteur
Sébastien Mosser, Mireille Blay-Fornarino, Laurence Duchien
article
ECMFA 2012 - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Lyngby, Denmark. pp.4-19
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00689706/file/ecmfa2012.pdf BibTex
titre
Photochemistry of 1,2,3-thiadiazoles studied with ultrafast IR and UV-vis spectroscopies - direct observation of thiirene and thioketene formation
auteur
G. Burdzinski, M. Sliwa, Y. Zhang, S. Delbaere
article
24th IUPAC Symposium on Photochemistry, Jul 2012, Coimbra, Portugal
Accès au bibtex
BibTex
titre
An SMT-based Approach to Automated Configuration
auteur
Patrick Heymans, Raphaël Michel, Vijay Ganesh, Arnaud Hubaux
article
10th International Workshop on Satisfiability Modulo Theories (SMT), Jun 2012, Manchester, United Kingdom. pp.107-117
Accès au bibtex
BibTex
titre
Rapid Prototyping of Domain-Specific Architecture Languages
auteur
Romain Rouvoy, Philippe Merle
article
International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE'12), Jun 2012, Bertinoro, Italy. pp.13-22, ⟨10.1145/2304736.2304741⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00690607/file/frascala.pdf BibTex
titre
Towards Configurable ISO 29110-compliant Software Development Processes for Very Small Entities
auteur
Quentin Boucher, Gilles Perrouin, Jean-Christophe Deprez, Patrick Heymans
article
EuroSPI² 2012 - 19th European Conference System, Software & Service Process Improvement & Innovation , Jun 2012, Vienne, Austria. pp.169-180, ⟨10.1007/978-3-642-31199-4_15⟩
Accès au bibtex
BibTex
titre
Feature Model Differences
auteur
Mathieu Acher, Patrick Heymans, Philippe Collet, Clément Quinton, Philippe Lahire, Philippe Merle
article
CAiSE - 24th International Conference on Advanced Information Systems Engineering - 2012, Jun 2012, Gdańsk, Poland
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00713849/file/CAiSE2012Diff.pdf BibTex
titre
Improvisational Theater for Information Systems: An Agile, Experience-Based, Prototyping Technique (Tutorial)
auteur
Martin Mahaux, Patrick Heymans
article
24th International Conference on Advanced Information Systems Engineering (CAiSE), 2012, Jun 2012, Gdańsk, Poland
Accès au bibtex
BibTex
titre
A Federated Multi-Cloud PaaS Infrastructure
auteur
Fawaz Paraiso, Nicolas Haderer, Philippe Merle, Romain Rouvoy, Lionel Seinturier
article
CLOUD 2012 - 5th IEEE International Conference on Cloud Computing, Jun 2012, hawaii, United States. pp.392 - 399, ⟨10.1109/CLOUD.2012.79⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00694700/file/paper.pdf BibTex
titre
Campagne de collecte de données et vie privée
auteur
Nicolas Haderer, Miguel Nuñez del Prado Cortez, Romain Rouvoy, Marc-Olivier Killijian, Matthieu Roy
article
3ème Journées du GDR CNRS GPL, Jun 2012, Rennes, France. pp.253-254
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00711609/file/ubilab.pdf BibTex
titre
Dexpler: Converting Android Dalvik Bytecode to Jimple for Static Analysis with Soot
auteur
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
article
ACM SIGPLAN International Workshop on State Of the Art in Java Program Analysis, Jun 2012, Beijing, China. pp.27-38, ⟨10.1145/2259051.2259056⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00697421/file/article.pdf BibTex
titre
Connecting your Mobile Shopping Cart to the Internet-of-Things
auteur
Nicolas Petitprez, Romain Rouvoy, Laurence Duchien
article
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.236-243, ⟨10.1007/978-3-642-30823-9_21⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00684780/file/paper_5.pdf BibTex
titre
Semi-Automatically Extracting FAQs to Improve Accessibility of Software Development Knowledge
auteur
Stefan Henss, Martin Monperrus, Mira Mezini
article
ICSE - 34th International Conference on Software Engineering, Jun 2012, Zurich, Switzerland. pp.793-803, ⟨10.1109/ICSE.2012.6227139⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00681906/file/paper.pdf BibTex
titre
Towards More Reliable Configurators: A Re-engineering Perspective
auteur
Quentin Boucher, Ebrahim Khalil Abbasi, Arnaud Hubaux, Gilles Perrouin, Mathieu Acher, Patrick Heymans
article
International Workshop on Product Line Approaches in Software Engineering (PLEASE), Jun 2012, Zurich, Switzerland. pp.29-32, ⟨10.1109/PLEASE.2012.6229766⟩
Accès au bibtex
BibTex
titre
Using Feature Modelling and Automations to Select among Cloud Solutions
auteur
Clément Quinton, Laurence Duchien, Patrick Heymans, Stéphane Mouton, Etienne Charlier
article
PLEASE - 3rd International Workshop on Product LinE Approaches in Software Engineering - 2012, Jun 2012, Zurich, Switzerland. pp.17-20
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00695401/file/please.pdf BibTex
titre
A Preliminary Study of the Impact of Software Engineering on GreenIT
auteur
Adel Noureddine, Aurélien Bourdon, Romain Rouvoy, Lionel Seinturier
article
First International Workshop on Green and Sustainable Software, Jun 2012, Zurich, Switzerland. pp.21-27
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00681560/file/noureddine-bourdon-greens-fixed.pdf BibTex
titre
Simulation-Based Abstractions for Software Product-Line Model Checking
auteur
Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay
article
ICSE 2012 : 34th International Conference on Software Engineering, Jun 2012, Zürich, Switzerland. pp.672 - 682, ⟨10.1109/ICSE.2012.6227150⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01087659/file/icse12.pdf BibTex
titre
Designing a Process Reference Model for Information Security Management Systems
auteur
Olivier Mangin, Béatrix Barafort, Eric Dubois, Patrick Heymans
article
12th International SPICE Conference on Process Improvement and Capability Determination, May 2012, Palma de Mallorca, Spain. pp.129-140
Accès au bibtex
BibTex
titre
Improvisational Theater for Information Systems: Breathing Collaboration and Creativity into Your Developments (Tutorial)
auteur
Martin Mahaux, Patrick Heymans
article
6th International Conference on Research Challenges in Information Science (RCIS), 2012, May 2012, Valencia, Spain
Accès au bibtex
BibTex
titre
COST short term scientific mission: training course on soundscape analysis: soundwalk, recordings, analysis and listening tests
auteur
Papatya Dökmeci, Francesco Aletta, Manuel Frost, Igone Garcia, Michal Galuszka, Jedrzej Kocinski, Hui Lin, Andre Mundt, Monica Tomás, Klaus Genuit, Brigitte Schulte-Fortkamp
article
Acoustics 2012, Apr 2012, Nantes, France
Accès au texte intégral et bibtex
https://hal.science/hal-00810840/file/hal-00810840.pdf BibTex
titre
Leveraging Feature Models to Configure Virtual Appliances
auteur
Clément Quinton, Romain Rouvoy, Laurence Duchien
article
CloudCP - 2nd International Workshop on Cloud Computing Platforms - 2012, Apr 2012, Bern, Switzerland. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00674379/file/paper.pdf BibTex
titre
Using Constraint-based Optimization and Variability to Support Continuous Self-Adaptation
auteur
Carlos Andrés Parra, Daniel Romero, Sébastien Mosser, Romain Rouvoy, Laurence Duchien, Lionel Seinturier
article
27th ACM Symposium on Applied Computing (SAC'12), 7th Dependable and Adaptive Distributed Systems (DADS) Track, Mar 2012, Trento, Italy. pp.486-491
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00632269/file/sac-cspvar.pdf BibTex
titre
Towards a More Semantically Transparent i* Visual Syntax
auteur
Nicolas Genon, Patrice Caire, Hubert Toussaint, Patrick Heymans, Daniel L. Moody
article
REFSQ 2012 - 18th International Working Conference on Requirements Engineering for Software Quality, Mar 2012, Essen, Germany. pp.140-146, ⟨10.1007/978-3-642-28714-5_12⟩
Accès au bibtex
BibTex
titre
Integrating Creativity and Sustainability in RE Education (Poster)
auteur
Martin Mahaux, Patrick Heymans
article
First International Workshop on Requirements Engineering for Sustainable Systems (RE4SuSy) held in conjunction with REFSQ, 2012, Mar 2012, Essen, Germany
Accès au bibtex
BibTex
titre
Choose your Creativity: Why and How Creativity in Requirements Engineering Means Different Things to Different People
auteur
Martin Mahaux, Alistair Mavin, Patrick Heymans
article
REFSQ 2012 - 18th International Working Conference on Requirements Engineering : Foundation for Software Quality, Mar 2012, Essen, Germany. pp.101-116, ⟨10.1007/978-3-642-28714-5_9⟩
Accès au bibtex
BibTex
titre
Managing Evolution in Software Product Lines : A Model-Checking Perspective
auteur
Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay
article
6th International Workshop on Variability Modelling of Software Intensive Systems, Jan 2012, Leipzig, Saxe, Germany. pp.183-191
Accès au bibtex
BibTex
titre
Using Domain Features to Handle Feature Interactions
auteur
Sébastien Mosser, Laurence Duchien, Carlos Andrés Parra, Mireille Blay-Fornarino
article
Variability Modelling Software-Intensive Systems (VAMOS), Ulrich Eisenecker, University of Leipzig, DE, Jan 2012, Leipzig, Germany. pp.101-110
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00653044/file/main.pdf BibTex
titre
Deriving Configuration Interfaces from Feature Models: A Vision Paper
auteur
Quentin Boucher, Gilles Perrouin, Patrick Heymans
article
Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2012, Leipzig, Germany. pp.37-44, ⟨10.1145/2110147.2110152⟩
Accès au bibtex
BibTex
titre
Visual Effectiveness of Modeling Notations (Invited tutorial)
auteur
Patrick Heymans
article
Yearly Summer School of IFI / University of Zurich, 2012, Zurich, Germany
Accès au bibtex
BibTex
titre
Languages and Tools for Managing Feature Models
auteur
Patrick Heymans, Mathieu Acher, Raphaël Michel, Philippe Collet, Philippe Lahire
article
3rd International Workshop on Product Line Approaches in Software Engineering, 2012, Zürich, Switzerland
Accès au bibtex
BibTex
titre
Next-Generation Model-based Variability Management: Languages and Tools (Tutorial)
auteur
Patrick Heymans, Mathieu Acher, Raphaël Michel
article
CIEL (Conférence en IngénieriE du Logiciel), 2012, Rennes, France
Accès au bibtex
BibTex

Book sections

titre
Adaptation des plates-formes intergicielles
auteur
Daniel Romero, Laurence Duchien, Lionel Seinturier
article
Lopisteguy, Philippe and Rieu, Dominique and Roose, Philippe. L'adaptation dans tous ses état, Cépaduès, pp.161-192, 2012, 978-2-36493-029-2
Accès au bibtex
BibTex
titre
DYNAMICO: A Reference Model for Governing Control Objectives and Context Relevance in Self-Adaptive Software Systems
auteur
Norha Villegas, Gabriel Tamura, Hausi Müller, Laurence Duchien, Rubby Casallas
article
Rogerio de Lemos and Holger Giese and Hausi Müller and Mary Shaw. Software Engineering for Self-Adaptive Systems 2, 7475, Springer, pp.265-293, 2012, LNCS
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00713315/file/control-based-reference-model-for-self-adapt.pdf BibTex
titre
Component-Oriented Development for Real-Time Java
auteur
Ales Plsek, Frederic Loiret, Michal Malohlava
article
Higuera-Toledano, M. Teresa; Wellings, Andy J. Distributed, Embedded and Real-time Java Systems, Springer, pp.265-292, 2012, 978-1-4419-8157-8
Accès au bibtex
BibTex

Other publications

titre
[Projet Econ'Home] Spécification de l'architecture (monitoring et notification) et protocole de routage IP économe en énergie.
auteur
Aurélien Bourdon, Lionel Seinturier, Romain Rouvoy
article
2012
Accès au bibtex
BibTex
titre
[Projet Econ'Home] Spécification d'une interface ergonomique rendant compte de la consommation des équipements à l'utilisateur final
auteur
Aurélien Bourdon, Lionel Seinturier, Romain Rouvoy
article
2012
Accès au bibtex
BibTex

Books

titre
Actes des 4èmes journées du GDR Génie de la Programmation et du Logiciel, Rennes, 2012
auteur
Olivier Barais, Laurence Duchien
article
Olivier Barais, Laurence Duchien. Université de Rennes, pp.256, 2012
Accès au bibtex
BibTex

Patents

titre
Data Distribution System Based on the Exchange of Asynchronous Messages
auteur
Jonathan Labéjof, Philippe Merle, Antoine Léger, Lionel Seinturier
article
United States, Patent n° : US Patent Number 8990835 & EP 2549715 A1. 2012
Accès au bibtex
BibTex

Poster communications

titre
Mining Repair Actions for Automated Program Fixing
auteur
Matias Martinez, Martin Monperrus
article
Conférence GDR-GPL-CIEL, Jun 2012, Rennes, France, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00696590/file/posterRennes12_v13.pdf BibTex
titre
FraSCAti Studio : création en ligne de services et déploiement dans les nuages
auteur
Michel Dirix, Antonio de Almeida Souza Neto, Philippe Merle
article
GDR-GPL 12, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00696196/file/gdr12.pdf BibTex
titre
Choisir son Nuage à l'Aide des Modèles de Caractéristiques
auteur
Clément Quinton, Laurence Duchien, Romain Rouvoy
article
GDR-GPL-CIEL, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00713080/file/poster.pdf BibTex
titre
Distributed Complex Event Processing Engine
auteur
Fawaz Paraiso, Gabriel Hermosillo, Romain Rouvoy, Philippe Merle, Lionel Seinturier
article
Conférence GDR-GPL-CIEL, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00695560/file/poster-gdr-gpl.pdf BibTex
titre
Un processus de développement pour contrôler l'évolution des processus métiers en termes de QoS
auteur
Alexandre Feugas, Sébastien Mosser, Laurence Duchien
article
GDR-GPL 12, Jun 2012, Rennes, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00711412/file/llncs.pdf BibTex

Reports

titre
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
auteur
Christopher Henard, Mike Papadakis, Gilles Perrouin, Jacques Klein, Patrick Heymans, Yves Le Traon
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00756084/file/twise.pdf BibTex
titre
XSS-FP: Browser Fingerprinting using HTML Parser Quirks
auteur
Erwan Abgrall, Yves Le Traon, Martin Monperrus, Sylvain Gombault, Mario Heiderich, Alain Ribault
article
[Research Report] 12888, SnT. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00753926/file/article.pdf BibTex
titre
Current situation facing the needs of the scenarios from the deliverables I2.1.1 and I2.2.1
auteur
Daniel Romero, Mireille Blay-Fornarino, Philippe Collet, Laurence Duchien, Philippe Renevier, Simon Urli
article
[Research Report] 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00750128/file/d3-1-1.pdf BibTex
titre
Une revue des approches middleware pour la gestion de l'énergie dans les environnements distribués
auteur
Adel Noureddine, Romain Rouvoy, Lionel Seinturier
article
[Research Report] Livrable L1, Orange - France Télécom. 2012
Accès au bibtex
BibTex
titre
Towards Ecology Inspired Software Engineering
auteur
Benoit Baudry, Martin Monperrus
article
[Research Report] RR-7952, INRIA. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00694276/file/Towards-Ecology-Inspired-Software-Engineering.pdf BibTex
titre
Évolution de l’architecture logicielle pour le Digital Home Infrastructure - Recommandation d’architecture modulaire
auteur
Laurence Duchien, Romain Rouvoy, Lionel Seinturier
article
[Rapport de recherche] Livrable L2, Orange - France Télécom. 2012
Accès au bibtex
BibTex
titre
AntDroid: A distributed platform for mobile sensing
auteur
Nicolas Haderer, Romain Rouvoy, Lionel Seinturier
article
[Research Report] RR-7885, INRIA. 2012, pp.27
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00671164/file/RR-7885.pdf BibTex
titre
e-Surgeon: Diagnosing Energy Leaks of Application Servers
auteur
Adel Noureddine, Aurélien Bourdon, Romain Rouvoy, Lionel Seinturier
article
[Technical Report] RR-7846, INRIA. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00652992/file/RR-7846.pdf BibTex
titre
Automatically Securing Permission-Based Software by Reducing the Attack Surface: An Application to Android
auteur
Alexandre Bartel, Jacques Klein, Martin Monperrus, Yves Le Traon
article
[Research Report] hal-00700074, SnT. 2012
Accès au texte intégral et bibtex
https://hal.science/hal-00700074/file/article.pdf BibTex
titre
Improving privacy on android smartphones through in-vivo bytecode instrumentation
auteur
Alexandre Bartel, Jacques Klein, Martin Monperrus, Kevin Allix, Yves Le Traon
article
[Research Report] arXiv:1208.4536, University of Luxembourg. 2012
Accès au texte intégral et bibtex
https://hal.science/hal-00700319/file/article.pdf BibTex
titre
Mining Repair Actions for Guiding Automated Program Fixing
auteur
Matias Martinez, Martin Monperrus
article
[Technical Report] hal-01080299, Inria. 2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01080299/file/repair-actions.pdf BibTex

Theses

titre
R-*, Réflexion au Service de l'Évolution des Systèmes de Systèmes
auteur
Jonathan Labéjof
article
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2012. Français. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00768568/file/these_jonathan_labejof.pdf BibTex
titre
Towards Creating Context-Aware Dynamically-Adaptable Business Processes Using Complex Event Processing
auteur
Gabriel Hermosillo
article
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00709303/file/hermosillo-thesis.pdf BibTex
titre
QoS-CARE: A Reliable System for Preserving QoS Contracts through Dynamic Reconfiguration
auteur
Gabriel Tamura
article
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I; Universidad de Los Andes, 2012. English. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00713345/file/GTM-PhD-Thesis-QoS-CARE-a4.pdf BibTex

Preprints, Working Papers, ...

titre
CVS-Vintage: A Dataset of 14 CVS Repositories of Java Software
auteur
Martin Monperrus, Matias Martinez
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00769121/file/paper.pdf BibTex
titre
RE-ORIENTATION TRANSITION IN MOLECULAR THIN FILMS: POTTS MODEL WITH DIPOLAR INTERACTION
auteur
Danh-Tai Hoang, Maciej Kasperski, H. Puszkarski, Hung The Diep
article
2012
Accès au texte intégral et bibtex
https://hal.science/hal-00727105/file/Surface.pdf BibTex
titre
La Thèse ...
auteur
Sébastien Mosser
article
2012
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00669772/file/these_pres.pdf BibTex