MS

Adrien Lebre, Jonathan Pastor, Anthony Simonet, Mario Südholt. Putting the Next 500 VM Placement Algorithms to the Acid Test. IEEE Transactions on Parallel and Distributed Systems, Institute of Electrical and Electronics Engineers, In press, pp.1-14. 〈10.1109/TPDS.2018.2855158〉. 〈hal-01816248〉

Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud. Isolation in Cloud Computing Infrastructures: New Security Challenges. Annals of Telecommunications, Springer, In press. 〈hal-01874206〉

Bruno De Fraine, Erik Ernst, Mario Südholt. Essential AOP: The A Calculus. ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2012, 〈10.1145/2362389.2362391〉. 〈hal-00676082〉

Flavien Quesnel, Adrien Lèbre, Mario Südholt. Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS. Concurrency and Computation: Practice and Experience, Wiley, 2012, pp.XX. 〈hal-00675315〉

Ismael Mejia, Mario Südholt. Structured and flexible gray-box composition using invasive distributed patterns. International Journal on Computer Science and Information Systems, IADIS Press, 2011, 1, 6, pp.13. 〈inria-00583673〉

Awais Rashid, Thomas Cottenier, Phil Greenwood, Ruzanna Chitchyan, Meunier Regine, et al.. Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe. IEEE COMPUTER, IEEE, 2010, 43 (2), pp.19-26. 〈10.1109/MC.2010.30〉. 〈hal-00470420〉

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt. Scoping strategies for distributed aspects. Science of Computer Programming, Elsevier, 2010, 75 (12), pp.1235-1261. 〈10.1016/j.scico.2010.06.011〉. 〈inria-00523569〉

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, et al.. An expressive aspect language for system applications with Arachne. Transaction on Aspect-Oriented Software Development, LNCS, 2006, 1 (1). 〈inria-00442180〉

Johan Brichau, Ruzanna Chitchyan, Siobhàn Clarke, Ellie D'Hondt, Alessandro Garcia, et al.. A Model Curriculum for Aspect-Oriented Software Development. IEEE Software, Institute of Electrical and Electronics Engineers, 2006, 23 (6), pp.53-61. 〈10.1109/MS.2006.146〉. 〈hal-00444025〉

Marc Ségura-Devillechaise, Jean-Marc Menaud, Nicolas Loriant, Thomas Fritz, Rémi Douence, et al.. Dynamic Adaptation of the Squid web cache with Arachne. IEEE Software, Institute of Electrical and Electronics Engineers, 2006, Special issue on Aspect-Oriented Programming, 23 (1). 〈inria-00442177〉

Pierre Cointe, Jacques Noyé, Rémi Douence, Thomas Ledoux, Jean-Marc Menaud, et al.. Programmation post-objets : des langages d'aspects aux langages de composants. Revue des Sciences et Technologies de l'Information - Série L'Objet : logiciel, bases de données, réseaux, Hermès-Lavoisier, 2004, 10 (4), pp.119-143. 〈hal-00444029〉

Rémi Douence, Mario Südholt. A generic reification technique for object-oriented reflective languages. Higher-Order and Symbolic Computation, Springer Verlag, 2001, 14 (1), pp.7--34. 〈hal-00444033〉

Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud. Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers. CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.1-7. 〈hal-01875777v2〉

Fatima-Zahra Boujdad, Mario Südholt. Constructive Privacy for Shared Genetic Data. CLOSER 2018 - 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal. pp.1-8, 2018, Proceedings of CLOSER 2018. 〈hal-01692620v2〉

