Source: https://aces.wp.imt.fr/publications/
Timestamp: 2019-04-24 04:27:15+00:00

Document:
P. Lalanda, J. McCann, and A. Diaconescu, Autonomic computing: principles, design and implementation, Springer, 2013.
C. Kiennert, Z. Ismail, H. Debar, and J. Leneutre, « A survey on game theoretic approaches for intrusion detection and response optimization, » Acm computing surveys, 2018.
N. Amine, S. Abbaspour, F. Brandner, and M. Jan, « Analysis of preemption costs for the stack cache, » Real-time systems journal, 2018.
E. Richa, E. Borde, and L. Pautet, « Translation of atl to agt and application to a code generator for simulink, » Software and systems modeling, 2017.
S. Rahmoun, A. Mehiaoui-Hamitou, E. Borde, L. Pautet, and E. Soubiran, « Multi-objective exploration of architectural designs by composition of model transformations, » Software and systems modeling, p. 1–21, 2017.
A. Diaconescu and J. Pitt, « Technological impacts in socio-technical communities. values and pathologies, » Ieee technology and society magazine, 2017.
P. Kuznetsov and S. Ravi, « Grasping the gap between blocking and non-blocking transactional memories, » Journal of parallel and distributed computing, vol. 101, p. 1–16, 2017.
C. Capdevielle, C. Johnen, P. Kuznetsov, and A. Milani, « On the uncontended complexity of anonymous agreement, » Distributed computing, vol. 30, iss. 6, p. 459–468, 2017.
P. Kuznetsov and S. Peri, « Non-interference and local correctness in transactional memory, » Theoretical computer science, vol. 688, p. 103–116, 2017.
D. Imbs, P. Kuznetsov, and T. Rieutord, « Progress-space tradeoffs in single-writer memory implementations, » Corr, vol. abs/1709.01879, 2017.
V. Aksenov and P. Kuznetsov, « Parallel combining: making use of free cycles, » Corr, vol. abs/1710.07588, 2017.
K. De Vogeleer, G. Memmi, and P. Jouvelot, « Parameter sensitivity analysis of the energy/frequency convexity rule for application processors, » Sustainable computing: informatics and systems, vol. 15, p. 16–27, 2017.
M. Rambaud and G. Memmi, « Note sur la cryptanalyse de diffie-hellman, » Génie logiciel, iss. 120, p. 56–60, 2017.
L. Schiff, S. Schmid, and P. Kuznetsov, « In-band synchronization for distributed sdn control planes, » Computer communication review, vol. 46, iss. 1, p. 37–43, 2016.
Z. Ismail, C. Kiennert, J. Leneutre, and L. Chen, « Auditing a cloud provider’s compliance with data backup requirements: a game theoretical analysis, » Ieee transactions on information forensics and security, vol. 11, iss. 8, p. 1685–1699, 2016.
P. Jouvelot, K. De Vogeleer, and G. Memmi, « Modélisation de la consommation énergétique des programmes : aspects thermiques et loi de convexité énergie-fréquence, » Génie logiciel, vol. 117, p. 47–59, 2016.
S. Frey, A. Diaconescu, D. Menga, and I. Demeure, « A generic holonic control architecture for heterogeneous multi-scale and multi-objective smart micro-grids, » Acm transactions on autonomous and adaptive systems (taas), 2015.
E. Gafni, H. Fauconnier, C. Delporte, and P. Kuznetsov, « Wait-freedom with advice, » Distributed computing, vol. 28, iss. 1, p. 3–19, 2015.
H. Qiu and G. Memmi, « Fast selective encryption methods for bitmap images, » International journal of multimedia data engineering and management, vol. 6, iss. 3, p. 52–70, 2015.
V. Legout, M. Jan, and L. Pautet, « Scheduling algorithms to reduce the static energy consumption of real-time systems, » Real-time systems, vol. 51, iss. 2, p. 153–191, 2015.
J. Pitt, A. Diaconescu, and D. Bollier, « Technology for collective action [special section introduction], » Ieee technology and society magazine, vol. 3, p. 32–34, 2014.
Z. Ismail, J. Leneutre, D. Bateman, and L. Chen, « A game theoretical analysis of data confidentiality attacks on smart-grid ami, » Ieee journal on selected areas in communications, vol. 32, iss. 7, p. 1486–1499, 2014.
Y. Sun, G. Memmi, S. Vignes, and F. Daumas, « Connexion : éléments de méthodologie de vérification et validation. épisode 1 : relever les principaux défis, » Génie logiciel, iss. 109, p. 50–60, 2014.
A. Gadafi, D. Hagimont, L. Broto, R. Sharrock, A. Tchana, and et al., « Energy-qos tradeoffs in j2ee hosting centres, » International journal of autonomic computing, vol. 2, iss. 1, p. 54–72, 2014.
X. Gréhant, I. Demeure, and S. Jarp, « A survey of task mapping on production grids, » Acm computing surveys, vol. 45, iss. 3, 2013.
J. Michaux, E. Najm, and A. Fantechi, « Session types for safe web service orchestration, » Journal of logic and algebraic programming, 2013.
R. Sharrock, T. Monteil, P. Stolf, D. Hagimont, and et al., « Non-intrusive autonomic approach with self-management policies applied to legacy infrastructures for performance improvements., » Innovations and approaches for resilient and adaptive systems, p. 105–123, 2013.
Z. Ismail, J. Leneutre, D. Bateman, and L. Chen, « Game theory for security and risk management. » Birkhäuser, 2018.
A. Diaconescu, « Organic computing – technical systems for survival in the real world, » , S. T. Christian Müller-Schloer, Ed., Springer Int. Publishing, 2017, p. 89–106.
A. Diaconescu, « Organic computing – technical systems for survival in the real world, » , S. T. Christian Müller-Schloer, Ed., Springer Int. Publishing, 2017, p. 209–258.
J. Camara, K. Bellman, J. Kephart, M. Autili, N. Bencomo, A. Diaconescu, H. Giese, S. Gotz, P. Inverardi, S. Kounev, and et al., « Self-aware computing systems. » Springer Int. Publishing, 2017, p. 17–49.
S. Kounev, P. Lewis, K. Bellman, N. Bencomo, J. Camara, A. Diaconescu, L. Esterle, K. Geihs, H. Giese, S. Gotz, P. Inverardi, J. Kephart, and A. Zisman, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, 2017, p. 3–16.
P. Lewis, K. Bellman, C. Landauer, L. Esterle, K. Glette, A. Diaconescu, and H. Giese, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 51–85.
J. Kephart, M. Maggio, A. Diaconescu, H. Giese, H. Hoffmann, S. Kounev, A. Koziolek, P. Lewis, A. Robertsson, and S. Spinner, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 87–106.
H. Giese, T. Vogel, A. Diaconescu, S. Gotz, and S. Kounev, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 109–147.
H. Giese, T. Vogel, A. Diaconescu, S. Gotz, and K. Bellman, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, 2017, p. 149–189.
A. Diaconescu, K. Bellman, L. Esterle, H. Giese, S. Gotz, P. Lewis, and A. Zisman, « Self-aware computing systems. » Spinger Int. Publishing, 2017, p. 191–235.
H. Giese, T. Vogel, A. Diaconescu, P. Lewis, S. Gotz, N. Bencomo, K. Geihs, S. Kounev, K. Bellman, and P. Inverardi, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 237–275.
J. Kephart, A. Diaconescu, H. Giese, A. Robertsson, T. Abdelzaher, P. Lewis, A. Filieri, L. Esterle, and S. Frey, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 401–435.
M. Autili, K. Bellman, A. Diaconescu, L. Esterle, M. Tivoli, and A. Zisman, « Self-aware computing systems. » S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, 2017, p. 305–336.
A. Diaconescu, « Organic computing: technical systems for survival in the real world. » Springer Int. Publishing, 2017, p. 89–106.
R. Sharrock and et al., « Green wired networks. » John Wiley & Sons, 2015, vol. 94, p. 41.
H. Attiya, S. Hans, P. Kuznetsov, and S. Ravi, « Safety and deferred update in transactional memory, » in Transactional memory. foundations, algorithms, tools, and applications – COST action euro-tm IC1001, , 2015, p. 50–71.
J. Pitt and A. Diaconescu, « From bitcoin to burning man and beyond: the quest for identity and autonomy in a digital society. » John H. Clippinger and David Bollier, 2014, p. 133–145.
E. Borde, « Mode&\#769;lisation et analyse de syste&\#768;mes embarque&\#769;s. » Paris, France: Collection SEE – Hermes, 2013, p. 241–265.
L. Pautet and B. Zalila, « Embedded systems : analysis and modeling with sysml, uml and aadl. » West Sussex PO19 8SQ England: Wiley, 2013.
L. Pautet and B. Zalila, « Modélisation et analyse de systèmes embarqués. » Hermes Science, 2013, p. 281–304.
T. Robert and J. Hugues, « Modélisation et analyse de systèmes embarqués. » Paris, France: Collection SEE – Hermes, 2013, p. 267–278.
A. Diaconescu, S. Tomforde, and C. Müller-Schloer, « Holonic cellular automata: modelling multi-level self-organisation of structure and behaviour, » in International conference on artificial life, 2018.
S. Marsh, A. Diaconescu, P. Lewis, D. Evans, T. Ann Kosa, and S. Mahbub Habib, « Public privacy and brick houses made of glass, » in International conference on trust management, 2018.
A. Diaconescu and J. Pitt, « Self-awareness and decision-taking in socio-cyber-physical systems. an architectural perspective, » in International workshop on self-awareness in cyber-physical systems, 2018.
A. Diaconescu, P. Mata, and K. Bellman, « Self-integrating organic control systems: from crayfish to smart homes, » in International workshop on self-optimisation in autonomic and organic computing systems, 2018.
P. Kuznetsov, T. Rieutord, and Y. He, « An asynchronous computability theorem for fair adversaries, » in Symposium on principles of distributed computing, 2018.
V. Aksenov and P. Kuznetsov, « On helping and stacks, » in Networked systems – 6th international conference, NETYS 2018, 2018.
V. Aksenov, D. Alistarh, and P. Kuznetsov, « Brief announcement: performance prediction for coarse-grained locking, » in Proceedings of the 2018 ACM symposium on principles of distributed computing, PODC 2018, 2018.
A. Diop, S. Gharout, M. Laurent, J. Leneutre, and J. Traoré, « Questioning the security and efficiency of the esiot approach, » in 1th acm conference on security and privacy in wireless and mobile networks (wisec 2018), Stockholm, Sweden, 2018.
Z. Ismail, J. Leneutre, and A. Fourati, « Optimal deployment of security policies: application to industrial control systems, » in 14th european dependable computing conference (edcc 2018), Iasi, Romania, 2018.
R. Medina, E. Borde, and L. Pautet, « Availability enhancement and analysis for mixed-criticality systems on multi-core, » in Date, 2018.
Z. Ismail, C. Kiennert, J. Leneutre, and L. Chen, « A game theoretical model for optimal distribution of network security resources, » in Conference on decision and game theory for security, 2017.
F. Hebbache, M. Jan, F. Brandner, and L. Pautet, « Dynamic arbitration of memory requests with tdm-like guarantees, » in Workshop on compositional theory and technology for real-time embedded systems, Paris, France, 2017.
K. De Vogeleer, K. R. Vaddina, F. Brandner, P. Jouvelot, and G. Memmi, « Modeling the energy consumption of programs: thermal aspects and energy/frequency convexity rule, » in Wcsp, Nanjing, China, 2017.
K. R. Vaddina, F. Brandner, G. Memmi, and P. Jouvelot, « Experimental energy profiling of energy-critical embedded applications, » in Softcom, 2017.
F. Brandner and N. Amine, « Worst-case execution time analysis of predicated architectures, » in Workshop on worst-case execution time analysis, Dubrovnik, Croatia, 2017, p. 1–13.
A. Barisic, D. Blouin, V. Amaral, and M. Goulao, « A requirements engineering approach for usability-driven dsl development, » in International conference on software language engineering, Vancouver, Canada, 2017.
M. Barkowski, M. Schneider, H. Giese, J. Dyck, D. Tamzalit, D. Blouin, E. Borde, and J. Noppen, « A semi-automated approach for the co-refinement of requirements and architecture models, » in Modre, Lisboa, Portugal, 2017.
R. Medina, E. Borde, and L. Pautet, « Directed acyclic graph scheduling for mixed-criticality systems, » in Reliable software technologies – ada-europe 2017 – 22nd ada-europe international conference on reliable software technologies, vienna, austria, june 12-16, 2017, proceedings, 2017, p. 217–232.
J. Garbiso, A. Diaconescu, M. Coupechoux, and B. Leroy, « Auto-adaptive multi-hop clustering for hybrid cellular-vehicular networks, » in Ieee international conference on intelligent transportation systems (itsc), Yokohama, JAPAN, 2017, p. 1–6.
J. Garbiso, A. Diaconescu, M. Coupechoux, and B. Leroy, « Distributive justice for fair auto-adaptive clusters of connected vehicles, » in International workshop on self-adaptive and self-organising socio-technical systems (saso\^ st 2017), Tucson, US, 2017, p. 1–6.
J. Pitt, J. Ober, and A. Diaconescu, « Knowledge management processes and design principles for self-governing socio-technical systems, » in 5th international workshop on self-adaptive and self-organising socio-technical systems (saso-st),, Tucson AZ, USA,, 2017.
J. Pitt and A. Diaconescu, « Interactional justice for sustainable management of common-pool resources, » in Xvi biennial iasc conference practicing the commons: self-governance, cooperation, and institutional change, Utrecht, Netherlands, 2017.
J. Pitt, A. Diaconescu, and A. Bourazeri, « Democratisation of the smartgrid and the active participation of prosumers, » in 26th ieee international symposium on industrial electronics (isie), Edinburgh, Scotland, UK,, 2017.
A. Rodriguez, J. Gomez, and A. Diaconescu, « Replication-based self-healing of mobile agents exploring complex networks, » in International conference on practical applications of agents and multi-agent systems (paams), springer lnai,, Porto, Portugal, 2017, p. 222–233.
J. Kantert, S. Tomforde, A. Diaconescu, and C. Müller-Schloer, « Incentive-oriented task assignment in holonic organic systems, » in 5th international workshop on self-optimisation in autonomic and organic computing systems, saos at arcs 2017, Vienna, Austria, 2017.
V. Aksenov, V. Gramoli, P. Kuznetsov, A. Malova, and S. Ravi, « A concurrency-optimal binary search tree, » in International conference on parallel and distributed computing, 2017, p. 580–593.
P. Kuznetsov and T. Rieutord, « Agreement functions for distributed computing models, » in Networked systems – 5th international conference, netys 2017, marrakech, morocco, may 17-19, 2017, proceedings, 2017, p. 175–190.
P. Kuznetsov, T. Rieutord, and Y. He, « Brief announcement: compact topology of shared-memory adversaries, » in Disc, 2017, p. 56:1–56:4.
K. Kapusta, G. Memmi, and H. Noura, « Secure and resilient scheme for data protection in unattanded wireless sensor networks, » in 1st ieee-ifip csnet, Rio de Janero, Bresil, 2017.
H. Qiu, G. Memmi, and H. Noura, « An efficient secure storage scheme based on information fragmentation, » in 4th ieee int. conf. on cyber security and cloud computing, New-York, USA, 2017, p. 108–113.
R. Sharrock, E. Hamonic, M. Hiron, and S. Carlier, « Codecast: an innovative technology to facilitate teaching and learning computer programming in a c language online course, » in Learning at scale, Cambridge, USA, 2017.
N. Amine and F. Brandner, « Eager stack cache memory transfers, » in Workshop on worst-case execution time analysis, Toulouse, France, 2016.
I. David, E. Syriani, C. Verbrugge, D. Buchs, D. Blouin, A. Cicchetti, and K. Vanherpen, « Towards inconsistency tolerance by quantification of semantic inconsistencies, » in 1st int. workshop on collaborative modelling in mde, St-Malo, France, 2016.
L. Besnard, T. Gautier, C. Guy, P. Le Guernic, J. -P. Talpin, B. Larson, and E. Borde, « Formal semantics of behavior specifications in the architecture analysis and design language standard, » in Ieee international high level design validation and test workshop, Santa Cruz, USA, 2016, p. 30–39.
R. Medina, E. Borde, and L. Pautet, « Availability analysis for synchronous data-flow graphs in mixed-criticality systems, » in Ieee symposium on industrial embedded systems, Krakow, Poland, 2016, p. 205–210.
E. Gafni, Y. He, P. Kuznetsov, and T. Rieutord, « Read-write memory and k-set consensus as an affine task, » in Opodis, 2016.
J. Garbiso, A. Diaconescu, M. Coupechoux, and B. Leroy, « Dynamic cluster size optimization in hybrid cellular-vehicular networks, » in Ieee intelligent transportation systems conference, Rio de Janeiro, Brazil, 2016, p. 1–7.
A. R. Portadela, J. Gomez, and A. Diaconescu, « Exploring complex networks with failure-prone agents, » in 15th mexican international conference on artificial intelligence (micai’16), springer lncs, Cancun, Mexico,, 2016.
A. Diaconescu, S. Frey, C. Müller-Schloer, J. Pitt, and S. Tomforde, « Goal-oriented holonics for complex system (self-)integration: concepts and case studies, » in Saso, 2016.
J. Pitt and A. Diaconescu, « Interactive self-governance and value-sensitive design for self-organising socio-technical systems, » in Fourth international workshop on self-adaptive and self-organising socio-technical systems (saso\^ st at saso2016), Ausgburg, Germany, 2016.
A. Diaconescu, « Goal-oriented holonic architectures for engineering complex systems, » in Keynote talk at the 3rd workshop on self-improving system integration (sissy2016), 2016.
J. Pitt, J. Jiang, and A. Diaconescu, « On the minimal recognition of rights in holonic institutions, » in International workshop on coordination, organizations, institutions and norms in agent systems (coin at aamas2016), Singapore, 2016, p. 16.
C. Delporte-Gallet, H. Fauconnier, E. Gafni, and P. Kuznetsov, « Set-consensus collections are decidable, » in Opodis, 2016.
V. Gramoli, P. Kuznetsov, and et al., « In the search for optimal concurrency, » in Structural information and communication complexity – 23rd international colloquium, sirocco 2016, helsinki, finland, july 19-21, 2016, revised selected papers, 2016, p. 143–158.
P. Fraigniaud, S. Rajsbaum, C. Travers, P. Kuznetsov, and T. Rieutord, « Perfect failure detection with very few bits, » in Stabilization, safety, and security of distributed systems – 18th international symposium, sss 2016, lyon, france, november 7-10, 2016, proceedings, 2016, p. 154–169.
Z. Ismail, J. Leneutre, D. Bateman, and L. Chen, « A methodology to apply a game theoretic model of security risks interdependencies between ict and electric infrastructures, » in Conference on decision and game theory for security, New York, USA, 2016, p. 159–171.
K. Kapusta, G. Memmi, and H. Noura, « A keyless efficient algorithm for data protection by means of fragmentation, » in Acm conference on computer and communications security 2016, Vienna, Austria, 2016.
Y. Sun, G. Memmi, and S. Vignes, « Model-based verification directed by structural coverage and functional requirements, » in International conference on software quality, reliability and security, Vienna, Autriche, 2016.
Y. Sun, G. Memmi, and S. Vignes, « A model-based testing process for enhancing structural coverage in functional testing, » in Int. conf. csdm asia, Singapore, Singapore, 2016, p. 171–180.
R. Baghli, E. Najm, and B. Traverson, « Towards a multi-leveled architecture for the internet of things, » in Enterprise distributed object computing workshop (edocw), Vienna, Austria, 2016.
A. Diaconescu and J. Pitt, « Holonic institutions for multi-scale polycentric self-governance, » in Workshop on coordination, organizations, institutions, and norms in agent systems (coin at aamas2015), 2015, p. 19–35.
N. Amine and F. Brandner, « A comparative study of the precision of stack cache occupancy analyses, » in 9th junior researcher workshop on real-time computing, Lille, France, 2015, p. 13–16.
S. Abbaspour, F. Brandner, N. Amine, and M. Jan, « Efficient context switching for the stack cache: implementation and analysis, » in Rtns, Lille, France, 2015.
J. Knoop and F. Brandner, « Exchange between the german and french compiler communities, » in 18. kolloquium programmiersprachen und grundlagen der programmierung, Pörtschach am Wörthersee, Austria, 2015, p. 83–84.
S. Rahmoun, E. Borde, and L. Pautet, « Multi-objectives refinement of AADL models for the synthesis embedded systems (mu-ramses), » in Iceccs, Gold Coast, Australia, 2015, p. 21–30.
S. Rahmoun, E. Borde, and L. Pautet, « Automatic selection and composition of model transformations alternatives using evolutionary algorithms, » in Ecsa workshops 2015, Dubrovnik/Cavtat, Croatia, 2015, p. 25:1–25:7.
C. Castellanos, E. Borde, L. Pautet, S. Gardoll, and T. Vergnaud, « Improving reusability of model transformations by automating their composition, » in Euromicro-seaa, Madeira, Portugal, 2015, p. 267–274.
E. Richa, E. Borde, and L. Pautet, « Translating atl model transformations to algebraic graph transformations, » in Icmt, L’Aquila, Italy, 2015, p. 183–198.
A. Rodrigues, J. Gomez, and A. Diaconescu, « Foraging-inspired self-organisation for terrain exploration with failure-prone agents, » in Saso, 2015.
J. Jiang, J. Pitt, and A. Diaconescu, « Rule conflicts in holonic institutions, » in 3rd workshop on fundamentals of collective adaptive systems (focas at saso2015), 2015, p. 6.
A. Diaconescu, « Autonomic computing: autonomic management in open multi-objective computing networks, » in Invited presentation, engineering and control of self-organization (ecso) e-track of the complex systems digital campus 2015, world e-conference (cs-dc’15), part of the international conference on complex systems (ccs’15), eConference, 2015.
J. Pitt, A. Nowak, and A. Diaconescu, « Value sensitive design for self-organising digital communities, » in Charting the next decade for value sensitive design workshop (held with the critical alternatives conference), Aarhus, Denmark, 2015.
A. Rodrigues, J. Gomez, and A. Diaconescu, « Towards failure-resistant mobile distributed systems inspired by swarm intelligence and trophallaxis, » in The 13th european conference on artificial life (ecal 2015), York, UK,, 2015, p. 8.
J. Pitt and A. Diaconescu, « Structure and governance of communities for the digital society, » in Workshop on self-improving system integration (sissy at icac 2015), Grenoble, France, 2015.
D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, and N. Shavit, « Inherent limitations of hybrid transactional memory, » in Disc, Tokyo, Japan, 2015.
P. Kuznetsov and S. Ravi, « Grasping the gap between blocking and non-blocking transactional memories, » in Disc, Tokyo, Japan, 2015.
P. Kuznetsov and S. Ravi, « Progressive transactional memory in time and space, » in Pact, Petrozavodsk, Russia, 2015.
C. Delporte, H. Fauconnier, P. Kuznetsov, and E. Ruppert, « On the space complexity of set agreement, » in Podc, Paris, France, 2015.
S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, and P. Sens, « The weakest failure detector for eventual consistency, » in Podc, Paris, France, 2015.
M. Canini, P. Kuznetsov, D. Levin, and S. Schmid, « A distributed and robust sdn control plane for transactional network updates, » in Infocom, 2015.
P. Kuznetsov and S. Ravi, « On partial wait-freedom in transactional memory, » in Icdcn, 2015.
T. Nguyen and J. Leneutre, « A secure and effective device pairing protocol, » in 12th ieee consumer communications and networking conference (ccnc), Las Vegas, USA, 2015.
Z. Ismail, J. Leneutre, D. Bateman, and L. Chen, « A game-theoretical model for security risk management of interdependent ict and electrical infrastructures, » in 16th ieee international symposium on high assurance systems engineering (hase), Daytona Beach, Florida, USA, 2015.
Z. Ismail, J. Leneutre, and A. Fourati, « An attack execution model for industrial control systems security assessment., » in Cyberics/wos-cps at esorics 2015, Vienna, Austria, 2015, p. 157–167.
K. Kapusta, H. Qiu, and G. Memmi, « Data protection: combining fragmentation, encryption, and dispersion, » in Int. conf. on security of smart cities, industrial control system and communications, Shanghai, China, 2015.
K. Kapusta and G. Memmi, « Data protection by means of fragmentation in distributed storage systems, » in Cfip-notere, Paris, France, 2015.
R. Gratia, T. Robert, and L. Pautet, « Generalized mixed-criticality scheduling based on run, » in Rtns, 2015, p. Pages 267–276.
R. Gratia, T. Robert, and L. Pautet, « Scheduling of mixed-criticality systems with run, » in Ieee 20th conference on emerging technologies factory automation (etfa), 2015, Luxembourg, 2015, p. 8.
M. Viel, P. Salaun, T. Lemattre, F. a. Chatou, N. B. Chaux, and T. Robert, « Distributed instrumentation \textbackslash& control (i\textbackslash&c) architecture design and v alidation, » in Fast abstract dsn 2015, 2015, p. 1–2.
R. Sharrock and L. Brice, « Ouvrir la boite noire de la production de videos pour les mooc. vers une analyse sociotechnique, » in Qpes – questions de pédagogie dans l’enseignement supérieur, Brest, France, 2015.
S. Gosh, G. Bailly, R. Despouys, E. Lecolinet, and R. Sharrock, « Supervision: spatial control of connected objects in a smart home, » in Chi extended abstracts: acm conference on human factors in computing systems, Soul, Korea, 2015, p. 2079–2084.
E. Richa, E. Borde, L. Pautet, M. Bordin, and J. Riuz, « Precondition analysis in algebraic graph transformation to support the testing of model transformation chains, » in Models workshop on analysis of model transformations, Valencia (Spain), 2014, p. 34–43.
E. Borde, L. Pautet, F. Cadoret, S. Rahmoun, and F. Singhoff, « Architecture models refinement for fine grain timing analysis of embedded systems, » in International symposium on rapid system prototyping, New Delhi (India), 2014, p. 44–50.
E. Richa, E. Borde, L. Pautet, M. Bordin, and J. Riuz, « Towards testing model transformation chains using precondition construction in algebraic graph transformation, » in Amt at models, Valencia, Spain, 2014, p. 34–43.
C. Castellanos, E. Borde, L. Pautet, T. Vergnaud, and T. Dérive, « Automatic production of transformation chains using structural constraints on output models, » in Euromicro conference on software engineering and advanced applications, Verona (Italy), 2014, p. 158–165.
L. Pautet, E. Borde, T. Robert, and A. Jaouen, « Pdp 4ps : periodic-delayed protocol for partitioned systems, » in International conference on reliable software technologies, Paris, France, 2014, p. 149–165.
R. Despouys, R. Sharrock, and I. Demeure, « Sensemaking in the autonomic smart-home, » in Ubicomp ubiquitous computing, Seattle, USA, 2014.
J. Pitt, D. Busquets, A. Diaconescu, A. Nowak, A. Rychwalska, and M. Roszczynska-Kurasinska, « Algorithmic self-governance and the design of socio-technical systems, » in European conference on social intelligence, Barcelona, Spain, 2014.
E. Gafni, P. Kuznetsov, and C. Manolescu, « A generalized asynchronous computability theorem, » in Podc, 2014, p. 222–231.
Z. Bouzid, E. Gafni, and P. Kuznetsov, « Strong equivalence relations for iterated models, » in Opodis, 2014, p. 139–154.
P. Kuznetsov and S. Peri, « Non-interference and local correctness in transactional memory, » in Icdcn, 2014, p. 197–211.
B. Djebaili, C. Kiennert, J. Leneutre, and L. Chen, « Data integrity and availability verification game in untrusted cloud storage, » in 5th international conference on decision and game theory for security (gamesec 2014), lecture notes in computer science, Los Angeles, CA, USA, 2014, p. 287–306.
T. Nguyen and J. Leneutre, « Formal analysis of secure device pairing protocols, » in Ieee international symposium on network computing and applications (nca), Cambridge, USA, 2014.
H. Qiu and G. Memmi, « Fast selective encryption method for bitmaps based on gpu acceleration., » in Ieee ism14, Taipei, Taiwan, 2014, p. 155–158.
K. De Vogeleer, G. Memmi, P. Jouvelot, and F. Coelho, « Modeling the temperature bias of power consumption for nanometer-scale cpus in application processors, » in Embedded computer systems: architectures, modeling, and simulation (samos xiv), 2014 international conference on, 2014.
R. Gratia, L. Pautet, and T. Robert, « Adaptation of run to mixed-criticality systems, » in Workshop on real-time computing (rtns), Versailles, 2014, p. 25–28.
S. Gosh, G. Bailly, R. Despouys, E. Lecolinet, and R. Sharrock, « Supervision : controler spatialement les objets connectés dans une maison intelligente, » in Ihm’14: conférence francophone sur l’interaction homme machine, Lille, France, 2014.
G. Loniewski, E. Borde, D. Blouin, and E. Insfran, « Model-driven requirements engineering for embedded systems development, » in 39th euromicro conference on software engineering and advanced applications (seaa 2013), Santander Spain, 2013.
G. Loniewski, E. Borde, D. Blouin, and E. Insfran, « An automated approach for architectural model transformations, » in 22nd international conference on information systems development (isd2013), Sevilla Spain, 2013.
C. Castellanos, E. Borde, L. Pautet, T. Vergnaud, and T. Dérive, « Formalization of design patterns for security and dependabilityformalization of design patterns for security and dependability, » in Isarcs’13, Montréal, Canada, 2013.
F. Cadoret, T. Robert, E. Borde, L. Pautet, and F. Singhoff, « Deterministic implementation of periodic-delayed communications and experimentation in AADL, » in Isorc’13, Paderborn, Allemagne, 2013.
S. Faye, C. Chaudet, and I. Demeure, « Influence of radio communications on multiple intersection control by a wireless sensor network, » in 13th international conference on its telecommunications (itst), Tampere, Finland, 2013.
S. Frey, A. Diaconescu, M. David, and I. Demeure, « A holonic control architecture for a heterogeneous multi-objective smart micro-grid, » in Seventh ieee international conference on self-adaptive and self-organizing systems, Philladelphia, USA, 2013.
S. Frey, A. Diaconescu, M. David, and I. Demeure, « Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems, » in 10th international conference on autonomic computing (icac), self-aware internet of things (self-iot) track, San Jose, Ca, USA, 2013.
I. Demeure, J. -C. Moissinac, and B. H. Rodriguez, « Soa2msituation: an interaction situation model for the multimodal web, » in 3rd international conference on web intelligence, mining and semantics, wims ’13, Madrid, Spain, 2013.
R. Hu, J. Sopena, L. Arantes, P. Sens, and I. Demeure, « Comparaisons équitables des algorithmes de gossip sur les topologies aléatoires à grande-échelle, » in 9ème conférence française sur les systèmes d’exploitation (cfse’13), Grenoble, France, 2013.
P. Kuznetsov, « Universal model simulation, » in Sss, 2013.
M. Canini, D. Levin, P. Kuznetsov, and S. Schmid, « Software transactional networking: concurrent and consistent policy composition, » in Hotsdn, 2013, p. 1–6.
K. De Vogeleer, G. Memmi, P. Jouvelot, and F. Coelho, « The energy/frequency convexity rule: modeling and experimental validation on mobile devices, » in 10th international conference, parallel processing and applied mathematics, Warsaw, Poland, 2013, p. 793–803.
J. Michaux, E. Buu, J. Hlavacek, and E. Najm, « An open-source platform for converged services, » in Iptcomm, Chicago, USA, 2013.
J. Michaux, E. Najm, and A. Fantechi, « Safety of session-based service orchestration revisited with an unreliable communication model, » in Web services formal methods, beijing, China, 2013.
E. Najm and K. Sbata, « Une plateforme pour une orchestration sûre de services convergents, » in Interopérabilité des plate-formes mobiles ; intergiciels mobiles, Paris, 2013.
V. Legout, M. Jan, and L. Pautet, « A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems, » in Rtns, 2013.
V. Legout, M. Jan, and L. Pautet, « Mixed-criticality multiprocessor real-time systems: energy consumption vs deadline misses, » in First workshop on real-time mixed criticality systems (retimics), Taipei, Taiwan, 2013, p. 1–6.
V. Legout, M. Jan, and L. Pautet, « Réduction de la consommation statique des systèmes temps-réel multiprocesseurs, » in École d’été temps réel (etr‘13), Toulouse, France, 2013, p. 1–4.
V. Legout, M. Jan, and L. Pautet, « An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption, » in First workshop on highly-reliable power-efficient embedded designs (harsh), Shenzhen, Chine, 2013, p. 7–12.
X. Jean, M. Gatti, D. Faura, L. Pautet, and T. Robert, « A software approach for managing shared resources in multicore ima systems, » in Ieee digital avionics systems conference, 2013.
F. Alvares de Oliveira JR., T. Ledoux, and R. Sharrock, « A framework for the coordination of multiple autonomic managers in cloud environments, » in Ieee international conference on self-adaptive and self-organizing systems, Philadelphia, USA, 2013.
H. Attiya, S. Hans, P. Kuznetsov, and S. Ravi, « Safety of deferred update in transactional memory, » in International conference on distributed computing systems, 2013, pp. 601-610.
R. Sharrock, T. Monteil, P. Stolf, and O. Brun, « Autonomic computing to manage green core networks with quality of service, » in Ee-lsds 2013, energy efficiency in large scale distributed systems conference, Vienna, Austria, 2013.
P. Kuznetsov, « Combinatorial structures for distributed computing models, » in Seminar at department of mathematcis, Kyoto University, JP, 2018.
P. Kuznetsov, « Distributed algorithms in shared memory and networks, » in Kaust wep 2018, KAUST, Saudi Arabbia, 2018.
A. Diaconescu, « Big data needs ‘big control’ – goal-oriented holonic architectures for engineering complex self-adaptive systems, » in Workshop on emergent and self-adaptive systems: theory and practice, Data Science Institute, Lancaster University, 2017.
A. Diaconescu, « Computational governance – friend or foe?, » in Workshop on computational governance, Arizona State University, USA, 2017.
A. Diaconescu, « Institutional scaling and integration for decentralised community (energy) systems, » in Ostrom and collective action in power systems, Paris, FR, 2017.
A. Diaconescu, « Goal-oriented holonics: managing system complexity via (self-)integration and multi-level structural constraints, » in Seminar series : computational social science, ETH Zurich, SW, 2017.
P. Kuznetsov, « Parallel combining, » in Dagstuhl seminar, Dagstuhl Schloss, DE, 2017.
A. Diaconescu, « Goal-oriented holonic architectures, » in 3rd workshop on self-improving system integration at icac 2016, Würzburg, DE, 2016.
A. Diaconescu, « Goal-oriented holonic architectures for engineering complex systems, » in Intelligent embedded sytems, University of Kassel, DE, 2016.
A. Diaconescu, « Goal-oriented holonic architectures for value-oriented socio-technical systems, » in Seminar on design for values institute, TUDelft, DE, 2016.
A. Diaconescu, « Goal-oriented holonic architectures for complex socio-technical systems, » in Security lancaster research lab, Lancaster University, UK, 2016.
A. Diaconescu, « Autonomic management in open multi-objective computing networks, » in Second isal summer school, organised by the international society for artificial life (isal) during ecal’15, York University , UK, 2016.
P. Kuznetsov, « Concurrency as an iterated affine task, » in Birs-cmo workshop on complexity and analysis of distributed algorithms, Oaxaca, Mexico, 2016.
P. Kuznetsov, « Concurrency as an iterated affine task, » in Dagstuhl seminar, Dagstuhl Schloss, DE, 2016.
P. Kuznetsov, « Combinatorial structures for distributed computing models, » in Seminar on nexus of information and computation theories, Institut Henri Poincaré, Paris, FR, 2016.
A. Diaconescu, « An extensible model-driven architecture for controlled self-organisation, » in Dagstuhl seminar on model-driven algorithms and architectures for self-aware computing systems, Dagstuhl, DE, 2015.
A. Diaconescu, « Socially-inspired computing: values and apthomogies, » in Dagstuhl seminar on social concepts in self-organising systems, Dagstuhl, DE, 2015.
P. Kuznetsov, « Transactional support for sdn control planes, » in Workshop on the theory of transactional memory 2015, Donostia-San Sebastián, SP, 2015.
P. Kuznetsov, « General tasks for general models: a characterization ?, » in Seminar of dalgo/lif, University of Marseille, FR, 2015.
A. Diaconescu, « Towards a generic architecture for multi-objective, heterogeneous and multi-scale autonomic systems, » in Seminar at intelligent systems and networks group, Imperial College London, UK, 2014.
A. Diaconescu, « Towards a generic architecture for multi-objective, heterogeneous and multi-scale autonomic systems, » in Workshop on autonomic computing and control, Grenoble, FR, 2014.
A. Diaconescu, « Towards a generic architecture for open, distributed and multi-objective self-* systems, » in Seminar at systems research and architecture, University of Hannover, DE, 2014.
P. Kuznetsov, « The case for reliable software transactional networking, » in Seminar of labri, University of Bordeaux, FR, 2013.
R. Baghli, E. Najm, and B. Traverson, « Structure informatique perfectionnée d’un objet connecté, » , iss. B2665, 2016.
X. Jean, M. Gatti, D. Faura, and T. Robert, « Calculateur comprenant un processeur multicoeur et procédé de contrôle d’un tel calculateur, » , iss. 3010201, 2015.
Looking for an event ?

References: V. 

V. 

V. 

V. 
 V. 

V. 
 V. 

V. 

V. 

V. 

V. 

V.