Team Triskell
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
Inria / Raweb 2008
Project: Triskell
previous up next PDF XMLAccess to toc

Bibliography

Major publications by the team in recent years

[1]
B. Baudry, F. Fleurey, J.-M. Jézéquel, Y. Le Traon.
Automatic Test Cases Optimization: a Bacteriologic Algorithm, in: IEEE Software, March 2005, vol. 22, no 2, p. 76–82.
[2]
A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
Making Components Contract Aware, in: IEEE Computer, July 1999, vol. 13, no 7.
[3]
J.-M. Jézéquel.
Real Time Components and Contracts, in: Model Driven Engineering for Distributed Real Time Embedded Systems, S. Gérard, J.-P. Babau (editors), Hermes Science Publishing Ltd, London, 2005.
[4]
J.-M. Jézéquel.
Reifying Variants in Configuration Management, in: ACM Transaction on Software Engineering and Methodology, July 1999, vol. 8, no 3, p. 284–295.
[5]
J.-M. Jézéquel.
Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, no 2, p. 209–218.
[6]
Y. Le Traon, B. Baudry, J.-M. Jézéquel.
Design by Contract to improve Software Vigilance, in: IEEE Trans. on Software Engineering, August 2006, vol. 32, no 8, p. 571–586.
[7]
Y. Le Traon, T. Jéron, J.-M. Jézéquel, P. Morel.
Efficient OO Integration and Regression Testing, in: IEEE Trans. on Reliability, March 2000, vol. 49, no 1, p. 12–25.
[8]
C. Nebut, F. Fleurey, Y. Le Traon, J.-M. Jézéquel.
Automatic Test Generation: A Use Case Driven Approach, in: IEEE Trans. on Software Engineering, March 2006, vol. 32, no 3, p. 140–155.
[9]
G. Sunyé, A. Le Guennec, J.-M. Jézéquel.
Using UML Action Semantics for Model Execution and Transformation, in: Information Systems, Elsevier, July 2002, vol. 27, no 6, p. 445–457.
[10]
T. Ziadi, J.-M. Jézéquel.
Product Line Engineering with the UML: Deriving Products, in: Software Product Lines, Springer Verlag, 2006, no ISBN: 978-3-540-33252-7, p. 557–586.

Publications of the year

Doctoral Dissertations and Habilitation Theses

[11]
F. Chauvel.
Méthodes et outils pour la conception de systèmes logiciels auto-adaptatifs, Ph. D. Thesis, Université de Bretagne Sud, September 2008,
http://www.irisa.fr/triskell/publis/2008/Chauvel08d.pdf.
[12]
M. Monperrus.
La mesure des modèles par les modèles : une approche générative, Ph. D. Thesis, Université de Rennes 1, October 2008,
http://www.monperrus.net/martin/la-mesure-des-modeles-par-les-modeles-une-approche-generative.pdf.
[13]
J.-M. Mottu.
Oracles et qualification du test de transformations de modèles, Ph. D. Thesis, Université de Rennes 1, November 2008,
http://www.irisa.fr/triskell/publis/2008/Mottu08c.pdf.

Articles in International Peer-Reviewed Journal

[14]
J.-M. Jézéquel.
Model Driven Design and Aspect Weaving, in: Journal of Software and Systems Modeling (SoSyM), may 2008, vol. 7, no 2, p. 209–218,
http://www.irisa.fr/triskell/publis/2008/Jezequel08a.pdf.
[15]
P.-A. Muller, F. Fondement, F. Fleurey, M. Hassenforder, R. Schnekenburger, S. Gérard, J.-M. Jézéquel.
Model Driven analysis and synthesis of textual concrete syntax, in: Journal of Software and Systems Modeling (SoSyM), oct 2008, vol. 7, no 4, p. 423–442,
http://www.irisa.fr/triskell/publis/2008/Muller08a.pdf.

Articles in National Peer-Reviewed Journal

[16]
J.-M. Jézéquel, G. Perrouin.
Vers des Lignes de Produits Flexibles, in: RSTI-L'Objet, oct 2008, vol. 14, no 3, p. 33–45,
http://www.irisa.fr/triskell/publis/2008/Jezequel08b.pdf.

International Peer-Reviewed Conference/Proceedings

