B. Berthomieu and F. Vernadat, State Class Constructions for Branching Analysis of Time Petri Nets, TACAS ?2003, pp.442-457, 2003.
DOI : 10.1007/3-540-36577-X_33

T. Chatain and C. Jard, Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets, Petri Nets and Other Models of Concurrency -ICATPN 2006, pp.125-145, 2006.
DOI : 10.1007/11767589_8

D. Delfieu, M. Comlan, and S. , Algebraic analysis of branching processes, Sixth International Conference on Advances in System Testing and Validation Lifecycle, pp.21-27, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01111142

D. Delfieu and M. Sogbohossou, An algebra for branching processes, 2013 International Conference on Control, Decision and Information Technologies (CoDIT), pp.625-634, 2013.
DOI : 10.1109/CoDIT.2013.6689616
URL : https://hal.archives-ouvertes.fr/hal-01111131

C. Dufourd, P. Jan?ar, and P. Schnoebelen, Boundedness of Reset P/T Nets, Proceedings of the 26th ICALP'99, pp.301-310, 1999.
DOI : 10.1007/3-540-48523-6_27

J. Engelfriet, Branching processes of Petri nets, Acta Informatica, vol.4, issue.6, pp.575-591, 1991.
DOI : 10.1007/BF01463946

J. Esparza and K. Heljanko, Unfoldings -a partial-order approach to model checking, EATCS Monographs in Theoretical Computer Science, 2008.

J. Esparza, S. Römer, and W. Vogler, An improvement of McMillan's unfolding algorithm, 1996.
DOI : 10.1007/3-540-61042-1_40

J. Esparza, S. Römer, and W. Vogler, An improvement of mcmillan's unfolding algorithm. Formal Methods in System Design, pp.285-310, 2002.

L. Kenneth and . Mcmillan, Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits, Computer Aided Verification, pp.164-177, 1993.

K. L. Mcmillan and D. K. Probst, A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, pp.45-65, 1995.
DOI : 10.1007/BF01384314

D. Michel, Vérification et mise en oeuvre des réseaux de Petri. Traité IC2, Hermès Science, 2003.

C. Adam and P. , Communication with automata, 1962.

A. Action, . J. References-1, C. Aldrich, D. Chambers, and . Notkin, Archjava: connecting software architecture to implementation, Proceedings of the 24th International Conference on Software Engineering, ICSE '02, pp.187-197, 2002.

A. Beugnard, J. Jézéquel, and N. Plouzeau, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. Chaudron, A classification framework for software component models. Software Engineering, IEEE Transactions on, vol.37, issue.5, pp.593-615, 2011.

L. Fabresse, From decoupling to unanticipated assembly of components: design and implementation of the component-oriented language Scl, 2007.

L. Fabresse, N. Bouraqadi, C. Dony, and M. Huchard, A language to bridge the gap between component-based design and implementation, Computer Languages, Systems & Structures, vol.38, issue.1, pp.29-43, 2012.
DOI : 10.1016/j.cl.2011.10.003
URL : https://hal.archives-ouvertes.fr/lirmm-00732654

L. Fabresse, C. Dony, and M. Huchard, Foundations of a simple and unified component-oriented language, Computer Languages, Systems & Structures, vol.34, issue.2-3, pp.130-149, 2008.
DOI : 10.1016/j.cl.2007.05.002
URL : https://hal.archives-ouvertes.fr/lirmm-00175781

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

L. Seinturier, P. Merle, R. Rouvoy, D. Romero, V. Schiavoni et al., A component-based middleware platform for reconfigurable service-oriented architectures, Software: Practice and Experience, vol.2, issue.5, pp.559-583, 2012.
DOI : 10.1002/spe.1077
URL : https://hal.archives-ouvertes.fr/inria-00567442

P. Spacek, Design and Implementation of a Reflective Component-Oriented Programming and Modeling Language, 2013.

P. Spacek, C. Dony, and C. Tibermacine, A component-based meta-level architecture and prototypical implementation of a reflective component-based programming and modeling language, Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering, CBSE '14, pp.13-23, 2014.
DOI : 10.1145/2602458.2602476
URL : https://hal.archives-ouvertes.fr/lirmm-01104167

P. Spacek, C. Dony, C. Tibermacine, and L. Fabresse, An inheritance system for structural & behavioral reuse in component-based software programming, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.60-69, 2012.
DOI : 10.1145/2371401.2371411
URL : https://hal.archives-ouvertes.fr/lirmm-00806830

