Mario Südholt

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Secure Distribution of Factor Analysis of Mixed Data (FAMD) and Its Application to Personalized Medicine of Transplanted Patients.
Proceedings of the Advanced Information Networking and Applications, 2021

2020
Distributed Contextualization of Biomedical Data: A Case Study in Precision Medicine.
Proceedings of the 17th IEEE/ACS International Conference on Computer Systems and Applications, 2020

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

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

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

2018
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

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

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

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

2015
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

2014
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

2013
Cooperative and reactive scheduling in large-scale virtualized platforms with DVMS.
Concurr. Comput. Pract. Exp., 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

Aspectizing JavaScript security.
Proceedings of the 3rd Workshop on Modularity in Systems Software, 2013

Flexible aspect-based service adaptation for accountability properties in the cloud.
Proceedings of the 4th international workshop on Variability & composition, 2013

2012
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

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

A study of invasive composition for the evolution of a health information system.
Proceedings of the 2nd international workshop on Variability & composition, 2011

Towards a robust model for distributed aspects.
Proceedings of the 1st workshop on Modularity in systems software, 2011

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

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

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

2008
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

2007
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

2006
An Expressive Aspect Language for System Applications with Arachne.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

Editorial: AOP Systems, Software and Middleware.
LNCS Trans. Aspect Oriented Softw. Dev., 2006

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

A Model Curriculum for Aspect-Oriented Software Development.
IEEE Softw., 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

2005
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

2004
Programmation post-objets. Des langages d'aspects aux langages de composants.
Obj. Logiciel Base données Réseaux, 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

2003
Un modèle et un outil pour la programmation par aspects événementiels.
Obj. Logiciel Base données Réseaux, 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

2002
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 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002 Irvine, California, USA, October 30, 2002

2001
A Generic Reification Technique for Object-Oriented Reflective Languages.
High. Order Symb. Comput., 2001

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

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

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

1997
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

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

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

1993
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

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


  Loading...