[17]
D. Alonso, C. Vicente-Chicote, O. Barais.
V3Studio: A Component-Based Architecture Modeling Language, in: 15th IEEE International Conference on Engineering of Computer-Based Systems (ECBS'O8), Belfast, Northern Ireland, April 2008,
http://www.irisa.fr/triskell/publis/2008/Barais08b.pdf.
[18]
O. Barais, J. Klein, B. Baudry, A. Jackson, S. Clarke.
Composing Multi-View Aspect Models, in: 7th IEEE International Conference on Composition-Based Software Systems (ICCBSS), Madrid, Spain, February 2008,
http://www.irisa.fr/triskell/publis/2008/Barais08a.pdf.
[19]
F. Chauvel, O. Barais, I. Borne, J.-M. Jézéquel.
Composition of Qualitative Adaptation Policies, in: 23rd IEEE/ACM International Conference on Automated Software Engineering - ASE'08, L'Aquila, Italy, sep 2008.
[20]
F. Chauvel, I. Borne, J.-M. Jézéquel, O. Barais.
A Model-Driven Process for Self-Adaptive Software, in: 4th European Congress ERTS Embedded Real-Time Software, Toulouse, France, January 2008,
http://www.irisa.fr/triskell/publis/2008/Chauvel08b.pdf.
[21]
R. Delamare, B. Baudry, Y. Le Traon.
Regression Test Selection when Evolving Software with Aspects, in: Proceedings of LATE workshop in conjunction with AOSD'08, Brussels, Belgium, April 2008,
http://www.irisa.fr/triskell/publis/2008/Delamare08.pdf.
[22]
M. Driss, Y. Jamoussi, J.-M. Jézéquel, H. H. B. Ghézala.
A Discrete-Events Simulation Approach for Evaluation of Service-Based Applications, in: In Proceedings of the 6th IEEE European Conference on Web Services, Dublin, Ireland, November 2008,
http://www.irisa.fr/triskell/publis/2008/Driss08a.pdf.
[23]
F. Fleurey, V. Delhen, N. Bencomo, B. Morin, J.-M. Jézéquel.
Modeling and Validating Dynamic Adaptation, in: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, Toulouse, France, oct 2008,
http://www.irisa.fr/triskell/publis/2008/2008.pdf.
[24]
A. Koudri, D. Aulagnier, D. Vojtisek, P. Soulard, C. Moy, J. Champeau, J. Vidal, J.-C. Le Lann.
Using MARTE in a Co-Design Methodology, in: Modeling and Analysis of Real-Time and Embedded Systems with the MARTE UML profile workshop co-located with DATE'08, Munich, Germany, mar 2008,
http://www.irisa.fr/triskell/publis/2008/Koudri08a.pdf.
[25]
Y. Le Traon, T. Mouelhi, A. Pretschner, B. Baudry.
Test-Driven Assessment of Access Control in Legacy Applications, in: ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation (ICST), April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), 2008.
[26]
M. Monperrus, F. Jaozafy, G. Marchalot, J. Champeau, B. Hoeltzener, J.-M. Jézéquel.
Model-driven Simulation of a Maritime Surveillance System, in: 4th European Conference on Model Driven Architecture Foundations and Applications (ECMDA'2008), Berlin, Germany, June 2008,
http://www.irisa.fr/triskell/publis/2008/Monperrus08a.pdf.
[27]
M. Monperrus, J.-M. Jézéquel, J. Champeau, B. Hoeltzener.
A Model-driven Measurement Approach, in: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Toulouse, France, October 2008,
http://www.irisa.fr/triskell/publis/2008/Monperrus08d.pdf.
[28]
M. Monperrus, J.-M. Jézéquel, J. Champeau, B. Hoeltzener.
Model-driven Engineering Metrics for Real Time Systems, in: 4th European Congress ERTS Embedded Real-Time Software, Toulouse, France, January 2008,
http://www.irisa.fr/triskell/publis/2008/Monperrus08b.pdf.
[29]
B. Morin, O. Barais, J.-M. Jézéquel.
K@RT: An Aspect-Oriented and Model-Oriented Framework for Dynamic Software Product Lines, in: Proceedings of the 3rd International Workshop on Models@Runtime, at MoDELS'08, Toulouse, France, oct 2008,
http://www.irisa.fr/triskell/publis/2008/Morin08e.pdf.
[30]
B. Morin, O. Barais, J.-M. Jézéquel.
Weaving Aspect Configurations for Managing System Variability, in: 2nd International Workshop on Variability Modelling of Software-intensive Systems, Essen, Germany, January 2008,
http://www.irisa.fr/triskell/publis/2008/Morin08a.pdf.
[31]
B. Morin, F. Fleurey, N. Bencomo, J.-M. Jézéquel, A. Solberg, V. Dehlen, G. Blair.
An Aspect-Oriented and Model-Driven Approach for Managing Dynamic Variability, in: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Toulouse, France, October 2008,
http://www.irisa.fr/triskell/publis/2008/Morin08d.pdf.
[32]
B. Morin, J. Klein, O. Barais, J.-M. Jézéquel.
A Generic Weaver for Supporting Product Lines, in: International Workshop on Early Aspects at ICSE'08, Leipzig, Germany, May 2008,
http://www.irisa.fr/triskell/publis/2008/Morin08b.pdf.
[33]
B. Morin, G. Vanwormhoudt, P. Lahire, A. Gaignard, O. Barais, J.-M. Jézéquel.
Managing Variability Complexity in Aspect-Oriented Modeling, in: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Toulouse, France, October 2008,
http://www.irisa.fr/triskell/publis/2008/Morin08c.pdf.
[34]
J.-M. Mottu, B. Baudry, Y. Le Traon.
Model transformation testing : oracle issue, in: MoDeVVa workshop colocated with ICST'08, Lillehammer, Norway, April 2008,
http://www.irisa.fr/triskell/publis/2008/Mottu08a.pdf.
[35]
T. Mouelhi, B. Baudry, F. Fleurey.
A Generic Metamodel For Security Policies Mutation, in: SecTest 08: 1st International ICST workshop on Security Testing, April 9, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), SINTEF - The Foundation for Scientific and Industrial Research (SINTEF), 2008.
[36]
T. Mouelhi, F. Fleurey, B. Baudry, Y. Le Traon.
A Model-Based Framework for Security Policy Specification, Deployment and Testing, in: In Proceedings of ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS 08), Toulouse, France, October 2008,
http://www.irisa.fr/triskell/publis/2008/Mouelhi08a.pdf.
[37]
T. Mouelhi, F. Fleurey, B. Baudry, Y. Le Traon.
Mutating DAC And MAC Security Policies: A Generic Metamodel Based Approach, in: Modeling Security Workshop In Association with MODELS '08, 28th September, Toulouse, France, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), IRISA - Institut de Recherche en Informatique et Systèmes aléatoires (INRIA), SINTEF - The Foundation for Scientific and Industrial Research (SINTEF), 2008.
[38]
F. Munoz, B. Baudry, O. Barais.
Improving Maintenance in AOP Through an Interaction Specification Framework, in: ICSM08, 24th International conference on Software Maintentance, Beijing, China, IEEE Computer Society Press, September 2008,
http://www.irisa.fr/triskell/publis/2008/munoz2008b.pdf.
[39]
F. Munoz, B. Baudry.
Validation challenges in model composition: The case of adaptive systems, in: In Proceedings of ChaMDE 2000 - Workshop on Challenges in Model Driven Engineering in conjounction with MODELS'08, Toulouse, France, September 2008,
http://www.irisa.fr/triskell/publis/2008/munoz2008c.pdf.
[40]
G. Nain, E. Daubert, O. Barais, J.-M. Jézéquel.
Using MDE to Build a Schizofrenic Middleware for Home/Building Automation, in: In ServiceWave'08: Networked European Software & Services Initiative (NESSI) Conference, Madrid, Spain, December 2008,
http://www.irisa.fr/triskell/publis/2008/Nain08a.pdf.
[41]
G. Perrouin, F. Chauvel, J. DeAntoni, J.-M. Jézéquel.
Modeling the Variability Space of Self-Adaptive Applications, in: 2nd Dynamic Software Product Lines Workshop (SPLC 2008, Volume 2), Limerick, Ireland, S. Thiel, K. Pohl (editors), IEEE Computer Society, September 2008, p. 15–22,
http://www.irisa.fr/triskell/publis/2008/Perrouin08b.pdf.
[42]
G. Perrouin, J. Klein, N. Guelfi, J.-M. Jézéquel.
Reconciling Automation and Flexibility in Product Derivation, in: 12th International Software Product Line Conference (SPLC 2008), Limerick, Ireland, IEEE Computer Society, September 2008, p. 339–348,
http://www.irisa.fr/triskell/publis/2008/Perrouin08a.pdf.
[43]
A. Pretschner, T. Mouelhi, Y. Le Traon.
Model-Based Tests for Access Control Policies, in: ICST 2008 : First IEEE International Conference on Software, Testing, Verification and Validation, April 9-11, Lillehammer, Norway, RSM - Dépt. Réseaux, Sécurité et Multimédia (Institut TELECOM ; TELECOM Bretagne), ETH - Eidgenössische Technische Hochschule Zürich (ETH Zurich), 2008.
[44]
S. Sen, B. Baudry, J.-M. Mottu.
On Combining Multi-formalism Knowledge to Select Models for Model Transformation Testing, in: International Conference on Software Testing, Verification, and Validation, ICST'08., Lillehammer, Norway, April 2008,
http://www.irisa.fr/triskell/publis/2008/Sen08a.pdf.
[45]
J. Simonin, Y. L. Traon, J.-M. Jézéquel, B. Nicolas.
EA4UP: an Enterprise Architecture-Assisted Telecom Service Development Method, in: EDOC'08 (Entreprise Distributed Object Computing Conference), Munchen, Germany, September 2008,
http://www.irisa.fr/triskell/publis/2008/Simonin08a.pdf.
[46]
E. de Almeida, G. Sunye, Y. Le Traon, P. Valduriez.
Testing Peers' Volatility, in: 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, September 2008.
[47]
E. de Almeida, G. Sunye, P. Valduriez, Y. Le Traon.
A Framework for Testing Peer-to-Peer Systems, in: 19th IEEE International Symposium on Software Reliability Engineering (ISSRE 2008), Seattle, WA, USA, November 2008.

