Jean-Michel Bruel

Jean-Michel Bruel: Transforming UML Models to Formal Specifications, OOPSLA'98 Workshop on Formalizing UML. Why? How?, 1998, (BibTeX entry).
Robert B. France, Jean-Michel Bruel: Integrated Informal Object-Oriented and Formal Modeling Techniques, ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, 1997, (BibTeX entry).
Jean-Michel Bruel, João Araújo, Ana Moreira, Albert Royer: Using Aspects to Develop Built-In Tests for Components, The 4th AOSD Modeling With UML Workshop, 2003, (BibTeX entry).
Jean-Michel Bruel, Johan Lilius, Ana Moreira, Robert B. France: Defining Precise Semantics for UML, Springer, 2000, (BibTeX entry).
Robert B. France, Jean-Michel Bruel, Maria Larrondo-Petrie, M. Shroff: Exploring the Semantics of UML Type Structures with Z, Chapman and Hall, London, 1997, (BibTeX entry).

dblp: Computer Science Bibliography (University of Trier, Germany). (Note that this does not always work due to different naming schemes.)