Team Triskell

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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.
[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.
[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.
[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.
[21]
E. de Almeida, G. Sunyé, 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.
[22]
E. de Almeida, G. Sunyé, 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.
[23]
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.
[24]
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.
[25]
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.
[26]
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.
[27]
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.
[28]
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.
[29]
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.
[30]
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.
[31]
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.
[32]
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.
[33]
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.
[34]
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.
[35]
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.
[36]
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.
[37]
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.
[38]
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.
[39]
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.
[40]
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.
[41]
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.
[42]
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.
[43]
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.
[44]
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.
[45]
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.
[46]
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.
[47]
J. Simonin, Y. Le 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.

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.
[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 Evolution, in: Software Evolution, T. Mens, S. Demeyer (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.

Internal Reports

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

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