National Peer-Reviewed Conference/Proceedings

[48]
R. Bendraou, M.-P. Gervais, X. Blanc, J.-M. Jézéquel.
Vers l'Exécutabilité des Modèles de Procédés Logiciels, in: Langage Modèles et Objets LMO'08, Montréal, Quebec, March 2008,
http://www.irisa.fr/triskell/publis/2008/Bendraou08a.pdf.
[49]
F. Chauvel, O. Barais, N. Plouzeau, I. Borne, J.-M. Jézéquel.
Expression qualitative de politiques d'adaptation pour Fractal, in: Langage Modèles et Objets LMO'08, Montréal, Quebec, March 2008,
http://www.irisa.fr/triskell/publis/2008/Chauvel08a.pdf.
[50]
J.-M. Mottu, B. Baudry, Y. Le Traon.
Test de Transformation de Modèles : Expression d'Oracles, in: 4ièmes Journées sur l'Ingénierie Dirigée par les Modèles, Mulhouse, France, June 2008,
http://www.irisa.fr/triskell/publis/2008/Mottu08b.pdf.

Scientific Books (or Scientific Book chapters)

[51]
O. Barais, J. Lawall, A.-F. L. Meur, L. Duchien.
, Software Architecture EvolutionT. Mens, S. D. eds (editors), Springer Verlag, 2008, p. 233–262.
[52]
M. Monperrus, J.-M. Jézéquel, J. Champeau, B. Hoeltzener.
Measuring Models, in: Model-Driven Software Development: Integrating Quality Assurance, ISBN: 978-1-60566-006-6, IDEA Group Inc., Hershey, PA, USA, 2008,
http://www.irisa.fr/triskell/publis/2008/Monperrus08c.pdf.