Mohammad-Mahdi Bazm, Thibaut Sautereau, Marc Lacoste, Mario Südholt, Jean-Marc Menaud. Cache-Based Side-Channel Attacks Detection through Intel Cache Monitoring Technology and Hardware Performance Counters. FMEC 2018 - Third IEEE International Conference on Fog and Mobile Edge Computing, Apr 2018, Barcelona, Spain. IEEE, pp.1-6, 〈10.1109/FMEC.2018.8364038〉. 〈hal-01762803v2〉

Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud. Side-Channels Beyond the Cloud Edge : New Isolation Threats and Solutions. CSNet 2017 : 1st Cyber Security in Networking Conference, Oct 2017, Rio de Janeiro, Brazil. IEEE, pp.1-8, 1st Cyber Security in Networking Conference (CSNet'17). 〈10.1109/CSNET.2017.8241986〉. 〈hal-01593144v2〉

Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt. A Language for the Composition of Privacy-Enforcement Techniques. IEEE RATSP 2015, The 2015 IEEE International Symposium on Recent Advances of Trust, Security and Privacy in Computing and Communications , Aug 2015, Helsinki, Finland. pp.1037 - 1044, 〈10.1109/Trustcom.2015.480〉. 〈hal-01168303〉

Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt. Towards Modular Instrumentation of Interpreters in JavaScript. FOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. MODULARITY Companion 2015. 〈10.1145/2735386.2736753〉. 〈hal-01116662〉

Adrien Lebre, Jonathan Pastor, Mario Südholt. VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms. Europar 2015, Aug 2015, Vienne, Austria. 〈hal-01159033〉

Nicolas Tabareau, Mario Südholt, Éric Tanter. Aspectual Session Types. Modularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. 2014, 〈10.1145/2577080.2577085〉. 〈hal-00872791〉

Ronan-Alexandre Cherrueau, Mario Südholt. Enforcing Expressive Accountability Policies. WETICE - IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Jun 2014, Parma, Italy. pp.333--338, 2014, 〈10.1109/WETICE.2014.71〉. 〈hal-00967398〉

Ronan-Alexandre Cherrueau, Rémi Douence, Jean-Claude Royer, Mario Südholt, Anderson Santana de Oliveira, et al.. Reference monitors for security and interoperability in OAuth 2.0. SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom. 2013. 〈hal-00846810〉

Flavien Quesnel, Adrien Lèbre, Jonathan Pastor, Mario Südholt, Daniel Balouek. Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling. ISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Jul 2013, Melbourne, Australia. 2013. 〈hal-00817369〉

Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt. Aspectizing JavaScript Security. MISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. 2013, MISS’13. 〈10.1145/2451613.2451616〉. 〈hal-00786258〉

Ronan-Alexandre Cherrueau, Mario Südholt, Omar Chebaro. Adapting workflows using generic schemas: application to the security of business processes. CloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Dec 2013, Bristol, United Kingdom. pp.519-524, 2013. 〈hal-00866485〉

Ronan-Alexandre Cherrueau, Omar Chebaro, Mario Südholt. Flexible and expressive aspect-based control over service compositions in the Cloud. 4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan. ACM, 2013, Digital Library. 〈hal-00782427〉

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. A Message-Passing Model for Service Oriented Computing. Karl-Heinz Krempels and José Cordeiro. WEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. SciTePress Digital Library, pp.136-142, 2012, WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18 - 21 April, 2012. 〈hal-00668975〉

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. The Synthesis Problem for Trusted Service-based Collaborations. Actes des troisimes journes nationales du Groupement De Recherche CNRS du Gnie de la Programmation et du Logiciel, Jun 2011, Lille, France. 2011. 〈hal-00700750〉

Muhammed Sabir Idrees, Gabriel Serme, Yves Roudier, Anderson Santana de Oliveira, Hervé Grall, et al.. Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures. 4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium. 2011. 〈inria-00614163〉

Ismael Mejia, Mario Südholt. Towards a robust model for distributed aspects. ACM Digital Library. 1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ACM New York, NY, USA, 2011, 〈10.1145/1960518.1960523〉. 〈inria-00567604〉

Ismael Mejia, Mario Südholt, Luis Daniel Benavides Navarro. Invasive composition for the evolution of a health information system. ACM Digital Library. 2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ACM New York, NY, USA, 2011, 〈10.1145/1961359.1961362〉. 〈inria-00567598〉

Ismael Mejia, Mario Südholt. Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarking. IADIS International Conference APPLIED COMPUTING 2010, Oct 2010, Timisoara, Romania. 2010. 〈inria-00511843〉

Bruno De Fraine, Erik Ernst, Mario Südholt. Essential AOP: The A Calculus. Theo De Hondt. European Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. Springer Verlag, pp.000, 2010, LNCS. 〈hal-00467405〉

Jean-Marc Menaud, Adrien Lèbre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, et al.. Vers une réification de l'énergie dans le domaine du logiciel. Journées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000, 2010. 〈hal-00467411〉

Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, Mario Südholt. Expressive Scoping of Distributed Aspects. AOSD 2009, Mar 2009, Charlottesville, Virginia, United States. ACM Press, pp.27-38, 2009, Proceedings of the 8th ACM international conference on Aspect-oriented software development. 〈http://doi.acm.org/10.1145/1509239.1509245〉. 〈10.1145/1509239.1509245〉. 〈inria-00421683〉

Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, Mario Südholt. Aspect-based patterns for grid programming. IEEE. 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), Oct 2008, Brazil. pp.141-148, 2008, 〈10.1109/SBAC-PAD.2008.22〉. 〈hal-00432090〉

Luis Daniel Benavides Navarro, Rémi Douence, Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. ACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. 2008, 〈10.1007/978-3-540-89856-6_10〉. 〈inria-00418841〉

Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. Katholieke Universiteit Leuven. Workshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. CW 517, pp.36-45, 2008, Technical Report. 〈10.1007/978-3-642-02047-6〉. 〈hal-00469648〉

