?. A. Publications, S. Castañeda, M. Rajsbaum, and . Roy, « Convergence and covering on graphs for wait-free robots, Journal of the Brazilian Computer Society, vol.24

A. Kritikakou, T. Marty, M. Roy, and . Dynascore, DYNAmic Software COntroller to increase REsource utilization in mixed-critical systems », In : ACM Transactions on Design Automation of Electronic Systems (TODAES), vol.23, issue.2
URL : https://hal.archives-ouvertes.fr/hal-01559696

A. Mostefaoui, M. Raynal, and M. Roy, « Time-Efficient Read/Write Register in Crashprone Asynchronous Message-Passing Systems url : https, p.Computing, 2018.

M. Lauer, M. Amy, J. Fabre, M. Roy, W. Excoffon et al., Resilient computing on ROS using adaptive fault tolerance, Journal of Software : Evolution and Process 00
DOI : 10.1002/spe.1077
URL : https://hal.archives-ouvertes.fr/hal-01703968

Y. A. Pignolet, M. Roy, S. Schmid, and G. Trédan, « The many faces of graph dynamics url : https, Journal of Statistical Mechanics : Theory and Experiment, vol.2017, 2017.
DOI : 10.1088/1742-5468/aa71ce
URL : http://arxiv.org/pdf/1506.01565

M. Stoicescu, J. Fabre, and M. Roy, Architecting resilient computing systems: A component-based approach for adaptive fault tolerance, Journal of Systems Architecture, vol.73
DOI : 10.1016/j.sysarc.2016.12.005
URL : https://hal.archives-ouvertes.fr/hal-01472877

M. Killijian, R. Pasqua, M. Roy, G. Trédan, and C. Zanon, SOUK, Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing, UbiComp '13, 2016.
DOI : 10.1145/2493432.2494526
URL : https://hal.archives-ouvertes.fr/hal-00839520

M. Machin, J. Guiochet, H. Waeselynck, J. Blanquart, M. Roy et al., SMOF: A Safety Monitoring Framework for Autonomous Systems, IEEE Transactions on Systems, Man, and Cybernetics : Systems (déc. 2016). url
DOI : 10.1109/TSMC.2016.2633291
URL : https://hal.archives-ouvertes.fr/hal-01394139

Y. Deswarte, C. A. Melchor, V. Nicomette, and M. Roy, Protection de la vie priv??e sur Internet, Revue de l'Electricit?? et de l'Electronique, vol.-, issue.08, pp.65-74, 2006.
DOI : 10.3845/ree.2006.081

A. Mostéfaoui, S. Rajsbaum, M. Raynal, and M. Roy, « Condition-based consensus solvability : a hierarchy of conditions and efficient protocols, In : Distributed Computing, vol.171, 2004.

?. Publications, ]. M. Ch1, and . Roy, « The BG Distributed Simulation Algorithm » In : Encyclopedia of Algorithms. Sous la dir, Chap. BG Distributed Simulation Algorithm, vol.url, pp.199-203978, 2016.

A. A. Kalam, C. A. Melchor, S. Berthold, J. Camenisch, S. Clauß et al., Further Privacy Mechanisms, Camenisch, R. Leenes et D. Sommer. T. 6545. Lecture Notes in Computer Science, pp.485-555, 2011.
DOI : 10.1007/978-3-642-19050-6_18

]. Ch4, M. Killijian, . Roy-sous-la-dir.-d-'a, R. Casimiro, C. De-lemos et al., Architecting Dependable Systems VII Chap. Data Backup for Mobile Nodes : a Cooperative Middleware and Experimentation Platform, Lecture Notes in Computer Science, vol.6420, pp.53-73, 2010.

?. C. Publications, M. Bertero, C. Roy, G. Sauvanaud, and . Trédan, « Experience Report : Log Mining using Natural Language Processing and Application to Anomaly Detection, 28th International Symposium on Software Reliability Engineering, 2017.

A. Castañeda, Y. Moses, M. Raynal, and M. Roy, Early Decision and Stopping in Synchronous Consensus: A Predicate-Based Guided Tour, International Conference on Networked Systems (NETYS). T. 96. Proceedings of NETYS 2017 : the 5th International Conference on Networked Systems, pp.167-221, 2017.
DOI : 10.1016/j.ipl.2005.08.002

F. Helsinki, url : https, 2016.

