Systèmes embarqués critiques autonomes [ACES]

Les thèmes de recherche de l’équipe Systèmes embarqués critiques autonomes (ACES)  tournent autour des systèmes concurrents en général (systèmes parallèles, systèmes distribués, …), pour lesquels des propriétés non fonctionnelles telles que la performance ou la sécurité doivent être garanties.

 

 

Afin de couvrir l’ensemble du continuum de systèmes concurrents, l’équipe ACES a choisi de structurer ses activités autour de deux thèmes :

Systèmes faiblement couplés 

  • Systèmes autonomes complexes
  • Informatique distribuée tolérante aux pannes et asynchrone
  • Test basé sur un modèle
  • Sécurité dans l’internet des objets
  • Services distribués

Systèmes fortement couplés

  • Systèmes temps réel
  • Plateforme déterministe
  • Processus de conception de systèmes critiques
  • Sécurité et de sûreté
  • Consommation d’énergie de calcul

Membres de l’équipe

  • Laurent Pautet, Professeur, Responsable de l’équipe
  • Dominique Blouin, Ingénieur de Recherche
  • Etienne Borde, Maître de Conférences
  • Florian Brandner, Maître de Conférences
  • Ada Diaconescu, Maître de Conférences
  • Pierre Jouvelot, Professeur invité
  • Petr Kuznetsov, Professeur
  • Jean Leneutre, Maître de Conférences
  • Gérard Memmi, Professeur
  • Elie Najm, Professeur
  • Matthieu Rambaud, Maître de Conférences
  • Thomas Robert, Maître de Conférences
  • Samuel Tardieu, Maître de Conférences
  • Sylvie Vignes, Maître de Conférences

Mots-clés

Systèmes critiques, sûrs et sécurisés,
Systèmes concurrents et répartis,
Systèmes autonomiques

Les publications de l’équipe



91 documents

