Team Triskell
Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography
previous up next PDF XML

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]
E. Brottier.
Acquisition et analyse des exigences pour le développement logiciel : une approche dirigée par les modèles, Université de Rennes 1, December 2009
http://www.irisa.fr/triskell/publis/2009/Brottier09.pdf, Ph. D. Thesis.
[12]
R. Delamare.
Analyses Automatiques pour le Test de Programmes Orientés Aspect, Université de Rennes 1, December 2009
http://www.irisa.fr/triskell/publis/2009/Delamare09c.pdf, Ph. D. Thesis.
[13]
J. Simonin.
Conception de l'architecture d'un système dirigée par un modèle d'urbanisme fonctionnel, Université de Rennes 1, January 2009
http://www.irisa.fr/triskell/publis/2009/Simonin09a.pdf, Ph. D. Thesis.

Articles in International Peer-Reviewed Journal

[14]
B. Baudry, S. Ghosh, F. Fleurey, R. France, Y. Le Traon, J.-M. Mottu.
Barriers to Systematic Model Transformation Testing, in: Communications of the ACM, 2009.
[15]
R. Bendraou, J.-M. Jézéqueland, M.-P. Gervais, X. Blanc.
A Comparison of Six UML-Based Languages for Software Process Modeling, in: IEEE Transactions on Software Engineering, 2009
http://www.irisa.fr/triskell/publis/2009/Bendraou09b.pdf.
[16]
B. Combemale, X. Crégut, P.-L. Garoche, X. Thirioux.
Essay on Semantics Definition in MDE. An Instrumented Approach for Model Verification, in: Journal of Software, december 2009, vol. 4, no 6.
[17]
R. France, J.-M. Jézéquel.
Editorial for the Special Issue on Aspects and Model-Driven Engineering, in: Transactions on Aspect-Oriented Software Development (TAOSD), 2009, vol. LNCS 5560, p. 16-21
http://www.irisa.fr/triskell/publis/2009/France09a.pdf.
[18]
N. Moha, Y.-G. Guéhéneuc, L. Duchien, A.-F. Le Meur.
DECOR: A Method for the Specification and Detection of Code and Design Smells, in: IEEE Transactions on Software Engineering, 2009
http://www.irisa.fr/triskell/publis/2009/Moha09d.pdf.
[19]
N. Moha, Y.-G. Guéhéneuc, A.-F. Le Meur, L. Duchien, A. Tiberghien.
From a Domain Analysis to the Specification and Detection of Code and Design Smells, in: Formal Aspects of Computing, Springer, May 2009
http://www.irisa.fr/triskell/publis/2009/Moha09a.pdf.
[20]
M. Monperrus, B. Long, J. Champeau, B. Hoeltzener, G. Marchalot, J.-M. Jézéquel.
Model-driven Architecture of a Maritime Surveillance System Simulator, in: Systems Engineering Journal, 2009, vol. 13.
[21]
B. Morin, O. Barais, J.-M. Jézéquel, F. Fleurey, A. Solberg.
Models at Runtime to Support Dynamic Adaptation, in: IEEE Computer, October 2009, p. 46-53
http://www.irisa.fr/triskell/publis/2009/Morin09f.pdf.
[22]
S. Sen, B. Baudry, H. Vangheluwe.
Towards Domain-specific Model Editors with Automatic Model Completion, in: Simulation Journal, 2009, vol. 3, no 12
http://www.irisa.fr/triskell/publis/2009/Sen09c.pdf.

Articles in National Peer-Reviewed Journal

[23]
F. Chauvel, O. Barais, I. Borne, J.-M. Jézéquel.
Un processus à base de modèles pour les systèmes auto-adaptatifs, in: Revue de l'Electricité et de l'Electronique (REE), February 2009, no 2, p. 38–44
http://www.irisa.fr/triskell/publis/2009/Chauvel09a.pdf.

Articles in Non Peer-Reviewed Journal

[24]
A. Koudri, J. Champeau, D. Aulagnier, D. Vojtisek.
Processus MOPCOM pour SoC/SoPC, in: Génie Logiciel - Ingéniérie dirigée par les modèles, sep 2009
http://www.irisa.fr/triskell/publis/2009/Koudri09a.pdf.
[25]
D. Vojtisek.
OpenEmbeDD : La plate-forme et ses outils d'ingénierie de modèles, in: Génie Logiciel - Ingéniérie dirigée par les modèles, jun 2009, vol. 89, p. 31-37.

International Peer-Reviewed Conference/Proceedings

