Mario Südholt

According to our database1, Mario Südholt authored at least 64 papers between 1992 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 





Putting the Next 500 VM Placement Algorithms to the Acid Test: The Infrastructure Provider Viewpoint.
IEEE Trans. Parallel Distrib. Syst., 2019

Isolation in cloud computing infrastructures: new security challenges.
Annales des Télécommunications, 2019

On Distributed Collaboration for Biomedical Analyses.
Proceedings of the 19th IEEE/ACM International Symposium on Cluster, 2019

Cache-based side-channel attacks detection through Intel Cache Monitoring Technology and Hardware Performance Counters.
Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018

Secure Distributed Computing on Untrusted Fog Infrastructures Using Trusted Linux Containers.
Proceedings of the 2018 IEEE International Conference on Cloud Computing Technology and Science, 2018

Constructive Privacy for Shared Genetic Data.
Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

Editorial: Introducing The Art, Science, and Engineering of Programming - An Open Access Journal for All-Things Programming.
Programming Journal, 2017

Side-channels beyond the cloud edge: New isolation threats and solutions.
Proceedings of the 1st Cyber Security in Networking Conference, 2017

Extensible modules for JavaScript.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A Language for the Composition of Privacy-Enforcement Techniques.
Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

VMPlaceS: A Generic Tool to Investigate and Compare VM Placement Algorithms.
Proceedings of the Euro-Par 2015: Parallel Processing, 2015

Towards modular instrumentation of interpreters in JavaScript.
Proceedings of the Companion Proceedings of the 14th International Conference on Modularity, 2015

Enforcing Expressive Accountability Policies.
Proceedings of the 2014 IEEE 23rd International WETICE Conference, 2014

Aspectual session types.
Proceedings of the 13th International Conference on Modularity, 2014

Cooperative and reactive scheduling in large-scale virtualized platforms with DVMS.
Concurrency and Computation: Practice and Experience, 2013

Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling.
Proceedings of the 12th IEEE International Conference on Trust, 2013

Reference Monitors for Security and Interoperability in OAuth 2.0.
Proceedings of the Data Privacy Management and Autonomous Spontaneous Security, 2013

Adapting Workflows Using Generic Schemas: Application to the Security of Business Processes.
Proceedings of the IEEE 5th International Conference on Cloud Computing Technology and Science, 2013

Essential AOP: The a calculus.
ACM Trans. Program. Lang. Syst., 2012

A Message-passing Model for Service Oriented Computing.
Proceedings of the WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, Porto, Portugal, 18, 2012

Accountability for cloud and other future Internet services.
Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

Evolving Security Requirements in Multi-layered Service-Oriented-Architectures.
Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

Scoping strategies for distributed aspects.
Sci. Comput. Program., 2010

Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe.
IEEE Computer, 2010

Expressive scoping of distributed aspects.
Proceedings of the 8th International Conference on Aspect-Oriented Software Development, 2009

Aspect-Based Patterns for Grid Programming.
Proceedings of the 20th International Symposium on Computer Architecture and High Performance Computing, 2008

Cross-Document Dependency Analysis for System-of-System Integration.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

Debugging and Testing Middleware with Aspect-Based Control-Flow and Causal Patterns.
Proceedings of the Middleware 2008, 2008

Aspects, Dependencies and Interactions.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

StrongAspectJ: flexible and safe pointcut/advice bindings.
Proceedings of the 7th International Conference on Aspect-Oriented Software Development, 2008

Property-Preserving Evolution of Components Using VPA-Based Aspects.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Invasive Patterns for Distributed Programs.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Towards correct evolution of components using VPA-based aspects.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

ATOLL: aspect-oriented toll system.
Proceedings of the 6th workshop on Aspects, 2007

Towards expressive, well-founded and correct Aspect-Oriented Programming.
, 2007

An Expressive Aspect Language for System Applications with Arachne.
, 2006

Editorial: AOP Systems, Software and Middleware.
, 2006

Dynamic Adaptation of the Squid Web Cache with Arachne.
IEEE Software, 2006

A Model Curriculum for Aspect-Oriented Software Development.
IEEE Software, 2006

VPA-Based Aspects: Better Support for AOP over Protocols.
Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

Modularization of Distributed Web Services Using Aspects with Explicit Distribution (AWED).
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Concurrent aspects.
Proceedings of the Generative Programming and Component Engineering, 2006

Explicitly distributed AOP using AWED.
Proceedings of the 5th International Conference on Aspect-Oriented Software Development, 2006

A Model of Components with Non-regular Protocols.
Proceedings of the Software Composition, 4th International Workshop, 2005

Automating adaptive image generation for medical devices using aspect-oriented programming.
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005

Programmation post-objets. Des langages d'aspects aux langages de composants.
L'OBJET, 2004

Constructing component-based extension interfaces in legacy systems code.
Proceedings of the 11st ACM SIGOPS European Workshop, 2004

Composition, reuse and interaction analysis of stateful aspects.
Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, 2004

Un modèle et un outil pour la programmation par aspects événementiels.
L'OBJET, 2003

On the automatic evolution of an OS kernel using temporal logic and AOP.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

A Framework for the Detection and Resolution of Aspect Interactions.
Proceedings of the Generative Programming and Component Engineering, 2002

On Components with Explicit Protocols Satisfying a Notion of Correctness by Construction.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

A Generic Reification Technique for Object-Oriented Reflective Languages.
Higher-Order and Symbolic Computation, 2001

A Formal Definition of Crosscuts.
Proceedings of the Metalevel Architectures and Separation of Crosscutting Concerns, 2001

An Aspect Language for Robust Programming.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Fowards a Generic Framework for AOP.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

The transformational derivation of parallel programs using data distribution algebras and skeletons.
PhD thesis, 1997

Modeling Railway Control Systems Using Graph Grammars: A Case Study.
Proceedings of the Coordination Languages and Models, Second International Conference, 1997

Solving large systems of differential equations in parallel using covers and skeletons.
Proceedings of the Algorithmic Languages and Calculi, 1997

Communicating Functional Agents and Their Application to Graphical User Interfaces.
Proceedings of the Perspectives of System Informatics, 1996

Data Distribution Algebras - A Formal Basis for Programming Using Skeletons.
Proceedings of the Programming Concepts, 1994

Funktionale Programmierung für massiv parallele Systeme.
Proceedings of the Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September, 1993

Functional Development of Massively Parallel Programs (Invited Paper).
Proceedings of the Formal Methods in Programming and Their Applications, International Conference, Akademgorodok, Novosibirsk, Russia, June 28, 1993

On Interprocedural Data Flow Analysis for Object Oriented Languages.
Proceedings of the Compiler Construction, 1992