Article dans une revue

  • Smail Rahmoun, Asma Mehiaoui-Hamitou, Etienne Borde, Laurent Pautet, Elie Soubiran. Multi-objective exploration of architectural designs by composition of model transformations. Software and Systems Modeling, Springer Verlag, 2019, 18 (1), pp.107-127. ⟨10.1007/s10270-017-0580-2⟩. ⟨hal-02292455⟩
  • Petr Kuznetsov. The First Summer School on Practice and Theory of Concurrent Computing SPTCC 2017. SIGACT News, 2018, 49 (1), pp.81-90. ⟨10.1145/3197406.3197421⟩. ⟨hal-02287904⟩
  • Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers. CoRR, 2018, abs/1812.10844. ⟨hal-02288004⟩
  • Rachid Guerraoui, Petr Kuznetsov, Matteo Monti, Matej Pavlovic, Dragos-Adrian Seredinschi. AT2: Asynchronous Trustworthy Transfers. CoRR, 2018, abs/1812.10844. ⟨hal-02288008⟩
  • Karel de Vogeleer, Gérard Memmi, Pierre Jouvelot. Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors. Journal of Sustainable Computing, Informatics and Systems, 2017, 15, pp.16-27. ⟨hal-02287590⟩
  • Elie Richa, Etienne Borde, Laurent Pautet. Translation of ATL to AGT and Application to a Code Generator for Simulink. Software and Systems Modeling, Springer Verlag, 2017. ⟨hal-02287624⟩
  • Ada Diaconescu, Jeremy Pitt. Technological Impacts in Socio-Technical Communities. Values and Pathologies. IEEE Technology and Society Magazine - special issue based on the Dagstuhl seminar (15482) on "Social Concepts in Self-organising Systems" (11/2015) , 2017. ⟨hal-02287625⟩
  • Matthieu Rambaud, Gérard Memmi. Note sur la cryptanalyse de Diffie-Hellman. Génie Logiiel, 2017, pp.56-60. ⟨hal-02287591⟩
  • Petr Kuznetsov, Sathya Peri. Non-interference and local correctness in transactional memory. Theor. Comput. Sci., 2017, 688, pp.103-116. ⟨10.1016/j.tcs.2016.06.021⟩. ⟨hal-02287768⟩
  • Vitaly Aksenov, Petr Kuznetsov. Parallel Combining: Making Use of Free Cycles. CoRR, 2017, abs/1710.07588. ⟨hal-02287770⟩
  • Claire Capdevielle, Colette Johnen, Petr Kuznetsov, Alessia Milani. On the uncontended complexity of anonymous agreement. Distributed Computing, 2017, 30 (6), pp.459-468. ⟨10.1007/s00446-017-0297-z⟩. ⟨hal-02287767⟩
  • Liron Schiff, Stefan Schmid, Petr Kuznetsov. In-Band Synchronization for Distributed SDN Control Planes. Computer Communication Review, 2016, 46 (1), pp.37-43. ⟨hal-02287556⟩
  • Ada Diaconescu, Jeremy Pitt. "Holonic Institutions for Multi-Scale Polycentric Self-Governance. Coordination, Organizations, Institutions, and Norms in Agent Systems X, Springer Lecture Notes in Computer Science, 2015, 9372, pp.19-35. ⟨hal-02287383⟩
  • Sylvain Frey, Ada Diaconescu, David Menga, Isabelle 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, 10 (2), pp.9:1-9:21. ⟨hal-02287025⟩
  • Jeremy Pitt, Ada Diaconescu, David Bollier. Technology for Collective Action [Special Section Introduction]. IEEE Technology and Society Magazine, 2014, 3, pp.32-34. ⟨hal-02287021⟩
  • Yanjun Sun, Gérard Memmi, Sylvie Vignes, Frédéric Daumas. CONNEXION : Éléments de méthodologie de vérification et validation. Épisode 1 : relever les principaux défis. Génie Logiciel, 2014, pp.50-60. ⟨hal-02287057⟩
  • Nouha Oualha, Jean Leneutre, Yves Roudier. Verifying remote data integrity in peer-to-peer data storage: A comprehensive survey of protocols. Peer-to-Peer Networking and Applications, 2012, 5 (3), pp.231-243. ⟨hal-02286502⟩
  • Gérard Memmi. Deux retours d’expérience avec la méthodologie SCRUM. Genie Logiciel, 2011, 98, pp.52-58. ⟨hal-02287375⟩
  • Isabelle. Perseil, Jean-Michel Bruel, Agusti Canals, Robert de Simone, Sébastien Gérard, et al.. Introduction to special issue: papers from UML&FM'2009. Innovations in Systems and Software Engineering: A NASA Journal, 2010, 6 (1-2), pp.1-3. ⟨hal-02286673⟩
  • Etienne Borde, Peter H. Feiler, Gregory Haïk, Laurent Pautet. Model driven code generation for critical and adaptative embedded systems. ACM SIGBED Review, 2009, 6 (3), pp.10:1-10:5. ⟨hal-02286671⟩