Asad Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, Mario Südholt. Cross-Document Dependency Analysis for System-of-System Integration. 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. Springer Verlag, pp.0, 2010. 〈hal-00470429〉

Bruno De Fraine, Mario Südholt, Viviane Jonckers. StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings. Proceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), Mar 2008, Bruxelles, Belgium. ACM, 2008, 〈10.1145/1353482.1353491〉. 〈inria-00473628〉

Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud. Invasive Patterns for Distributed Programs. Distributed Objects, Middleware, and Applications, Nov 2007, Portugal. Springer, 4803, pp.772-789, 2007, Lecture Notes in Computer Science. 〈hal-00467821〉

Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, Jean-Marc Menaud. Invasive Patterns: Aspect-Based Adaptation of Distributed Applications. Workshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany. 〈hal-00469639〉

Dong Ha Nguyen, Mario Südholt. Towards correct evolution of components using VPA-based aspects. Proc. of the 4th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07), Jul 2007, Genova, Italy. Springer Verlag, 2007. 〈inria-00473986〉

Luis Daniel Benavides Navarro, Christa Schwanninger, Robert Sobotzik, Mario Südholt. ATOLL: Aspect-Oriented Toll System. Proc. 6th Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'07), Mar 2007, Vancouver, Canada. ACM, 2007, 〈10.1145/1233901.1233908〉. 〈inria-00473974〉

Dong Ha Nguyen, Mario Südholt. Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07). Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), Nov 2007, Villamoura, Portugal. Springer Verlag, 2007, 〈10.1007/978-3-540-76848-7_42〉. 〈inria-00473984〉

Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée. Explicitly distributed AOP using AWED. 5th international conference on Aspect-Oriented Software Development, Mar 2006, Germany. ACM, pp.51-62, 2006, 〈10.1145/1119655.1119665〉. 〈hal-00486841〉

Dong Ha Nguyen, Mario Südholt. VPA-based aspects: better support for AOP over protocols. 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. 2006, 〈10.1109/SEFM.2006.39〉. 〈inria-00486448〉

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. Towards a model of concurrent AOP. Ernst, Erik and Brichau, Johan and Bergmans, Lodewijk. SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany. 2006, SPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies. 〈inria-00468018〉

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. Concurrent Aspects. 5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, 2006, Generative Programming And Component Engineering - Proceedings of the 5th international conference on Generative programming and component engineering. 〈http://doi.acm.org/10.1145/1173706.1173718〉. 〈10.1145/1173706.1173718〉. 〈inria-00467938〉

Mario Südholt. A model of components with non-regular protocols. Gschwind, Thomas and Assman, Uwe and Nierstrasz, Oscar. 4th international workshop, SC 2005, 2005, United Kingdom. pub.springer, 3628, pp.99-114, 2005, lncs. 〈hal-00457200〉

Thomas Fritz, Marc Ségura Devillechaise, Mario Südholt, Egon Wuchner, Jean-Marc Menaud. Automating adaptive image generation for medical devices using Aspect-Oriented Programming. 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005, Italy. pp.1025-1032, 2005. 〈hal-00457185〉

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, et al.. An expressive aspect language for system applications with Arachne. 4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States. 2005. 〈inria-00441355〉

Gilles Muller, Julia Lawall, Jean-Marc Menaud, Mario Südholt. Constructing Component-based Extension Interfaces in Legacy Systems Code. EW 11 - Workshop on ACM SIGOPS European workshop, Sep 2004, Leuven, Belgium. ACM, 2004, 〈10.1145/1133572.1133605〉. 〈hal-00993330〉

Rémi Douence, Pascal Fradet, Mario Südholt. Composition, reuse and interaction analysis of stateful aspects. 3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK, 2004. 〈inria-00000946〉