[26]
R. Bendraou, J.-M. Jézéquel, F. Fleurey.
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Simulation, in: Proceedings of the International Conference on Software Process (ICSP2009), Vancouver, Canada, Springer Lecture Notes in Computer Science (LNCS), may 2009
http://www.irisa.fr/triskell/publis/2009/Bendraou09a.pdf.
[27]
R. Delamare, B. Baudry, S. Ghosh, Y. Le Traon.
A Test-Driven Approach to Developing Pointcut Descriptors in AspectJ, in: ICST '09: Proceedings of the 2nd International Conference on Software Testing, Verification, and Validation, April 2009
http://www.irisa.fr/triskell/publis/2009/Delamare09a.pdf.
[28]
R. Delamare, B. Baudry, Y. Le Traon.
AjMutator: A Tool For The Mutation Analysis Of AspectJ Pointcut Descriptors, in: Mutation'09: Proceedings of the 4th International Workshop on Mutation Analysis, April 2009
http://www.irisa.fr/triskell/publis/2009/Delamare09b.pdf.
[29]
P. Dhaussy, P.-Y. Pillain, S. Creff, A. Raji, Y. Le Traon, B. Baudry.
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), October 2009, p. 438-452
http://www.irisa.fr/triskell/publis/2009/dhaussy09.pdf.
[30]
P. Istoan, G. Nain, G. Perrouin, J.-M. Jézéquel.
Dynamic Software Product Lines for Service-Based Systems, in: 9th IEEE International Conference on Computer and Information Technology, Xiamen, CHINA, October 2009
http://www.irisa.fr/triskell/publis/2009/Istoan09a.pdf.
[31]
J. Klein, K. Jörg, B. Morin, J.-M. Jézéquel.
Aspect Model Unweaving, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Morin09d.pdf.
[32]
N. Moha, V. Mahé, O. Barais, J.-M. Jézéquel.
Generic Model Refactorings, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Moha09c.pdf.
[33]
B. Morin, O. Barais, G. Nain, J.-M. Jézéquel.
Taming Dynamically Adaptive Systems with Models and Aspects, in: 31st International Conference on Software Engineering (ICSE'09), Vancouver, Canada, May 2009
http://www.irisa.fr/triskell/publis/2009/Morin09a.pdf.
[34]
B. Morin, T. Ledoux, M. Ben Hassine, F. Chauvel, O. Barais, J.-M. Jézéquel.
Unifying Runtime Adaptation and Design Evolution, in: IEEE 9th International Conference on Computer and Information Technology (CIT'09), Xiamen, China, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Morin09b.pdf.
[35]
B. Morin, G. Nain, O. Barais, J.-M. Jézéquel.
Leveraging Models From Design-time to Runtime. A Live Demo, in: 4th International Workshop on Models@Run.Time (at MODELS'09), Denver, Colorado, USA, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Morin09e.pdf.
[36]
B. Morin, G. Perrouin, P. Lahire, O. Barais, G. Vanwormhoudt, J.-M. Jézéquel.
Weaving Variability into Domain Metamodels, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Morin09c.pdf.
[37]
T. Mouelhi, Y. Le Traon, B. Baudry.
Transforming and selecting functional test cases for security policy testing, in: ICST, April 2009
http://www.irisa.fr/triskell/publis/2009/mouelhi09.pdf.
[38]
P.-A. Muller, F. Fondement, B. Baudry.
Modeling Modeling, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), October 2009, p. 2-16
http://www.irisa.fr/triskell/publis/2009/muller09.pdf.
[39]
F. Munoz, B. Baudry, R. Delamare, Y. Le Traon.
Inquiring the usage of aspect-oriented programming: an empirical study, in: 25th IEEE International Conference on Software Maintenance (ICSM'09), Edmonton, Alberta, Canada, Sep-Oct 2009
http://www.irisa.fr/triskell/publis/2009/munoz09a.pdf.
[40]
G. Perrouin, E. Brottier, B. Baudry, Y. Le Traon.
Composing Models for Detecting Inconsistencies: A Requirements Engineering Perspective, in: Proceedings of the International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ2009), Amsterdam, Netherlands, Springer Lecture Notes in Computer Science (LNCS), june 2009
http://www.irisa.fr/triskell/publis/2009/Perrouin09a.pdf.
[41]
S. Sen, B. Baudry, J.-M. Mottu.
Automatic Model Generation Strategies for Model Transformation Testing, in: ICMT, 2009.
[42]
S. Sen, N. Moha, B. Baudry, J.-M. Jézéquel.
Meta-model Pruning, in: ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MODELS'09), Denver, Colorado, USA, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Sen09b.pdf.
[43]
S. Vaucher, F. Khomh, N. Moha, Y.-G. Guéhéneuc.
Tracking Design Smells: Lessons from a Study of God Classes, in: 16th Working Conference on Reverse Engineering (WCRE 2009), IEEE Computer Society Press (WCRE'09), Lille, France, Oct 2009
http://www.irisa.fr/triskell/publis/2009/Moha09b.pdf.

National Peer-Reviewed Conference/Proceedings

[44]
F. Chauvel, O. Barais, N. Plouzeau, I. Borne, J.-M. Jézéquel.
Composition et expression qualitative de politiques d'adaptation pour les composants Fractal, in: Actes des Journées nationales du GDR GPL 2009, Toulouse, France, January 2009
http://www.irisa.fr/triskell/publis/2009/Chauvel09b.pdf.
[45]
V. Le Gloahec, R. Fleurquin, S. Salah.
Formalisation de bonnes pratiques dans les procédés de développement logiciels, in: 5èmes Journées de l'Ingénierie dirigée par les modèles (IDM 2009), Nancy, France, March 2009
http://www.irisa.fr/triskell/publis/2009/legloahec09a.pdf.
[46]
F. Munoz, B. Baudry.
A Framework for Testing Model Composition Engines, in: SC '09: Proceedings of the 8th International Conference on Software Composition, Berlin, Heidelberg, Springer-Verlag, 2009, p. 125–141
http://www.irisa.fr/triskell/publis/2009/munoz09b.pdf.
[47]
G. Nain, O. Barais, R. Fleurquin, J.-M. Jézéquel.
EntiMid : un middleware aux services de la maison, in: 3ème Conférence Francophone sur les Architectures Logicielles (CAL'O9), Nancy, France, March 2009
http://www.irisa.fr/triskell/publis/2009/Nain09a.pdf.

Workshops without Proceedings

[48]
C. André, M. Belaunde, B. Berthomieu, C. Brunette, A. Canals, H. Garavel, S. Graf, F. Lang, V. Mahé, M. Nakhlé, R. Schnekenburger, R. De Simone, J.-P. Talpin, F. Vernadat.
Présentation des résultats du projet OpenEmbeDD, in: Neptune, Paris France, P. Bazex, A. Canals, T. Millan (editors), Revue Génie Logiciel - AFCET, 2009
http://hal.archives-ouvertes.fr/inria-00381639/en/.

Scientific Books (or Scientific Book chapters)

[49]
D. Aulagnier, A. Koudri, S. Lecomte, P. Soulard, J. Champeau, J. Vidal, G. Perrouin, P. Leray.
SoC/SoPC development using MDD and MARTE profile, in: Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009
http://www.irisa.fr/triskell/publis/2009/Aulagnier09a.pdf.
[50]
B. Baudry.
Testing Model Transformations: A case for Test Generation from Input Domain Models, in: Model Driven Engineering for Distributed Real-time Embedded Systems, Hermes, 2009
http://www.irisa.fr/triskell/publis/2009/Baudry09b.pdf.

Internal Reports

[51]
F. Munoz, B. Baudry.
Artificial table testing dynamically adaptive systems, INRIA Bretagne Atlantique, March 2009, no inria-00365874
http://hal.inria.fr/inria-00365874/en/, Research report.

Scientific Popularization

[52]
D. Vojtisek.
Introduction à la construction d'un DSL sous Eclipse, in: Programmez!, june 2009, vol. 120, p. 70-72.

References in notes

[53]
A. Beugnard, J.-M. Jézéquel, N. Plouzeau, D. Watkins.
Making Components Contract Aware, in: IEEE Computer, July 1999, vol. 13, no 7.
[54]
G. Booch.
Object-Oriented Analysis and Design with Applications, 2nd, Benjamin Cummings, 1994.
[55]
E. Gamma, R. Helm, R. Johnson, J. Vlissides.
Design Patterns: Elements of Reusable Object-Oriented Software, Addison Wesley, 1995.
[56]
M. Jackson.
System Development, Prentice-Hall International, Series in Computer Science, 1985.
[57]
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.
[58]
B. Meyer.
Reusability: The Case for Object-Oriented Design, in: IEEE SOFTWARE, March 1987, no 3, p. 50–64.
[59]
B. Meyer.
Applying "Design by Contract", in: IEEE Computer (Special Issue on Inheritance & Classification), October 1992, vol. 25, no 10, p. 40–52.
[60]
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.
[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