A. Castañeda, P. Fraigniaud, E. Gafni, S. Rajsbaum, and M. Roy, Asynchronous Coordination Under Preferences and Constraints, 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing Proceedings of the 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2016.
DOI : 10.1137/S0097539796307698

A. Castañeda, S. Rajsbaum, and M. Roy, Two Convergence Problems for Robots on Graphs, 2016 Seventh Latin-American Symposium on Dependable Computing (LADC)
DOI : 10.1109/LADC.2016.21

J. Fabre, M. Lauer, M. Roy, M. Amy, W. Excoffon et al., « Towards Resilient Computing on ROS for Embedded Applications, 8th European Congress on Embedded real Time Software and Systems, 2016.

A. Kritikakou, T. Marty, C. Pagetti, C. Rochange, M. Lauer et al., « Multiplexing Adaptive with Classic AUTOSAR ? Adaptive Software Control to Increase Resource Utilization in Mixed-Critical Systems ». In : Workshop CARS 2016 -Critical Automotive applications : Robustness & Safety. CARS 2016 -Critical Automotive applications : Robustness & Safety

M. Lauer, M. Amy, J. Fabre, M. Roy, W. Excoffon et al., Engineering Adaptive Fault-Tolerance Mechanisms for Resilient Computing on ROS, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)
DOI : 10.1109/HASE.2016.30
URL : https://hal.archives-ouvertes.fr/hal-01288098

R. Pasqua, M. Roy, and G. Trédan, Loca, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, UbiComp '16
DOI : 10.1109/SP.2011.18
URL : https://hal.archives-ouvertes.fr/hal-01372317

M. Lauer, M. Amy, W. Excoffon, M. Roy, and M. Stoicescu, « Towards Adaptive Fault Tolerance : From a Component-Based Approach to ROS ». In : CARS 2015 - Critical Automotive applications : Robustness & Safety

M. Machin, F. Dufossé, J. Guiochet, D. Powell, M. Roy et al., Model-Checking and Game theory for Synthesis of Safety Rules, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp.201536-201579, 2015.
DOI : 10.1109/HASE.2015.15
URL : https://hal.archives-ouvertes.fr/hal-01164981

H. Martorell, J. Fabre, M. Lauer, M. Roy, and R. Valentin, Partial Updates of AUTOSAR Embedded Applications -- To What Extent?, 2015 11th European Dependable Computing Conference (EDCC), 2015.
DOI : 10.1109/EDCC.2015.18
URL : https://hal.archives-ouvertes.fr/hal-01194832

L. Pintard, M. Leeman, A. Ymlahi-ouazzani, J. Fabre, K. Kanoun et al., Using Fault Injection to Verify an AUTOSAR Application According to the ISO 26262, SAE Technical Paper Series
DOI : 10.4271/2015-01-0272
URL : https://hal.archives-ouvertes.fr/hal-01221422

J. Friginal, M. Killijian, R. Pasqua, M. Roy, and G. Trédan, Does Mobility Matter? An Evaluation Methodology for Opportunistic Apps, 2014 IEEE 13th International Symposium on Network Computing and Applications
DOI : 10.1109/NCA.2014.8
URL : https://hal.archives-ouvertes.fr/hal-01242260

