BACK TO INDEX

Conference articles
2011
  1. Ismael Mejìa and Mario Südholt. Towards a robust model for distributed aspects. In Proceedings of the 1st International Workshop on Modularity In Systems Software (MISS'11), March 2011. ACM.


  2. Ismael Mejìa, Mario Südholt, and Luis Daniel Benavides Navarro. A study of invasive composition for the evolution of a health information system. In Proceedings of the 2nd International Workshop on Variability & Composition (VariComp'11), 2011. ACM.


2010
  1. Bruno De Fraine, Erik Ernst, and Mario Südholt. Essential AOP: The A Calculus. In Proceedings of the 24th European Conference on Object-Oriented Programming (ECOOP 2010), LNCS, June 2010.


  2. Ismael Mejìa and Mario Südholt. Structured and flexible gray-box composition: application to task rescheduling for grid benchmarking. In Proceedings of the IADIS International Conference on Applied Computing 2010, Timisoara, Romania, pages 8, October 2010. IADIS Press.


  3. Jean-Marc Menaud, Adrien Lèbre, Thomas Ledoux, Jacques Noyé, Pierre Cointe, Rémi Douence, and Mario Südholt. Vers une réification de l'énergie dans le domaine du logiciel. In Journées du GDR Génie de la Programmation et du Logiciel, Pau, March 2010.
    Note: Défis du Génie de la Programmation et du Logiciel.


  4. Asad Syed Ali Naqvi, Ruzanna Chitchyan, Steffen Zschaler, Awais Rashid, and Mario Südholt. Cross-Document Dependency Analysis for System-of-System Integration. In Proceeding of the 15th Monterey Workshop - Foundations of Computer Software, Future Trends and Techniques for Development (Monterey'08), 2010. Springer-Verlag.


2009
  1. Éric Tanter, Johan Fabry, Rémi Douence, Jacques Noyé, and Mario Südholt. Expressive Scoping of Distributed Aspects. In Proc. of the Int. Conf. on Aspect-Oriented Software Development (AOSD'09), March 2009. ACM Press.


2008
  1. Luis Daniel Benavides Navarro, Rémi Douence, Angel Núñez, and Mario Südholt. LTS-based Semantics and Property Analysis of Distributed Aspects and Invasive Patterns. In Proceedings of the 3rd International Workshop on Aspects, Dependencies, and Interactions (ADI'08), July 2008.


  2. Bruno De Fraine, Mario Südholt, and Viviane Jonckers. StrongAspectJ: Flexible and Safe Pointcut/Advice Bindings. In Mira Mezini, editor, Proceedings of the 7th ACM Int. Conf. on Aspect-Oriented Software Development (AOSD'08), March 2008. ACM Press.
    Note: Distinguished paper award.


  3. Luis Daniel Benavides Navarro, Rémi Douence, Fabien Hermenier, Jean-Marc Menaud, and Mario Südholt. Aspect-based patterns for grid programming. In Proc. of the 20th International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'08), November 2008. IEEE.


  4. Luis Daniel Benavides Navarro, Rémi Douence, and Mario Südholt. Debugging and testing middleware with aspect-based control-flow and causal patterns. In In Proc. of the ACM/IFIP/USENIX 9th International Middleware Conference, December 2008. Springer-Verlag.


2007
  1. Luis Daniel Benavides Navarro, Christa Schwanninger, Robert Sobotzik, and Mario Südholt. ATOLL: Aspect-Oriented Toll System. In Proc. 6th Int. Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS'06) at AOSD, New York, NY, USA, 2007. ACM Digital Library.


  2. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns for distributed applications. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), LNCS, November 2007. Springer Verlag.


  3. Luis Daniel Benavides Navarro, Mario Südholt, Rémi Douence, and Jean-Marc Menaud. Invasive patterns: aspect-based adaptation of distributed applications. In Proc. of the 4th International Workshop on Coordination and Adaptation Techniques for Software Entities (WCAT'07) at ECOOP, July 2007.


  4. Dong Ha Nguyen and Mario Südholt. Property-preserving evolution of components using VPA-based aspects. In Proc. of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'07), LNCS, November 2007. Springer Verlag.


  5. Dong Ha Nguyen and Mario Südholt. Towards correct evolution of components using VPA-based aspects. In Proc. of the 4th Workshop on Reflection, AOP and Meta-Data for Software Evolution (RAM-SE'07) at ECOOP, July 2007.


2006
  1. Luis Daniel Benavides Navarro, Mario Südholt, Wim Vanderperren, Bruno De Fraine, and Davy Suvée. Explicitly distributed AOP using AWED. In Proceedings of the 5th Int. ACM Conf. on Aspect-Oriented Software Development (AOSD'06), March 2006. ACM Press.


  2. Rémi Douence, Didier Le Botlan, Jacques Noyé, and Mario Südholt. Concurrent Aspects. In Proc. of the 5th Int. Conf. on Generative Programming and Component Engineering (GPCE'06), October 2006. ACM Press.


  3. Luis Daniel Benavides Navarro, Mario Südholt, and Wim Vanderperren, and Bart Verheecke. Modularization of distributed web services using AWED. In Proceedings of the 8th International Symposium on Distributed Objects and Applications (DOA'06), LNCS, Oct./Nov. 2006. Springer Verlag.


  4. Dong Ha Nguyen and Mario Südholt. VPA-based aspects: better support for AOP over protocols. In 4th IEEE International Conference on Software Engineering and Formal Methods (SEFM'06), September 2006. IEEE Press.


2005
  1. Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, and Mario Südholt. An expressive aspect language for system applications with Arachne. In Proc. of 4th International Conference on Aspect-Oriented Software Development (AOSD'05), March 2005. ACM Press.


  2. Thomas Fritz, Marc Ségura-Devillechaise, Mario Südholt, Egon Wuchner, and Jean-Marc Menaud. Automating adaptive image generation for medical devices using Aspect-Oriented Programming. In Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), September 2005.


  3. Mario Südholt. A model of components with non-regular protocols. In Proceedings of the 4th International Workshop on Software Composition (SC'05), LNCS, April 2005. Springer Verlag. [Abstract]


2004
  1. Rémi Douence, Pascal Fradet, and Mario Südholt. Composition, Reuse and Interaction Analysis of Stateful Aspects. In Proc. of the 3rd Int. Conf. on Aspect-Oriented Software Development (AOSD'04), March 2004. ACM, ACM Press.


  2. Gilles Muller, Julia Lawall, Jean-Marc Menaud, and Mario Südholt. Constructing Component-Based Extension Interfaces in Legacy Systems Code. In ACM SIGOPS European Workshop 2004 (EW'2004), Louvain, Belgique, September 2004.


2003
  1. Rémi Douence and Mario Südholt. Un modèle et un outil pour la programmation par aspects événementiels. In LMO 2003, Vannes, February 2003. Hermès.
    Note: Version anglaise: [douence-sudholt.tr2002].
    Keywords: AOP, EAOP, aspect composition, tool, Java.


  2. Rickard A. Åberg, Julia Lawall, Mario Südholt, and Gilles Muller. Evolving an OS Kernel using Temporal Logic and Aspect-Oriented Programming. In The Second AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software (ACP4IS), March 2003.
    Keywords: AOP, OS, Temporal logic, EAOP, Bossa.


  3. Rickard A. Åberg, Julia Lawall, Mario Südholt, Gilles Muller, and Anne-Françoise Le Meur. On the automatic evolution of an OS kernel using temporal logic and AOP. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering 2003 (ASE 2003), Montreal, Canada, October 2003. [Abstract]


2002
  1. Luciano Porto Barreto, Rémi Douence, Gilles Muller, and Mario Südholt. Programming OS Schedulers with Domain-Specific Languages and Aspects: New Approaches for OS Kernel Engineering. In International Workshop on Aspects, Components, and Patterns for Infrastructure Software at AOSD, April 2002. [Abstract]


  2. Rémi Douence, Pascal Fradet, and Mario Südholt. A framework for the detection and resolution of aspect interactions. In D. Batory, C. Consel, and W. Taha, editors, Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 - Proceedings, volume 2487 of Lecture Notes in Computer Science, Pittsburgh, PA, USA, pages 173--188, October 2002. Springer-Verlag.
    Keywords: aop, static analysis. [Abstract]


  3. Andres Farias, Yann-Gaël Guéhéneuc, and Mario Südholt. Integrating Behavioral Protocols in Enterprise Java Beans. In Kenneth Baclawski and Haim Kilov, editors, Eleventh OOPSLA Workshop on Behavioral Semantics: Serving the Customer, pages 80--89, October 2002.
    Keywords: protocols, component models, detection, verification, EJB, JavaBeans.


  4. Andres Farias and Mario Südholt. On components with explicit protocols satisfying a notion of correctness by construction. In R. Meersam and Zahir Tari et al, editors, On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, ODBASE 2002, volume 2519 of Lecture Notes in Computer Science, pages 995--1012, October 2002. Springer-Verlag.
    Keywords: protocols, component models, composition, EJB, JavaBeans.


2001
  1. Rémi Douence, Olivier Motelet, and Mario Südholt. A formal definition of crosscuts. In A. Yonezawa and S. Matsuoka, editors, Proceedings of the 3rd International Conference on Reflection 2001, volume 2192 of Lecture Notes in Computer Science, Kyoto, Japan, pages 170--186, September 2001. Springer-Verlag. [Abstract]


2000
  1. Rémi Douence and Mario Südholt. On the Lightweight and Selective Introduction of Reflective Capabilities in Applications. In ECOOP'00 Workshop on Reflection and Meta-Level Architectures, 2000.
    Keywords: reflection, program transformation, Java.


  2. Rémi Douence and Mario Südholt. Une technique générique de réification dans les langages à objets. In Proceeding of 6th International Maghrebian Conference on Computer Science, Fes, Morocco, pages 311--320, November 2000.
    Keywords: reflection, program transformation, MOP, Java.


1999
  1. Pascal Fradet and Mario Südholt. An aspect language for robust programming. In International Workshop on Aspect-Oriented Programming at ECOOP, 1999.
    Keywords: aop, abstract interpretation.


1998
  1. Pascal Fradet and Mario Südholt. AOP: towards a generic framework using program transformation and analysis. In International Workshop on Aspect-Oriented Programming at ECOOP, July 1998.
    Keywords: aop, abstract interpretation, aspect of program robustness. [Abstract]


1997
  1. A. A. Holzbacher, M. Périn, and Mario Südholt. Modeling railway control systems using graph grammars: a case study. In 2nd International Conference on COORDINATION, volume 1282 of Lecture Notes in Computer Science, September 1997. Springer-Verlag.
    Note: Long version published as INRIA TR 3210: click ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RR/RR-3210.pdf.gz.
    Keywords: software architecture, graph grammar, software evolution. [Abstract]


  2. P. Pepper and M. Südholt. Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm. In Proceedings of the 30rd Hawaii International Conference on System Sciences, 7th--10th January 1997, January 1997. IEEE.
    Keywords: functional programming, parallel programming, skeleton, data distribution algebra, partition algorithm. [Abstract]


  3. M. Süudholt, C. Piepenbrock, K. Obermayer, and P. Pepper. Solving Large Systems of Differential Equations using Covers and Skeletons. In 50th Working Conference on Algorithmic Languages and Calculi, February 1997. Chapman & Hall. [Abstract]


1996
  1. Thomas Frauenstein, Wolfgang Grieskamp, Peter Pepper, and Mario Südholt. Communicating Functional Agents and their Application to Graphical User Interfaces. In Proceedings of the 2nd International Conference on Perspectives of System Informatics, Novosibirsk, volume 1181 of LNCS, June 1996. Springer Verlag.
    Keywords: functional programming, graphical user interface, Opal, gate. [Annotation]


1995
  1. Peter Pepper and Mario Südholt. Formulation and development of parallel numerical algorithms with data distribution algebras. In Software Engineering im Scientific Computing, June 1995.


1993
  1. P. Pepper, Jürgen Exner, and Mario Südholt. Functional Development of Massively Parallel Programs. In D. Bjorner, M. Broy, and I.V. Pottosin, editors, Formal Methods in Programming and Their Applications. Proceedings International Conference Novosibirsk, June/July 1993. Lecture Notes on Computer Science 735, pages 217--238, 1993. Springer Verlag, Berlin.
    Keywords: functional programming, massively parallel computation, data parallel computation, skeleton.


1992
  1. Mario Südholt and Christoph Steigner. On Interprocedural Data Flow Analysis for Object-Oriented Languages. In U. Kastens and P. Pfahler, editors, Compiler Construction, 4th International Conference, CC '92, pages 156--162, October 1992. Springer Verlag, Berlin, Heidelberg, New York.
    Keywords: data flow analysis, object oriented programming, late binding, c++.



BACK TO INDEX



Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.



Last modified: Fri Apr 22 22:26:08 2011
Author: sudholt.

This document was translated from BibTEX by bibtex2html