Mario Südholt
88
Documents
Publications
Towards Scalable Resilient Federated Learning: A Fully Decentralised ApproachPeRConAI 2023: 2nd IEEE Workshop on Pervasive and Resource-constrained Artificial Intelligence, IEEE International Conference on Pervasive Computing and Communications (PerCom Workshops), Mar 2023, Atlanta (GA), United States. ⟨10.1109/PerComWorkshops56833.2023.10150295⟩
Conference papers
hal-03946638v1
|
|
|
HFedSNN: Efficient Hierarchical Federated Learning using Spiking Neural NetworksMobiWac 2023: 21st ACM International Symposium on Mobility Management and Wireless Access, Oct 2023, Montréal, Canada
Conference papers
hal-04197115v1
|
|
Mobile Edge Slice Broker: Mobile Edge Slices Deployment in Multi-Cloud EnvironmentsICFEC 2023 - 7th IEEE International Conference on Fog and Edge Computing, May 2023, Bangalore, India. pp.1-6
Conference papers
hal-04052250v1
|
A Hybrid Cloud Deployment Architecture For Privacy-preserving Collaborative Genome-Wide Association StudiesEAI ICDF2C 2021: 12th EAI International Conference on Digital Forensics & Cyber Crime, Dec 2021, Singapour, Singapore. pp.342-359, ⟨10.1007/978-3-031-06365-7_21⟩
Conference papers
hal-03331063v1
|
|
|
Secure distribution of Factor Analysis of Mixed Data (FAMD) and its application to personalized medicine of transplanted patientsAINA 2021: 35th International Conference on Advanced Information Networking and Applications, May 2021, Toronto, Canada. ⟨10.1007/978-3-030-75100-5_44⟩
Conference papers
hal-03141653v1
|
|
Distributed Contextualization of Biomedical Data: a case study in precision medicineAICCSA 2020 - 17th IEEE/ACS International Conference on Computer Systems and Applications, Nov 2020, Antalya, Turkey. pp.1-6, ⟨10.1109/AICCSA50499.2020.9316502⟩
Conference papers
hal-02922930v1
|
|
On distributed collaboration for biomedical analysesCCGrid-Life 2019 Workshop on Clusters, Clouds and Grids for Life Sciences, May 2019, Larnaca, Cyprus. pp.1-10, ⟨10.1109/CCGRID.2019.00079⟩
Conference papers
hal-02080463v1
|
|
Constructive Privacy for Shared Genetic DataCLOSER 2018 : 8th International Conference on Cloud Computing and Services Science, Mar 2018, Funchal, Madeira, Portugal. pp.1-8, ⟨10.5220/0006765804890496⟩
Conference papers
hal-01692620v2
|
|
Cache-Based Side-Channel Attacks Detection through Intel Cache Monitoring Technology and Hardware Performance CountersFMEC 2018 - Third IEEE International Conference on Fog and Mobile Edge Computing, Apr 2018, Barcelona, Spain. pp.1-6, ⟨10.1109/FMEC.2018.8364038⟩
Conference papers
hal-01762803v2
|
|
Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux ContainersCloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.239-242, ⟨10.1109/CloudCom2018.2018.00053⟩
Conference papers
hal-01875777v2
|
|
Side-Channels Beyond the Cloud Edge : New Isolation Threats and SolutionsCSNet 2017 : 1st Cyber Security in Networking Conference, Oct 2017, Rio de Janeiro, Brazil. pp.1-8, ⟨10.1109/CSNET.2017.8241986⟩
Conference papers
hal-01593144v2
|
|
A Language for the Composition of Privacy-Enforcement TechniquesIEEE 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⟩
Conference papers
hal-01168303v1
|
|
Towards Modular Instrumentation of Interpreters in JavaScriptFOAL - Foundations of Aspect-Oriented Languages, Mar 2015, Fort Collins, United States. ⟨10.1145/2735386.2736753⟩
Conference papers
hal-01116662v1
|
|
VMPlaceS: A Generic Tool to Investigate and Compare VM Placement AlgorithmsEuropar 2015, Aug 2015, Vienne, Austria
Conference papers
hal-01159033v1
|
Enforcing Expressive Accountability PoliciesWETICE - IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, Sumitra Reddy, Jun 2014, Parma, Italy. pp.333--338, ⟨10.1109/WETICE.2014.71⟩
Conference papers
hal-00967398v1
|
|
|
Aspectual Session TypesModularity - 13th International Conference on Modularity, Apr 2014, Lugano, Switzerland. ⟨10.1145/2577080.2577085⟩
Conference papers
hal-00872791v1
|
Reference monitors for security and interoperability in OAuth 2.0SETOP - 6th International Workshop on Autonomous and Spontaneous Security - 2013, Sep 2013, Egham, United Kingdom
Conference papers
hal-00846810v1
|
|
Adapting workflows using generic schemas: application to the security of business processesCloudCom - 5th IEEE International Conference on Cloud Computing Technology and Science - 2013, Dec 2013, Bristol, United Kingdom. pp.519-524
Conference papers
hal-00866485v1
|
|
Flexible and expressive aspect-based control over service compositions in the Cloud4th International Workshop on Variability & Composition, Mar 2013, Fukuoka, Japan
Conference papers
hal-00782427v1
|
|
|
Aspectizing JavaScript SecurityMISS - 3rd Workshop on Modularity In Systems Software, Mar 2013, Fukuoka, Japan. ⟨10.1145/2451613.2451616⟩
Conference papers
hal-00786258v1
|
Advanced Validation of the DVMS Approach to Fully Distributed VM SchedulingISPA' 13: The 11th IEEE International Symposium on Parallel and Distributed Processing with Applications, Jul 2013, Melbourne, Australia
Conference papers
hal-00817369v1
|
|
|
A Message-Passing Model for Service Oriented ComputingWEBIST, 8th International Conference on Web Information Systems and Technologies, Apr 2012, Porto, Portugal. pp.136-142
Conference papers
hal-00668975v1
|
|
Invasive composition for the evolution of a health information system2nd International Workshop on Variability & Composition (VariComp 2011), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1961359.1961362⟩
Conference papers
inria-00567598v1
|
Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures4th International Workshop on Autonomous and Spontaneous Security, Sep 2011, Leuven, Belgium
Conference papers
inria-00614163v1
|
|
The Synthesis Problem for Trusted Service-based CollaborationsActes des troisi{é}mes journ{é}es nationales du Groupement De Recherche CNRS du G{é}nie de la Programmation et du Logiciel, Jun 2011, Lille, France
Conference papers
hal-00700750v1
|
|
|
Towards a robust model for distributed aspects1st Workshop In Modularity in Systems Software (MISS), Mar 2011, Pernambuco, Brazil. ⟨10.1145/1960518.1960523⟩
Conference papers
inria-00567604v1
|
Vers une réification de l'énergie dans le domaine du logicielJournées du GDR Génie de la Programmation et du Logiciel, Mar 2010, Pau, France. pp.000
Conference papers
hal-00467411v1
|
|
Essential AOP: The A CalculusEuropean Conference on Object-Oriented Programming, Jun 2010, Maribor, Slovenia. pp.000
Conference papers
hal-00467405v1
|
|
|
Structured and flexible gray-box composition: Application to task rescheduling for grid benchmarkingIADIS International Conference APPLIED COMPUTING 2010, International Association for Development of the Information Society and "Politehnica" University of Timisoara, Romania, Oct 2010, Timisoara, Romania
Conference papers
inria-00511843v1
|
Expressive Scoping of Distributed AspectsAOSD 2009, Mar 2009, Charlottesville, Virginia, United States. pp.27-38, ⟨10.1145/1509239.1509245⟩
Conference papers
inria-00421683v1
|
|
LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive PatternsWorkshop on Aspects, Dependencies and Interactions, Jul 2008, Belgium. pp.36-45, ⟨10.1007/978-3-642-02047-6⟩
Conference papers
hal-00469648v1
|
|
StrongAspectJ: Flexible and Safe Pointcut/Advice BindingsProceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), Mar 2008, Bruxelles, Belgium. ⟨10.1145/1353482.1353491⟩
Conference papers
inria-00473628v1
|
|
Aspect-based patterns for grid programming20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), Oct 2008, Brazil. pp.141-148, ⟨10.1109/SBAC-PAD.2008.22⟩
Conference papers
hal-00432090v1
|
|
Cross-Document Dependency Analysis for System-of-System Integration15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2008, France. pp.0
Conference papers
hal-00470429v1
|
|
Debugging and testing middleware with aspect-based control-flow and causal patternsACM/IFIP/USENIX 9th International Middleware Conference, 2008, Leuven, Belgium. ⟨10.1007/978-3-540-89856-6_10⟩
Conference papers
inria-00418841v1
|
|
Invasive Patterns for Distributed ProgramsDistributed Objects, Middleware, and Applications, Nov 2007, Portugal. pp.772-789
Conference papers
hal-00467821v1
|
|
Towards correct evolution of components using VPA-based aspectsProc. of the 4th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07), Jul 2007, Genova, Italy
Conference papers
inria-00473986v1
|
|
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. ⟨10.1007/978-3-540-76848-7_42⟩
Conference papers
inria-00473984v1
|
|
ATOLL: Aspect-Oriented Toll SystemProc. 6th Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'07), Mar 2007, Vancouver, Canada. ⟨10.1145/1233901.1233908⟩
Conference papers
inria-00473974v1
|
|
Invasive Patterns: Aspect-Based Adaptation of Distributed ApplicationsWorkshop on Coordination and Adaptation Techniques for Software Entities, Jul 2007, Germany
Conference papers
hal-00469639v1
|
|
Concurrent Aspects5th International Conference on Generative Programming and Component Engineering (GPCE '06), Oct 2006, Portland, United States. pp.79-88, ⟨10.1145/1173706.1173718⟩
Conference papers
inria-00467938v1
|
|
|
Explicitly distributed AOP using AWED5th international conference on Aspect-Oriented Software Development, Mar 2006, Germany. pp.51-62, ⟨10.1145/1119655.1119665⟩
Conference papers
hal-00486841v1
|
VPA-based aspects: better support for AOP over protocols4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), Sep 2006, Pune, India. ⟨10.1109/SEFM.2006.39⟩
Conference papers
inria-00486448v1
|
|
|
Towards a model of concurrent AOPSPLAT! 2006 - Workshop on Software engineering Properties of Languages and Aspect Technologies - A workshop affiliated with AOSD 2006, Mar 2006, Bonn, Germany
Conference papers
inria-00468018v1
|
|
An expressive aspect language for system applications with Arachne4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States
Conference papers
inria-00441355v1
|
Automating adaptive image generation for medical devices using Aspect-Oriented Programming10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), 2005, Italy. pp.1025-1032
Conference papers
hal-00457185v1
|
|
A model of components with non-regular protocols4th international workshop, SC 2005, 2005, United Kingdom. pp.99-114
Conference papers
hal-00457200v1
|
|
|
Composition, reuse and interaction analysis of stateful aspects3rd International Conferance on Aspect-Oriented Software Development, Mar 2004, Lancaster, UK
Conference papers
inria-00000946v1
|
Constructing Component-based Extension Interfaces in Legacy Systems CodeEW 11 - Workshop on ACM SIGOPS European workshop, Sep 2004, Leuven, Belgium. ⟨10.1145/1133572.1133605⟩
Conference papers
hal-00993330v1
|
|
On the automatic evolution of an OS kernel using temporal logic and AOP18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003, Montréal, Canada, Canada. pp.196-204
Conference papers
hal-00457197v1
|
|
Un modèle et un outil pour la programmation par aspects événementiels9th International Conference on Languages and Models with Objects (LMO'2003), 2003, Vannes, France. pp.105-118
Conference papers
hal-00457184v1
|
|
|
A framework for the detection and resolution of aspect interactionsConference on Generative Programming and Component Engineering, Oct 2002, Pittsburgh, PA, USA
Conference papers
inria-00000950v1
|
Extensible Modules for JavaScriptACM 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, ⟨10.1145/2851613.2851958⟩
Conference poster
hal-01407340v1
|
Composants et aspectsMourrad Oussalah. Ingénierie des composants : Concepts, techniques et outils, pub.vui, pp.169-195, 2005
Book sections
hal-00457122v1
|
|
|
Trace-Based AspectsMehmet Aksit, Siobhán Clarke, Tzilla Elrad, Robert Filman. Aspect-Oriented Software Development, Addison-Wesley, 2004
Book sections
inria-00000947v1
|
Accountability for Cloud and Other Future Internet Services2013
Other publications
hal-00778369v1
|
|
Side Channels in the Cloud: Isolation Challenges, Attacks, and Countermeasures2017
Preprints, Working Papers, ...
hal-01591808v1
|
|
Open Scope: A Pragmatic JavaScript Pattern for Modular Instrumentation2015
Preprints, Working Papers, ...
hal-01181143v2
|
|
A Language for the Composition of Privacy-Enforcement Techniques[Research Report] RR-8720, Inria Rennes; École des Mines de Nantes; INRIA. 2015
Reports
hal-01145694v1
|
|
Well-Typed Services Cannot Go Wrong[Research Report] RR-7899, INRIA. 2012
Reports
hal-00700570v2
|
A Formal Semantics of Flexible and Safe Pointcut/Advice Bindings[Research Report] 2007
Reports
inria-00473988v1
|
|
|
Explicitly distributed AOP using AWED[Research Report] RR-5882, INRIA. 2006
Reports
inria-00071386v1
|
|
Concurrent aspects[Research Report] RR-5873, INRIA. 2006
Reports
inria-00071396v1
|
|
Detection and resolution of aspect interactions[Research Report] RR-4435, INRIA. 2002
Reports
inria-00072153v1
|
|
Modeling Railway Control Systems Using Graph Grammars: a Case Study[Research Report] RR-3210, INRIA. 1997
Reports
inria-00073479v1
|
|
Towards expressive, well-founded and correct Aspect-Oriented ProgrammingSoftware Engineering [cs.SE]. Université de Nantes, 2007
Habilitation à diriger des recherches
tel-00486842v1
|