M. [. Gambs, C. Killijian, C. Lauradoux, M. Onete, M. Roy et al., « Vssdb : A Verifiable Secret-Sharing Distance-Bounding Protocol, International Conference on Cryptography and Information security, 2014.

M. [. Gambs, M. Killijian, M. Roy, and . Traoré, PROPS: A PRivacy-Preserving Location Proof System, 2014 IEEE 33rd International Symposium on Reliable Distributed Systems
DOI : 10.1109/SRDS.2014.37
URL : https://hal.archives-ouvertes.fr/hal-01242266

A. Kritikakou, O. Baldellon, C. Pagetti, C. Rochange, and M. Roy, Run-Time Control to Increase Task Parallelism In Mixed-Critical Systems, 2014 26th Euromicro Conference on Real-Time Systems
DOI : 10.1109/ECRTS.2014.14
URL : https://hal.archives-ouvertes.fr/hal-01015476

A. Kritikakou, C. Pagetti, M. Roy, C. Rochange, M. Faugère et al., Distributed run-time WCET controller for concurrent critical tasks in mixed-critical systems, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14
DOI : 10.1145/2659787.2659799
URL : https://hal.archives-ouvertes.fr/hal-01096102

H. Martorell, J. Fabre, M. Roy, and R. Valentin, « Improving Adaptiveness of AU- TOSAR Embedded Applications Artificial intelligence & agents, distributed systems, and information systems : dependable, ACM Symposium on Applied Computing. T, vol.I

L. Pintard, J. Fabre, M. Leeman, K. Kanoun, and M. Roy, From Safety Analyses to Experimental Validation of Automotive Embedded Systems, 2014 IEEE 20th Pacific Rim International Symposium on Dependable Computing, 2014.
DOI : 10.1109/PRDC.2014.23
URL : https://hal.archives-ouvertes.fr/hal-01265454

S. Singapore, url : https : / / hal . archives ouvertes, pp.125-134, 2014.

M. Roy, S. Schmid, and G. Trédan, Modeling and measuring graph similarity, Proceedings of the 10th ACM international workshop on Foundations of mobile computing, FOMC '14, 2014.
DOI : 10.1145/2634274.2634277
URL : https://hal.archives-ouvertes.fr/hal-01010901

M. Stoicescu, J. Fabre, M. Roy, and A. Pathak, From Resilient Computing Architectural Concepts to Wireless Sensor Network-Based Applications (Short Paper), 2014 Tenth European Dependable Computing Conference, pp.46-49
DOI : 10.1109/EDCC.2014.23

O. Baldellon, J. Fabre, M. Roy, and . Minotor, Minotor: Monitoring Timing and Behavioral Properties for Dependable Distributed Systems, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013.
DOI : 10.1109/PRDC.2013.41
URL : https://hal.archives-ouvertes.fr/hal-00978475

M. [. Enard, E. Stoicescu, C. Balland, L. Consel, J. Duchien et al., Design-driven development methodology for resilient computing, Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering, CBSE '13
DOI : 10.1145/2465449.2465458
URL : https://hal.archives-ouvertes.fr/hal-00814298

M. Killijian, M. Roy, G. Trédan, and C. Zanon, SOUK, Proceedings of the 2013 ACM international joint conference on Pervasive and ubiquitous computing, UbiComp '13, p.2013, 2013.
DOI : 10.1145/2493432.2494526
URL : https://hal.archives-ouvertes.fr/hal-00839520

A. Kritikakou, O. Baldellon, C. Pagetti, C. Rochange, M. Roy et al., « Monitoring On-line Timing Information to Support Mixed-Critical Workloads, IEEE Real-Time Systems Symposium 2013

O. Baldellon, J. Fabre, and M. Roy, Distributed Monitoring of Temporal System Properties Using Petri Nets, 2012 IEEE 31st Symposium on Reliable Distributed Systems
DOI : 10.1109/SRDS.2012.21
URL : https://hal.archives-ouvertes.fr/hal-01015494

S. Gambs, M. Killijian, M. Roy, and M. Traoré, Locanyms, Proceedings of the 1st European Workshop on AppRoaches to MObiquiTous Resilience, ARMOR '12, 2012.
DOI : 10.1145/2222436.2222437
URL : https://hal.archives-ouvertes.fr/hal-00765530

A. Mekki-mokhtar, J. Blanquart, J. Guiochet, D. Powell, and M. Roy, « Elicitation of Executable Safety Rules for Critical Autonomous Systems, Embedded Real Time Software and Systems (ERTS2012)
DOI : 10.1109/prdc.2012.22
URL : http://homepages.laas.fr/guiochet/telecharge/guiochet-prdc2012.pdf

A. Mekki-mokhtar, J. Blanquart, J. Guiochet, D. Powell, and M. Roy, Safety Trigger Conditions for Critical Autonomous Systems, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing, 2012.
DOI : 10.1109/PRDC.2012.22
URL : https://hal.archives-ouvertes.fr/hal-01282203

M. Stoicescu, J. Fabre, and M. Roy, From Design for Adaptation to Component-Based Resilient Computing, 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing
DOI : 10.1109/PRDC.2012.12
URL : https://hal.archives-ouvertes.fr/hal-00747469

M. Killijian, M. Roy, and G. Severac, The ARUM Experimentation Platform: An Open Tool to Evaluate Mobile Systems Applications, AMiRE 2011 : 6th International Symposium on Autonomous Minirobots for Research and Edutainment, 2011.
DOI : 10.1007/978-3-642-27482-4_22
URL : https://hal.archives-ouvertes.fr/hal-00667832

M. Stoicescu, J. Fabre, and M. Roy, Architecting Resilient Computing Systems: Overall Approach and Open Issues, Software Engineering for Resilient Systems -Third International Workshop, SERENE. T. LNCS 6968
DOI : 10.1007/978-3-642-02164-0_4
URL : https://hal.archives-ouvertes.fr/hal-01615018

M. Killijian, M. Roy, and G. Séverac, ARUM: A cooperative middleware and an experimentation platform for mobile systems, 2010 IEEE 6th International Conference on Wireless and Mobile Computing, Networking and Communications, 2010.
DOI : 10.1109/WIMOB.2010.5645030
URL : https://hal.archives-ouvertes.fr/hal-01615017

[. Killijian, M. Roy, and G. Tredan, « Beyond San Fancisco Cabs : Building a *-lity Mining Dataset for Social Traces Analysis ». In : Workshop on the Analysis of Mobile Phone Networks

T. Robert, M. Roy, and J. Fabre, « Early Error Detection for Fault Tolerance Strategies, 18th International Conference on Real-Time and Network Systems

M. Killijian and M. Roy, « Brief announcement : A Platform for Experimenting with Mobile Algorithms in a Laboratory, Principles Of Distributed Computing, pp.316-317, 2009.

T. Robert, J. Fabre, and M. Roy, « Application of Early Error Detection for Handling Degraded Modes of Operation, 12th European Workshop on Dependable Computing, 2009.

J. [. Robert, M. Fabre, and . Roy, On-line Monitoring of Real Time Applications for Early Error Detection, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing, pp.15-17, 2008.
DOI : 10.1109/PRDC.2008.31

M. Roy, F. Bonnet, L. Querzoni, S. Bonomi, M. Killijian et al., « Georegisters : An Abstraction for Spatial-Based Distributed Computing, Principles of Distributed Systems, 12th International Conference, pp.534-537, 2008.
DOI : 10.1007/978-3-540-92221-6_34
URL : http://www.laas.fr/~mkilliji/docs/conferences/opodis-fada.pdf

E. Anceaume, X. Défago, M. Gradinariu, and M. Roy, « Towards a Theory of Selforganization » In : Principles of Distributed Systems Revised Selected Papers, 9th International Conference, OPODIS 2005, pp.191-205, 2005.

E. Anceaume, X. Défago, M. Gradinariu, and M. Roy, « Towards a Theory of Selforganization, Distributed Computing, 19th International Conference, pp.505-506, 2005.

M. Raynal and M. Roy, Allowing Atomic Objects to Coexist with Sequentially Consistent Objects, 8th International Conference, pp.59-73, 2005.
DOI : 10.1007/11535294_6

M. Raynal, M. Roy, and C. Tutu, A Simple Protocol Offering Both Atomic Consistent Read Operations and Sequentially Consistent Read Operations, 19th International Conference on Advanced Information Networking and Applications (AINA'05) Volume 1 (AINA papers), pp.28-30, 2005.
DOI : 10.1109/AINA.2005.64

E. Anceaume, R. Friedman, M. Gradinariu, M. R. Coopis, D. et al., An Architecture for Dynamic Scalable Self-Managed Persistent Objects, OTM Confederated International Conferences Proceedings, Part II, pp.1445-1462978, 2004.
DOI : 10.1007/978-3-540-30469-2_39

S. [. Mostéfaoui, M. Rajsbaum, M. Raynal, and . Roy, A Hierarchy of Conditions for Asynchronous Interactive Consistency, 7th International Conference, pp.978-981, 2003.
DOI : 10.1007/978-3-540-45145-7_11

M. Roy and A. Mostéfaoui, « Single-Write Safe Consensus using Constrained Inputs, Proceedings of the 10th Internaltional Colloquium on Structural Information Complexity, pp.291-306, 2003.

D. Agrawal, A. Abbadi, A. Mostéfaoui, M. Raynal, and M. Roy, The Lord of the Rings: Efficient Maintenance of Views at Data Warehouses, Distributed Computing, 16th International Conference, pp.33-47, 2002.
DOI : 10.1007/3-540-36108-1_3

A. Mostéfaoui, M. Raynal, M. Roy, D. Agrawal, and A. Abbadi, Towards a formal model for view maintenance in data warehouses, Proceedings of the twenty-first annual symposium on Principles of distributed computing , PODC '02, p.129, 2002.
DOI : 10.1145/571825.571845

A. Mostéfaoui, S. Rajsbaum, M. Raynal, and M. Roy, A hierarchy of conditions for consensus solvability, Proceedings of the twentieth annual ACM symposium on Principles of distributed computing , PODC '01, pp.151-160, 2001.
DOI : 10.1145/383962.384006

A. Mostéfaoui, S. Rajsbaum, M. Raynal, and M. Roy, « Efficient Condition-Based Consensus, Proceedings of the 8th International Colloquium on Structural Information and Communication Complexity, Vall de Núria, pp.27-29, 2001.

. Références, Laprie. « From dependability to resilience, 38th IEEE/IFIP Int. Conf. On Dependable Systems and Networks, pp.8-9, 2008.

A. M. Turing, « On computable numbers, with an application to the Entscheidungsproblem, Proceedings of the, 1936.

A. Church, An Unsolvable Problem of Elementary Number Theory, American Journal of Mathematics, vol.58, issue.2, pp.345-363, 1936.
DOI : 10.2307/2371045

H. Minkowski, Espace et temps, Annales scientifiques de l'É.N.S. T. 26. 3è série, pp.499-517, 1909.
DOI : 10.24033/asens.613

J. Laprie, « Sûreté de fonctionnement des systèmes : concepts de base et terminologie Revue de l'électricité et de l, pp.95-105, 2004.

K. Kim and T. F. Lawrence, Adaptive fault tolerance: issues and approaches, [1990] Proceedings. Second IEEE Workshop on Future Trends of Distributed Computing Systems, pp.38-46, 1990.
DOI : 10.1109/FTDCS.1990.138292

L. C. Lung, F. Favarim, G. T. Santos, and M. Correia, « An Infrastructure for Adaptive Fault Tolerance on FT-CORBA, Proceedings of the Ninth IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC '06, 2006.

O. Marin, P. Sens, J. Briot, and Z. Guessoum, « Towards Adaptive Fault-Tolerance for Distributed Multi-Agent Systems, Proceedings of The Fourth European Research Seminar on Advances in Distributed Systems. ERSADS '01, pp.195-201, 2001.

J. Marino and M. Rowley, Understanding SCA (Service Component Architecture), 2009.

C. Szyperski, Component Software : Beyond Object-Oriented Programming. 2nd, p.201745720, 2002.

E. Bini, M. D. Natale, and G. Buttazzo, « Sensitivity analysis for fixed-priority realtime systems, 18th Euromicro Conference on Real-Time Systems (ECRTS'06, pp.10-22, 2006.
DOI : 10.1007/s11241-006-9010-1
URL : http://feanor.sssup.it/~bini/publications/2006BinDiNBut.pdf

E. Asarin, P. Caspi, and O. Maler, Timed regular expressions, Journal of the ACM, vol.49, issue.2, pp.172-206, 2002.
DOI : 10.1145/506147.506151
URL : https://hal.archives-ouvertes.fr/hal-01699969

A. Bauer, M. Leucker, and C. Schallhart, Monitoring of Real-Time Properties, pp.260-272, 2006.
DOI : 10.1007/11944836_25

M. P. Herlihy and J. M. Wing, « Linerizability : A Correctness Condition for Atomic Objects, pp.463-492, 1990.
DOI : 10.1145/78969.78972
URL : http://www.cs.uoregon.edu/classes/06W/cis607atom/readings/herlihy-linearizability.pdf

E. Borowsky and E. Gafni, -resilient asynchronous computations, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing , STOC '93, pp.91-100, 1993.
DOI : 10.1145/167088.167119

E. Borowsky, E. Gafni, N. Lynch, and S. Rajsbaum, The BG distributed simulation algorithm, Distributed Computing 14.3 (juil, pp.127-146, 2001.
DOI : 10.1007/PL00008933
URL : http://theory.lcs.mit.edu/tds/papers/Borowsky/TM-573.pdf

F. B. Schneider, Implementing fault-tolerant services using the state machine approach: a tutorial, ACM Computing Surveys, vol.22, issue.4, pp.299-319, 1990.
DOI : 10.1145/98163.98167
URL : http://www.cs.cornell.edu/fbs/publications/86-800.ps

L. Lamport, The part-time parliament, ACM Transactions on Computer Systems, vol.16, issue.2, pp.133-169, 1998.
DOI : 10.1145/279227.279229

M. Chérèque, D. Powell, P. Reynier, J. Richier, and J. Voiron, Active replication in Delta-4, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing, pp.22-28, 1992.
DOI : 10.1109/FTCS.1992.243618

M. J. Fischer, N. A. Lynch, and M. S. Paterson, Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985.
DOI : 10.1145/3149.214121
URL : http://theory.lcs.mit.edu/tds/papers/Lynch/pods83-flp.pdf

H. Attiya, A. Bar-noy, and D. Dolev, « Sharing Memory Robustly in Message-passing Systems, J. ACM, vol.421, pp.124-142, 1995.
DOI : 10.1145/93385.93441
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA219923&Location=U2&doc=GetTRDoc.pdf

Y. Afek, H. Attiya, D. Dolev, E. Gafni, M. Merritt et al., « Atomic Snapshots of Shared Memory, J. ACM, vol.404, pp.873-890, 1993.
DOI : 10.21236/ada222765
URL : http://www.math.tau.ac.il/~shanir/publications/AADGMS.ps

L. Lamport, « On Interprocess Communication. Part I & II, Distributed Computing 1, pp.77-101, 1986.
DOI : 10.1007/bf01786227
URL : http://www.dtic.mil/cgi-bin/GetTRDoc?AD=ADA156337&Location=U2&doc=GetTRDoc.pdf

A. Klappenecker, H. Lee, and J. L. Welch, Dynamic regular registers in systems with churn, Theoretical Computer Science, vol.512, pp.84-97, 2013.
DOI : 10.1016/j.tcs.2012.08.019

R. Baldoni, S. Bonomi, A. M. Kermarrec, and M. , Implementing a Register in a Dynamic Distributed System, 2009 29th IEEE International Conference on Distributed Computing Systems, pp.639-647, 2009.
DOI : 10.1109/ICDCS.2009.46
URL : https://hal.archives-ouvertes.fr/inria-00340924

I. Bilogrevic, K. Huguenin, M. Jadliwala, F. Lopez, J. Hubaux et al., Inferring social ties in academic networks using short-range wireless communications, Proceedings of the 12th ACM workshop on Workshop on privacy in the electronic society, WPES '13, pp.179-188
DOI : 10.1145/2517840.2517842
URL : https://hal.archives-ouvertes.fr/hal-00853975

P. Erd?s and A. Rényi, « On the evolution of random graphs, Publ. Math. Inst. Hungar. Acad. Sci, vol.5, pp.17-61, 1960.

M. E. Newman, D. J. Watts, and S. H. Strogatz, Random graph models of social networks, Proceedings of the National Academy of Sciences 99, pp.2566-2572, 2002.
DOI : 10.1016/0049-089X(78)90006-6
URL : http://europepmc.org/articles/pmc128577?pdf=render

X. Gao, B. Xiao, D. Tao, and X. Li, A survey of graph edit distance, Pattern Analysis and Applications, vol.72, issue.3, pp.113-129, 2010.
DOI : 10.1007/s10044-007-0087-5

S. Borgatti and M. Everett, A Graph-theoretic perspective on centrality, Social Networks, vol.28, issue.4, pp.466-484, 2006.
DOI : 10.1016/j.socnet.2005.11.005

M. Newman and M. Girvan, Finding and evaluating community structure in networks, Physical Review E, vol.65, issue.2, 2004.
DOI : 10.1103/PhysRevE.68.065103
URL : http://arxiv.org/pdf/cond-mat/0308217

M. Bambagini, M. Marinoni, H. Aydin, and G. Buttazzo, Energy-Aware Scheduling for Real-Time Systems, ACM Transactions on Embedded Computing Systems, vol.15, issue.1, pp.1-734, 2016.
DOI : 10.1109/TC.2009.56

M. Herlihy, D. Kozlov, and S. Rajsbaum, Distributed Computing Through Combinatorial Topology. 1st, 2013.

D. Peleg, Distributed Computing : A Locality-sensitive Approach, Society for Industrial et Applied Mathematics, pp.0-89871, 2000.
DOI : 10.1137/1.9780898719772

Y. Afek and E. Gafni, A simple characterization of asynchronous computations, Theor. Comput. Sci. 561.PB, pp.88-95, 2015.
DOI : 10.1016/j.tcs.2014.07.022

A. Avi?ienis, J. Laprie, B. Randell, and C. Landwehr, Basic concepts and taxonomy of dependable and secure computing, Basic Concepts and Taxonomy of Dependable and Secure Computing, pp.11-33, 2004.
DOI : 10.1109/TDSC.2004.2