P. Spacek, C. Dony, C. Tibermacine, and L. Fabresse, Wringing out objects for programming and modeling component-based systems, Proceedings of the Second International Workshop on Combined Object-Oriented Modelling and Programming Languages, ECOOP'13, 2013.
DOI : 10.1145/2493187.2493189
URL : https://hal.archives-ouvertes.fr/lirmm-01237144

C. Tibermacine, S. Sadou, C. Dony, and L. Fabresse, Component-based specification of software architecture constraints, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.31-40, 2011.
DOI : 10.1145/2000229.2000235
URL : https://hal.archives-ouvertes.fr/lirmm-00596332

M. Perttunen, J. Riekki, and O. Lassila, Context representation and reasoning in pervasive computing: a review, Int. Journal of Multimedia and Ubiquitous Engineering, pp.1-28, 2009.

C. Liu, K. Chang, J. Chen, and S. Hung, Ontologybased context representation and reasoning using owl and swrl, Communication Networks and Services Research Conf. (CNSR), pp.215-220, 2010.
DOI : 10.1109/cnsr.2010.22

K. Henricksen, J. Indulska, and A. Rakotonirainy, Modeling Context Information in Pervasive Computing Systems, Proc. 1st Int. Conf. Pervasive Computing, ser. Pervasive '02, pp.167-180, 2002.
DOI : 10.1007/3-540-45866-2_14

G. Blair, N. Bencomo, and R. France, Models@ run.time, Computer, vol.42, issue.10, pp.22-27, 2009.
DOI : 10.1109/MC.2009.326
URL : https://hal.archives-ouvertes.fr/hal-00733338

B. Morin, O. Barais, J. Jezequel, F. Fleurey, and A. Solberg, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, 2009.
DOI : 10.1109/MC.2009.327

J. C. Cepeda, D. Ramirez, and D. Colome, Probabilistic-based overload estimation for real-time smart grid vulnerability assessment, 2012 Sixth IEEE/PES Transmission and Distribution: Latin America Conference and Exposition (T&D-LA), pp.1-8, 2012.
DOI : 10.1109/TDC-LA.2012.6319111

H. W. Tom, G. Aumiller, and C. Brito-cruz, Time-resolved study of laser-induced disorder of Si surfaces, Physical Review Letters, vol.60, issue.14, p.1438, 1988.
DOI : 10.1103/PhysRevLett.60.1438

M. Baldauf, S. Dustdar, and F. Rosenberg, A survey on context-aware systems, International Journal of Ad Hoc and Ubiquitous Computing, vol.2, issue.4, 2007.
DOI : 10.1504/IJAHUC.2007.014070

T. Strang and C. L. Popien, A context modeling survey, UbiComp 1st Int. Workshop on Advanced Context Modelling, Reasoning and Management, pp.31-41, 2004.

P. P. Shan-chen, The entity-relationship model---toward a unified view of data, ACM Transactions on Database Systems, vol.1, issue.1, pp.9-36, 1976.
DOI : 10.1145/320434.320440

O. Lassila and R. R. Swick, Resource Description Framework (RDF) Model and Syntax Specification, W3C, W3C Recommendation, 1999.

S. Kent, Model Driven Engineering, IFM, 2002.
DOI : 10.1007/3-540-47884-1_16

J. Rothenberg, L. E. Widman, K. A. Loparo, and N. R. Nielsen, The nature of modeling, Artificial Intelligence, Simulation and Modeling, pp.75-92, 1989.

F. Fouquet, G. Nain, B. Morin, E. Daubert, O. Barais et al., An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements, MoDELS, 2012.
DOI : 10.1007/978-3-642-33666-9_7
URL : https://hal.archives-ouvertes.fr/hal-00714558

. Jézéquel, Dissemination of reconfiguration policies on mesh networks, DAIS 2012

F. Budinsky, D. Steinberg, and R. Ellersick, Eclipse Modeling Framework : A Developer's Guide, 2003.

O. and O. Meta, Object Facility (MOF) Core Specification, Version 2.4.1, Object Management Group Std, 2011.

X. Blanc, I. Mounier, A. Mougenot, and T. Mens, Detecting model inconsistency through operation-based model construction, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.511-520, 2008.
DOI : 10.1145/1368088.1368158
URL : https://hal.archives-ouvertes.fr/hal-01303728