Rémi Douence, Mario Südholt. Un modèle et un outil pour la programmation par aspects événementiels. 9th International Conference on Languages and Models with Objects (LMO'2003), 2003, Vannes, France. pub.lavoisier, pp.105-118, 2003. 〈hal-00457184〉

Rickard A. Åberg, Julia Lawall, Mario Südholt, Gilles Muller, Anne Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003, Montréal, Canada, Canada. pp.196-204, 2003. 〈hal-00457197〉

Rémi Douence, Pascal Fradet, Mario Südholt. A framework for the detection and resolution of aspect interactions. Conference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA, 2002. 〈inria-00000950〉

Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt. Extensible Modules for JavaScript. ACM Press. SAC '16 - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. Proceedings of the 31st Annual ACM Symposium on Applied Computing, pp.3, 2016, 〈http://dl.acm.org/citation.cfm?id=2851958〉. 〈10.1145/2851613.2851958〉. 〈hal-01407340〉

Mario Südholt. Proceedings of the 8th Int. Workshop on Foundations of Aspect-Oriented Languages (FOAL'09). ACM, pp.0, 2009, 978-1-60558-452-2. 〈inria-00473557〉

Frans Sanen, Ruzanna Chitchyan, Lodewijk Bergmans, Johan Fabry, Mario Südholt, et al.. Proceedings of the Int. Workshop on Aspects, Dependencies and Interactions (ADI'07). Springer Verlag, pp.0, 2008, 〈10.1007/978-3-540-78195-0_8〉. 〈inria-00473562〉

Mario Südholt, Charles Consel. ECOOP 2006-Object-Oriented Technology. Workshop Reader, Workshops, Nantes, France, July 3-7, 2006, Final Reports. Springer Verlag, Vol. 4379, 157 p., 2007, Lecture Notes in Computer Science, 978-3-540-71772-0. 〈inria-00473630〉

Olaf Spinczyk, Mario Südholt, Celina Gibbs. ACP4IS'07: Proceedings of the 6th workshop on Aspects, components, and patterns for infrastructure software. ACM, pp.0, 2007. 〈inria-00473629〉

Mario Südholt. Towards expressive, well-founded and correct Aspect-Oriented Programming. Université de Nantes, pp.0, 2007. 〈inria-00473989〉

Welf Löwe, Mario Südholt. Proceedings of the 5th Int. Symposium on Software Composition (SC'06). Springer Verlag, pp.0, 2006. 〈inria-00473992〉

Yvonne Coady, Arno Jacobsen, Mario Südholt. AOP for systems software and middleware. Springer Verlag, pp.0, 2006, Transactions in AOSD, 978-3-540-48890-3. 〈10.1007/11922827_3〉. 〈inria-00473991〉

Jacques Noyé, Rémi Douence, Mario Südholt. Composants et aspects. Mourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005. 〈hal-00457122〉

Rémi Douence, Pascal Fradet, Mario Südholt. Trace-Based Aspects. Mehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004. 〈inria-00000947〉

Mario Südholt, Uwe Hohenstein, Jean-Marc Jézéquel, Benoit Baudry. Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development. ACM, pp.230, 2010. 〈hal-00467398〉

Siani Pearson, Vasilis Tountopoulos, Daniele Catteddu, Mario Südholt, Refik Molva, et al.. Accountability for Cloud and Other Future Internet Services. The 4th IEEE Int. Conf. on Cloud Computing Technology and Science (CloudCom 2012). 2013. 〈hal-00778369〉

Mohammad-Mahdi Bazm, Marc Lacoste, Mario Südholt, Jean-Marc Menaud. Side Channels in the Cloud: Isolation Challenges, Attacks, and Countermeasures. 2017. 〈hal-01591808〉

Florent Marchand de Kerchove, Jacques Noyé, Mario Südholt. Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation. 2015. 〈hal-01181143v2〉

Ronan-Alexandre Cherrueau, Rémi Douence, Mario Südholt. A Language for the Composition of Privacy-Enforcement Techniques. [Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015. 〈hal-01145694〉

Diana Allam, Rémi Douence, Hervé Grall, Jean-Claude Royer, Mario Südholt. Well-Typed Services Cannot Go Wrong. [Research Report] RR-7899, INRIA. 2012. 〈hal-00700570v2〉

Bruno De Fraine, Mario Südholt, Viviane Jonckers. A Formal Semantics of Flexible and Safe Pointcut/Advice Bindings. [Research Report] 2007. 〈inria-00473988〉

Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, Davy Suvée. Explicitly distributed AOP using AWED. [Research Report] RR-5882, INRIA. 2006. 〈inria-00071386〉

Rémi Douence, Didier Le Botlan, Jacques Noyé, Mario Südholt. Concurrent aspects. [Research Report] RR-5873, INRIA. 2006. 〈inria-00071396〉

Rémi Douence, Pascal Fradet, Mario Südholt. Detection and resolution of aspect interactions. [Research Report] RR-4435, INRIA. 2002. 〈inria-00072153〉

Anne-Alexandra Holzbacher, Michaël Périn, Mario Südholt. Modeling Railway Control Systems Using Graph Grammars: a Case Study. [Research Report] RR-3210, INRIA. 1997. 〈inria-00073479〉

Mario Südholt. Towards expressive, well-founded and correct Aspect-Oriented Programming. Software Engineering [cs.SE]. Université de Nantes, 2007. 〈tel-00486842〉