Autonomous and Critical Embedded Systems

Publications

Books

2013

  • P. Lalanda, J. McCann, and A. Diaconescu, Autonomic computing: principles, design and implementation, Springer, 2013.
    [Bibtex]
    @Book{Lalanda2013,
    title = {Autonomic Computing: Principles, Design and Implementation},
    publisher = {Springer},
    year = {2013},
    author = {Ph. {Lalanda} and J. {McCann} and A. {Diaconescu}},
    annote = {category=book language=en audience=1 state=published project=safir dept=infres group=s3 documentURL=http://www.springer.com/computer/swe/book/978-1-4471-5006-0 id=13708},
    groups = {Lossly, Books, International Collab},
    keywords = { Autonomic Computing, Dynamic Computing, Self-adaptive, Self-configuration, Self-management},
    pages = {298},
    }

 

Articles

2018

  • 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.
    [Bibtex]
    @article{KIDL-2018,
    author = {Ch. {Kiennert} and Z. {Ismail} and H. {Debar} and J. {Leneutre}},
    title = {A Survey on Game Theoretic Approaches for Intrusion Detection and Response Optimization },
    journal = {ACM Computing Surveys},
    year = 2018,
    month = jan,
    annote = {category=article language=en audience=1 state=toappear dept=infres group=aces id=18249}
    }
  • N. Amine, S. Abbaspour, F. Brandner, and M. Jan, « Analysis of preemption costs for the stack cache, » Real-time systems journal, 2018.
    [Bibtex]
    @Article{NABJ:TIME-18,
    author = {N. {Amine} and S. {Abbaspour} and F. {Brandner} and M. {Jan}},
    title = {Analysis of Preemption Costs for the Stack Cache},
    journal = {Real-Time Systems Journal},
    year = {2018},
    month = jan,
    annote = {category=article language=en audience=2 state=toappear doi=10.1007/s11241-018-9298-7 dept=infres group=aces id=17509},
    groups = {Strong, Journals, International Collab},
    keywords = {real-time systems, stack cache, cache-related preemption delays, static analysis},
    }

2017

  • 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.
    [Bibtex]
    @Article{Richa2017,
    author = {E. {Richa} and E. {Borde} and L. {Pautet}},
    title = {Translation of ATL to AGT and Application to a Code Generator for Simulink},
    journal = {Software and Systems Modeling},
    year = {2017},
    month = aug,
    annote = {category=article language=en audience=1 state=toappear dept=infres group=s3 id=17026},
    groups = {Strong, Journals},
    }
  • 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.
    [Bibtex]
    @Article{Rahmoun2017,
    author = {S. {Rahmoun} and A. {Mehiaoui-Hamitou} and E. {Borde} and L. {Pautet} and E. {Soubiran}},
    title = {Multi-objective exploration of architectural designs by composition of model transformations},
    journal = {Software and Systems Modeling},
    year = {2017},
    pages = {1--21},
    month = jan,
    annote = {category=article language=en audience=2 state=published doi=10.1007/s10270-017-0580-2 dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16797 id=16797},
    groups = {Strong, Journals},
    keywords = {Component-based software engineering, Model transformations composition, Design space exploration, Rule-based transformation languages, AADL models, Extra-Functional Properties, Multiple Objectives Evolutionary Algorithms, SAT solvers},
    }
  • A. Diaconescu and J. Pitt, « Technological impacts in socio-technical communities. values and pathologies, » Ieee technology and society magazine, 2017.
    [Bibtex]
    @Article{Diaconescu2017,
    author = {A. {Diaconescu} and J. {Pitt}},
    title = {Technological Impacts in Socio-Technical Communities. Values and Pathologies},
    journal = {IEEE Technology and Society Magazine},
    year = {2017},
    month = aug,
    annote = {category=grandpublic language=en audience=2 state=toappear dept=infres group=s3 id=17029},
    groups = {Lossly, Journals, International Collab},
    }
  • 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.
    [Bibtex]
    @Article{Kuznetsov2017,
    author = {P. {Kuznetsov} and S. {Ravi}},
    title = {Grasping the gap between blocking and non-blocking transactional memories},
    journal = {Journal of Parallel and Distributed Computing},
    year = {2017},
    volume = {101},
    pages = {1--16},
    month = feb,
    annote = {category=article language=en audience=2 state=published dept=infres group=s3 id=16806},
    groups = {Lossly, Journals, International Collab},
    }
  • 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.
    [Bibtex]
    @Article{Capdevielle2017,
    author = {C. { Capdevielle} and C. { Johnen} and P. {Kuznetsov} and A. { Milani}},
    title = {On the uncontended complexity of anonymous agreement},
    journal = {Distributed Computing},
    year = {2017},
    volume = {30},
    number = {6},
    pages = {459--468},
    annote = {category=article language=en state=published doi=10.1007/s00446-017-0297-z dept=infres group=s3 id=17565},
    groups = {Lossly, Journals},
    }
  • P. Kuznetsov and S. Peri, « Non-interference and local correctness in transactional memory, » Theoretical computer science, vol. 688, p. 103–116, 2017.
    [Bibtex]
    @Article{Kuznetsov2017b,
    author = {P. {Kuznetsov} and S. {Peri}},
    title = {Non-interference and local correctness in transactional memory},
    journal = {Theoretical Computer Science},
    year = {2017},
    volume = {688},
    pages = {103--116},
    annote = {category=article language=en state=published doi=10.1016/j.tcs.2016.06.021 dept=infres group=s3 id=17566},
    groups = {Lossly, Journals, International Collab},
    }
  • D. Imbs, P. Kuznetsov, and T. Rieutord, « Progress-space tradeoffs in single-writer memory implementations, » Corr, vol. abs/1709.01879, 2017.
    [Bibtex]
    @Article{Imbs2017,
    author = {D. { Imbs} and P. {Kuznetsov} and T. {Rieutord}},
    title = {Progress-Space Tradeoffs in Single-Writer Memory Implementations},
    journal = {CoRR},
    year = {2017},
    volume = {abs/1709.01879},
    annote = {category=article language=en state=published dept=infres group=s3 id=17570},
    groups = {Lossly, International Collab},
    }
  • V. Aksenov and P. Kuznetsov, « Parallel combining: making use of free cycles, » Corr, vol. abs/1710.07588, 2017.
    [Bibtex]
    @Article{Aksenov2017a,
    author = {V. { Aksenov} and P. {Kuznetsov}},
    title = {Parallel Combining: Making Use of Free Cycles},
    journal = {CoRR},
    year = {2017},
    volume = {abs/1710.07588},
    annote = {category=article language=en state=published dept=infres group=s3 id=17571},
    groups = {Lossly},
    }
  • 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.
    [Bibtex]
    @Article{DeVogeleer2017a,
    author = {K. {De Vogeleer} and G. {Memmi} and P. {Jouvelot}},
    title = {Parameter sensitivity analysis of the Energy/Frequency Convexity Rule for application processors},
    journal = {Sustainable Computing: Informatics and Systems},
    year = {2017},
    volume = {15},
    pages = {16--27},
    month = sep,
    annote = {category=article language=en audience=2 state=published dept=infres group=s3 id=16927},
    groups = {Strong, Journals},
    }
  • M. Rambaud and G. Memmi, « Note sur la cryptanalyse de diffie-hellman, » Génie logiciel, iss. 120, p. 56–60, 2017.
    [Bibtex]
    @Article{rambaud2017,
    author = {M. {Rambaud} and G. {Memmi}},
    title = {Note sur la cryptanalyse de Diffie-Hellman},
    journal = {Génie Logiciel},
    year = {2017},
    number = {120},
    pages = {56--60},
    month = mar,
    annote = {category=article language=fr audience=3 state=published dept=infres group=mic2 id=16928},
    groups = {Lossly, Journals},
    }

2016

  • 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.
    [Bibtex]
    @Article{Schiff2016,
    author = {L. {Schiff} and S. {Schmid} and P. {Kuznetsov}},
    title = {In-Band Synchronization for Distributed SDN Control Planes},
    journal = {Computer Communication Review},
    year = {2016},
    volume = {46},
    number = {1},
    pages = {37--43},
    month = feb,
    annote = {category=article language=en audience=2 state=published dept=infres group=s3 id=16803},
    groups = {Lossly, Journals, International Collab},
    }
  • 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.
    [Bibtex]
    @Article{Ismail2016a,
    author = {Z. {Ismail} and Ch. {Kiennert} and J. {Leneutre} and L. {Chen}},
    title = {Auditing a Cloud Provider{\textquoteright}s Compliance With Data Backup Requirements: A Game Theoretical Analysis},
    journal = {IEEE Transactions on Information Forensics and Security},
    year = {2016},
    volume = {11},
    number = {8},
    pages = {1685--1699},
    month = aug,
    annote = {category=article language=en audience=1 state=published dept=infres group=aces documentURL=http://ieeexplore.ieee.org/document/7445235/ id=17475},
    groups = {Strong, Journals},
    keywords = {Cloud computing, Games, Security, Data models, Servers, Game theory, Computational modeling},
    }
  • 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.
    [Bibtex]
    @Article{Jouvelot2016,
    author = {P. {Jouvelot} and K. {De Vogeleer} and G. {Memmi}},
    title = {Mod{\'e}lisation de la consommation {\'e}nerg{\'e}tique des programmes : aspects thermiques et loi de convexit{\'e} {\'e}nergie-fr{\'e}quence},
    journal = {Génie Logiciel},
    year = {2016},
    volume = {117},
    pages = {47--59},
    month = jul,
    annote = {category=article language=fr audience=3 state=published dept=infres group=s3 id=16269},
    groups = {Strong, Journals},
    }

2015

  • 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.
    [Bibtex]
    @Article{Frey2015,
    author = {S. {Frey} and A. {Diaconescu} and D. {Menga} and I. {Demeure}},
    title = {A Generic Holonic Control Architecture for Heterogeneous Multi-Scale and Multi-Objective Smart Micro-Grids},
    journal = {ACM Transactions on Autonomous and Adaptive Systems (TAAS)},
    year = {2015},
    annote = {category=article language=en audience=2 state=toappear dept=infres group=s3 id=15069},
    groups = {Lossly, Journals},
    }
  • E. Gafni, H. Fauconnier, C. Delporte, and P. Kuznetsov, « Wait-freedom with advice, » Distributed computing, vol. 28, iss. 1, p. 3–19, 2015.
    [Bibtex]
    @Article{Gafni2015,
    author = {E. {Gafni} and H. {Fauconnier} and C. {Delporte} and P. {Kuznetsov}},
    title = {Wait-freedom with advice},
    journal = {Distributed Computing},
    year = {2015},
    volume = {28},
    number = {1},
    pages = {3--19},
    month = jan,
    annote = {category=article language=en audience=2 state=published dept=infres group=s3 id=15440},
    groups = {Lossly, Journals, International Collab},
    }
  • 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.
    [Bibtex]
    @Article{Qiu2015,
    author = {H. {Qiu} and G. {Memmi}},
    title = {Fast selective encryption methods for bitmap images},
    journal = {International Journal of Multimedia Data Engineering and Management},
    publisher = {IGI Global},
    year = {2015},
    volume = {6},
    number = {3},
    pages = {52--70},
    month = jul,
    annote = {category=article language=en audience=2 state=published dept=infres group=nis id=16270},
    groups = {Lossly, Journals},
    }
  • 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.
    [Bibtex]
    @Article{Legout2015,
    author = {V. {Legout} and M. {Jan} and L. {Pautet}},
    title = {Scheduling algorithms to reduce the static energy consumption of real-time systems},
    journal = {Real-Time Systems},
    year = {2015},
    volume = {51},
    number = {2},
    pages = {153--191},
    month = jan,
    annote = {category=article language=en audience=2 state=published project=safir dept=infres group=s3 id=15968},
    groups = {Strong, Journals},
    keywords = {Multiprocessor scheduling Static consumption Hard real-time Mixed-criticality},
    }

2014

  • 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.
    [Bibtex]
    @Article{Pitt2014a,
    author = {J. {Pitt} and A. {Diaconescu} and D. {Bollier}},
    title = {Technology for Collective Action [Special Section Introduction]},
    journal = {IEEE Technology and Society Magazine},
    year = {2014},
    volume = {3},
    pages = {32--34},
    month = sep,
    annote = {category=grandpublic language=en audience=2 state=published dept=infres group=s3 documentURL=http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=6901326 id=15062},
    groups = {Lossly, Journals, International Collab},
    }
  • 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.
    [Bibtex]
    @Article{Ismail2014,
    author = {Z. {Ismail} and J. {Leneutre} and D. {Bateman} and L. {Chen}},
    title = {A Game Theoretical Analysis of Data Confidentiality Attacks on Smart-Grid AMI},
    journal = {IEEE Journal on Selected Areas in Communications},
    year = {2014},
    volume = {32},
    number = {7},
    pages = {1486--1499},
    month = jul,
    annote = {category=article language=en audience=2 state=published doi=10.1109/JSAC.2014.2332095 project=ssr dept=infres group=aces documentURL=http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=6840293\&isnumber=6879523 id=14960},
    groups = {Strong, Journals},
    keywords = {Advanced metering infrastructure, smart meters, security, privacy, non-cooperative game theory, Nash equilibrium},
    }
  • 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.
    [Bibtex]
    @Article{Sun2014,
    author = {Y. {Sun} and G. {Memmi} and S. {Vignes} and F. {Daumas}},
    title = {CONNEXION : {\'E}l{\'e}ments de m{\'e}thodologie de v{\'e}rification et validation. {\'E}pisode 1 : relever les principaux d{\'e}fis},
    journal = {Génie Logiciel},
    year = {2014},
    number = {109},
    pages = {50--60},
    month = jun,
    annote = {category=article language=fr audience=3 state=published dept=infres group=s3 id=15161},
    groups = {Lossly, Journals},
    }
  • 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.
    [Bibtex]
    @Article{gadafi2014energy,
    author = {A. {Gadafi} and D. {Hagimont} and L. {Broto} and R. {Sharrock} and A. {Tchana} and et al.},
    title = {Energy-QoS tradeoffs in J2EE hosting centres},
    journal = {International Journal of Autonomic Computing},
    year = 2014,
    month = feb,
    volume = {2},
    number = {1},
    pages = {54--72},
    annote = {category=article language=en audience=1 state=published dept=infres group=s3 id=16798}
    }

2013

  • X. Gréhant, I. Demeure, and S. Jarp, « A survey of task mapping on production grids, » Acm computing surveys, vol. 45, iss. 3, 2013.
    [Bibtex]
    @Article{Grehant2013,
    author = {X. {Gr{\'e}hant} and I. {Demeure} and S. {Jarp}},
    title = {A Survey of Task Mapping on Production Grids},
    journal = {ACM Computing Surveys},
    year = {2013},
    volume = {45},
    number = {3},
    month = jun,
    annote = {category=article language=en audience=2 state=published doi=10.1145/2480741.2480754 project=safir dept=infres group=s3 id=11881},
    groups = {Lossly, Journals, International Collab},
    }
  • J. Michaux, E. Najm, and A. Fantechi, « Session types for safe web service orchestration, » Journal of logic and algebraic programming, 2013.
    [Bibtex]
    @Article{Michaux2013b,
    author = {J. {Michaux} and E. {Najm} and A. {Fantechi}},
    title = {Session types for safe Web service orchestration},
    journal = {Journal of Logic and Algebraic Programming},
    year = {2013},
    month = jun,
    annote = {category=article language=en audience=2 state=published doi=http://dx.doi.org/10.1016/j.jlap.2013.05.004 project=safir dept=infres group=s3 id=13518},
    groups = {Lossly, Journals},
    keywords = {Session types, Orchestration, Web Services, BPEL, Interaction-safety, Behavioural compatibility},
    }
  • 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.
    [Bibtex]
    @Article{sharrock2013non,
    author = {R. {Sharrock} and Th. {Monteil} and P. {Stolf} and D. {Hagimont} and et al.},
    title = {Non-intrusive autonomic approach with self-management policies applied to legacy infrastructures for performance improvements.},
    journal = {Innovations and Approaches for Resilient and Adaptive Systems},
    publisher = {IGI Global},
    year = 2013,
    month = feb,
    pages = {105--123},
    annote = {category=article language=en audience=1 state=published dept=infres group=s3 id=16796}
    }

 

InCollections


2018

  • Z. Ismail, J. Leneutre, D. Bateman, and L. Chen, « Game theory for security and risk management. » Birkhäuser, 2018.
    [Bibtex]
    @InBook{Ismail2018,
    chapter = {Managing Security Risks Interdependencies Between ICT and Electric Infrastructures: A Game Theoretical Analysis},
    title = {Game Theory for Security and Risk Management},
    publisher = {Birkhäuser},
    year = {2018},
    author = {Ziad Ismail and J. Leneutre and David Bateman and Lin Chen},
    groups = {Strong, Chapters, International Collab},
    }

2017

  • 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.
    [Bibtex]
    @InBook{Diaconescu2017z,
    chapter = {Organising Complexity: Hierarchies and Holarchies},
    pages = {89--106},
    title = {Organic Computing – Technical Systems for Survival in the Real World},
    publisher = {Springer Int. Publishing},
    year = {2017},
    author = {Ada Diaconescu},
    editor = {Christian Müller-Schloer, Sven Tomforde},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Diaconescu2017y,
    chapter = {Goal-oriented Holonic Systems},
    pages = {209--258},
    title = {Organic Computing – Technical Systems for Survival in the Real World},
    publisher = {Springer Int. Publishing},
    year = {2017},
    author = {Ada Diaconescu},
    editor = {Christian Müller-Schloer, Sven Tomforde},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Camara2017,
    pages = {17--49},
    title = {Self-Aware Computing Systems},
    publisher = {Springer Int. Publishing},
    year = {2017},
    author = {J. {Camara} and K. {Bellman} and J. {Kephart} and M. {Autili} and N. {Bencomo} and A. {Diaconescu} and H. {Giese} and S. {Gotz} and P. {Inverardi} and S. {Kounev} and et al.},
    month = feb,
    annote = {category=inbook language=en audience=2 state=published doi=10.1007/978-1-4471-5007-7 dept=infres group=s3 id=16813},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Kounev2017,
    chapter = {The notion of self-aware computing},
    pages = {3--16},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu},
    year = {2017},
    author = {S. {Kounev} and P. {Lewis} and K. {Bellman} and N. {Bencomo} and J. {Camara} and A. {Diaconescu} and L. {Esterle} and K. {Geihs} and H. {Giese} and S. {Gotz} and P. {Inverardi} and J. {Kephart} and A. {Zisman}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16812},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Lewis2017,
    chapter = {Towards a framework for the levels and aspects of selfaware computing systems},
    pages = {51--85},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {P. {Lewis} and K. {Bellman} and Ch. {Landauer} and L. {Esterle} and K. {Glette} and A. {Diaconescu} and H. {Giese}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16814},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Kephart2017,
    chapter = {Reference scenarios for self-aware computing},
    pages = {87--106},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {J. {Kephart} and M. {Maggio} and A. {Diaconescu} and H. {Giese} and H. {Hoffmann} and S. {Kounev} and A. {Koziolek} and P. {Lewis} and A. {Robertsson} and S. {Spinner}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16815},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Giese2017,
    chapter = {Architectural concepts for self-aware computing systems},
    pages = {109--147},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {H. {Giese} and Th. {Vogel} and A. {Diaconescu} and S. {Gotz} and S. {Kounev}},
    annote = {category=inbook language=en audience=1 state=published dept=infres group=s3 id=16816},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Giese2017a,
    chapter = {Generic architectures for individual self-aware computing systems},
    pages = {149--189},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu},
    year = {2017},
    author = {H. {Giese} and Th. {Vogel} and A. {Diaconescu} and S. {Gotz} and K. {Bellman}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16817},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Diaconescu2017a,
    chapter = {Generic architectures for collective self-aware computing systems.},
    pages = {191--235},
    title = {Self-Aware Computing Systems},
    publisher = {Spinger Int. Publishing},
    year = {2017},
    author = {A. {Diaconescu} and K. {Bellman} and L. {Esterle} and H. {Giese} and S. {Gotz} and P. {Lewis} and A. {Zisman}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16818},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Giese2017b,
    chapter = {State of the art in architectures for self-aware computing systems},
    pages = {237--275},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {H. {Giese} and Th. {Vogel} and A. {Diaconescu} and P. {Lewis} and S. {Gotz} and N. {Bencomo} and K. {Geihs} and S. {Kounev} and K. {Bellman} and P. {Inverardi}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16819},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Kephart2017a,
    chapter = {Self-adaptation in collective self-aware computing systems},
    pages = {401--435},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {J. {Kephart} and A. {Diaconescu} and H. {Giese} and A. {Robertsson} and T. {Abdelzaher} and P. {Lewis} and A. {Filieri} and L. {Esterle} and S. {Frey}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16820},
    groups = {Lossly, Chapters, International Collab},
    }
  • 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.
    [Bibtex]
    @InBook{Autili2017,
    chapter = {Transition Strategies for Increasing Self-awareness in Existing Types of Computing Systems},
    pages = {305--336},
    title = {Self-Aware Computing Systems},
    publisher = {S. Kounev, J. O. Kephart, A. Milenkoski, and X. Zhu, editors; Spinger International Publishing},
    year = {2017},
    author = {M. {Autili} and K. {Bellman} and A. {Diaconescu} and L. {Esterle} and M. {Tivoli} and A. {Zisman}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 id=16821},
    groups = {Lossly, Chapters, International Collab},
    }
  • A. Diaconescu, « Organic computing: technical systems for survival in the real world. » Springer Int. Publishing, 2017, p. 89–106.
    [Bibtex]
    @InBook{Diaconescu2017b,
    chapter = {Organising Complexity: Hierarchies and Holarchies},
    pages = {89--106},
    title = {Organic Computing: Technical Systems for Survival in the Real World},
    publisher = {Springer Int. Publishing},
    year = {2017},
    author = {A. {Diaconescu}},
    annote = {category=inbook language=en audience=2 state=published dept=infres group=s3 documentURL=https://link.springer.com/book/10.1007/978-3-319-68477-2 id=17030},
    groups = {Lossly, Chapters},
    }

2015

  • R. Sharrock and et al., « Green wired networks. » John Wiley & Sons, 2015, vol. 94, p. 41.
    [Bibtex]
    @InBook{sweden2015green,
    author = {R. {Sharrock} and et al.},
    title = {Green Wired Networks},
    journal = {Large-Scale Distributed Systems and Energy Efficiency: A holistic view},
    publisher = {John Wiley \& Sons},
    year = 2015,
    month = feb,
    volume = {94},
    pages = {41},
    annote = {category=inbook language=en audience=1 state=published dept=infres group=s3 id=16799}
    }
  • 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.
    [Bibtex]
    @InBook{Kuznetsov2015chapter,
    author = {Hagit Attiya and
    Sandeep Hans and
    Petr Kuznetsov and
    Srivatsan Ravi},
    title = {Safety and Deferred Update in Transactional Memory},
    booktitle = {Transactional Memory. Foundations, Algorithms, Tools, and Applications
    - {COST} Action Euro-TM {IC1001}},
    pages = {50--71},
    year = {2015}
    }

2014

  • 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.
    [Bibtex]
    @InBook{Pitt2014b,
    chapter = {The Algorithmic Governance Of Common-Pool Resources},
    pages = {133--145},
    title = {From Bitcoin to Burning Man and Beyond: The Quest for Identity and Autonomy in a Digital Society},
    publisher = {John H. Clippinger and David Bollier},
    year = {2014},
    author = {J. {Pitt} and A. {Diaconescu}},
    annote = {category=inbook language=en audience=1 state=published dept=infres group=s3 documentURL=https://idcubed.org/bitcoin-burning-man-beyond/ id=15065},
    groups = {Lossly, Chapters, International Collab},
    }

2013

  • E. Borde, « Mode&\#769;lisation et analyse de syste&\#768;mes embarque&\#769;s. » Paris, France: Collection SEE – Hermes, 2013, p. 241–265.
    [Bibtex]
    @InBook{Borde2013,
    chapter = {Mode\&\#769;lisation de l{\textquoteright}e\&\#769;tude de cas avec AADL},
    pages = {241--265},
    title = {Mode\&\#769;lisation et analyse de syste\&\#768;mes embarque\&\#769;s},
    publisher = {Collection SEE - Hermes},
    year = {2013},
    author = {E. {Borde}},
    address = {Paris, France},
    annote = {category=inbook language=fr audience=1 state=published dept=infres group=s3 documentURL=http://editions.lavoisier.fr/notice.asp?ouvrage=2708717 id=13729},
    groups = {Strong, Chapters},
    keywords = {Mod{\'e}lisation, AADL, Pacemaker},
    }
  • L. Pautet and B. Zalila, « Embedded systems : analysis and modeling with sysml, uml and aadl. » West Sussex PO19 8SQ England: Wiley, 2013.
    [Bibtex]
    @InBook{Pautet2013,
    chapter = {Model-Based Code Generation},
    title = {Embedded Systems : analysis and modeling with SysML, UML and AADL},
    publisher = {Wiley},
    year = {2013},
    author = {L. {Pautet} and B. {Zalila}},
    address = {West Sussex PO19 8SQ England},
    annote = {category=inbook language=en audience=2 state=published project=safir dept=infres group=s3 id=13745},
    groups = {Strong, Chapters, International Collab},
    }
  • L. Pautet and B. Zalila, « Modélisation et analyse de systèmes embarqués. » Hermes Science, 2013, p. 281–304.
    [Bibtex]
    @InBook{Pautet2013a,
    chapter = {G{\'e}n{\'e}ration de code {\`a} partir de mod{\`e}les},
    pages = {281--304},
    title = {Mod{\'e}lisation et analyse de syst{\`e}mes embarqu{\'e}s},
    publisher = {Hermes Science},
    year = {2013},
    author = {L. {Pautet} and B. {Zalila}},
    annote = {category=inbook language=fr audience=1 state=published doi=ISBN 9782746239005 project=safir dept=infres group=s3 id=13852},
    groups = {Strong, Chapters, International Collab},
    }
  • T. Robert and J. Hugues, « Modélisation et analyse de systèmes embarqués. » Paris, France: Collection SEE – Hermes, 2013, p. 267–278.
    [Bibtex]
    @InBook{Robert2013,
    chapter = {Analyse a\&\#768; partir du mod{\`e}le},
    pages = {267--278},
    title = {Mod{\'e}lisation et analyse de syst{\`e}mes embarqu{\'e}s},
    publisher = {Collection SEE - Hermes},
    year = {2013},
    author = {Th. {Robert} and J. {Hugues}},
    address = {Paris, France},
    __markedentry = {[brandner:]},
    annote = {category=inbook language=fr audience=1 state=published project=safir dept=infres group=s3 documentURL=editions.lavoisier.fr/notice.asp?ouvrage=2708717 id=13718},
    groups = {Strong, Chapters},
    keywords = {V{\'e}rification formelle, automates temporis{\'e}s},
    }


 

InProceedings


2018

  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2018,
    author = {A. {Diaconescu} and S. {Tomforde} and C. {Müller-Schloer}},
    title = {Holonic Cellular Automata: Modelling Multi-level Self-organisation of Structure and Behaviour},
    booktitle={International Conference on Artificial Life},
    year = {2018},
    month = jul,
    }
  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2018a,
    author = {S. {Marsh} and A. {Diaconescu} and P. {Lewis} and D. {Evans} and T. {Ann Kosa} and S. {Mahbub Habib}},
    title = {Public Privacy and Brick Houses Made of Glass},
    booktitle={International Conference on Trust Management},
    year = {2018},
    month = jul,
    }
  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2018b,
    author = {A. {Diaconescu} and J. {Pitt}},
    title = {Self-awareness and Decision-taking in Socio-Cyber-Physical Systems. An Architectural Perspective},
    booktitle={International Workshop on Self-Awareness in Cyber-Physical Systems},
    year = {2018},
    month = apr,
    }
  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2018c,
    author = {A. {Diaconescu} and P. {Mata} and K. {Bellman}},
    title = {Self-integrating Organic Control Systems: from Crayfish to Smart Homes},
    booktitle={International Workshop on Self-Optimisation in Autonomic and Organic Computing Systems},
    year = {2018},
    month = apr,
    }
  • P. Kuznetsov, T. Rieutord, and Y. He, « An asynchronous computability theorem for fair adversaries, » in Symposium on principles of distributed computing, 2018.
    [Bibtex]
    @inproceedings{KRH18-podc,
    author = {P. {Kuznetsov} and Th. {Rieutord} and Y. {He}},
    title = {An Asynchronous Computability Theorem for Fair Adversaries},
    booktitle = {Symposium on Principles of Distributed Computing},
    year = 2018,
    month = jul,
    note = {\textbf{Best paper}},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=aces id=18252}
    }
  • V. Aksenov and P. Kuznetsov, « On helping and stacks, » in Networked systems – 6th international conference, NETYS 2018, 2018.
    [Bibtex]
    @inproceedings{AK18-netys,
    author = {Vitaly Aksenov and Petr Kuznetsov},
    title = {On Helping and Stacks},
    booktitle = {Networked Systems - 6th International Conference, {NETYS} 2018},
    year = {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.
    [Bibtex]
    @inproceedings{AAK18-podc,
    author = {Vitaly Aksenov and Dan Alistarh and Petr Kuznetsov},
    title = {Brief Announcement: Performance Prediction for Coarse-Grained Locking},
    booktitle = {Proceedings of the 2018 {ACM} Symposium on Principles of Distributed
    Computing, {PODC} 2018},
    year = {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.
    [Bibtex]
    @inproceedings{DGLL-2018,
    author = {A. {Diop} and S. {Gharout} and M. {Laurent} and J. {Leneutre} and J. {Traor{\'e}}},
    title = {Questioning the security and efficiency of the ESIoT approach},
    booktitle = {1th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2018)},
    address = {Stockholm, Sweden},
    year = 2018,
    month = jun,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=aces id=18248}
    }
  • 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.
    [Bibtex]
    @inproceedings{ZLF2018,
    author = {Z. {Ismail} and J. {Leneutre} and A. {Fourati}},
    title = {Optimal Deployment of Security Policies: Application to Industrial Control Systems},
    booktitle = {14th European Dependable Computing Conference (EDCC 2018)},
    address = {Iasi, Romania},
    year = 2018,
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=aces id=18250}
    }
  • R. Medina, E. Borde, and L. Pautet, « Availability enhancement and analysis for mixed-criticality systems on multi-core, » in Date, 2018.
    [Bibtex]
    @InProceedings{Medina2018,
    author = {R. {Medina} and E. {Borde} and L. {Pautet}},
    title = {Availability Enhancement and Analysis for Mixed-Criticality Systems on Multi-core},
    booktitle = {DATE},
    year = {2018},
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=aces documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=17550 id=17550},
    groups = {Strong, Conferences},
    }

2017

  • 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.
    [Bibtex]
    @InProceedings{IKLC:GAMESEC-2017,
    author = {Z. {Ismail} and Ch. {Kiennert} and J. {Leneutre} and L. {Chen}},
    title = {A Game Theoretical Model for Optimal Distribution of Network Security Resources},
    booktitle = {Conference on Decision and Game Theory For Security},
    note = {\textbf{Best paper}},
    year = 2017,
    month = oct,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=aces id=17835}
    }
  • 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.
    [Bibtex]
    @InProceedings{HJBP:CRTS-17,
    author = {F. {Hebbache} and M. {Jan} and F. {Brandner} and L. {Pautet}},
    title = {Dynamic Arbitration of Memory Requests with TDM-like Guarantees},
    booktitle = {Workshop on Compositional Theory and Technology for Real-Time Embedded Systems},
    year = {2017},
    address = {Paris, France},
    month = dec,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=17480},
    groups = {Strong, Workshop},
    keywords = {real-time systems, time-division multiplexing arbitration, mixed-criticality systems},
    }
  • 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.
    [Bibtex]
    @InProceedings{GM-WCSP-17,
    author = {K. {De Vogeleer} and K. R. {Vaddina} and F. {Brandner} and P. {Jouvelot} and G. {Memmi}},
    title = {Modeling the Energy Consumption of Programs: Thermal Aspects and Energy/Frequency Convexity Rule},
    booktitle = {WCSP},
    year = {2017},
    address = {Nanjing, China},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=17357},
    groups = {Strong, Conferences},
    }
  • K. R. Vaddina, F. Brandner, G. Memmi, and P. Jouvelot, « Experimental energy profiling of energy-critical embedded applications, » in Softcom, 2017.
    [Bibtex]
    @InProceedings{VBMJ:SGNC-17,
    author = {K. R. {Vaddina} and F. {Brandner} and G. {Memmi} and P. {Jouvelot}},
    title = {Experimental Energy Profiling of Energy-Critical Embedded Applications},
    booktitle = {SoftCOM},
    year = {2017},
    note = {\textbf{Best paper}},
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=s3 id=17021},
    groups = {Strong, Conferences},
    keywords = {Power Consumption,Energy Profiling},
    }
  • 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.
    [Bibtex]
    @InProceedings{BN:WCET-17,
    author = {F. {Brandner} and N. {Amine}},
    title = {Worst-Case Execution Time Analysis of Predicated Architectures},
    booktitle = {Workshop on Worst-Case Execution Time Analysis},
    year = {2017},
    volume = {57},
    pages = {1--13},
    address = {Dubrovnik, Croatia},
    month = jun,
    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
    annote = {category=inproceedings language=en audience=1 state=published doi=10.4230/OASIcs.WCET.2017.6 dept=infres group=s3 documentURL=http://drops.dagstuhl.de/opus/volltexte/2017/7310/pdf/OASIcs-WCET-2017-6.pdf id=17022},
    groups = {Strong, Workshop},
    keywords = {Predication, Worst-Case Execution Time Analysis, Real-Time Systems},
    }
  • 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.
    [Bibtex]
    @InProceedings{Barisic2017,
    author = {A. {Barisic} and D. {Blouin} and V. {Amaral} and M. {Goulao}},
    title = {A Requirements Engineering Approach for Usability-Driven DSL Development},
    booktitle = {International Conference on Software Language Engineering},
    year = {2017},
    address = {Vancouver, Canada},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=comelec,infres group=labsoc id=17379},
    groups = {Strong, Conferences, International Collab},
    keywords = {Requirements engineering, Domain-Specific language, Usability evaluation},
    }
  • 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.
    [Bibtex]
    @InProceedings{Barkowski2017,
    author = {M. {Barkowski} and M. {Schneider} and H. {Giese} and J. {Dyck} and D. {Tamzalit} and D. {Blouin} and E. {Borde} and J. {Noppen}},
    title = {A Semi-Automated Approach for the Co-refinement of Requirements and Architecture Models},
    booktitle = {MoDRE},
    year = {2017},
    address = {Lisboa, Portugal},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=comelec,infres group=labsoc,s3 id=17218},
    groups = {Strong, Workshop, International Collab},
    keywords = {Requirements Engineering, Requirements Evolution, Non-Functional Requirements, Architecture Refinement, RAMSES, AADL, RDAL },
    }
  • 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.
    [Bibtex]
    @InProceedings{Medina2017,
    author = {R. {Medina} and E. {Borde} and L. {Pautet}},
    title = {Directed Acyclic Graph Scheduling for Mixed-Criticality Systems},
    booktitle = {Reliable Software Technologies - Ada-Europe 2017 - 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings},
    year = {2017},
    pages = {217--232},
    month = aug,
    annote = {category=inproceedings language=en audience=1 state=published doi=10.1007/978-3-319-60588-3_14 dept=infres group=s3 id=17027},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Garbiso2017,
    author = {J. {Garbiso} and A. {Diaconescu} and M. {Coupechoux} and B. {Leroy}},
    title = {Auto-Adaptive Multi-Hop Clustering for Hybrid Cellular-Vehicular Networks},
    booktitle = {IEEE International Conference on Intelligent Transportation Systems (ITSC)},
    year = {2017},
    pages = {1--6},
    address = {Yokohama, JAPAN},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published project=prm dept=infres group=rms2,s3 id=16966},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Garbiso2017a,
    author = {J. {Garbiso} and A. {Diaconescu} and M. {Coupechoux} and B. {Leroy}},
    title = {Distributive Justice for Fair Auto-adaptive Clusters of Connected Vehicles},
    booktitle = {International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO\^{ }ST 2017)},
    year = {2017},
    pages = {1--6},
    address = {Tucson, US},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published project=prm dept=infres group=rms3,s3 id=17012},
    groups = {Lossly, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2017,
    author = {J. {Pitt} and J. {Ober} and A. {Diaconescu}},
    title = {Knowledge Management Processes and Design Principles for Self-Governing Socio-Technical Systems},
    booktitle = {5th International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO-ST),},
    year = {2017},
    address = {Tucson AZ, USA,},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=17028},
    groups = {Lossly, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2017a,
    author = {J. {Pitt} and A. {Diaconescu}},
    title = {Interactional Justice for Sustainable Management of Common-Pool Resources},
    booktitle = {XVI Biennial IASC Conference Practicing the commons: self-governance, cooperation, and institutional change},
    year = {2017},
    address = {Utrecht, Netherlands},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=s3 id=16824},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2017b,
    author = {J. {Pitt} and A. {Diaconescu} and A. {Bourazeri}},
    title = {Democratisation of the SmartGrid and the Active Participation of Prosumers},
    booktitle = {26th IEEE International Symposium on Industrial Electronics (ISIE)},
    year = {2017},
    address = {Edinburgh, Scotland, UK,},
    month = jun,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=s3 id=17032},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Rodriguez2017,
    author = {A. {Rodriguez} and J. {Gomez} and A. {Diaconescu}},
    title = {Replication-Based Self-healing of Mobile Agents Exploring Complex Networks},
    booktitle = {International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS), Springer LNAI,},
    year = {2017},
    pages = {222--233},
    address = {Porto, Portugal},
    month = jun,
    publisher = {Springer International Publishing},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1007/978-3-319-59930-4_18 dept=infres group=s3 id=17498},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Kantert2017,
    author = {J. {Kantert} and S. {Tomforde} and A. {Diaconescu} and Ch. {M{\"u}ller-Schloer}},
    title = {Incentive-oriented Task Assignment in Holonic Organic Systems},
    booktitle = {5th International Workshop on Self-Optimisation in Autonomic and Organic Computing Systems, SAOS at ARCS 2017},
    year = {2017},
    address = {Vienna, Austria},
    month = apr,
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=s3 id=16825},
    groups = {Lossly, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Aksenov2017,
    author = {V. { Aksenov} and V. {Gramoli} and P. {Kuznetsov} and A. { Malova} and S. {Ravi}},
    title = {A Concurrency-Optimal Binary Search Tree},
    booktitle = {International Conference on Parallel and Distributed Computing},
    year = {2017},
    pages = {580--593},
    annote = {category=inproceedings language=en state=published doi=10.1007/978-3-319-64203-1_42 dept=infres group=s3 id=17567},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Kuznetsov2017c,
    author = {P. {Kuznetsov} and Th. {Rieutord}},
    title = {Agreement Functions for Distributed Computing Models},
    booktitle = {Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings},
    year = {2017},
    pages = {175--190},
    annote = {category=inproceedings language=en state=published doi=10.1007/978-3-319-59647-1_14 dept=infres group=s3 id=17568},
    groups = {Lossly, Conferences},
    }
  • P. Kuznetsov, T. Rieutord, and Y. He, « Brief announcement: compact topology of shared-memory adversaries, » in Disc, 2017, p. 56:1–56:4.
    [Bibtex]
    @InProceedings{Kuznetsov2017d,
    author = {P. {Kuznetsov} and Th. {Rieutord} and Y. {He}},
    title = {Brief Announcement: Compact Topology of Shared-Memory Adversaries},
    booktitle = {DISC},
    year = {2017},
    pages = {56:1--56:4},
    annote = {category=inproceedings language=en state=published doi=10.4230/LIPIcs.DISC.2017.56 dept=infres group=s3 id=17569},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Kapusta2017,
    author = {K. {Kapusta} and G. {Memmi} and H. {Noura}},
    title = {Secure and Resilient Scheme for Data Protection in Unattanded Wireless Sensor Networks},
    booktitle = {1st IEEE-IFIP CSNet},
    year = {2017},
    address = {Rio de Janero, Bresil},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=nis id=17500},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Qiu2017,
    author = {H. {Qiu} and G. {Memmi} and H. {Noura}},
    title = {An efficient Secure Storage Scheme Based on Information Fragmentation},
    booktitle = {4th IEEE Int. Conf. on Cyber Security and Cloud Computing},
    year = {2017},
    pages = {108--113},
    address = {New-York, USA},
    month = jun,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=17071},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{RS:LAS-2017,
    author = {R. {Sharrock} and E. {Hamonic} and M. {Hiron} and S. {Carlier}},
    title = {CODECAST: an innovative technology to facilitate teaching and learning computer programming in a C Language online course},
    booktitle = {Learning at scale},
    address = {Cambridge, USA},
    year = 2017,
    month = apr,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=s3 id=16802}
    }

2016

  • N. Amine and F. Brandner, « Eager stack cache memory transfers, » in Workshop on worst-case execution time analysis, Toulouse, France, 2016.
    [Bibtex]
    @InProceedings{NB:WCET-16,
    author = {N. {Amine} and F. {Brandner}},
    title = {Eager Stack Cache Memory Transfers},
    booktitle = {Workshop on Worst-Case Execution Time Analysis},
    year = {2016},
    address = {Toulouse, France},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16277},
    groups = {Strong, Workshop},
    keywords = {Predictability, Eager Memory Transfers, Stack Cache, Real-Time Systems, Prefetching, Eager Eviction},
    }
  • 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.
    [Bibtex]
    @InProceedings{David2016,
    author = {I. {David} and E. {Syriani} and C. {Verbrugge} and D. {Buchs} and D. {Blouin} and A. {Cicchetti} and K. {Vanherpen}},
    title = {Towards Inconsistency Tolerance by Quantification of Semantic Inconsistencies},
    booktitle = {1st Int. Workshop on Collaborative Modelling in MDE},
    year = {2016},
    address = {St-Malo, France},
    month = sep,
    annote = {category=inproceedings language=en audience=1 state=published dept=comelec,infres group=labsoc,s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16700 id=16700},
    groups = {Strong, Workshop, International Collab},
    keywords = {inconsistency management, inconsistency tolerance, temporal tol- erance, multi-view modeling, collaborative modeling},
    }
  • 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.
    [Bibtex]
    @InProceedings{Besnard2016,
    author = {L. {Besnard} and Th. {Gautier} and C. {Guy} and P. {Le Guernic} and J.-P. {Talpin} and B. {Larson} and E. {Borde}},
    title = {Formal semantics of behavior specifications in the architecture analysis and design language standard},
    booktitle = {IEEE International High Level Design Validation and Test Workshop},
    year = {2016},
    pages = {30--39},
    address = {Santa Cruz, USA},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1109/HLDVT.2016.7748252 dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16800 id=16800},
    groups = {Strong, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Medina2016,
    author = {R. {Medina} and E. {Borde} and L. {Pautet}},
    title = {Availability analysis for synchronous data-flow graphs in mixed-criticality systems},
    booktitle = {IEEE Symposium on Industrial Embedded Systems},
    year = {2016},
    pages = {205--210},
    address = {Krakow, Poland},
    month = may,
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1109/SIES.2016.7509431 dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=16792 id=16792},
    groups = {Strong, Conferences},
    keywords = {Mixed-criticality scheduling, synchronous data flow graphs, availability analysis},
    }
  • E. Gafni, Y. He, P. Kuznetsov, and T. Rieutord, « Read-write memory and k-set consensus as an affine task, » in Opodis, 2016.
    [Bibtex]
    @InProceedings{Gafni2016,
    author = {E. {Gafni} and Y. {He} and P. {Kuznetsov} and T. {Rieutord}},
    title = {Read-Write Memory and k-Set Consensus as an Affine Task},
    booktitle = {OPODIS},
    year = {2016},
    groups = {Lossly, Conferences, International Collab},
    month = feb,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16807},
    }
  • 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.
    [Bibtex]
    @InProceedings{Garbiso2016,
    author = {J. {Garbiso} and A. {Diaconescu} and M. {Coupechoux} and B. {Leroy}},
    title = {Dynamic Cluster Size Optimization in Hybrid Cellular-Vehicular Networks},
    booktitle = {IEEE Intelligent Transportation Systems Conference},
    year = {2016},
    pages = {1--7},
    address = {Rio de Janeiro, Brazil},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=rms2,s3 id=16350},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Portadela2016,
    author = {A. R. {Portadela} and J. {Gomez} and A. {Diaconescu}},
    title = {Exploring Complex Networks with Failure-prone Agents},
    booktitle = {15th Mexican International Conference on Artificial Intelligence (MICAI'16), Springer LNCS},
    year = {2016},
    address = {Cancun, Mexico,},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16823},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2016,
    author = {A. {Diaconescu} and S. {Frey} and Ch. {M{\"u}ller-Schloer} and J. {Pitt} and S. {Tomforde}},
    title = {Goal-oriented Holonics for Complex System (Self-)Integration: Concepts and Case Studies},
    booktitle = {SASO},
    year = {2016},
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=s3 id=16293},
    groups = {Lossly, Conferences, International Collab},
    keywords = {goal-oriented self-* systems; holonic architecture; complex systems; dynamic integration; multi-scale; conflicts},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2016,
    author = {J. {Pitt} and A. {Diaconescu}},
    title = {Interactive Self-Governance and Value-Sensitive Design for Self-Organising Socio-Technical Systems},
    booktitle = {Fourth International Workshop on Self-Adaptive and Self-Organising Socio-Technical Systems (SASO\^{ }ST at SASO2016)},
    year = {2016},
    address = {Ausgburg, Germany},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16297},
    groups = {Lossly, Workshop, International Collab},
    }
  • A. Diaconescu, « Goal-oriented holonic architectures for engineering complex systems, » in Keynote talk at the 3rd workshop on self-improving system integration (sissy2016), 2016.
    [Bibtex]
    @InProceedings{Diaconescu2016a,
    author = {A. {Diaconescu}},
    title = {Goal-oriented Holonic Architectures for Engineering Complex Systems},
    booktitle = {Keynote talk at the 3rd Workshop on Self-Improving System Integration (SISSY2016)},
    year = {2016},
    month = jul,
    annote = {category=invite language=en audience=2 state=unpublished dept=infres group=s3 id=16298},
    groups = {Lossly, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2016a,
    author = {J. {Pitt} and J. {Jiang} and A. {Diaconescu}},
    title = {On the Minimal Recognition of Rights in Holonic Institutions},
    booktitle = {International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN at AAMAS2016)},
    year = {2016},
    pages = {16},
    address = {Singapore},
    month = may,
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=s3 id=16296},
    groups = {Lossly, Workshop, International Collab},
    }
  • C. Delporte-Gallet, H. Fauconnier, E. Gafni, and P. Kuznetsov, « Set-consensus collections are decidable, » in Opodis, 2016.
    [Bibtex]
    @InProceedings{Delporte-Gallet2016,
    author = {C. {Delporte-Gallet} and H. {Fauconnier} and E. {Gafni} and P. {Kuznetsov}},
    title = {Set-Consensus Collections are Decidable},
    booktitle = {OPODIS},
    year = {2016},
    month = feb,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16809},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Gramoli2016,
    author = {V. {Gramoli} and P. {Kuznetsov} and et al.},
    title = {In the Search for Optimal Concurrency},
    booktitle = {Structural Information and Communication Complexity - 23rd International Colloquium, SIROCCO 2016, Helsinki, Finland, July 19-21, 2016, Revised Selected Papers},
    year = {2016},
    pages = {143--158},
    annote = {category=inproceedings language=en state=published dept=infres group=s3 id=16804},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Fraigniaud2016,
    author = {P. {Fraigniaud} and S. {Rajsbaum} and C. {Travers} and P. {Kuznetsov} and T. {Rieutord}},
    title = {Perfect Failure Detection with Very Few Bits},
    booktitle = {Stabilization, Safety, and Security of Distributed Systems - 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings},
    year = {2016},
    pages = {154--169},
    annote = {category=inproceedings language=en state=published dept=infres group=s3 id=16805},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Ismail2016,
    author = {Z. {Ismail} and J. {Leneutre} and D. {Bateman} and L. {Chen}},
    title = {A Methodology to Apply a Game Theoretic Model of Security Risks Interdependencies Between ICT and Electric Infrastructures},
    booktitle = {Conference on Decision and Game Theory for Security},
    year = {2016},
    volume = {9996},
    pages = {159--171},
    address = {New York, USA},
    month = nov,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=aces documentURL=https://link.springer.com/chapter/10.1007/978-3-319-47413-7_10 id=17476},
    groups = {Strong, Conferences},
    keywords = {Cyber-physical system, Non-cooperative game theory, SCADA security},
    }
  • 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.
    [Bibtex]
    @InProceedings{Kapusta2016,
    author = {K. {Kapusta} and G. {Memmi} and H. {Noura}},
    title = {A Keyless Efficient Algorithm for Data Protection by Means of Fragmentation},
    booktitle = {ACM Conference on Computer and Communications Security 2016},
    year = {2016},
    address = {Vienna, Austria},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=nis id=16753},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Sun2016,
    author = {Y. {Sun} and G. {Memmi} and S. {Vignes}},
    title = {Model-Based Verification Directed by Structural Coverage and Functional Requirements},
    booktitle = {International Conference on Software Quality, Reliability and Security},
    year = {2016},
    address = {Vienna, Autriche},
    month = aug,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16273},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Sun2016a,
    author = {Y. {Sun} and G. {Memmi} and S. {Vignes}},
    title = {A Model-Based Testing Process for Enhancing Structural Coverage in Functional Testing},
    booktitle = {Int. Conf. CSDM Asia},
    year = {2016},
    pages = {171--180},
    address = {Singapore, Singapore},
    month = feb,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16274},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Baghli2016a,
    author = {R. {Baghli} and E. {Najm} and B. {Traverson}},
    title = {Towards a Multi-Leveled Architecture for the Internet of Things},
    booktitle = {Enterprise Distributed Object Computing Workshop (EDOCW)},
    year = {2016},
    address = {Vienna, Austria},
    month = feb,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16810},
    groups = {Lossly, Workshop},
    keywords = {Internet of things},
    }

2015

  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2015,
    author = {A. {Diaconescu} and J. {Pitt}},
    title = {Holonic Institutions for Multi-Scale Polycentric Self-Governance},
    booktitle={Workshop on Coordination, Organizations, Institutions, and Norms in Agent Systems (COIN at AAMAS2015)},
    year = {2015},
    volume = {9372},
    pages = {19--35},
    month = nov,
    annote = {category=article language=en audience=2 state=published dept=infres group=s3 id=16299},
    groups = {Lossly, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{JRWRTC-15,
    author = {N. {Amine} and F. {Brandner}},
    title = {A Comparative Study of the Precision of Stack Cache Occupancy Analyses},
    booktitle = {9th Junior Researcher Workshop on Real-Time Computing},
    year = {2015},
    pages = {13--16},
    address = {Lille, France},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 documentURL=http://perso.telecom-paristech.fr/~brandner/paper/jrwrtc15_naji.pdf id=15987},
    groups = {Strong, Workshop},
    keywords = {real-time systems, stack cache, data-flow analysis, WCET analysis},
    }
  • S. Abbaspour, F. Brandner, N. Amine, and M. Jan, « Efficient context switching for the stack cache: implementation and analysis, » in Rtns, Lille, France, 2015.
    [Bibtex]
    @InProceedings{ANBJ-RTNS-15,
    author = {S. {Abbaspour} and F. {Brandner} and N. {Amine} and M. {Jan}},
    title = {Efficient Context Switching for the Stack Cache: Implementation and Analysis},
    booktitle = {RTNS},
    note = {\textbf{Outstanding paper}},
    year = {2015},
    address = {Lille, France},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1145/2834848.2834861 dept=infres group=s3 id=16276},
    groups = {Strong, Conferences, International Collab},
    keywords = {Program Analysis, Stack Cache, Cache-Related Preemption Delays, Real-Time Systems},
    }
  • 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.
    [Bibtex]
    @InProceedings{KPS-15,
    author = {J. {Knoop} and F. {Brandner}},
    title = {Exchange between the German and French Compiler Communities},
    booktitle = {18. Kolloquium Programmiersprachen und Grundlagen der Programmierung},
    year = {2015},
    pages = {83--84},
    address = {P{\"o}rtschach am W{\"o}rthersee, Austria},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 documentURL=http://www.complang.tuwien.ac.at/kps2015/proceedings/kps15.pdf id=15985},
    groups = {Strong, Workshop, International Collab},
    keywords = {collaboration franco-allemands, compilation},
    }
  • 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.
    [Bibtex]
    @InProceedings{Rahmoun2015,
    author = {S. {Rahmoun} and E. {Borde} and L. {Pautet}},
    title = {Multi-objectives Refinement of {AADL} Models for the Synthesis Embedded Systems (mu-RAMSES)},
    booktitle = {ICECCS},
    year = {2015},
    pages = {21--30},
    address = {Gold Coast, Australia},
    month = dec,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15972},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Rahmoun2015a,
    author = {S. {Rahmoun} and E. {Borde} and L. {Pautet}},
    title = {Automatic selection and composition of model transformations alternatives using evolutionary algorithms},
    booktitle = {ECSA Workshops 2015},
    year = {2015},
    pages = {25:1--25:7},
    address = {Dubrovnik/Cavtat, Croatia},
    month = sep,
    publisher = {ACM},
    annote = {category=inproceedings language=en audience=2 state=published project=scls dept=infres group=s3 id=15969},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Castellanos2015,
    author = {C. {Castellanos} and E. {Borde} and L. {Pautet} and S. {Gardoll} and Th. {Vergnaud}},
    title = {Improving Reusability of Model Transformations by Automating their Composition},
    booktitle = {EUROMICRO-SEAA},
    year = {2015},
    pages = {267--274},
    address = {Madeira, Portugal},
    month = aug,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15970},
    groups = {Strong, Conferences},
    }
  • E. Richa, E. Borde, and L. Pautet, « Translating atl model transformations to algebraic graph transformations, » in Icmt, L’Aquila, Italy, 2015, p. 183–198.
    [Bibtex]
    @InProceedings{Richa2015,
    author = {E. {Richa} and E. {Borde} and L. {Pautet}},
    title = {Translating ATL Model Transformations to Algebraic Graph Transformations},
    booktitle = {ICMT},
    year = {2015},
    pages = {183--198},
    note = {\textbf{Best paper}},
    address = {L'Aquila, Italy},
    month = jul,
    publisher = {LNCS},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15971},
    groups = {Strong, Conferences},
    keywords = {ATL Henshin Algebraic graph transformation OCL Nested graph conditions Analysis of model transformations},
    }
  • A. Rodrigues, J. Gomez, and A. Diaconescu, « Foraging-inspired self-organisation for terrain exploration with failure-prone agents, » in Saso, 2015.
    [Bibtex]
    @InProceedings{Rodrigues2015,
    author = {A. {Rodrigues} and J. {Gomez} and A. {Diaconescu}},
    title = {Foraging-inspired Self-organisation for Terrain Exploration with Failure-prone Agents},
    booktitle = {SASO},
    year = {2015},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16294},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Jiang2015,
    author = {J. {Jiang} and J. {Pitt} and A. {Diaconescu}},
    title = {Rule Conflicts in Holonic Institutions},
    booktitle = {3rd Workshop on Fundamentals of Collective Adaptive Systems (FoCAS at SASO2015)},
    year = {2015},
    pages = {6},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16300},
    groups = {Lossly, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Diaconescu2015a,
    author = {A. {Diaconescu}},
    title = {Autonomic computing: autonomic management in open multi-objective computing networks},
    booktitle = {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)},
    year = {2015},
    address = {eConference},
    month = sep,
    annote = {category=invite language=en audience=2 state=unpublished dept=infres group=s3 id=16303},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2015,
    author = {J. {Pitt} and A. {Nowak} and A. {Diaconescu}},
    title = {Value Sensitive Design for Self-Organising Digital Communities},
    booktitle = {Charting the Next Decade for Value Sensitive Design Workshop (held with the Critical Alternatives Conference)},
    year = {2015},
    address = {Aarhus, Denmark},
    month = aug,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16301},
    groups = {Lossly, Workshop, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Rodrigues2015a,
    author = {A. {Rodrigues} and J. {Gomez} and A. {Diaconescu}},
    title = {Towards Failure-Resistant Mobile Distributed Systems Inspired by Swarm Intelligence and Trophallaxis},
    booktitle = {The 13th European Conference on Artificial Life (ECAL 2015)},
    year = {2015},
    pages = {8},
    address = {York, UK,},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16295},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2015a,
    author = {J. {Pitt} and A. {Diaconescu}},
    title = {Structure and Governance of Communities for the Digital Society},
    booktitle = {Workshop on Self-Improving System Integration (SISSY at ICAC 2015)},
    year = {2015},
    address = {Grenoble, France},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=16302},
    groups = {Lossly, Workshop, International Collab},
    }
  • D. Alistarh, J. Kopinsky, P. Kuznetsov, S. Ravi, and N. Shavit, « Inherent limitations of hybrid transactional memory, » in Disc, Tokyo, Japan, 2015.
    [Bibtex]
    @InProceedings{Alistarh2015,
    author = {D. {Alistarh} and J. {Kopinsky} and P. {Kuznetsov} and S. {Ravi} and N. {Shavit}},
    title = {Inherent Limitations of Hybrid Transactional Memory},
    booktitle = {DISC},
    year = {2015},
    address = {Tokyo, Japan},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15827},
    groups = {Lossly, Conferences, International Collab},
    }
  • P. Kuznetsov and S. Ravi, « Grasping the gap between blocking and non-blocking transactional memories, » in Disc, Tokyo, Japan, 2015.
    [Bibtex]
    @InProceedings{Kuznetsov2015,
    author = {P. {Kuznetsov} and S. {Ravi}},
    title = {Grasping the Gap Between Blocking and Non-Blocking Transactional Memories},
    booktitle = {DISC},
    year = {2015},
    address = {Tokyo, Japan},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15828},
    groups = {Lossly, Conferences, International Collab},
    }
  • P. Kuznetsov and S. Ravi, « Progressive transactional memory in time and space, » in Pact, Petrozavodsk, Russia, 2015.
    [Bibtex]
    @InProceedings{Kuznetsov2015a,
    author = {P. {Kuznetsov} and S. {Ravi}},
    title = {Progressive Transactional Memory in Time and Space},
    booktitle = {PaCT},
    year = {2015},
    address = {Petrozavodsk, Russia},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15824},
    groups = {Lossly, Conferences, International Collab},
    }
  • C. Delporte, H. Fauconnier, P. Kuznetsov, and E. Ruppert, « On the space complexity of set agreement, » in Podc, Paris, France, 2015.
    [Bibtex]
    @InProceedings{Delporte2015,
    author = {C. {Delporte} and H. {Fauconnier} and P. {Kuznetsov} and E. {Ruppert}},
    title = {On the Space Complexity of Set Agreement},
    booktitle = {PODC},
    year = {2015},
    address = {Paris, France},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15825},
    groups = {Lossly, Conferences, International Collab},
    }
  • S. Dubois, R. Guerraoui, P. Kuznetsov, F. Petit, and P. Sens, « The weakest failure detector for eventual consistency, » in Podc, Paris, France, 2015.
    [Bibtex]
    @InProceedings{Dubois2015,
    author = {S. {Dubois} and R. {Guerraoui} and P. {Kuznetsov} and F. {Petit} and P. {Sens}},
    title = {The Weakest Failure Detector for Eventual Consistency},
    booktitle = {PODC},
    year = {2015},
    address = {Paris, France},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15826},
    groups = {Lossly, Conferences, International Collab},
    }
  • M. Canini, P. Kuznetsov, D. Levin, and S. Schmid, « A distributed and robust sdn control plane for transactional network updates, » in Infocom, 2015.
    [Bibtex]
    @InProceedings{Canini2015,
    author = {M. {Canini} and P. {Kuznetsov} and D. {Levin} and S. {Schmid}},
    title = {A Distributed and Robust SDN Control Plane for Transactional Network Updates},
    booktitle = {INFOCOM},
    year = {2015},
    month = apr,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15447},
    groups = {Lossly, Conferences, International Collab},
    }
  • P. Kuznetsov and S. Ravi, « On partial wait-freedom in transactional memory, » in Icdcn, 2015.
    [Bibtex]
    @InProceedings{Kuznetsov2015b,
    author = {P. {Kuznetsov} and S. {Ravi}},
    title = {On Partial Wait-Freedom in Transactional Memory},
    booktitle = {ICDCN},
    year = {2015},
    month = jan,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15444},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Nguyen2015,
    author = {T. {Nguyen} and J. {Leneutre}},
    title = {A Secure and Effective Device Pairing Protocol},
    booktitle = {12th IEEE Consumer Communications and Networking Conference (CCNC)},
    year = {2015},
    address = {Las Vegas, USA},
    month = jan,
    annote = {category=inproceedings language=en audience=2 state=toappear dept=infres group=aces id=15330},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Ismail2015,
    author = {Z. {Ismail} and J. {Leneutre} and D. {Bateman} and L. {Chen}},
    title = {A Game-Theoretical Model for Security Risk Management of Interdependent ICT and Electrical Infrastructures},
    booktitle = {16th IEEE International Symposium on High Assurance Systems Engineering (HASE)},
    year = {2015},
    address = {Daytona Beach, Florida, USA},
    month = jan,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=aces documentURL=http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=7027420 id=15332},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Ismail2015a,
    author = {Z. {Ismail} and J. {Leneutre} and A. {Fourati}},
    title = {An Attack Execution Model for Industrial Control Systems Security Assessment.},
    booktitle = {CyberICS/WOS-CPS at ESORICS 2015},
    year = {2015},
    pages = {157--167},
    address = {Vienna, Austria},
    month = jan,
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=aces id=17477},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Kapusta2015,
    author = {K. {Kapusta} and H. {Qiu} and G. {Memmi}},
    title = {Data Protection: Combining Fragmentation, Encryption, and Dispersion},
    booktitle = {Int. Conf. on Security of Smart cities, Industrial Control System and Communications},
    year = {2015},
    address = {Shanghai, China},
    month = aug,
    publisher = {IEEE},
    annote = {category=invite language=en audience=2 state=published dept=infres group=nis id=16271},
    groups = {Lossly, Conferences},
    }
  • K. Kapusta and G. Memmi, « Data protection by means of fragmentation in distributed storage systems, » in Cfip-notere, Paris, France, 2015.
    [Bibtex]
    @InProceedings{Kapusta2015a,
    author = {K. {Kapusta} and G. {Memmi}},
    title = {Data protection by means of fragmentation in distributed storage systems},
    booktitle = {CFIP-Notere},
    year = {2015},
    address = {Paris, France},
    month = jul,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=nis id=16272},
    groups = {Lossly, Conferences},
    }
  • R. Gratia, T. Robert, and L. Pautet, « Generalized mixed-criticality scheduling based on run, » in Rtns, 2015, p. Pages 267–276.
    [Bibtex]
    @InProceedings{Gratia2015,
    author = {R. {Gratia} and Th. {Robert} and L. {Pautet}},
    title = {Generalized mixed-criticality scheduling based on RUN},
    booktitle = {RTNS},
    year = {2015},
    pages = {Pages 267--276},
    month = nov,
    publisher = {ACM, New York, NY, USA},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1145/2834848.2834873 dept=infres group=s3 documentURL=http://dl.acm.org/citation.cfm?id=2834873 id=15888},
    groups = {Strong, Conferences},
    keywords = {Ordonnancement, critict{\'e} mixte},
    }
  • 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.
    [Bibtex]
    @InProceedings{Gratia2015a,
    author = {R. {Gratia} and Th. {Robert} and L. {Pautet}},
    title = {Scheduling of mixed-criticality systems with RUN},
    booktitle = {IEEE 20th Conference on Emerging Technologies Factory Automation (ETFA), 2015},
    year = {2015},
    pages = {8},
    address = {Luxembourg},
    month = sep,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1109/ETFA.2015.7301484 dept=infres group=s3 documentURL=http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=7301484 id=15887},
    groups = {Strong, Conferences},
    keywords = {Ordonnancement, critict{\'e} mixte},
    }
  • 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.
    [Bibtex]
    @InProceedings{Viel2015,
    author = {M. { Viel} and P. { Salaun} and Th. { Lemattre} and F. a. { Chatou} and N. B. { Chaux} and Th. {Robert}},
    title = {Distributed Instrumentation {\textbackslash}\& Control (I{\textbackslash}\&C) architecture Design and V alidation},
    booktitle = {Fast Abstract DSN 2015},
    year = {2015},
    pages = {1--2},
    __markedentry = {[brandner:]},
    annote = {category=inproceedings language=en state=published dept=infres group=s3 id=17834},
    groups = {Conferences, Strong},
    }
  • 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.
    [Bibtex]
    @InProceedings{RSBL:qpes-2015,
    author = {R. {Sharrock} and L. {Brice}},
    title = {Ouvrir la boite noire de la production de videos pour les mooc. vers une analyse sociotechnique},
    booktitle = {QPES - Questions de p{\'e}dagogie dans l'enseignement sup{\'e}rieur},
    address = {Brest, France},
    year = 2015,
    month = jun,
    annote = {category=inproceedings language=fr audience=2 state=published dept=infres group=s3 id=16801}
    }
  • 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.
    [Bibtex]
    @InProceedings{GOSH-ELC:CHI-EA15,
    author = {S. {Gosh} and G. {Bailly} and R. {Despouys} and E. {Lecolinet} and R. {Sharrock}},
    title = {SuperVision: Spatial Control of Connected Objects in a Smart Home},
    booktitle = {CHI Extended Abstracts: ACM Conference on Human Factors in Computing Systems},
    publisher = {ACM},
    address = {Soul, Korea},
    year = 2015,
    month = apr,
    pages = {2079--2084},
    keywords = {Smart Home; Pico-projector; Spatial memory; Visualization; SuperVision},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1145/2702613.2732779 project=via dept=infres group=ic2 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=15299 id=15299}
    }

2014

  • 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.
    [Bibtex]
    @InProceedings{Richa2014,
    author = {E. {Richa} and E. {Borde} and L. {Pautet} and M. {Bordin} and J. {Riuz}},
    title = {Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains},
    booktitle = {MODELS workshop on Analysis of Model Transformations},
    year = {2014},
    pages = {34--43},
    address = {Valencia (Spain)},
    month = oct,
    publisher = {CEUR-WS.org},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15150},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Borde2014,
    author = {E. {Borde} and L. {Pautet} and F. {Cadoret} and S. {Rahmoun} and F. {Singhoff}},
    title = {Architecture Models Refinement for Fine Grain Timing Analysis of Embedded Systems},
    booktitle = {International Symposium on Rapid System Prototyping},
    year = {2014},
    pages = {44--50},
    address = {New Delhi (India)},
    month = oct,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15157},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Richa2014a,
    author = {E. {Richa} and E. {Borde} and L. {Pautet} and M. {Bordin} and J. {Riuz}},
    title = {Towards Testing Model Transformation Chains Using Precondition Construction in Algebraic Graph Transformation},
    booktitle = {AMT at MoDELS},
    year = {2014},
    pages = {34--43},
    address = {Valencia, Spain},
    month = sep,
    publisher = {ACM/IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15973},
    groups = {Strong, Workshop},
    keywords = {testing,modeltransformationchains,algebraicgraphtrans- formation, weakest precondition, ATL},
    }
  • 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.
    [Bibtex]
    @InProceedings{Castellanos2014,
    author = {C. {Castellanos} and E. {Borde} and L. {Pautet} and Th. {Vergnaud} and Th. {D{\'e}rive}},
    title = {Automatic Production of Transformation Chains Using Structural Constraints on Output Models},
    booktitle = {Euromicro Conference on Software Engineering and Advanced Applications},
    year = {2014},
    pages = {158--165},
    address = {Verona (Italy)},
    month = aug,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15131},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pautet2014,
    author = {L. {Pautet} and E. {Borde} and Th. {Robert} and A. {Jaouen}},
    title = {PDP 4PS : Periodic-Delayed Protocol for Partitioned Systems},
    booktitle = {International Conference on Reliable Software Technologies},
    year = {2014},
    volume = {8454},
    pages = {149--165},
    address = {Paris, France},
    month = jun,
    publisher = {Lecture Notes in Computer Science},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=15127},
    groups = {Strong, Conferences},
    }
  • R. Despouys, R. Sharrock, and I. Demeure, « Sensemaking in the autonomic smart-home, » in Ubicomp ubiquitous computing, Seattle, USA, 2014.
    [Bibtex]
    @InProceedings{Despouys2014,
    author = {R. {Despouys} and R. {Sharrock} and I. {Demeure}},
    title = {Sensemaking in the autonomic smart-home},
    booktitle = {UBICOMP Ubiquitous computing},
    year = {2014},
    address = {Seattle, USA},
    month = sep,
    publisher = {ACM},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15498},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Pitt2014,
    author = {J. {Pitt} and D. {Busquets} and A. {Diaconescu} and A. {Nowak} and A. {Rychwalska} and M. {Roszczynska-Kurasinska}},
    title = {Algorithmic Self-Governance and the Design of Socio-Technical Systems},
    booktitle = {European Conference on Social Intelligence},
    year = {2014},
    address = {Barcelona, Spain},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15067},
    groups = {Lossly, Conferences, International Collab},
    }
  • E. Gafni, P. Kuznetsov, and C. Manolescu, « A generalized asynchronous computability theorem, » in Podc, 2014, p. 222–231.
    [Bibtex]
    @InProceedings{Gafni2014,
    author = {E. {Gafni} and P. {Kuznetsov} and C. {Manolescu}},
    title = {A generalized asynchronous computability theorem},
    booktitle = {PODC},
    year = {2014},
    pages = {222--231},
    month = jul,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15443},
    groups = {Lossly, Conferences, International Collab},
    }
  • Z. Bouzid, E. Gafni, and P. Kuznetsov, « Strong equivalence relations for iterated models, » in Opodis, 2014, p. 139–154.
    [Bibtex]
    @InProceedings{Bouzid2014,
    author = {Z. {Bouzid} and E. {Gafni} and P. {Kuznetsov}},
    title = {Strong Equivalence Relations for Iterated Models},
    booktitle = {OPODIS},
    year = {2014},
    pages = {139--154},
    month = mar,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15442},
    groups = {Lossly, Conferences, International Collab},
    }
  • P. Kuznetsov and S. Peri, « Non-interference and local correctness in transactional memory, » in Icdcn, 2014, p. 197–211.
    [Bibtex]
    @InProceedings{Kuznetsov2014,
    author = {P. {Kuznetsov} and S. {Peri}},
    title = {Non-Interference and Local Correctness in Transactional Memory},
    booktitle = {ICDCN},
    year = {2014},
    pages = {197--211},
    month = jan,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15441},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Djebaili2014,
    author = {B. {Djebaili} and Ch. {Kiennert} and J. {Leneutre} and L. {Chen}},
    title = {Data Integrity and Availability Verification Game in Untrusted Cloud Storage},
    booktitle = {5th International Conference on Decision and Game Theory for Security (Gamesec 2014), Lecture Notes in Computer Science},
    year = {2014},
    volume = {8840},
    pages = {287--306},
    address = {Los Angeles, CA, USA},
    month = nov,
    publisher = {Springer},
    annote = {category=inproceedings language=en audience=1 state=published dept=infres group=aces documentURL=http://link.springer.com/chapter/10.1007%2F978-3-319-12601-2_16 id=15331},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Nguyen2014,
    author = {T. {Nguyen} and J. {Leneutre}},
    title = {Formal Analysis of Secure Device Pairing Protocols},
    booktitle = {IEEE International Symposium on Network Computing and Applications (NCA)},
    year = {2014},
    address = {Cambridge, USA},
    month = aug,
    annote = {category=inproceedings language=en audience=2 state=published project=tii dept=infres group=aces documentURL=http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=\&arnumber=6924241 id=15329},
    groups = {Lossly, Conferences},
    }
  • H. Qiu and G. Memmi, « Fast selective encryption method for bitmaps based on gpu acceleration., » in Ieee ism14, Taipei, Taiwan, 2014, p. 155–158.
    [Bibtex]
    @InProceedings{Qiu2014,
    author = {H. {Qiu} and G. {Memmi}},
    title = {Fast Selective Encryption Method for Bitmaps based on GPU Acceleration.},
    booktitle = {IEEE ISM14},
    year = {2014},
    pages = {155--158},
    address = {Taipei, Taiwan},
    month = dec,
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1109/ISM.2014.47 dept=infres group=nis id=15072},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{DeVogeleer2014,
    author = {K. {De Vogeleer} and G. {Memmi} and P. {Jouvelot} and F. {Coelho}},
    title = {Modeling the temperature bias of power consumption for nanometer-scale CPUs in application processors},
    booktitle = {Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV), 2014 International Conference on},
    year = {2014},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1109/SAMOS.2014.6893209 dept=infres group=s3 id=15251},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Gratia2014,
    author = {R. {Gratia} and L. {Pautet} and Th. {Robert}},
    title = {Adaptation of run to mixed-criticality systems},
    booktitle = {Workshop on Real-Time Computing (RTNS)},
    year = {2014},
    pages = {25--28},
    address = {Versailles},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=16790},
    groups = {Strong, Workshop},
    keywords = {criticise mixte, syst{\`e}mes temps r{\'e}el},
    }
  • 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.
    [Bibtex]
    @InProceedings{GOSH-ELC:IHM14,
    author = {S. {Gosh} and G. {Bailly} and R. {Despouys} and E. {Lecolinet} and R. {Sharrock}},
    title = {SuperVision : controler spatialement les objets connect{\'e}s dans une maison intelligente},
    booktitle = {IHM'14: Conf{\'e}rence francophone sur l'Interaction Homme Machine},
    publisher = {ACM},
    address = {Lille, France},
    year = 2014,
    month = oct,
    keywords = {Interface Homme Machine ; Maison intelligente ; T{\'e}l{\'e}commande augment{\'e}e ; Projection},
    annote = {category=inproceedings language=fr audience=3 state=published doi=10.1145/2670444.2670471 project=via dept=infres group=ic2 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=15197 id=15197}
    }
  • R. Despouys, R. Sharrock, and I. Demeure, « Sensemaking in the autonomic smart-home, » in Ubicomp ubiquitous computing, Seattle, USA, 2014.
    [Bibtex]
    @InProceedings{RD:UBICOMP-14,
    author = {R. {Despouys} and R. {Sharrock} and I. {Demeure}},
    title = {Sensemaking in the autonomic smart-home},
    booktitle = {UBICOMP Ubiquitous computing},
    publisher = {ACM},
    address = {Seattle, USA},
    year = 2014,
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15498}
    }

2013

  • 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.
    [Bibtex]
    @InProceedings{Loniewski2013,
    author = {G. {Loniewski} and E. {Borde} and D. {Blouin} and E. {Insfran}},
    title = {Model-Driven Requirements Engineering for Embedded Systems Development},
    booktitle = {39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)},
    year = {2013},
    address = {Santander Spain},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=14247},
    groups = {Strong, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Loniewski2013a,
    author = {G. {Loniewski} and E. {Borde} and D. {Blouin} and E. {Insfran}},
    title = {An Automated Approach for Architectural Model Transformations},
    booktitle = {22nd International Conference on Information Systems Development (ISD2013)},
    year = {2013},
    address = {Sevilla Spain},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=14248},
    groups = {Strong, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{Castellanos2013,
    author = {C. {Castellanos} and E. {Borde} and L. {Pautet} and Th. {Vergnaud} and Th. {D{\'e}rive}},
    title = {Formalization of Design Patterns for Security and DependabilityFormalization of Design Patterns for Security and Dependability},
    booktitle = {ISARCS'13},
    year = {2013},
    address = {Montr{\'e}al, Canada},
    month = aug,
    publisher = {ACM SIGSOFT},
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=13849},
    groups = {Strong, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Cadoret2013,
    author = {F. {Cadoret} and Th. {Robert} and E. {Borde} and L. {Pautet} and F. {Singhoff}},
    title = {Deterministic Implementation of Periodic-Delayed Communications and Experimentation in {AADL}},
    booktitle = {ISORC'13},
    year = {2013},
    address = {Paderborn, Allemagne},
    month = jun,
    publisher = {IEEE},
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=13716},
    groups = {Strong, Conferences},
    keywords = {scheduling theory; real-time middleware; model driven engineering},
    }
  • 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.
    [Bibtex]
    @InProceedings{Faye2013,
    author = {S. {Faye} and C. {Chaudet} and I. {Demeure}},
    title = {Influence of radio communications on multiple intersection control by a wireless sensor network},
    booktitle = {13th International Conference on ITS Telecommunications (ITST)},
    year = {2013},
    address = {Tampere, Finland},
    month = nov,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=rms3,s3 id=15141},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Frey2013,
    author = {S. {Frey} and A. {Diaconescu} and M. {David} and I. {Demeure}},
    title = {A Holonic Control Architecture for a Heterogeneous Multi-Objective Smart Micro-Grid},
    booktitle = {Seventh IEEE International Conference on Self-Adaptive and Self-Organizing Systems},
    year = {2013},
    address = {Philladelphia, USA},
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 documentURL=http://adadiaconescu.there-you-are.com/Papers/SASO2013/A%20Holonic%20Control%20Architecture%20for%20a%20Heterogeneous%20Multi-Objective%20Smart%20Micro-Grid.pdf id=14304},
    groups = {Lossly, Conferences},
    keywords = {holon; micro-grid; controller integration; autonomic management; agent organisations},
    }
  • 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.
    [Bibtex]
    @InProceedings{Frey2013a,
    author = {S. {Frey} and A. {Diaconescu} and M. {David} and I. {Demeure}},
    title = {Towards a reference model for multi-goal, highly-distributed and dynamic autonomic systems},
    booktitle = {10th International Conference on Autonomic Computing (ICAC), Self-aware Internet of Things (Self-IoT) track},
    year = {2013},
    address = {San Jose, Ca, USA},
    month = jun,
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 id=13736},
    groups = {Lossly, Conferences},
    keywords = {autonomic control, software engineering, model, multi-goal autonomic systems, control loop integration, open adaptable and distributed applications, agent organisations, smart home, micro smart grid.},
    }
  • 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.
    [Bibtex]
    @InProceedings{Demeure2013,
    author = {I. {Demeure} and J.-C. {Moissinac} and B. H. {Rodriguez}},
    title = {Soa2mSituation: an interaction situation model for the multimodal web},
    booktitle = {3rd International Conference on Web Intelligence, Mining and Semantics, WIMS '13},
    year = {2013},
    address = {Madrid, Spain},
    month = jun,
    annote = {category=inproceedings language=en audience=1 state=published project=m2 dept=egsh group=mm id=14383},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Hu2013,
    author = {R. {Hu} and J. {Sopena} and L. {Arantes} and P. {Sens} and I. {Demeure}},
    title = {Comparaisons {\'e}quitables des algorithmes de gossip sur les topologies al{\'e}atoires {\`a} grande-{\'e}chelle},
    booktitle = {9{\`e}me Conf{\'e}rence Fran\c{c}aise sur les Syst{\`e}mes d'Exploitation (CFSE'13)},
    year = {2013},
    address = {Grenoble, France},
    month = jan,
    annote = {category=inproceedings language=fr audience=3 state=published project=safir dept=infres group=s3 id=13034},
    groups = {Lossly, Conferences},
    }
  • P. Kuznetsov, « Universal model simulation, » in Sss, 2013.
    [Bibtex]
    @InProceedings{Kuznetsov2013,
    author = {P. {Kuznetsov}},
    title = {Universal Model Simulation},
    booktitle = {SSS},
    year = {2013},
    month = oct,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15445},
    groups = {Lossly, Conferences},
    }
  • M. Canini, D. Levin, P. Kuznetsov, and S. Schmid, « Software transactional networking: concurrent and consistent policy composition, » in Hotsdn, 2013, p. 1–6.
    [Bibtex]
    @InProceedings{Canini2013,
    author = {M. {Canini} and D. {Levin} and P. {Kuznetsov} and S. {Schmid}},
    title = {Software transactional networking: concurrent and consistent policy composition},
    booktitle = {HotSDN},
    year = {2013},
    pages = {1--6},
    month = mar,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=15446},
    groups = {Lossly, Conferences, International Collab},
    }
  • 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.
    [Bibtex]
    @InProceedings{DeVogeleer2013,
    author = {K. {De Vogeleer} and G. {Memmi} and P. {Jouvelot} and F. {Coelho}},
    title = {The Energy/Frequency Convexity Rule: Modeling and Experimental Validation on Mobile Devices},
    booktitle = {10th International Conference, Parallel Processing and Applied Mathematics},
    year = {2013},
    pages = {793--803},
    address = {Warsaw, Poland},
    month = sep,
    publisher = {Springer},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1007/978-3-642-55224-3_74 dept=infres group=s3 id=15243},
    groups = {Strong, Conferences},
    keywords = {Energy consumption and modeling},
    }
  • J. Michaux, E. Buu, J. Hlavacek, and E. Najm, « An open-source platform for converged services, » in Iptcomm, Chicago, USA, 2013.
    [Bibtex]
    @InProceedings{Michaux2013,
    author = {J. {Michaux} and E. {Buu} and J. {Hlavacek} and E. {Najm}},
    title = {An open-source platform for converged services},
    booktitle = {IPTCOMM},
    year = {2013},
    address = {Chicago, USA},
    month = oct,
    annote = {category=inproceedings language=en audience=1 state=published project=safir dept=infres group=s3 id=14237},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Michaux2013a,
    author = {J. {Michaux} and E. {Najm} and A. {Fantechi}},
    title = {Safety of session-based service orchestration revisited with an unreliable communication model},
    booktitle = {Web Services Formal Methods},
    year = {2013},
    address = {beijing, China},
    month = aug,
    annote = {category=inproceedings language=en audience=1 state=published project=safir dept=infres group=s3 id=14236},
    groups = {Lossly, Conferences},
    }
  • 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.
    [Bibtex]
    @InProceedings{Najm2013,
    author = {E. {Najm} and K. {Sbata}},
    title = {Une plateforme pour une orchestration s{\^u}re de services convergents},
    booktitle = {Interop{\'e}rabilit{\'e} des plate-formes mobiles ; intergiciels mobiles},
    year = {2013},
    address = {Paris},
    month = apr,
    annote = {category=workshop language=fr audience=3 state=published project=safir dept=infres group=s3 id=13717},
    groups = {Lossly, Workshop},
    keywords = {plateformes mobiles, orchestration de services, html5},
    }
  • V. Legout, M. Jan, and L. Pautet, « A scheduling algorithm to reduce the static energy consumption of multiprocessor real-time systems, » in Rtns, 2013.
    [Bibtex]
    @InProceedings{Legout2013,
    author = {V. {Legout} and M. {Jan} and L. {Pautet}},
    title = {A Scheduling Algorithm to Reduce the Static Energy Consumption of Multiprocessor Real-Time Systems},
    booktitle = {RTNS},
    note = {\textbf{Best paper}},
    year = {2013},
    annote = {category=inproceedings language=en audience=2 state=published doi=10.1145/2516821.2516839 project=safir dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=14385 id=14385},
    groups = {Strong, Conferences},
    isbn = {978-1-4503-2058-0},
    }
  • 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.
    [Bibtex]
    @InProceedings{Legout2013a,
    author = {V. {Legout} and M. {Jan} and L. {Pautet}},
    title = {Mixed-Criticality Multiprocessor Real-Time Systems: Energy Consumption vs Deadline Misses},
    booktitle = {First Workshop on Real-Time Mixed Criticality Systems (ReTiMiCS)},
    year = {2013},
    pages = {1--6},
    address = {Taipei, Taiwan},
    month = aug,
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=13235 id=13235},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Legout2013b,
    author = {V. {Legout} and M. {Jan} and L. {Pautet}},
    title = {R{\'e}duction de la consommation statique des syst{\`e}mes temps-r{\'e}el multiprocesseurs},
    booktitle = {{\'E}cole d{\textquoteright}{\'E}t{\'e} Temps R{\'e}el (ETR{\textquoteleft}13)},
    year = {2013},
    pages = {1--4},
    address = {Toulouse, France},
    month = aug,
    annote = {category=workshop language=fr audience=3 state=published project=safir dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=14387 id=14387},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Legout2013c,
    author = {V. {Legout} and M. {Jan} and L. {Pautet}},
    title = {An off-line multiprocessor real-time scheduling algorithm to reduce static energy consumption},
    booktitle = {First Workshop on Highly-Reliable Power-Efficient Embedded Designs (HARSH)},
    year = {2013},
    pages = {7--12},
    address = {Shenzhen, Chine},
    month = feb,
    annote = {category=inproceedings language=en audience=2 state=published project=safir dept=infres group=s3 documentURL=http://biblio.telecom-paristech.fr/cgi-bin/download.cgi?id=14386 id=14386},
    groups = {Strong, Workshop},
    }
  • 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.
    [Bibtex]
    @InProceedings{Jean2013,
    author = {X. {Jean} and M. {Gatti} and D. {Faura} and L. {Pautet} and Th. {Robert}},
    title = {A software approach for managing shared resources in multicore IMA systems},
    note = {\textbf{Best paper}},
    booktitle = {IEEE Digital Avionics Systems Conference},
    year = {2013},
    groups = {Conferences, Strong},
    keywords = {avionics;multiprocessing systems;COTS processor;WCET computation;freescale QorIQ series;generic software solution;integrated modular avionics systems;multicore IMA systems;multicore processors;robust partitioning constraint;software approach;worst case ex},
    }
  • 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.
    [Bibtex]
    @InProceedings{FA:SASO-2013,
    author = {F. {Alvares de Oliveira JR.} and Th. {Ledoux} and R. {Sharrock}},
    title = {A framework for the coordination of multiple autonomic managers in cloud environments},
    booktitle = {IEEE International Conference on Self-Adaptive and Self-Organizing Systems},
    address = {Philadelphia, USA},
    year = 2013,
    month = sep,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=13982}
    }
  • 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.
    [Bibtex]
    @InProceedings{Attiya2013,
    author={H. Attiya and S. Hans and P. Kuznetsov and S. Ravi},
    booktitle={International Conference on Distributed Computing Systems},
    title={Safety of Deferred Update in Transactional Memory},
    year={2013},
    volume={},
    number={},
    pages={601-610},
    keywords={concurrency control;transaction processing;committed transactions;deferred update safety;deferred-update semantics;opacityc riterion;prefix serializations;sequential execution;sequential order;speculative transactions;transactional memory;unique-write assumption;History;Law;Real-time systems;Safety;Semantics;Silicon;Limit-closure;Safety;Transactional Memory},
    ISSN={1063-6927},
    month={July},
    }
  • 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.
    [Bibtex]
    @InProceedings{RS:EELSDS-13,
    author = {R. {Sharrock} and Th. {Monteil} and P. {Stolf} and O. {Brun}},
    title = {Autonomic computing to manage green Core networks with Quality of Service},
    booktitle = {EE-LSDS 2013, Energy Efficiency in Large Scale Distributed Systems conference},
    address = {Vienna, Austria},
    year = 2013,
    month = apr,
    annote = {category=inproceedings language=en audience=2 state=published dept=infres group=s3 id=13803}
    }


 

Invitations

2018

  • P. Kuznetsov, « Combinatorial structures for distributed computing models, » in Seminar at department of mathematcis, Kyoto University, JP, 2018.
    [Bibtex]
    @InProceedings{PK:InvTalk:1802,
    author = {P. {Kuznetsov}},
    booktitle = {Seminar at Department of Mathematcis},
    title = {Combinatorial Structures for Distributed Computing Models },
    address = {Kyoto University, JP},
    year = {2018},
    month = feb,
    }
  • P. Kuznetsov, « Distributed algorithms in shared memory and networks, » in Kaust wep 2018, KAUST, Saudi Arabbia, 2018.
    [Bibtex]
    @InProceedings{PK:InvTalk:1801,
    author = {P. {Kuznetsov}},
    booktitle = {KAUST WEP 2018},
    title = {Distributed Algorithms in Shared Memory and Networks},
    address = {KAUST, Saudi Arabbia},
    year = {2018},
    month = jan,
    }

2017

  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1710,
    author = {A. {Diaconescu}},
    title = {Big Data needs 'Big Control' - Goal-oriented Holonic Architectures for Engineering Complex Self-adaptive Systems},
    booktitle = {Workshop on Emergent and Self-Adaptive Systems: Theory and Practice},
    year = {2017},
    address = {Data Science Institute, Lancaster University},
    month = oct,
    }
  • A. Diaconescu, « Computational governance – friend or foe?, » in Workshop on computational governance, Arizona State University, USA, 2017.
    [Bibtex]
    @InProceedings{AD:InvTalk:1709,
    author = {A. {Diaconescu}},
    title = {Computational Governance - Friend or Foe?},
    booktitle = {Workshop on Computational Governance},
    year = {2017},
    address = {Arizona State University, USA},
    month = sep,
    }
  • A. Diaconescu, « Institutional scaling and integration for decentralised community (energy) systems, » in Ostrom and collective action in power systems, Paris, FR, 2017.
    [Bibtex]
    @InProceedings{AD:InvTalk:1702,
    author = {A. {Diaconescu}},
    booktitle = {Ostrom and Collective Action in Power Systems},
    title = {Institutional Scaling and Integration for Decentralised Community (Energy) Systems},
    year = {2017},
    address = {Paris, FR},
    month = feb,
    }
  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1611,
    author = {A. {Diaconescu}},
    booktitle = {Seminar series : Computational Social Science},
    title = {Goal-oriented Holonics: Managing System Complexity via (Self-)integration and Multi-level Structural Constraints},
    year = {2017},
    address = {ETH Zurich, SW},
    month = nov,
    }
  • P. Kuznetsov, « Parallel combining, » in Dagstuhl seminar, Dagstuhl Schloss, DE, 2017.
    [Bibtex]
    @InProceedings{PK:InvTalk:1711,
    author = {P. {Kuznetsov}},
    booktitle = {Dagstuhl seminar},
    title = {Parallel Combining},
    address = {Dagstuhl Schloss, DE},
    year = {2017},
    month = nov,
    }

2016

  • A. Diaconescu, « Goal-oriented holonic architectures, » in 3rd workshop on self-improving system integration at icac 2016, Würzburg, DE, 2016.
    [Bibtex]
    @InProceedings{AD:InvTalk:1607,
    author = {A. {Diaconescu}},
    booktitle = {3rd Workshop on Self-Improving System Integration at ICAC 2016},
    title = {Goal-oriented Holonic Architectures},
    year = {2016},
    address = {Würzburg, DE},
    month = jul,
    }
  • A. Diaconescu, « Goal-oriented holonic architectures for engineering complex systems, » in Intelligent embedded sytems, University of Kassel, DE, 2016.
    [Bibtex]
    @InProceedings{AD:InvTalk:1606,
    author = {A. {Diaconescu}},
    booktitle = {Intelligent Embedded Sytems},
    title = {Goal-oriented Holonic Architectures for Engineering Complex Systems},
    year = {2016},
    address = {University of Kassel, DE},
    month = jun,
    }
  • A. Diaconescu, « Goal-oriented holonic architectures for value-oriented socio-technical systems, » in Seminar on design for values institute, TUDelft, DE, 2016.
    [Bibtex]
    @InProceedings{AD:InvTalk:1602a,
    author = {A. {Diaconescu}},
    booktitle = {Seminar on Design for Values Institute},
    title = {Goal-oriented Holonic Architectures for Value-oriented Socio-technical Systems},
    year = {2016},
    address = {TUDelft, DE},
    month = feb,
    }
  • A. Diaconescu, « Goal-oriented holonic architectures for complex socio-technical systems, » in Security lancaster research lab, Lancaster University, UK, 2016.
    [Bibtex]
    @InProceedings{AD:InvTalk:1602b,
    author = {A. {Diaconescu}},
    booktitle = {Security Lancaster Research Lab},
    title = {Goal-oriented Holonic Architectures for Complex Socio-technical Systems},
    year = {2016},
    address = {Lancaster University, UK},
    month = feb,
    }
  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1507,
    author = {A. {Diaconescu}},
    booktitle = {Second ISAL Summer School, organised by the International Society for Artificial Life (ISAL) during ECAL'15},
    title = {Autonomic Management in Open Multi-Objective Computing Networks},
    year = {2016},
    address = {York University , UK},
    month = jul,
    }
  • P. Kuznetsov, « Concurrency as an iterated affine task, » in Birs-cmo workshop on complexity and analysis of distributed algorithms, Oaxaca, Mexico, 2016.
    [Bibtex]
    @InProceedings{PK:InvTalk:1611a,
    author = {P. {Kuznetsov}},
    booktitle = {BIRS-CMO workshop on Complexity and Analysis of Distributed Algorithms},
    title = {Concurrency as an Iterated Affine Task},
    address = {Oaxaca, Mexico},
    year = {2016},
    month = nov,
    }
  • P. Kuznetsov, « Concurrency as an iterated affine task, » in Dagstuhl seminar, Dagstuhl Schloss, DE, 2016.
    [Bibtex]
    @InProceedings{PK:InvTalk:1611b,
    author = {P. {Kuznetsov}},
    booktitle = {Dagstuhl seminar},
    title = {Concurrency as an Iterated Affine Task},
    address = {Dagstuhl Schloss, DE},
    year = {2016},
    month = nov,
    }
  • P. Kuznetsov, « Combinatorial structures for distributed computing models, » in Seminar on nexus of information and computation theories, Institut Henri Poincaré, Paris, FR, 2016.
    [Bibtex]
    @InProceedings{PK:InvTalk:1603,
    author = {P. {Kuznetsov}},
    booktitle = {Seminar on Nexus Of Information And Computation Theories},
    title = {Combinatorial Structures for Distributed Computing Models},
    address = {Institut Henri Poincaré, Paris, FR},
    year = {2016},
    month = mar,
    }

2015

  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1501,
    author = {A. {Diaconescu}},
    booktitle = {Dagstuhl seminar on Model-driven Algorithms and
    Architectures for Self-Aware Computing Systems},
    title = {An Extensible Model-driven Architecture for Controlled Self-organisation},
    address = {Dagstuhl, DE},
    year = {2015},
    month = jan,
    }
  • A. Diaconescu, « Socially-inspired computing: values and apthomogies, » in Dagstuhl seminar on social concepts in self-organising systems, Dagstuhl, DE, 2015.
    [Bibtex]
    @InProceedings{AD:InvTalk:1511,
    author = {A. {Diaconescu}},
    booktitle = {Dagstuhl seminar on Social Concepts in Self-organising Systems},
    title = {Socially-inspired Computing: Values and apthomogies},
    address = {Dagstuhl, DE},
    year = {2015},
    month = nov,
    }
  • P. Kuznetsov, « Transactional support for sdn control planes, » in Workshop on the theory of transactional memory 2015, Donostia-San Sebastián, SP, 2015.
    [Bibtex]
    @InProceedings{PK:InvTalk:1507a,
    author = {P. {Kuznetsov}},
    booktitle = {Workshop on the Theory of Transactional Memory 2015},
    title = {Transactional Support for SDN Control Planes},
    address = {Donostia-San Sebastián, SP},
    year = {2015},
    month = jul,
    }
  • P. Kuznetsov, « General tasks for general models: a characterization ?, » in Seminar of dalgo/lif, University of Marseille, FR, 2015.
    [Bibtex]
    @InProceedings{PK:InvTalk:1507b,
    author = {P. {Kuznetsov}},
    booktitle = {Seminar of DALGO/LIF},
    title = {General tasks for general models: a characterization ?},
    address = {University of Marseille, FR},
    year = {2015},
    month = jul,
    }

2014

  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1409,
    author = {A. {Diaconescu}},
    title = {Towards a Generic Architecture for Multi-Objective, Heterogeneous and Multi-Scale Autonomic Systems},
    booktitle = {Seminar at Intelligent Systems and Networks Group},
    year = {2014},
    address = {Imperial College London, UK},
    month = sep,
    }
  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1405,
    author = {A. {Diaconescu}},
    title = {Towards a Generic Architecture for Multi-Objective, Heterogeneous and Multi-Scale Autonomic Systems},
    booktitle = {Workshop on Autonomic Computing and Control},
    address = {Grenoble, FR},
    year = {2014},
    month = may,
    }
  • 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.
    [Bibtex]
    @InProceedings{AD:InvTalk:1401,
    author = {A. {Diaconescu}},
    booktitle = {Seminar at Systems Research and Architecture},
    title = {Towards a Generic Architecture for Open, Distributed and Multi-Objective Self-* Systems},
    address = {University of Hannover, DE},
    year = {2014},
    month = jan,
    }

2013

  • P. Kuznetsov, « The case for reliable software transactional networking, » in Seminar of labri, University of Bordeaux, FR, 2013.
    [Bibtex]
    @InProceedings{PK:InvTalk:1507,
    author = {P. {Kuznetsov}},
    booktitle = {Seminar of LABRI},
    title = {The Case for Reliable Software Transactional Networking},
    address = {University of Bordeaux, FR},
    year = {2013},
    month = oct,
    }

 

Patents


2016

  • R. Baghli, E. Najm, and B. Traverson, « Structure informatique perfectionnée d’un objet connecté, » , iss. B2665, 2016.
    [Bibtex]
    @Article{patent-EN,
    author = {R. {Baghli} and E. {Najm} and B. {Traverson}},
    title = {Structure informatique perfectionnée d'un objet connecté},
    year = 2016,
    month = sep,
    number = {B2665}
    }

2015

  • 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.
    [Bibtex]
    @Article{patent-TR,
    author = {X. {Jean} and M. {Gatti} and D. {Faura} and T. {Robert}},
    title = {Calculateur comprenant un processeur multicoeur et procédé de contrôle d'un tel calculateur},
    year = 2015,
    month = sep,
    number = {3010201 },
    }