J. Klein, J. Kienzle, B. Morin, and J. Jézéquel, Aspect Model Unweaving, 12th International Conference on Model Driven Engineering Languages and Systems (MODELS 2009), L. 5795, pp.514-530, 2009.
DOI : 10.1007/11687061_5
URL : https://hal.archives-ouvertes.fr/inria-00504677

J. Clifford and D. S. Warren, Formal semantics for time in databases, XP2 Workshop, 1981.
DOI : 10.1145/319983.319986

E. Rose and A. Segev, Toodm -a temporal object-oriented data model with temporal constraints, 1991.

G. Ariav, A temporally oriented data model, ACM Transactions on Database Systems, vol.11, issue.4, pp.499-527, 1986.
DOI : 10.1145/7239.7350

N. Mahmood, A. Burney, and K. Ahsan, A logical temporal relational data model, 2010.

A. Segev and A. Shoshani, The representation of a temporal data model in the relational environment, SSDBM, 1988.
DOI : 10.1007/BFb0027504

C. Shih, N. Wakabayashi, S. Yamamura, and C. Chen, A context model with a time-dependent multi-layer exception handling policy, IJICIC, vol.7, issue.5A, pp.2225-2234, 2011.

J. P. Selig, K. J. Preacher, and T. D. Little, Modeling Time-Dependent Association in Longitudinal Data: A Lag as Moderator Approach, Multivariate Behavioral Research, vol.31, issue.4, pp.697-716, 2012.
DOI : 10.2307/2527551

F. Chang, J. Dean, S. Ghemawat, W. Hsieh, D. Wallach et al., Bigtable, Proc. 7th USENIX Symp. OSDI -Volume 7, ser. OSDI '06, pp.15-15, 2006.
DOI : 10.1145/1365815.1365816

B. Motik, Representing and querying validity time in rdf and owl: A logic-based approach The Semantic Web -Volume Part I, ser, Proc. 9th Int. Semantic Web Conf, pp.550-565, 2010.

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

H. J. Bang, T. H. Kim, and S. D. Cha, An Iterative Refinement Framework for Tighter Worst-Case Execution Time Calculation, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07), pp.365-372, 2007.
DOI : 10.1109/ISORC.2007.19

F. Brandner, S. Hepp, and A. Jordan, Static profiling of the worst-case in real-time programs, Proceedings of the 20th International Conference on Real-Time and Network Systems, RTNS '12, pp.101-110, 2012.
DOI : 10.1145/2392987.2393000

F. Brandner, S. Hepp, and A. Jordan, Criticality: Static profiling for real-time programs . Real-Time Systems pp, pp.1-34, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01108039

F. Brandner and A. Jordan, Refinement of worst-case execution time bounds by graph pruning, Computer Languages, Systems & Structures, vol.40, issue.3-4, pp.155-170, 2014.
DOI : 10.1016/j.cl.2014.09.001
URL : https://hal.archives-ouvertes.fr/hal-01108029

F. Brandner and A. Jordan, Subgraph-Based Refinement of Worst-Case Execution Time Bounds, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00978015

D. L. Dvorak, NASA Study on Flight Software Complexity, AIAA Infotech@Aerospace Conference, 2009.
DOI : 10.2514/6.2009-1882

A. Jordan, Evaluating and estimating the WCET criticality metric, Proceedings of the 11th Workshop on Optimizations for DSP and Embedded Systems, ODES '14, pp.11-18, 2014.
DOI : 10.1145/2568326.2568331

J. Knoop, L. Kovács, and J. Zwirchmayr, WCET squeezing, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13, 2013.
DOI : 10.1145/2516821.2516847

P. Lokuciejewski, D. Cordes, H. Falk, and P. Marwedel, A fast and precise static loop analysis based on abstract interpretation, program slicing and polytope models, Proc. of the Int. Symp. on Code Generation and Optimization, pp.136-146, 2009.

C. Sandberg, A. Ermedahl, J. Gustafsson, and B. Lisper, Faster WCET flow analysis by program slicing, Proc. of the Conf. on Language, Compilers, and Tool Support for Embedded Systems, pp.103-112, 2006.

F. Barbier, E. Cariou, O. L. Goaer, and S. Pierre, Software Adaptation: Classification and a Case Study with State Chart XML, IEEE Software, vol.32, issue.5, p.2015
DOI : 10.1109/MS.2014.130

E. Cariou, O. L. Goaer, F. Barbier, and S. Pierre, Characterization of Adaptable Interpreted-DSML, ECMFA 2013, pp.37-53, 2013.
DOI : 10.1007/978-3-642-39013-5_4