Research Reports

[53]
F. Munoz, B. Baudry, O. Barais.
A classification of invasive patterns in AOP, Research report, IRISA Research Center, http://hal.inria.fr/inria-00266555/en/, March 2008, no inria-00266555.

References in notes

[54]
A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
Making Components Contract Aware, in: IEEE Computer, July 1999, vol. 13, no 7.
[55]
G. Booch.
Object-Oriented Analysis and Design with Applications, 2nd, Benjamin Cummings, 1994.
[56]
E. Gamma, R. Helm, R. Johnson, J. Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 1995.
[57]
M. Jackson.
System Development, Prentice-Hall International, Series in Computer Science, 1985.
[58]
J.-M. Jézéquel, B. Meyer.
Design by Contract: The Lessons of Ariane, in: Computer, January 1997, vol. 30, no 1, p. 129–130.
[59]
B. Meyer.
Reusability: The Case for Object-Oriented Design, in: IEEE SOFTWARE, March 1987, no 3, p. 50–64.
[60]
B. Meyer.
Applying "Design by Contract", in: IEEE Computer (Special Issue on Inheritance & Classification), October 1992, vol. 25, no 10, p. 40–52.
[61]
A. Rashid, J. Araújo.
Modularisation and composition of aspectual requirements, in: Proceedings of the 2nd international conference on Aspect-oriented software development, 2003, p. 11–20.
[62]
C. Szyperski.
Component Software: Beyond Object-Oriented Programming, ACM Press and Addison-Wesley, New York, N.Y., 1998.
[63]
J. Warmer, A. Kleppe.
The Object Constraint Language, Addison-Wesley, 1998.

previous
next