Home Research interests Projects Publications Teaching Professional activities Bio Address

Publications

© The papers on this page (often slightly different from the final published versions) are provided here to ensure a timely distribution for personal use only, not for redistribution! The copyrights of the papers remain with their respective holders!

Categorized version of the bibliography and complete (BibTeX) entries

Software composition, services, distributed algorithms, security
Theses: HDR (slides, in French), PhD, MSc
Previous work

Software composition, services, distributed algorithms, security

F. Quesnel, A. Lèbre, J. Pastor, M. Südholt, D. Balouek: "Advanced Validation of the DVMS Approach to Fully Distributed VM Scheduling", 11th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA-13), Jul. 2013.
F. Marchand De Kerchove, J. Noyé, M. Südholt: "Aspectizing JavaScript Security", Miss'13, Mar. 2013.
R.-A. Cherrueau, O. Chebaro, M. Südholt: "Flexible Aspect-Based Service Adaptation for Accountability Properties in the Cloud", Varicomp'13, Mar. 2013.
D. Allam, R. Douence, J.-C. Royer, H. Grall and M. Südholt: "Well-Typed Services Cannot Go Wrong", RR INRIA 7899, Apr. 2012.
D. Allam, R. Douence, J.-C. Royer, H. Grall and M. Südholt: "A Message-Passing Model for Service-Oriented Computing", 8th International Conference on Web Information Systems, Apr. 2012.
B. De Fraine, Erik Ernst, M. Südholt: "Essential AOP: The A Calculus", ACM Transactions of Programming Languages and Systems (TOPLAS), accepted March 2012.
F. Quesnel, A. Lebre and M. Südholt: "Cooperative and Reactive Scheduling in Large-Scale Virtualized Platforms with DVMS", Concurrency and Computation: Practice and Experience, Special Issue in Cloud Computing Scalability, accepted Mar. 2012.
M. S. Idrees, G. Serme, Y. Roudier, A. Santana De Oliveira, H. Grall and M. Südholt: "Evolving Security Requirements in Multi-Layered Service-Oriented-Architectures", 4th SETOP Int. WS. on Autonomous and Spontaneous Security, Sep. 2011.
I. Mejía, M. Südholt: "Structured and flexible gray-box composition using invasive distributed patterns", Int. Journal of Computer Science and Information Systems, IADIS press, Apr. 2011.
I. Mejía, M. Südholt, L. D. Benavides Navarro: "A study of invasive composition for the evolution of a health information system", 2nd International Workshop on Variability & Composition (VariComp'11), Mar. 2011.
I. Mejía, M. Südholt: "Towards a robust model for distributed aspects", 1st International Workshop on Modularity In Systems Software (MISS'11), Mar. 2011.
É. Tanter, J. Fabry, R. Douence, J. Noye, M. Südholt: "Scoping Strategies for Distributed Aspects", Science of Computer Programming, Jan. 2011.
I. Mejía, M. Südholt: "Structured and flexible gray-box composition: application to task rescheduling for grid benchmarking", IADIS'10, Oct. 2010.
B. De Fraine, Erik Ernst, M. Südholt: "Essential AOP: The A Calculus", Proc. of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), June 2010.
J.-M. Menaud, A. Lèbre, T. Ledoux, J. Noyé, P. Cointe, R. Douence, M. Südholt: "Vers une réification de l'énergie dans le domaine du logiciel", Journées du GDR Génie de la Programmation et du Logiciel, Pau, March 2010.
M. Südholt, U. Hohenstein, J.-M. Jézéquel, B. Baudry: "Proceedings of the 9th Int. Conference on Aspect-Oriented Software Development", ACM, Mar. 2010.
A. Rashid, R. Meunier, T. Cottonier, P. Greenwood, R. Coelho, M. Südholt, W. Joosen: "Aspect-Oriented Software Development in Practice: Tales from AOSD-Europe, IEEE Computer, Feb. 2010.
S. A. A. Naqvi, R. Chitchyan, S. Zschaler, A. Rashid, M. Südholt: "Cross-Document Dependency Analysis for System-of-System Integration, Proc. of the 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), LNCS, Springer Verlag, 2010.
É. Tanter, J. Fabry, R. Douence, J. Noye, M. Südholt: "Expressive Scoping of Distributed Aspects", Int. Conf. on Aspect-Oriented Software Development (AOSD'09), March 2009.
L. D. Benavides Navarro, R. Douence, M. Südholt: "Debugging and testing middleware with aspect-based control-flow and causal patterns", ACM/IFIP/USENIX 9th Int. Middleware Conf. (Middleware'08), Springer Verlag, Dec. 2008.
L. D. Benavides Navarro, R. Douence, F. Hermenier, J.-M. Menaud, M. Südholt: "Aspect-based patterns for grid programming", 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), IEEE, Oct. 2008.
L. D. Benavides Navarro, R. Douence, A. Nunez, M. Südholt: "LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns", 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08) at ECOOP, July 2008.
B. De Fraine, M. Südholt, V. Jonckers: "StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings", 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), distinguished paper award, March 2008.
L. D. Benavides Navarro, M. Südholt, R. Douence, J.-M. Menaud: "Invasive patterns for distributed applications", 9th Int. Symp. on Distributed Objects, Middleware, and Applications (DOA'07), Nov. 2007.
D. H. Nguyen, M. Südholt: "Property-preserving evolution of components using VPA-based aspects", 9th Int. Symp. on Distributed Objects, Middleware, and Applications (DOA'07), Nov. 2007.
B. De Fraine, M. Südholt, V. Jonckers: ""A Formal Semantics of Flexible and Safe Pointcut/Advice Bindings", TR SSEL 02/2007/a, Vrije Universiteit Brussel, Oct. 2007.
L. D. Benavides Navarro, M. Südholt, R. Douence, J.-M. Menaud: "Invasive patterns: aspect-based adaptation of distributed applications", 4th Int. WS on Coordination and Adaptation Techniques for Software Entities (WCAT'07) at ECOOP, July 2007.
D. H. Nguyen, M. Südholt: "Towards correct evolution of components using VPA-based aspects", Proc. of the 4th Int. WS on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07) at ECOOP, July 2007
L. D. Benavides Navarro, C. Schwanninger, R. Sobotzig, M. Südholt: "ATOLL: Aspect-Oriented Toll System", Proc. 6th Int. WS on Aspects, Components and Patterns for Infrastructure Software (ACP4IS'07) at AOSD, ACM Digital Library, March 2007.
M. Südholt, C. Consel (eds.): "ECOOP 2006 Workshop Reader", LNCS 4379, Springer Verlag, 2007.
J. Brichau, R. Chitchyan, S. Clarke, E. D'Hondt, A. Garcia, M. Haupt, W. Joosen, S. Katz, J. Noyé, M. Südholt: "A Model Curriculum for Aspect-Oriented Software Development", IEEE Software, Special issue on Software Engineering Curriculum Development, Nov./Dec. 2006.
L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. Verheecke: "Modularization of distributed web services using AWED", Proc. of the 8th Int. Symposium on Distributed Objects and Applications (DOA'06), LNCS, Springer Verlag, Oct./Nov. 2006.
R. Douence, D. Le Botlan, J. Noyé, M. Südholt: "Concurrent aspects", 5th Int. Conf. on Generative Programming and Component Engineering (GPCE'06), ACM Press, Oct. 2006.
Y. Coady, H.-A. Jacobsen, M. Südholt (eds.): "Special issue on AOP for systems software and middleware", Transactions on AOSD II, LNCS, Springer Verlag, Oct. 2006.
W. Loewe, M. Südholt (eds.): Proceedings of the 5th International Symposium on Software Composition (SC'06), LNCS 4089, Springer Verlag, Sep. 2006.
D. H. Nguyen, M. 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.
L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée: "Explicitly distributed AOP using AWED", 5th Int. ACM Conf. on Aspect-Oriented Software Development (AOSD'06), March 2006.
R. Douence, D. Le Botlan, J. Noyé, M. Südholt: "Towards a model of concurrent AOP", Int. WS on Software Engineering Properties of Languages and Aspect Technologies (SPLAT'06), March 2006.
R. Douence, D. Le Botlan, J. Noyé, M. Südholt: "Concurrent aspects", RR INRIA no. 5873, March 2006.
M. Ségura-Devillechaise, J.-M. Menaud, T. Fritz, N. Loriant, R. Douence, M. Südholt: "An expressive aspect language for system applications with Arachne", Transactions on Aspect-Oriented Software Development (TAOSD), vol. 1, LNCS vol. 3880, Springer Verlag, March 2006.
L. D. Benavides Navarro, M. Südholt, W. Vanderperren, B. De Fraine, D. Suvée: "Explicitly distributed AOP using AWED", RR INRIA 5882, slightly extended version of [Benavides et al., AOSD'06], March 2006.
M. Ségura, J.-M. Menaud, N. Loriant, T. Fritz, R. Douence, M. Südholt, E. Wuchner: "Dynamic Adaptation of the Squid Web Cache with Arachne", IEEE Software, Special Issue on Aspect-Oriented Programming, 23(1), Jan./Feb., 2006.
P. Cointe, M. Südholt (eds.): "Programmation par aspects", L'Objet - logiciel, base de données, réseaux, Hermes Science Publications, in English and French, extended versions of selected articles of JFDLPA'04, Nov. 2005.
T. Fritz, M. Ségura, M. Südholt, E. Wuchner, J.-M. Menaud: "Automating adaptive image generation for medical devices using AOP"; 10th IEEE International Conference on Emerging Technologies and Factory Automation, Sep. 2005.
M. Südholt: "A model of components with non-regular protocols", 4th Int. WS on Software Composition at ETAPS (SC'05), LNCS, Springer-Verlag, April 2005.
R. Douence, T. Fritz, N. Loriant, J.-M. Menaud, M. Ségura, M. Südholt: "An expressive aspect language for system applications with Arachne", 4th Int. Conf. on Aspect-Oriented Software Development (AOSD'05), ACM Press, March 2005.
T. Fritz, M. Ségura, M. Südholt, E. Wuchner, J.-M. Menaud: "An application of dynamic AOP to medical image generation", Int. WS on Dynamic Aspects at AOSD (DAW'05), March 2005.
J. Noyé, R. Douence, M. Südholt: "Composants et aspects", chapter 6 of M. Oussalah (ed.): "Composants : concepts, techniques et outils", Vuibert, in French, to appear, Feb. 2005.
A. Farías, M. Südholt: "Integrating protocol aspects with software components to address dependability concerns", TR 04/6/INFO, École des Mines de Nantes, Nov. 2004
R. Douence, P. Fradet, M. Südholt: "Trace-based Aspects", in M. Aksit, C. Clarke, T. Ellrad, R. Filman (eds.): "Aspect-Oriented Software Development", Addison-Wesley Professional, Sep. 2004.
G. Muller, J. L. Lawall, J.-M. Menaud, M. Südholt: Constructing Component-Based Extension Interfaces in Legacy Systems Code, 11th ACM SIGOPS European Workshop, Sep. 2004.
P. Cointe, M. Südholt (editors): Actes de la Première Journée Francophone sur le Développement du Logiciel par Aspects (JFDLPA'04) / 1st French WS on AOSD, English/French, TR 04/7/2004, École des Mines de Nantes, Sep. 2004.
R. Douence, P. Fradet, M. Südholt: "Composition, Reuse and Interaction Analysis of Stateful Aspects", 3rd Int. Conf. on Aspect-Oriented Software Development (AOSD'04), Mar. 2004.
R. Aberg, J. L. Lawall, M. Südholt, G. Muller, A.-F. Le Meur: "On the automatic evolution of an OS kernel using temporal logic and AOP", Int. Conf. on Automated Software Engineering (ASE'03), IEEE, Oct. 2003.
R. Aberg, J. L. Lawall, M. Südholt, G. Muller: "Evolving an OS Kernel using Temporal Logic and AOP", Int. WS on Aspects, Components and Patterns for Infrastructure Software (ACP4IS) at AOSD03, Mar. 2003.
R. Douence, M. Südholt: "A model and a tool for Event-based Aspect-Oriented Programming (EAOP)", TR 02/11/INFO, École des mines de Nantes, french version accepted at LMO'03, Feb. 2003.
A. Farías, Y.-G. Guéhéneuc, M. Südholt: "Integrating behavior protocols in component models", Int. WS on Behavioral Semantics at OOPSLA, Nov. 2002
A. Farías, M. Südholt: "On components with explicit protocols satisfying a notion of correctness by construction", DOA'02, Oct. 2002
R. Douence, P. Fradet, M. Südholt: "A framework for the detection and resolution of aspect interactions", Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), preprint version, Oct. 2002
R. Douence, P. Fradet, M. Südholt: "Detection and resolution of aspect interactions", INRIA, technical report, no. RR-4435, April 2002
L. P. Barreto, R. Douence, G. Muller, M. Südholt: "Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering", Int. WS on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002
A. Farías, M. Südholt: "On the construction of components with explicit protocols", École des Mines de Nantes, technical report, no. 02/4/INFO, April 2002
R. Douence, O. Motelet, M. Südholt: "A formal definition of crosscuts", Proceedings of the 3rd International Conference on Reflection, LNCS 2192, Sep. 2001
N. M. N. Bouraqadi-Saâdani, T. Ledoux and M. Südholt: "A Reflective Infrastructure for Coarse-Grained Strong Mobility and its Tool-Based Implementation" , Invited presentation at the International Workshop on ``Experiences with reflective systems'' (held in conjunction with Reflection 2001, the ``3rd International Conference on Metalevel Architectures and Separation of Crosscutting Concerns''), also published as TR 01/7/INFO, 2001
R. Douence, M. Südholt: "A generic reification technique for object-oriented reflective languages", in: "Higher-Order and Symbolic Computation", vol. 14, no. 1, Kluwer Academic Publishers, preprint version is here, 2001
R. Douence, M. Südholt: "Une technique générique de réification dans les langages à objets", 6th International Maghrebian Conference on Computer Science, 2000
KW: reflection, program transformation, MOP, Java
R. Douence, O. Motelet, M. Südholt: "Sophisticated crosscuts for e-commerce", ECOOP 2001 Workshop on Advanced Separation of Concerns, alternative edition is here, 2001
R. Douence, O. Motelet, M. Südholt: "A formal definition of crosscuts" , École des Mines de Nantes, technical report, no. 01/3/INFO, 2001
M. N. Bouraqadi-Saâdani, R. Douence, T. Ledoux, O. Motelet, M. Südholt: "Status of work on AOP at the OCM group, April 2001" , École des Mines de Nantes, technical report, no. 01/4/INFO, 2001
KW: AOP, execution monitoring, program transformation, interpreter
R. Douence, M. Südholt: "On the Lightweight and Selective Introduction of Reflective Capabilities in Applications", ECOOP'00 Workshop on ``Reflection and Meta-Level Architectures'', 2000
KW: reflection, program transformation, Java
article[pdf]
R. Douence, M. Südholt: "The next 700 reflective object-oriented languages", École des mines de Nantes, technical report, no. 99-1-INFO, 1999
KW: MetaJ, oop, Smithonian reflective programming, program transformation, meta-object protocol
P. Fradet, M. Südholt: "An aspect language for robust programming", International Workshop on Aspect-Oriented Programming at ECOOP, 1999
KW: aspect-oriented programming, abstract interpretation, aspect of program robustness
P. Fradet, M. Südholt: "Towards a generic framework for AOP", Proceedings of the International Workshop on Aspect-Oriented Programming at ECOOP, LNCS, vol. 1543, Springer-Verlag, long version on-line, 1998
KW: aspect-oriented programming, abstract interpretation, aspect of program robustness

Theses

Habilitation (HDR) thesis: "Towards expressive, well-founded and correct AOP", University of Nantes, July 2007
(Defense slides, in French)
Ph.D. thesis "The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons", TU Berlin, Aug. 1997
MSc thesis "Parallelizing Compilers for Object-Oriented Languages", University of Coblence, June 1992

Previous work

Publications concerning software architectures:

"Modeling railway control systems using graph grammars: a case study"; 2nd International Conference on Coordination, September 1997;
long version published as INRIA technical report no. 3210

Publications concerning the functional programming of massively parallel architectures (have a look at my Ph.D. thesis "The Transformational Derivation of Parallel Programs using Data Distribution Algebras and Skeletons", too):

"Solving Large Systems of Differential Equations using Covers and Skeletons"; IFIP WG 2.1 Working Conference on Algorithmic Calculi, February 1997
"Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm"; (HICSS '97, TR96-2)
"Formulation and development of parallel numerical algorithms with data distribution algebras" (SESC '95)
"Data Distribution Algebras - A Formal Basis for Programming Using Skeletons" (PROCOMET '94)
"Functional Development of Massively Parallel Programs" (FMP '93)
"Funktionale Programmierung für massiv parallele Systeme" (in German)

Other publications concerning functional and/or parallel programming

"Temporal Semantics of a Concurrency Monad with Choice and Services" (FUJI '96)
"Communicating Functional Agents and their Application to Graphical User Interfaces" (PSI '96, TR95-19)
"Towards a Redesign of OPAL" (TR96-3)
"On the Semantics of a Concurrency Monad with Choice and Services" (TR96-14)

Publications concerning the parallel and distributed programming using object-oriented languages (have a look at my Master's thesis "Parallelizing Compilers for Object-Oriented Languages", University of Coblence, June 1992)

I have given an address about "computer science as an engineering discipline" ("Bemerkungen zur Informatik als Ingenieurwissenschaft", in German) on the occasion of the awarding ceremony of the Master's diplomas at the University of Koblenz-Landau, Germany, on November 28, 1997.

last modification on 18 May 2013 by Mario Südholt