Recent Publications
Journal
Conference proceedings
Conference, workshop
Book, proceedings
HDR, PhD thesis
Book part
Research/contract report
Standardization
Shedding the Shackles of Time-Division Multiplexing.
F. Hebbache, M. Jan, F. Brandner et L. Pautet.
Real-Time Systems Symposium , pp. 13, Nashville, USA, DOI: 10.1109/RTSS.2018.00059, Janvier 2019.
A Dynamic Scalable Blockchain Based Communication Architecture for IoT.
H. Qiu, M. Qiu, M. Liu, Z. Ming et G. Memmi.
SmartBlock'18, vol. LNCS 11371, pp. 159-166, Tokyo, Japon, Décembre 2018.
Towards End-to-end Privacy for Publish/Subscribe Architectures in the Internet of Things. .
S. Coroller, S. Chabridon, M. Laurent, D. Conan et J. Leneutre.
5th Workshop on Middleware and Applications for the Internet of Things, M4IoT@Middleware , Rennes, France, Décembre 2018.
A Case Study for Practical Issues of DCT based Bitmap Selective Encryption Methods.
Nathalie Enfrin, H. Qiu et G. Memmi.
Conf. on Security of Smart cities, Industrial Control System and Communications, Shanghai, China, Octobre 2018.
Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure.
K. Kapusta et G. Memmi.
CSS?18, 10th International Symposium on Cyberspace Safety and Security, Amalfi, Italy, Octobre 2018.
POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure.
K. Kapusta et G. Memmi.
ACM CCS?18, Toronto, Canada, Octobre 2018.
Improving data collection in complex networks with failure-prone agents via local marking.
J. Gomez, A. Rodriguez, N. Botina et A. Diaconescu.
6th International Symposium of Language and Knowledge Engineering (LKE 2018), Octobre 2018.
Optimal Deployment of Security Policies: Application to Industrial Control Systems.
Z. Ismail, J. Leneutre et A. Fourati.
14th European Dependable Computing Conference (EDCC 2018), Iasi, Romania, Septembre 2018.
A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations.
K. Kapusta et G. Memmi.
Esorics?18, STM workshop, Barcelona, Spain, Septembre 2018.
Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data.
K. Kapusta et G. Memmi.
TrustCom'18, New-York, USA, Août 2018.
Fair dropping for multi-resource fairness in software routers Extended Abstract.
V. ADDANKI, L. LINGUAGLOSSA, J. Roberts et D. Rossi.
ACM SIGCOMM 2018, Budapest, Hungary, Août 2018.
An Asynchronous Computability Theorem for Fair Adversaries.
P. Kuznetsov, Th. Rieutord et Y. He.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Juillet 2018.
Brief Announcement: Performance Prediction for Coarse-Grained Locking.
V. Aksenov, D. Alistarh et P. Kuznetsov.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Juillet 2018.
Holonic Cellular Automata: Modelling Multi-level Self-organisation of Structure and Behaviour.
A. Diaconescu, S. Tomforde et Ch. Müller-Schloer.
International Conference on Artificial Life, Tokyo, Japan, Juillet 2018.
Public Privacy and Brick Houses Made of Glass.
S. Marsh, A. Diaconescu et al..
12th IFIP International Conference on Trust Management, Juillet 2018.
Questioning the security and efficiency of the ESIoT approach.
A. Diop, S. Gharout, M. Laurent, J. Leneutre et J. Traoré.
1th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2018), Stockholm, Sweden, Juin 2018.
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017.
P. Kuznetsov.
SIGACT News, vol. 49, n° 1, pp. 81--90, DOI: 10.1145/3197406.3197421, Mai 2018.
Inherent limitations of hybrid transactional memory.
D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi et N. Shavit.
Distributed Computing, vol. 31, n° 3, pp. 167--185, DOI: 10.1007/s00446-017-0305-3, Mai 2018.
On Helping and Stacks.
V. Aksenov et P. Kuznetsov.
Networked Systems - 6th International Conference, NETYS 2018, Mai 2018.
Controlling software router resource sharing by fair packet dropping.
V. ADDANKI, L. LINGUAGLOSSA, J. Roberts et D. Rossi.
IFIP Networking 2018, Zurich, Switzerland, Mai 2018.
Self-integrating Organic Control Systems: from Crayfish to Smart Homes.
A. Diaconescu, P. Mata et K. Bellman.
6th International Workshop on Self-Optimisation in Autonomic and Organic Computing Systems (SAOS'18), part of ARCS'18, pp. 8, Braunschweig, Germany, Avril 2018.
Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective.
A. Diaconescu et J. Pitt.
3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Birmingham, UK, Avril 2018.
Availability Enhancement and Analysis for Mixed-Criticality Systems on Multi-core.  
R. Medina, E. Borde et L. Pautet.
Design Automation and Test in Europe (DATE), Dresden, Germany, Mars 2018.
Defining services and service orchestrators acting on shared sensors and actuators.
R. Baghli, E. Najm et B. Traverson.
6th International Conference on Model-Driven Engineering and Software Development (ModelsWard'18), Funchal, Madère, Janvier 2018.
A Survey on Game Theoretic Approaches for Intrusion Detection and Response Optimization .
Ch. Kiennert, Z. Ismail, H. Debar et J. Leneutre.
ACM Computing Surveys (CSUR), Janvier 2018.
Inherent limitations of hybrid transactional memory.
D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi et N. Shavit.
Distributed Computing, vol. 31, n° 3, pp. 167--185, DOI: 10.1007/s00446-017-0305-3, Janvier 2018.
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017.
P. Kuznetsov.
SIGACT News, vol. 49, n° 1, pp. 81--90, DOI: 10.1145/3197406.3197421, Janvier 2018.
On Helping and Stacks.
V. Aksenov, P. Kuznetsov et A. Shalyto.
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pp. 107--121, DOI: 10.1007/978-3-030-05529-5\_8, Janvier 2018.
Parallel Combining: Benefits of Explicit Synchronization.
V. Aksenov, P. Kuznetsov et A. Shalyto.
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, pp. 11:1--11:16, DOI: 10.4230/LIPIcs.OPODIS.2018.11, Janvier 2018.
Task Computability in Unreliable Anonymous Networks.
P. Kuznetsov et N. Yanagisawa.
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, pp. 23:1--23:13, DOI: 10.4230/LIPIcs.OPODIS.2018.23, Janvier 2018.
An Asynchronous Computability Theorem for Fair Adversaries.
P. Kuznetsov, Th. Rieutord et Y. He.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018, pp. 387--396, Janvier 2018.
AT2: Asynchronous Trustworthy Transfers.
R. Guerraoui, P. Kuznetsov, M. Monti, M. Pavlovic et D.-A. Seredinschi.
CoRR, vol. abs/1812.10844, Janvier 2018.
Availability enhancement and analysis for mixed-criticality systems on multi-core.
R. Medina, E. Borde et L. Pautet.
2018 Design, Automation \& Test in Europe Conference \& Exhibition, DATE 2018, Dresden, Germany, March 19-23, 2018, pp. 1271--1276, DOI: 10.23919/DATE.2018.8342210, Janvier 2018.
Scheduling Multi-periodic Mixed-Criticality DAGs on Multi-core Architectures.
R. Medina, E. Borde et L. Pautet.
2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018, pp. 254--264, DOI: 10.1109/RTSS.2018.00042, Janvier 2018.
Shedding the Shackles of Time-Division Multiplexing.
F. Hebbache, M. Jan, F. Brandner et L. Pautet.
2018 IEEE Real-Time Systems Symposium, RTSS 2018, Nashville, TN, USA, December 11-14, 2018, pp. 456--468, DOI: 10.1109/RTSS.2018.00059, Janvier 2018.
Game Theory for Security and Risk Management.
Z. Ismail, J. Leneutre, D. Bateman et L. Chen.
2018.
Stabilization, Safety, and Security of Distributed Systems - 20th International Symposium, SSS 2018, Tokyo, Japan, November 4-7, 2018, Proceedings.
T. Izumi et P. Kuznetsov.
Springer, DOI: 10.1007/978-3-030-03232-6, 2018.
Inherent limitations of hybrid transactional memory.
D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi et N. Shavit.
Distributed Computing, vol. 31, n° 3, pp. 167--185, DOI: 10.1007/s00446-017-0305-3, 2018.
The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017.
P. Kuznetsov.
SIGACT News, vol. 49, n° 1, pp. 81--90, DOI: 10.1145/3197406.3197421, 2018.
On Helping and Stacks.
V. Aksenov, P. Kuznetsov et A. Shalyto.
Networked Systems - 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers, pp. 107--121, DOI: 10.1007/978-3-030-05529-5\_8, 2018.
Parallel Combining: Benefits of Explicit Synchronization.
V. Aksenov, P. Kuznetsov et A. Shalyto.
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, pp. 11:1--11:16, DOI: 10.4230/LIPIcs.OPODIS.2018.11, 2018.
Task Computability in Unreliable Anonymous Networks.
P. Kuznetsov et N. Yanagisawa.
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China, pp. 23:1--23:13, DOI: 10.4230/LIPIcs.OPODIS.2018.23, 2018.
An Asynchronous Computability Theorem for Fair Adversaries.
P. Kuznetsov, Th. Rieutord et Y. He.
Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018, pp. 387--396, 2018.
AT2: Asynchronous Trustworthy Transfers.
R. Guerraoui, P. Kuznetsov, M. Monti, M. Pavlovic et D.-A. Seredinschi.
CoRR, vol. abs/1812.10844, 2018.
Knowledge Management for Democratic Governance of Socio-Technical Systems.
J. Pitt, A. Diaconescu et J. Ober.
DOI: 10.1007/978-3-030-05333-8_42018.
Hierarchical Self-awareness and Authority for Scalable Self-integrating Systems.
A. Diaconescu, B. Porter, R. Rodriguez et E. Pournaras.
2018.
Dynamic Arbitration of Memory Requests with TDM-like Guarantees.
F. Hebbache, M. Jan, F. Brandner et L. Pautet.
Workshop on Compositional Theory and Technology for Real-Time Embedded Systems , Paris, France, Décembre 2017.
Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks.
J. Garbiso, A. Diaconescu, M. Coupechoux et B. Leroy.
IEEE International Conference on Intelligent Transportation Systems (ITSC), pp. 1-6, Yokohama, JAPAN, Octobre 2017.
Modeling the Energy Consumption of Programs: Thermal Aspects and Energy/Frequency Convexity Rule.
K. De Vogeleer, K. R. Vaddina, F. Brandner, P. Jouvelot et G. Memmi.
WCSP, Nanjing, China, Octobre 2017.
Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks.
K. Kapusta, G. Memmi et H. Noura.
1st IEEE-IFIP CSNet, Rio de Janero, Bresil, Octobre 2017.
A Game Theoretical Model for Optimal Distribution of Network Security Resources.
Z. Ismail, Ch. Kiennert, J. Leneutre et L. Chen.
Conference on Decision and Game Theory for Security (GAMESEC 2018), Vienna, Austria, Octobre 2017.
Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors.
K. De Vogeleer, G. Memmi et P. Jouvelot.
Journal of Sustainable Computing, Informatics and Systems, vol. 15, pp. 16-27, Septembre 2017.
Distributive Justice for Fair Auto-adaptive Clusters of Connected Vehicles.
J. Garbiso, A. Diaconescu, M. Coupechoux et B. Leroy.
International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST 2017), pp. 1-6, Tucson, US, Septembre 2017.
Experimental Energy Profiling of Energy-Critical Embedded Applications.
K. R. Vaddina, F. Brandner, G. Memmi et P. Jouvelot.
Symposium on Green Networking and Computing (SGNC), Split, DOI: 10.23919/SOFTCOM.2017.8115536, Septembre 2017.
Knowledge Management Processes and Design Principles for Self-Governing Socio-Technical Systems.
J. Pitt, J. Ober et A. Diaconescu.
5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO-ST), , Tucson AZ, USA,, Septembre 2017.
A Semi-Automated Approach for the Co-refinement of Requirements and Architecture Models.
M. Barkowski, M. Schneider, H. Giese, J. Dyck, D. Tamzalit, D. Blouin, E. Borde et J. Noppen.
MoDRE, Lisboa, Portugal, Septembre 2017.
Translation of ATL to AGT and Application to a Code Generator for Simulink.
E. Richa, E. Borde et L. Pautet.
Software and Systems Modeling, Août 2017.
Directed Acyclic Graph Scheduling for Mixed-Criticality Systems.
R. Medina, E. Borde et L. Pautet.
Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings, pp. 217--232, DOI: 10.1007/978-3-319-60588-3_14, Août 2017.
Technological Impacts in Socio-Technical Communities. Values and Pathologies.
A. Diaconescu et J. Pitt.
IEEE Technology and Society Magazine - special issue based on the Dagstuhl seminar (15482) on "Social Concepts in Self-organising Systems" (11/2015) , Août 2017.
Interactional Justice for Sustainable Management of Common-Pool Resources.
J. Pitt et A. Diaconescu.
XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Utrecht, Netherlands, Juillet 2017.
Democratisation of the SmartGrid and the Active Participation of Prosumers.
J. Pitt, A. Diaconescu et A. Bourazeri.
26th IEEE International Symposium on Industrial Electronics (ISIE), Edinburgh, Scotland, UK,, Juin 2017.
An efficient Secure Storage Scheme Based on Information Fragmentation.
H. Qiu, G. Memmi et H. Noura.
4th IEEE Int. Conf. on Cyber Security and Cloud Computing, pp. 108-113, New-York, USA, Juin 2017.
Replication-Based Self-healing of Mobile Agents Exploring Complex Networks.
A. Rodriguez, J. Gomez et A. Diaconescu.
15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI, , pp. 222--233, Porto, Portugal, DOI: 10.1007/978-3-319-59930-4_18, Juin 2017.
Incentive-oriented Task Assignment in Holonic Organic Systems.
J. Kantert, S. Tomforde, A. Diaconescu et Ch. Müller-Schloer.
5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Vienna, Austria, Avril 2017.
Note sur la cryptanalyse de Diffie-Hellman.
m. rambaud et G. Memmi.
Génie Logiiel, n° 120, pp. 56-60, Mars 2017.
Grasping the gap between blocking and non-blocking transactional memories.
P. Kuznetsov et S. Ravi.
J. Parallel Distrib. Comput., vol. 101, pp. 1--16, Février 2017.
Grasping the gap between blocking and non-blocking transactional memories.
P. Kuznetsov et S. Ravi.
J. Parallel Distrib. Comput., vol. 101, pp. 1--16, Février 2017.
Self-Aware Computing Systems.
J. Camara, K. Bellman, J. Kephart, M. Autili, N. Bencomo, A. Diaconescu, H. Giese, S. Gotz, P. Inverardi, S. Kounev et al..
DOI: 10.1007/978-1-4471-5007-7Février 2017.
Multi-objective exploration of architectural designs by composition of model transformations.  
S. Rahmoun, A. Mehiaoui-Hamitou, E. Borde, L. Pautet et E. Soubiran.
Software and Systems Modeling, pp. 1-21, DOI: 10.1007/s10270-017-0580-2, Janvier 2017.
Self-Aware Computing Systems.
S. Kounev, P. Lewis, K. Bellman, N. Bencomo, J. Camara, A. Diaconescu, L. Esterle, K. Geihs, H. Giese, S. Gotz, P. Inverardi, J. Kephart et A. Zisman.
2017.
Self-Aware Computing Systems.
P. Lewis, K. Bellman, Ch. Landauer, L. Esterle, K. Glette, A. Diaconescu et H. Giese.
2017.
Self-Aware Computing Systems.
J. Kephart, M. Maggio, A. Diaconescu, H. Giese, H. Hoffmann, S. Kounev, A. Koziolek, P. Lewis, A. Robertsson et S. Spinner.
2017.
Self-Aware Computing Systems.
H. Giese, Th. Vogel, A. Diaconescu, S. Gotz et S. Kounev.
2017.
Self-Aware Computing Systems.
H. Giese, Th. Vogel, A. Diaconescu, S. Gotz et K. Bellman.
2017.
Self-Aware Computing Systems.
A. Diaconescu, K. Bellman, L. Esterle, H. Giese, S. Gotz, P. Lewis et A. Zisman.
2017.
Self-Aware Computing Systems.
H. Giese, Th. Vogel, A. Diaconescu, P. Lewis, S. Gotz, N. Bencomo, K. Geihs, S. Kounev, K. Bellman et P. Inverardi.
2017.
Self-Aware Computing Systems.
J. Kephart, A. Diaconescu, H. Giese, A. Robertsson, T. Abdelzaher, P. Lewis, A. Filieri, L. Esterle et S. Frey.
2017.
Self-Aware Computing Systems.
M. Autili, K. Bellman, A. Diaconescu, L. Esterle, M. Tivoli et A. Zisman.
2017.
Organic Computing: Technical Systems for Survival in the Real World.  
A. Diaconescu.
2017.
Organic Computing: Technical Systems for Survival in the Real World,.  
A. Diaconescu.
2017.
Convergence to multi-resource fairness under end-to-end window control.  
Th. Bonald, J. Roberts et Ch. Vitale.
IEEE INFOCOM, Atlanta, United states, 2017.
Towards a Self-healing Multi-agent Platform for Distributed Data Management.
A. Rodriguez, J. Gomez et A. Diaconescu.
DOI: 10.1007/978-3-319-59930-4_362017.
On the uncontended complexity of anonymous agreement.
C. Capdevielle, C. Johnen, P. Kuznetsov et A. Milani.
Distributed Computing, vol. 30, n° 6, pp. 459--468, DOI: 10.1007/s00446-017-0297-z, 2017.
Non-interference and local correctness in transactional memory.
P. Kuznetsov et S. Peri.
Theor. Comput. Sci., vol. 688, pp. 103--116, DOI: 10.1016/j.tcs.2016.06.021, 2017.
A Concurrency-Optimal Binary Search Tree.
V. Aksenov, V. Gramoli, P. Kuznetsov, A. Malova et S. Ravi.
Euro-Par 2017: Parallel Processing - 23rd International Conference on Parallel and Distributed Computing, Santiago de Compostela, Spain, August 28 - September 1, 2017, Proceedings, pp. 580--593, DOI: 10.1007/978-3-319-64203-1_42, 2017.
Agreement Functions for Distributed Computing Models.
P. Kuznetsov et Th. Rieutord.
Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, pp. 175--190, DOI: 10.1007/978-3-319-59647-1_14, 2017.
Brief Announcement: Compact Topology of Shared-Memory Adversaries.
P. Kuznetsov, Th. Rieutord et Y. He.
31st International Symposium on Distributed Computing, DISC 2017, October 16-20, 2017, Vienna, Austria, pp. 56:1--56:4, DOI: 10.4230/LIPIcs.DISC.2017.56, 2017.
Progress-Space Tradeoffs in Single-Writer Memory Implementations.
D. Imbs, P. Kuznetsov et Th. Rieutord.
CoRR, vol. abs/1709.01879, 2017.
Parallel Combining: Making Use of Free Cycles.
V. Aksenov et P. Kuznetsov.
CoRR, vol. abs/1710.07588, 2017.
Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks.
J. Garbiso, A. Diaconescu, M. Coupechoux et B. Leroy.
IEEE Intelligent Transportation Systems Conference, pp. 1-7, Rio de Janeiro, Brazil, Novembre 2016.
Formal semantics of behavior specifications in the architecture analysis and design language standard.  
L. Besnard, Th. Gautier, C. Guy, P. Le Guernic, J.-P. Talpin, B. Larson et E. Borde.
IEEE International High Level Design Validation and Test Workshop, pp. 30-39, Santa Cruz, USA, DOI: 10.1109/HLDVT.2016.7748252, Novembre 2016.
A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures.  
Z. Ismail, J. Leneutre, D. Bateman et L. Chen.
Seventh Conference on Decision and Game Theory for Security (GameSec 2016), LNCS, vol. 9996, pp. 159-171, New York, USA, Novembre 2016.
POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation.
K. Kapusta, G. Memmi et H. Noura.
ACM Conference on Computer and Communications Security 2016, Vienna, Austria, Octobre 2016.
Exploring Complex Networks with Failure-prone Agents.
A. R. Portadela, J. Gomez et A. Diaconescu.
15th Mexican International Conference on Artificial Intelligence (MICAI'16), Springer LNCS, Cancun, Mexico,, Octobre 2016.
Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies.
A. Diaconescu, S. Frey, Ch. Müller-Schloer, J. Pitt et S. Tomforde.
10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), pp. 10, Augsburg, Germany, Septembre 2016.
Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems.
J. Pitt et A. Diaconescu.
Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Ausgburg, Germany, Septembre 2016.
Structure informatique perfectionnée d?un objet connecté.
R. Baghli, E. Najm et B. Traverson.
Septembre 2016.
Model-Based Verification Directed by Structural Coverage and Functional Requirements.
Y. Sun, G. Memmi et S. Vignes.
Model-Based Verification & Validation (MVV), Vienna, Autriche, Août 2016.
Auditing a Cloud Provider?s Compliance With Data Backup Requirements: A Game Theoretical Analysis.  
Z. Ismail, Ch. Kiennert, J. Leneutre et L. Chen.
IEEE Transactions on Information Forensics and Security, vol. 11, n° 8, pp. 1685-1699, Août 2016.
Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence.
P. Jouvelot, K. De Vogeleer et G. Memmi.
Genie Logiciel, vol. 117, pp. 47-59, Juillet 2016.
On the Minimal Recognition of Rights in Holonic Institutions.
J. Pitt, J. Jiang et A. Diaconescu.
Cranefield, S., Mahmoud, S., Padget, J., Rocha, A.P. (Eds.), "Coordination, Organizations, Institutions, and Norms in Agent Systems XII", Lecture Notes in Artificial Intelligence, Springer, 2017--Revised Selected Papers from COIN@AAMAS and COIN@ECAI 2016, pp. 149-169, Mai 2016.
Availability analysis for synchronous data-flow graphs in mixed-criticality systems.  
R. Medina, E. Borde et L. Pautet.
IEEE Symposium on Industrial Embedded Systems, pp. 205-210, Krakow, Poland, DOI: 10.1109/SIES.2016.7509431, Mai 2016.
Perfect Failure Detection with Very Few Bits.
P. Fraigniaud, S. Rajsbaum, C. Travers, P. Kuznetsov et T. Rieutord.
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings, pp. 154--169, Mai 2016.
A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing.
Y. Sun, G. Memmi et S. Vignes.
Int. Conf. CSDM Asia, pp. 171-180, Singapore, Singapore, Février 2016.
In-Band Synchronization for Distributed SDN Control Planes.
L. Schiff, S. Schmid et P. Kuznetsov.
Computer Communication Review, vol. 46, n° 1, pp. 37--43, Février 2016.
Read-Write Memory and k-Set Consensus as an Affine Task.
E. Gafni, Y. He, P. Kuznetsov et al..
OPODIS, Février 2016.
Set-Consensus Collections are Decidable.
C. Delporte-Gallet, H. Fauconnier, E. Gafni et P. Kuznetsov.
OPODIS, Février 2016.
Towards a Multi-Leveled Architecture for the Internet of Things.
R. Baghli, E. Najm et B. Traverson.
Enterprise Distributed Object Computing Workshop (EDOCW), Vienna, Austria, Février 2016.
Read-Write Memory and k-Set Consensus as an Affine Task.
E. Gafni, Y. He, P. Kuznetsov et T. Rieutord.
OPODIS, Février 2016.
In the Search for Optimal Concurrency.
V. Gramoli, P. Kuznetsov et al..
Structural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers, pp. 143--158, 2016.
Perfect Failure Detection with Very Few Bits.
P. Fraigniaud, S. Rajsbaum, C. Travers, P. Kuznetsov et al..
Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings, pp. 154--169, 2016.
Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES).
S. Rahmoun, E. Borde et L. Pautet.
ICECCS, pp. 21--30, Gold Coast, Australia, Décembre 2015.
CALCULATEUR COMPRENANT UN PROCESSEUR MULTICOEUR ET PROCEDE DE CONTROLE D'UN TEL CALCULATEUR .  
X. Jean, M. Gatti, D. Faura et Th. Robert.
Décembre 2015.
Generalized mixed-criticality scheduling based on RUN.  
R. Gratia, Th. Robert et L. Pautet.
23rd International Conference on Real Time and Networks Systems , pp. Pages 267-276 , DOI: 10.1145/2834848.2834873, Novembre 2015.
"Holonic Institutions for Multi-Scale Polycentric Self-Governance.
A. Diaconescu et J. Pitt.
Coordination, Organizations, Institutions, and Norms in Agent Systems X, Springer Lecture Notes in Computer Science, vol. 9372 , pp. 19-35 , Novembre 2015.
Inherent Limitations of Hybrid Transactional Memory.
D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi et N. Shavit.
DISC, Tokyo, Japan, Octobre 2015.
Grasping the Gap Between Blocking and Non-Blocking Transactional Memories.
P. Kuznetsov et S. Ravi.
DISC, Tokyo, Japan, Octobre 2015.
Progressive Transactional Memory in Time and Space.
P. Kuznetsov et S. Ravi.
PaCT, Petrozavodsk, Russia, Septembre 2015.
Scheduling of mixed-criticality systems with RUN.  
R. Gratia, Th. Robert et L. Pautet.
IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA), 2015 , pp. 8, Luxembourg, DOI: 10.1109/ETFA.2015.7301484, Septembre 2015.
Automatic selection and composition of model transformations alternatives using evolutionary algorithms.
S. Rahmoun, E. Borde et L. Pautet.
ECSA Workshops 2015, pp. 25:1--25:7, Dubrovnik/Cavtat, Croatia, Septembre 2015.
Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents.
A. Rodrigues, J. Gomez et A. Diaconescu.
The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), pp. 10, Cambridge, MA, USA, Septembre 2015.
Rule Conflicts in Holonic Institutions.
J. Jiang, J. Pitt et A. Diaconescu.
3rd Workshop on Fundamentals of Collective Adaptive Systems (FoCAS@SASO2015), pp. 6, Septembre 2015.
Improving Reusability of Model Transformations by Automating their Composition.
C. Castellanos, E. Borde, L. Pautet, S. Gardoll et Th. Vergnaud.
EUROMICRO-SEAA, pp. 267--274, Madeira, Portugal, Août 2015.
Data Protection: Combining Fragmentation, Encryption, and Dispersion.
K. Kapusta, H. Qiu et G. Memmi.
Août 2015.
Value Sensitive Design for Self-Organising Digital Communities.
J. Pitt, A. Nowak et A. Diaconescu.
Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aarhus, Denmark, Août 2015.
On the Space Complexity of Set Agreement.
C. Delporte, H. Fauconnier, P. Kuznetsov et E. Ruppert.
PODC, Paris, France, Juillet 2015.
The Weakest Failure Detector for Eventual Consistency.
S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit et P. Sens.
PODC, Paris, France, Juillet 2015.
Translating ATL Model Transformations to Algebraic Graph Transformations.
E. Richa, E. Borde et L. Pautet.
ICMT, pp. 183--198, L'Aquila, Italy, Juillet 2015.
Fast selective encryption methods for bitmap images.
H. Qiu et G. Memmi.
International Journal of Multimedia Data Engineering and Management, vol. 6, n° 3, pp. 52-70, Juillet 2015.
Data protection by means of fragmentation in distributed storage systems.
K. Kapusta et G. Memmi.
CFIP-Notere, Paris, France, Juillet 2015.
Towards Failure-Resistant Mobile Distributed Systems Inspired by Swarm Intelligence and Trophallaxis.
A. Rodrigues, J. Gomez et A. Diaconescu.
The 13th European Conference on Artificial Life (ECAL 2015), pp. 8, York, UK,, Juillet 2015.
Structure and Governance of Communities for the Digital Society.
J. Pitt et A. Diaconescu.
Workshop on Self-Improving System Integration (SISSY @ ICAC 2015), Grenoble, France, Juillet 2015.
A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids.
S. Frey, A. Diaconescu, D. Menga et I. Demeure.
ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 10, n° 2, pp. 9:1-9:21, Juin 2015.
A Distributed and Robust SDN Control Plane for Transactional Network Updates.
M. Canini, P. Kuznetsov, D. Levin et S. Schmid.
INFOCOM, Avril 2015.
A Secure and Effective Device Pairing Protocol.
T. Nguyen et J. Leneutre.
12th IEEE Consumer Communications and Networking Conference (CCNC), Las Vegas, USA, Janvier 2015.
A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures.  
Z. Ismail, J. Leneutre, D. Bateman et L. Chen.
16th IEEE International Symposium on High Assurance Systems Engineering (HASE), Daytona Beach, Florida, USA , Janvier 2015.
Wait-freedom with advice.
E. Gafni, H. Fauconnier, C. Delporte et P. Kuznetsov.
Distributed Computing, vol. 28, n° 1, pp. 3-19, Janvier 2015.
On Partial Wait-Freedom in Transactional Memory.
P. Kuznetsov et S. Ravi.
ICDCN, Janvier 2015.
Scheduling algorithms to reduce the static energy consumption of real-time systems.
V. Legout, M. Jan et L. Pautet.
Real-Time Systems, vol. 51, n° 2, pp. 153--191, Janvier 2015.
An Attack Execution Model for Industrial Control Systems Security Assessment..
Z. Ismail, J. Leneutre et A. Fourati.
CyberICS/WOS-CPS@ESORICS 2015, pp. 157-167, Vienna, Austria, Janvier 2015.
Multi-Resource Fairness: Objectives, Algorithms and Performance.  
Th. Bonald et J. Roberts.
ACM Sigmetrics, Portland, United states, 2015.
Distributed Instrumentation \& Control (I\&C) architecture Design and V alidation.
M. Viel, P. Salaun, Th. Lemattre, F. a. Chatou, N. B. Chaux et Th. Robert.
Fast Abstract DSN 2015, pp. 1-2, 2015.
Safety and Deferred Update in Transactional Memory.
H. Attiya, S. Hans, P. Kuznetsov et S. Ravi.
DOI: 10.1007/978-3-319-14720-8_32015.
Fast Selective Encryption Method for Bitmaps based on GPU Acceleration..
H. Qiu et G. Memmi.
IEEE ISM?14 , pp. 155-158, Taipei, Taiwan, DOI: 10.1109/ISM.2014.47 , Décembre 2014.
Algorithmic Self-Governance and the Design of Socio-Technical Systems.
J. Pitt, D. Busquets, A. Diaconescu, A. Nowak, A. Rychwalska et M. Roszczynska-Kurasinska.
European Conference on Social Intelligence, Barcelona, Spain, Novembre 2014.
Data Integrity and Availability Verification Game in Untrusted Cloud Storage.  
B. Djebaili, Ch. Kiennert, J. Leneutre et L. Chen.
5th International Conference on Decision and Game Theory for Security (Gamesec 2014), Lecture Notes in Computer Science, vol. 8840, pp. 287-306, Los Angeles, CA, USA, Novembre 2014.
Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains.
E. Richa, E. Borde, L. Pautet, M. Bordin et J. Riuz.
MODELS workshop on Analysis of Model Transformations, pp. 34--43, Valencia (Spain), Octobre 2014.
Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems.
E. Borde, L. Pautet, F. Cadoret, S. Rahmoun et F. Singhoff.
International Symposium on Rapid System Prototyping, pp. 44--50, New Delhi (India), Octobre 2014.
Adaptation of run to mixed-criticality systems.
R. Gratia, L. Pautet et Th. Robert.
Workshop on Real-Time Computing (RTNS), pp. 25--28, Versailles, Octobre 2014.
Technology for Collective Action [Special Section Introduction].  
J. Pitt, A. Diaconescu et D. Bollier.
IEEE Technology and Society Magazine, vol. 3, pp. 32-34, Septembre 2014.
Enhanced cluster computing performance through proportional fairness.
Th. Bonald et J. Roberts.
Performance Evaluation, vol. 79, pp. 134?145, DOI: 10.1016/j.peva.2014.07.009, Septembre 2014.
Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation.
E. Richa, E. Borde, L. Pautet, M. Bordin et J. Riuz.
AMT@MoDELS, pp. 34--43, Valencia, Spain, Septembre 2014.
Automatic Production of Transformation Chains Using Structural Constraints on Output Models.
C. Castellanos, E. Borde, L. Pautet, Th. Vergnaud et Th. Dérive.
Euromicro Conference on Software Engineering and Advanced Applications, pp. 158 - 165, Verona (Italy), Août 2014.
Formal Analysis of Secure Device Pairing Protocols.  
T. Nguyen et J. Leneutre.
IEEE 13th International Symposium on Network Computing and Applications (NCA), Cambridge, Massachusetts, USA, Août 2014.
A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI.  
Z. Ismail, J. Leneutre, D. Bateman et L. Chen.
IEEE Journal on Selected Areas in Communications, vol. 32, n° 7, pp. 1486-1499, DOI: 10.1109/JSAC.2014.2332095, Juillet 2014.
Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors.
K. De Vogeleer, G. Memmi, P. Jouvelot et F. Coelho.
Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 2014 International Conference on , pp. 172 - 180 , Samos, Greece, DOI: 10.1109/SAMOS.2014.6893209, Juillet 2014.
A generalized asynchronous computability theorem .
E. Gafni, P. Kuznetsov et C. Manolescu.
PODC, pp. 222-231, Juillet 2014.
PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems.
L. Pautet, E. Borde, Th. Robert et A. Jaouen.
International Conference on Reliable Software Technologies, vol. 8454, pp. 149-165, Paris, France, Juin 2014.
CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis.
Y. Sun, G. Memmi, S. Vignes et F. Daumas.
Génie Logiciel, n° 109, pp. 50-60, Juin 2014.
Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL).
L. Besnard, E. Borde, P. Dissaux, Th. Gautier, P. Le Guernic et J.-P. Talpin.
INRIA, n° RT-0446, Avril 2014.
Strong Equivalence Relations for Iterated Models.
Z. Bouzid, E. Gafni et P. Kuznetsov.
OPODIS, pp. 139-154, Mars 2014.
Non-Interference and Local Correctness in Transactional Memory.
P. Kuznetsov et S. Peri.
ICDCN, pp. 197-211, Janvier 2014.
From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society.  
J. Pitt et A. Diaconescu.
2014.