  | Brau, G., Navet, N., & Hugues, J. (01 May 2018). Towards the Systematic Analysis of Non-Functional Properties in Model-Based Engineering for Real-Time Embedded Systems. Science of Computer Programming, 156, 1-20. doi:10.1016/j.scico.2017.12.007  Peer Reviewed verified by ORBi |
 | Brau, G., Navet, N., & Hugues, J. (2017). Heterogeneous models and analyses in the design of real-time embedded systems - an avionic case-study. In 25th International Conference on Real-Time Networks and Systems, Grenoble 4-6 October 2017 (pp. 168-177). New-York, United States - New York: ACM. doi:10.1145/3139258.3139281 Peer reviewed |
 | Brau, G. (2017). Integration of the analysis of non-functional properties in Model-Driven Engineering for embedded systems [Doctoral thesis, Unilu - University of Luxembourg]. ORBilu-University of Luxembourg. https://orbilu.uni.lu/handle/10993/30827doi:10.1016/j.scico.2017.12.007 |
 | Brau, G., Hugues, J., & Navet, N. (2015). A Contract-Based approach to support Goal-Driven Analysis. In Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC). IEEE. Peer reviewed |
 | Hugues, J., & Brau, G. (2014). Analysis as a first-class citizen: an application to Architecture Description Languages. In Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (pp. 214-221). IEEE. doi:10.1109/ISORC.2014.60 Peer reviewed |
 | Brau, G., Hugues, J., & Navet, N. (2013). Refinement of AADL models using early-stage analysis methods. In Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (pp. 29-32). Linköping University Electronic Press - Linköpings universitet. Peer reviewed |
 | Brau, G., Hugues, J., & Navet, N. (2013). Refinement of AADL models using early-stage analysis methods : An avionics example. (TR-LASSY-13-06). Laboratory for Advanced Software Systems. |