Communication dans un congrès

  • Han Qiu, Meikang Qiu, Meiqin Liu, Zhong Ming, Gérard Memmi. A Dynamic Scalable Blockchain Based Communication Architecture for IoT. SmartBlock'18, Dec 2018, Tokyo, Japan. pp.159-166. ⟨hal-02288555⟩
  • Katarzyna Kapusta, Gérard Memmi. Selective All-Or-Nothing Transform: Protecting Outsourced Data Against Key Exposure. CSS’18, 10th International Symposium on Cyberspace Safety and Security, Oct 2018, Amalfi, Italy. ⟨hal-02288014⟩
  • Katarzyna Kapusta, Gérard Memmi. POSTER: Circular AON: A very fast Scheme to protect Encrypted Data Against Key Exposure. ACM CCS’18, Oct 2018, Toronto, Canada. ⟨hal-02288015⟩
  • Katarzyna Kapusta, Gérard Memmi. A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations. Esorics’18, STM workshop, Sep 2018, Barcelona, Spain. ⟨hal-02288556⟩
  • Ziad Ismail, Jean Leneutre, Alia Fourati. Optimal Deployment of Security Policies: Application to Industrial Control Systems. 14th European Dependable Computing Conference (EDCC 2018), Sep 2018, Iasi, Romania. ⟨hal-02287944⟩
  • Katarzyna Kapusta, Gérard Memmi. Enhancing data protection with a structure-wise fragmentation and dispersal of encrypted data. TrustCom'18, Aug 2018, New-York, United States. ⟨hal-02287926⟩
  • Ada Diaconescu, Jeremy Pitt. Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective. 3rd International Workshop on Self-Awareness in Cyber-Physical Systems (SelPhyS'18), Apr 2018, Birmingham, United Kingdom. ⟨hal-02287875⟩
  • Farouk Hebbache, Mathieu Jan, Florian Brandner, Laurent Pautet. Dynamic Arbitration of Memory Requests with TDM-like Guarantees. Workshop on Compositional Theory and Technology for Real-Time Embedded Systems, Dec 2017, Paris, France. ⟨hal-02287739⟩
  • Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks. IEEE International Conference on Intelligent Transportation Systems (ITSC), Oct 2017, Yokohama, Japan. pp.1-6. ⟨hal-02288490⟩
  • Katarzyna Kapusta, Gérard Memmi, Hassan Noura. Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks. 1st IEEE-IFIP CSNet, Oct 2017, Rio de Janero, Brazil. ⟨hal-02287748⟩
  • Ankica Barisic, Dominique Blouin, Vasco Amaral, Miguel Goulao. A Requirements Engineering Approach for Usability-Driven DSL Development. International Conference on Software Language Engineering, Oct 2017, Vancouver, Canada. ⟨hal-01649727⟩
  • Jeremy Pitt, Ada Diaconescu. Interactional Justice for Sustainable Management of Common-Pool Resources. XVI Biennial IASC Conference "Practicing the commons: self-governance, cooperation, and institutional change, Jul 2017, Utrecht, Netherlands Antilles. ⟨hal-02287559⟩
  • Florian Brandner, Naji Amine. Worst-Case Execution Time Analysis of Predicated Architectures. Workshop on Worst-Case Execution Time Analysis, Jun 2017, Dubrovnik, Croatia. pp.1-13, ⟨10.4230/OASIcs.WCET.2017.6⟩. ⟨hal-02288493⟩
  • Han Qiu, Gérard Memmi, Hassan Noura. An efficient Secure Storage Scheme Based on Information Fragmentation. 4th IEEE Int. Conf. on Cyber Security and Cloud Computing, Jun 2017, New-York, United States. pp.108-113. ⟨hal-02287645⟩
  • Arles Rodriguez, Jonatan Gomez, Ada Diaconescu. Replication-Based Self-healing of Mobile Agents Exploring Complex Networks. 15th International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,, Jun 2017, Porto, Portugal. pp.222-233, ⟨10.1007/978-3-319-59930-4_18⟩. ⟨hal-02287746⟩
  • Jan Kantert, Sven Tomforde, Ada Diaconescu, Christian Müller-Schloer. Incentive-oriented Task Assignment in Holonic Organic Systems. 5th International Workshop on "Self-Optimisation in Autonomic and Organic Computing Systems, SAOS@ARCS 2017, Apr 2017, Vienna, Austria. ⟨hal-02287560⟩
  • Julian Garbiso, Ada Diaconescu, Marceau Coupechoux, Bertrand Leroy. Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks. IEEE Intelligent Transportation Systems Conference, Nov 2016, Rio de Janeiro, Brazil. pp.1-7. ⟨hal-02287402⟩
  • Katarzyna Kapusta, Gérard Memmi, Hassan Noura. POSTER: A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation. ACM Conference on Computer and Communications Security 2016, Oct 2016, Vienna, Austria. ⟨hal-02287535⟩
  • Jeremy Pitt, Ada Diaconescu. Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems. Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO^ST@SASO2016), Sep 2016, Ausgburg, Germany. ⟨hal-02288465⟩
  • Ada Diaconescu, Sylvain Frey, Christian Müller-Schloer, Jeremy Pitt, Sven Tomforde. Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies. 10th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO 2016), Sep 2016, Augsburg, Germany. pp.10. ⟨hal-02287380⟩
  • Istvan David, Eugene Syriani, Clark Verbrugge, Didier Buchs, Dominique Blouin, et al.. Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies. 1st Int. Workshop on Collaborative Modelling in MDE, Sep 2016, St-Malo, France. ⟨hal-02287520⟩
  • Yanjun Sun, Gérard Memmi, Sylvie Vignes. Model-Based Verification Directed by Structural Coverage and Functional Requirements. Model-Based Verification & Validation (MVV), Aug 2016, Vienna, Austria. ⟨hal-02287373⟩
  • Naji Amine, Florian Brandner. Eager Stack Cache Memory Transfers. Workshop on Worst-Case Execution Time Analysis, Jul 2016, Toulouse, France. ⟨hal-02287376⟩
  • Yanjun Sun, Gérard Memmi, Sylvie Vignes. A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing. Int. Conf. CSDM Asia, Feb 2016, Singapore, Singapore. pp.171-180. ⟨hal-02287374⟩
  • Smail Rahmoun, Etienne Borde, Laurent Pautet. Multi-objectives Refinement of AADL Models for the Synthesis Embedded Systems (mu-RAMSES). ICECCS, Dec 2015, Gold Coast, Australia. pp.21-30. ⟨hal-02292449⟩
  • Naji Amine, Florian Brandner. A Comparative Study of the Precision of Stack Cache Occupancy Analyses. 9th Junior Researcher Workshop on Real-Time Computing, Nov 2015, Lille, France. pp.13-16. ⟨hal-02287276⟩
  • Jens Knoop, Florian Brandner. Exchange between the German and French Compiler Communities. 18. Kolloquium Programmiersprachen und Grundlagen der Programmierung, Oct 2015, Pörtschach am Wörthersee, Austria. pp.83-84. ⟨hal-02287275⟩
  • Petr Kuznetsov, Srivatsan Ravi. Progressive Transactional Memory in Time and Space. PaCT, Sep 2015, Petrozavodsk, Russia. ⟨hal-02287223⟩
  • Arles Rodrigues, Jonatan Gomez, Ada Diaconescu. Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents. The 9th IEEE International Conference on Self-Adaptive and Self-Organizing Systems (SASO'15), Sep 2015, Cambridge, MA, United States. pp.10. ⟨hal-02287382⟩
  • Smail Rahmoun, Etienne Borde, Laurent Pautet. Automatic selection and composition of model transformations alternatives using evolutionary algorithms. ECSA Workshops 2015, Sep 2015, Dubrovnik/Cavtat, Croatia. pp.25:1-25:7. ⟨hal-02292448⟩
  • Jeremy Pitt, Andrzej Nowak, Ada Diaconescu. Value Sensitive Design for Self-Organising Digital Communities. Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference), Aug 2015, Aarhus, Denmark. ⟨hal-02287385⟩
  • Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Sébastien Gardoll, Thomas Vergnaud. Improving Reusability of Model Transformations by Automating their Composition. EUROMICRO-SEAA, Aug 2015, Madeira, Portugal. pp.267-274. ⟨hal-02287271⟩
  • Katarzyna Kapusta, Gérard Memmi. Data protection by means of fragmentation in distributed storage systems. CFIP-Notere, Jul 2015, Paris, France. ⟨hal-02288464⟩
  • Sarthak Gosh, Gilles Bailly, Robin Despouys, Eric Lecolinet, Rémi Sharrock. SuperVision: Spatial Control of Connected Objects in a Smart Home. CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems, Apr 2015, Soul, South Korea. pp.2079-2084, ⟨10.1145/2702613.2732779⟩. ⟨hal-01147717⟩
  • Trung Nguyen, Jean Leneutre. A Secure and Effective Device Pairing Protocol. 12th IEEE Consumer Communications and Networking Conference (CCNC), Jan 2015, Las Vegas, United States. ⟨hal-02288430⟩
  • Ziad Ismail, J. Leneutre, Alia Fourati. An Attack Execution Model for Industrial Control Systems Security Assessment.. CyberICS/WOS-CPS@ESORICS 2015, Jan 2015, Vienna, Austria. pp.157-167. ⟨hal-02287737⟩
  • Jeremy Pitt, Didac Busquets, Ada Diaconescu, Andrzej Nowak, Agnieszka Rychwalska, et al.. Algorithmic Self-Governance and the Design of Socio-Technical Systems. European Conference on Social Intelligence, Nov 2014, Barcelona, Spain. ⟨hal-02287024⟩
  • Sarthak Gosh, Gilles Bailly, Robin Despouys, Eric Lecolinet, Rémi Sharrock. SuperVision : controler spatialement les objets connectés dans une maison intelligente. IHM'14: Conférence francophone sur l'Interaction Homme Machine, Oct 2014, Lille, France. ⟨10.1145/2670444.2670471⟩. ⟨hal-01442956⟩
  • Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains. MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. pp.34-43. ⟨hal-01115716⟩
  • Etienne Borde, Laurent Pautet, Fabien Cadoret, Smail Rahmoun, Frank Singhoff. Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems. International Symposium on Rapid System Prototyping, Oct 2014, New Delhi, India. pp.44-50. ⟨hal-01115723⟩
  • Robin Despouys, Rémi Sharrock, Isabelle Demeure. Sensemaking in the autonomic smart-home. UBICOMP Ubiquitous computing, Sep 2014, Seattle, United States. ⟨hal-02288439⟩
  • Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation. AMT@MoDELS, Sep 2014, Valencia, Spain. pp.34-43. ⟨hal-02287272⟩
  • Trung Nguyen, Jean Leneutre. Formal Analysis of Secure Device Pairing Protocols. IEEE 13th International Symposium on Network Computing and Applications (NCA), Aug 2014, Cambridge, Massachusetts, United States. ⟨hal-02287084⟩
  • Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Automatic Production of Transformation Chains Using Structural Constraints on Output Models. Euromicro Conference on Software Engineering and Advanced Applications, Aug 2014, Verona, Italy. pp.158 - 165. ⟨hal-01115708⟩
  • Laurent Pautet, Etienne Borde, Thomas Robert, Antoine Jaouen. PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems. International Conference on Reliable Software Technologies, Jun 2014, Paris, France. pp.149-165. ⟨hal-01115671⟩
  • Sylvain Frey, Ada Diaconescu, Menga David, Isabelle Demeure. A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid. Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2013, Philladelphia, United States. ⟨hal-02288388⟩
  • Vincent Legout, Mathieu Jan, Laurent Pautet. Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses. First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS), Aug 2013, Taipei, Taiwan. pp.1-6. ⟨hal-00922522⟩
  • Vincent Legout, Mathieu Jan, Laurent Pautet. Réduction de la consommation statique des systèmes temps-réel multiprocesseurs. École d’Été Temps Réel (ETR‘13), Aug 2013, Toulouse, France. pp.1-4. ⟨hal-00922521⟩
  • Jonathan Michaux, Elie Najm, Alessandro Fantechi. Safety of session-based service orchestration revisited with an unreliable communication model. Web Services Formal Methods, Aug 2013, beijing, China. ⟨hal-02286789⟩
  • Cuauhtemoc Castellanos, Etienne Borde, Laurent Pautet, Thomas Vergnaud, Thomas Dérive. Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability. ISARCS'13, Aug 2013, Montréal, Canada. ⟨hal-02286706⟩
  • Sylvain Frey, Ada Diaconescu, Menga David, Isabelle Demeure. Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems. 10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track, Jun 2013, San Jose, Ca, United States. ⟨hal-02286685⟩
  • Vincent Legout, Mathieu Jan, Laurent Pautet. An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption. First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH), Feb 2013, Shenzhen, China. pp.7-12. ⟨hal-00919169⟩
  • Grzegorz Loniewski, Etienne Borde, Emilio Insfran. Towards a model driven refinement process through architecture evaluation. NFPinDSML '12, Dec 2012, Innsbruck, Austria. pp.4:1-4:6, ⟨10.1145/2420942.2420946⟩. ⟨hal-02286708⟩
  • Debbabi Bassem, Ada Diaconescu, Philippe Lalanda. Controlling self-organising software applications with archetypes. IEEE International Conference on Self-Adaptive and Self-Organizing Systems, Sep 2012, Lyon, France. ⟨hal-02286412⟩
  • Fabien Cadoret, Etienne Borde, Sébastien Gardoll, Laurent Pautet. Design Patterns for Rule-based Refinement of Safety Critical Embedded Systems Models. ICECCS 2012, Jul 2012, Paris, France. ⟨hal-02286400⟩
  • Sylvain Frey, Ada Diaconescu, Isabelle Demeure. Architectural Integration Patterns for Autonomic Management Systems. 9th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe 2012), Apr 2012, Novi Sad, Serbia. ⟨hal-02286263⟩
  • Claude Chaudet, Isabelle Demeure, Salma Ktari, Nicola Costagliola, Samuel Tardieu. Publish/Subscribe for Wireless Sensor Networks (Invited paper). Asian Internet Engineering Conference (AINTEC) 2011, Nov 2011, Bangkok, Thailand. ⟨hal-02278598⟩
  • Elie Najm. Controllability of Orchestrated Sessions. Invited Talk - WWV'11, 7th Int'l Workshop on Automated Specification and Verification of Web Systems, Jun 2011, Reykjavik, Iceland. ⟨hal-02288310⟩
  • Isabelle. Perseil, Laurent Pautet. An Efficient Modeling and Execution Framework for Complex Systems Development. International Conference on Engineering of Complex Computer Systems (ICECCS), 2011, Apr 2011, Las Vegas, United States. pp.317 - 331. ⟨hal-02288369⟩
  • Elie Najm. Service Orchestration with Orcharts and Typecharts. Seminaire INRIA, Mar 2010, Rennes, France. ⟨hal-02278638⟩
  • Laurent Pautet, Isabelle. Perseil. An Emerging Need for a New Software Engineering Method. International Conference on Engineering of Complex Computer Systems (ICECCS), 2009, Jun 2009, Potsdam, Germany. pp.359- 364. ⟨hal-02286672⟩