S. Pierre, E. Cariou, O. L. Goaer, and F. Barbier, A Family-Based Framework for i-DSML Adaptation, ECMFA 2014, pp.164-179, 2014.
DOI : 10.1007/978-3-319-09195-2_11
URL : https://hal.archives-ouvertes.fr/hal-01094168

J. Cabot, R. Clarisó, R. , and D. , Verification of UML/OCL Class Diagrams using Constraint Programming, ICSTW, IEEE International Conference on Software Testing Verification and Validation Workshop, pp.73-80, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00974321

K. Ehrig, J. Küster, and G. Taentzer, Generating Instance Models from Meta models. Software and Systems Modeling, pp.479-500, 2009.

A. Ferdjoukh, A. Baert, E. Bourreau, A. Chateau, R. Coletta et al., Instantiation of Meta-models Constrained with OCL : a CSP Approach, MODELSWARD, International Conference on Model-Driven Engineering and Software Development, pp.213-222, 2015.
URL : https://hal.archives-ouvertes.fr/lirmm-01232891

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, pp.1044-1051, 2013.
DOI : 10.1109/ICTAI.2013.156
URL : https://hal.archives-ouvertes.fr/lirmm-01007571

A. Mougenot, A. Darrasse, X. Blanc, and M. Soria, Uniform Random Generation of Huge Metamodel Instances, ECMDA, European Conference on Model-Driven Architecture Foundations and Applications, pp.130-145, 2009.
DOI : 10.1109/MS.2003.1231146
URL : https://hal.archives-ouvertes.fr/hal-00391816

S. Sen, B. Baudry, and J. Mottu, Automatic Model Generation Strategies for Model Transformation Testing, ICMT, International Conference on Model Transformation, pp.148-164, 2009.
DOI : 10.1007/11768869_13
URL : https://hal.archives-ouvertes.fr/inria-00468256

H. Wu, R. Monahan, and J. Power, Exploiting Attributed Type Graphs to Generate Metamodel Instances Using an SMT Solver, 2013 International Symposium on Theoretical Aspects of Software Engineering, pp.175-182, 2013.
DOI : 10.1109/TASE.2013.31

N. Huynh, M. Frappier, A. Mammar, R. Laleau, and J. Desharnais, Validating the RBAC ANSI 2012 Standard Using B, Abstract State Machines, Alloy, B, TLA, VDM, and Z -4th International Conference Proceedings, pp.255-270, 2014.
DOI : 10.1007/978-3-662-43652-3_22
URL : https://hal.archives-ouvertes.fr/hal-01264810

M. Leuschel and M. J. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

R. Sandhu, D. Ferraiolo, and R. Kuhn, The NIST model for role-based access control, Proceedings of the fifth ACM workshop on Role-based access control , RBAC '00, pp.47-63, 2000.
DOI : 10.1145/344287.344301

A. Arusoaie, D. Lucanu, D. Nowak, and V. Rusu, Verifying Reachability-Logic Properties on Rewriting-Logic Specifications, submitted to Festschrift Symposium in Honor of Jose Meseguer: Logic, Rewriting, and Concurrency

P. Bille, A survey on tree edit distance and related problems, Theoretical Computer Science, vol.337, issue.1-3, pp.217-239, 2005.
DOI : 10.1016/j.tcs.2004.12.030

S. S. Chawathe, A. Rajaraman, H. Garcia-molina, and J. Widom, Change detection in hierarchically structured information, Proceedings of the 1996 International Conference on Management of Data, pp.493-504, 1996.

J. Falleri, F. Morandat, X. Blanc, M. Martinez, and M. Monperrus, Fine-grained and accurate source code differencing, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.313-324, 2014.
DOI : 10.1145/2642937.2642982
URL : https://hal.archives-ouvertes.fr/hal-01054552

R. 1. Abate, J. Boender, R. D. Cosmo, and S. Zacchiroli, Strong dependencies between software components, 2009 3rd International Symposium on Empirical Software Engineering and Measurement, pp.89-99, 2009.
DOI : 10.1109/ESEM.2009.5316017
URL : https://hal.archives-ouvertes.fr/hal-00388093

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, Dependency solving: A separate concern in component evolution management, Journal of Systems and Software, vol.85, issue.10, pp.2228-2240, 2012.
DOI : 10.1016/j.jss.2012.02.018

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, Learning from the Future of Component Repositories, 15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00686923

