Guillaume Brau

Guillaume Brau
Adresse postale Université du Luxembourg
2, Avenue de l'Université
L-4365 Esch-sur-Alzette
powered by
orbilu.uni.lu

2015

Full Text
See detailA Contract-Based approach to support Goal-Driven Analysis
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the IEEE 18th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2015, April)

Top of Page

2014

Full Text
See detailAnalysis as a first-class citizen: an application to Architecture Description Languages
Hugues, Jérôme; Brau, Guillaume

in Proceedings of the IEEE 17th International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC) (2014, September)

Top of Page

2013

Full Text
See detailRefinement of AADL models using early-stage analysis methods
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

in Proceedings of the 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop (2013, November)

Full Text
See detailRefinement of AADL models using early-stage analysis methods : An avionics example
Brau, Guillaume; Hugues, Jérôme; Navet, Nicolas

Report (2013)

Top of Page