Ouvrage (y compris édition critique et traduction)

  • Philippe Lalanda, Julie Mccann, Ada Diaconescu. Autonomic Computing: Principles, Design and Implementation. Springer, pp.298, 2013. ⟨hal-02286670⟩

Chapitre d'ouvrage

  • Samuel Kounev, Peter Lewis, Kirstie Bellman, Nelly Bencomo, Javier Camara, et al.. The notion of self-aware computing. Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, pp.3-16, 2017. ⟨hal-02287557⟩
  • Peter Lewis, Kirstie Bellman, Chris Landauer, Lukas Esterle, Kyrre Glette, et al.. Towards a framework for the levels and aspects of selfaware computing systems. Self-Aware Computing Systems, S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing, pp.51-85, 2017. ⟨hal-02287558⟩
  • Ada Diaconescu. Organising Complexity: Hierarchies and Holarchies. Organic Computing: Technical Systems for Survival in the Real World, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.89-106, 2017. ⟨hal-02287626⟩
  • Ada Diaconescu. Goal-oriented Holonic Systems. Organic Computing: Technical Systems for Survival in the Real World,, Christian Muller-Schloer and Sven Tomforde Edts., (Springer International Publishing), pp.209-258, 2017. ⟨hal-02287627⟩
  • Hagit Attiya, Sandeep Hans, Petr Kuznetsov, Srivatsan Ravi. Safety and Deferred Update in Transactional Memory. Transactional Memory. Foundations, Algorithms, Tools, and Applications - COST Action Euro-TM IC1001, pp.50-71, 2015, ⟨10.1007/978-3-319-14720-8_3⟩. ⟨hal-02287873⟩
  • Jeremy Pitt, Ada Diaconescu. The Algorithmic Governance Of Common-Pool Resources. From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society, Edited by John H. Clippinger and David Bollier, Published by ID3 in cooperation with Off the Common Books, pp.133-145, 2014. ⟨hal-02287022⟩
  • Thomas Robert, Jérôme Hugues. Analyse à partir du modèle. Modélisation et analyse de systèmes embarqués, Collection SEE - Hermes, pp.267-278, 2013. ⟨hal-02286675⟩
  • Laurent Pautet, B. Zalila. Model-Based Code Generation. Embedded Systems : analysis and modeling with SysML, UML and AADL, Wiley, 2013. ⟨hal-02286688⟩

Rapport

  • Loïc Besnard, Etienne Borde, Pierre Dissaux, Thierry Gautier, Paul Le Guernic, et al.. Logically timed specifications in the AADL: a synchronous model of computation and communication (recommendations to the SAE committee on AADL). [Research Report] RT-0446, INRIA. 2014. ⟨hal-02292453⟩

Dernières actualités du LTCI