P. Abate, R. Di-cosmo, R. Treinen, and S. Zacchiroli, A modular package manager architecture Information and Software Technology, Special Section: Component-Based Software Engineering (CBSE), pp.459-474, 2011.

S. Ajmani, B. Liskov, and L. Shrira, Modular Software Upgrades for Distributed Systems, ECOOP, pp.452-47610, 2006.
DOI : 10.1007/11785477_26

. Apache-software-foundation, Guide to uploading artifacts to the central repository. [Online; accessed 1, 2013.

D. L. Berre and A. Parrain, On sat technologies for dependency management and beyond, pp.197-200, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00870846

J. Breitner, Tackling the testing migration problem with SAT-solvers, 2012

D. Project, The debian snapshot archive. [Online; accessed 1, 2013.

D. Project and . Debian, testing " distribution. [Online; accessed 1, 2013.

R. , D. Cosmo, and J. Boender, Using strong conflicts to detect quality issues in component-based complex systems, ISEC '10: Proceedings of the 3rd India software engineering conference, pp.163-172, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00495740

W. F. Dowling and J. H. Gallier, Linear-time algorithms for testing the satisfiability of propositional horn formulae, The Journal of Logic Programming, vol.1, issue.3, pp.267-28410, 1984.
DOI : 10.1016/0743-1066(84)90014-1

F. Mancinelli, J. Boender, R. Di-cosmo, J. Vouillon, B. Durak et al., Managing the Complexity of Large Free and Open Source Package-Based Software Distributions, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06), pp.199-208, 2006.
DOI : 10.1109/ASE.2006.49
URL : https://hal.archives-ouvertes.fr/hal-00149566

S. Mccamant and M. D. Ernst, Predicting problems caused by component upgrades, ESEC / SIGSOFT FSE, pp.287-296, 2003.

S. Mccamant and M. D. Ernst, Early Identification of Incompatibilities in Multi-component Upgrades, ECOOP, pp.440-464, 2004.
DOI : 10.1007/978-3-540-24851-4_20

N. Nagappan and T. Ball, Using Software Dependencies and Churn Metrics to Predict Field Failures: An Empirical Case Study, First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), pp.364-373, 2007.
DOI : 10.1109/ESEM.2007.13

S. Neuhaus, T. Zimmermann, C. Holler, and A. Zeller, Predicting vulnerable software components, Proceedings of the 14th ACM conference on Computer and communications security , CCS '07, pp.529-540, 2007.
DOI : 10.1145/1315245.1315311
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.3009

R. Nieuwenhuis, A. Oliveras, and C. Tinelli, Solving SAT and SAT Modulo Theories, Journal of the ACM, vol.53, issue.6, pp.937-977, 2006.
DOI : 10.1145/1217856.1217859

P. Trezentos, I. Lynce, and A. L. Oliveira, Apt-pbo, Proceedings of the IEEE/ACM international conference on Automated software engineering, ASE '10, pp.427-436, 2010.
DOI : 10.1145/1858996.1859087

