Jean-Michel Bruel
Jean-Michel Bruel
Professor of Computer Science, Toulouse University, France
Verified email at - Homepage
Cited by
Cited by
Relax: Incorporating uncertainty into the specification of self-adaptive systems
J Whittle, P Sawyer, N Bencomo, BHC Cheng, JM Bruel
2009 17th IEEE International Requirements Engineering Conference, 79-88, 2009
RELAX: a language to address uncertainty in self-adaptive systems requirement
J Whittle, P Sawyer, N Bencomo, BHC Cheng, JM Bruel
Requirements Engineering 15 (2), 177-196, 2010
Formalization of the whole-part relationship in the unified modeling language
F Barbier, B Henderson-Sellers, A Le Parc-Lacayrelle, JM Bruel
IEEE Transactions on software engineering 29 (5), 459-470, 2003
The relevance of model-driven engineering thirty years from now
G Mussbacher, D Amyot, R Breu, JM Bruel, BHC Cheng, P Collet, ...
International Conference on Model Driven Engineering Languages and Systems …, 2014
Transforming UML models to formal specifications
JM Bruel, RB France
Proceedings of the OOPSLA 98, 1998
An integrated object-oriented and formal modeling environment
RB France, JM Bruel, MM LarrondoPetrie
Journal of Object-Oriented Programming 10 (7), 25-&, 1997
On firm growth and innovation: Some new empirical perspectives using French CIS (1992–2004)
A Colombelli, N Haned, C Le Bas
Structural Change and Economic Dynamics 26, 14-26, 2013
Exploring the semantics of UML type structures with Z
RB France, JM Bruel, MM Larrondo-Petrie, M Shroff
Formal Methods for Open Object-based Distributed Systems, 247-257, 1997
Generating test data from OCL specification
M Benattou, JM Bruel, N Hameurlain
Proc. ECOOP Workshop Integration and Transformation of UML Models, 2002
Making UML precise
A Evans, JM Bruel, R France, K Lano, B Rumpe
Proceedings of the OOPSLA 98, 1998
A semantic big data platform for integrating heterogeneous wearable data in healthcare
E Mezghani, E Exposito, K Drira, M Da Silveira, C Pruski
Journal of medical systems 39 (12), 185, 2015
Modeling and verification of functional and non-functional requirements of ambient self-adaptive systems
M Ahmad, N Belloir, JM Bruel
Journal of Systems and Software 107, 50-70, 2015
Using aspects to develop built-in tests for components
JM Bruel, J Araújo, A Moreira, A Royer
AOSD Modeling with UML Workshop, 6th International Conference on the Unified …, 2003
Integrating formal and informal specification techniques. Why? How?
JM Bruel, B Cheng, S Easterbrook, R France, B Rumpe
Proceedings. 2nd IEEE Workshop on Industrial Strength Formal Specification …, 1998
Defining precise semantics for UML
JM Bruel, J Lilius, A Moreira, RB France
European Conference on Object-Oriented Programming, 113-122, 2000
Model-driven engineering for trusted embedded systems based on security and dependability patterns
B Hamid, J Geisel, A Ziani, JM Bruel, J Perez
International SDL Forum, 72-90, 2013
Using RELAX, SysML and KAOS for ambient systems requirements modeling
M Ahmad, JM Bruel, R Laleau, C Gnaho
Procedia Computer Science 10, 474-481, 2012
MDE4HPC: an approach for using model-driven engineering in high-performance computing
M Palyart, D Lugato, I Ober, JM Bruel
International SDL Forum, 247-261, 2011
Mde in practice for computational science
JM Bruel, B Combemale, I Ober, H Raynal
Procedia Computer Science 51, 660-669, 2015
Formalizing Fusion Object-Oriented Analysis Models
BW Bates, JM Bruel, RB France, MM Larrondo-Petrie
Proceedings of the First IFIP International Workshop on Formal Methods for …, 1996
The system can't perform the operation now. Try again later.
Articles 1–20