C. Tucker, D. Shuffelton, R. Jhala, and S. Lerner, OPIUM: Optimal Package Install/Uninstall Manager, 29th International Conference on Software Engineering (ICSE'07), pp.178-188, 2007.
DOI : 10.1109/ICSE.2007.59
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.323.8468

J. Vouillon and R. D. Cosmo, On software component co-installability, SIGSOFT FSE, pp.256-266, 2011.
DOI : 10.1145/2522920.2522927
URL : https://hal.archives-ouvertes.fr/hal-00910926

J. Vouillon and R. D. Cosmo, Broken sets in software repository evolution, 2013 35th International Conference on Software Engineering (ICSE), 2013.
DOI : 10.1109/ICSE.2013.6606587
URL : https://hal.archives-ouvertes.fr/hal-00910919

I. Yoon, A. Sussman, A. Memon, and A. Porter, Direct-dependency-based software compatibility testing, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.409-412, 2007.
DOI : 10.1145/1321631.1321696
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.157.6186

I. Yoon, A. Sussman, A. Memon, and A. Porter, Effective and scalable software compatibility testing, Proceedings of the 2008 international symposium on Software testing and analysis, ISSTA '08, pp.63-74, 2008.
DOI : 10.1145/1390630.1390640

T. Zimmermann and N. Nagappan, Predicting defects using network analysis on dependency graphs, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.531-540, 2008.
DOI : 10.1145/1368088.1368161

E. Shihab, C. Bird, and T. Zimmermann, The effect of branching strategies on software quality, Proceedings of the ACM-IEEE international symposium on Empirical software engineering and measurement, ESEM '12, pp.301-310, 2012.
DOI : 10.1145/2372251.2372305

C. Bird, P. C. Rigby, E. T. Barr, D. J. Hamilton, D. M. German et al., The promises and perils of mining git, 2009 6th IEEE International Working Conference on Mining Software Repositories, pp.1-10, 2009.
DOI : 10.1109/MSR.2009.5069475

J. Howison, M. Conklin, and K. Crowston, FLOSSmole, International Journal of Information Technology and Web Engineering, vol.1, issue.3, pp.17-26, 2006.
DOI : 10.4018/jitwe.2006070102

J. A. Grochow and M. Kellis, Network Motif Discovery Using Subgraph Enumeration and Symmetry-Breaking, Research in Computational Molecular Biology (RECOMB07), ser, pp.92-106, 2007.
DOI : 10.1007/978-3-540-71681-5_7

D. Posnett, V. Filkov, and P. T. Devanbu, Ecological inference in empirical software engineering, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.362-371, 2011.
DOI : 10.1109/ASE.2011.6100074

S. Demeyer, S. Ducasse, and O. Nierstrasz, Finding refactorings via change metrics, ACM SIGPLAN Notices, pp.166-177, 2000.

S. Valverde and R. Sole, Logarithmic growth dynamics in software networks, Europhysics Letters (EPL), vol.72, issue.5, p.858, 2005.
DOI : 10.1209/epl/i2005-10314-9

D. Posnett, R. D. Souza, P. Devanbu, and V. Filkov, Dual ecological measures of focus in software development, 2013 35th International Conference on Software Engineering (ICSE), pp.452-461, 2013.
DOI : 10.1109/ICSE.2013.6606591

S. Valverde and R. V. Solé, Self-organization versus hierarchy in open-source social networks, Physical Review E, vol.76, issue.4, p.46118, 2007.
DOI : 10.1103/PhysRevE.76.046118

A. Mockus, R. T. Fielding, and J. Herbsleb, A case study of open source software development, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.263-272, 2000.
DOI : 10.1145/337180.337209

C. Rodriguez-bustos and J. Aponte, How Distributed Version Control Systems impact open source software projects, 2012 9th IEEE Working Conference on Mining Software Repositories (MSR), pp.36-39, 2012.
DOI : 10.1109/MSR.2012.6224297

F. Thung, T. Bissyande, D. Lo, and L. Jiang, Network Structure of Social Coding in GitHub, 2013 17th European Conference on Software Maintenance and Reengineering, pp.323-326, 2013.
DOI : 10.1109/CSMR.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00790772

C. Brindescu, M. Codoban, S. Shmarkatiuk, and D. Dig, How do centralized and distributed version control systems impact software changes?, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, p.2014
DOI : 10.1145/2568225.2568322
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.674.1462

L. Dabbish, C. Stuart, J. Tsay, and J. Herbsleb, Social coding in GitHub, Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work, CSCW '12, pp.1277-1286, 2012.
DOI : 10.1145/2145204.2145396

A. Ferdjoukh, A. Baert, E. Bourreau, A. Chateau, R. Coletta et al., Instantiation of Meta-models Constrained with OCL: a CSP Approach, MODELSWARD (2015), pp.213-222
URL : https://hal.archives-ouvertes.fr/lirmm-01232891

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.10441051
DOI : 10.1109/ICTAI.2013.156
URL : https://hal.archives-ouvertes.fr/lirmm-01007571

L. G. Valiant, A bridging model for parallel computation, Communications of the ACM, vol.33, issue.8, pp.103-111, 1990.
DOI : 10.1145/79173.79181

L. G. Valiant, A bridging model for multi-core computing, In: J. Comput. Syst. Sci, vol.771, pp.154-166, 2011.
DOI : 10.1016/j.jcss.2010.06.012
URL : http://doi.org/10.1016/j.jcss.2010.06.012

L. Gesbert, Bulk synchronous parallel ML with exceptions, Future Generation Computer Systems, vol.26, issue.3, pp.486-490, 2010.
DOI : 10.1016/j.future.2009.05.021
URL : https://hal.archives-ouvertes.fr/inria-00452559

L. \ce, Génie Logiciel pour les systèmes Cyber-physiquEs " Old wine, new bottle