Login / Signup
Gersan Moguérou
Publication Activity (10 Years)
Years Active: 2016-2018
Publications (10 Years): 2
Top Topics
Formal Methods
Cooperative
Load Balancing
Software Intensive Systems
Top Venues
SoSE
SiSoS@ECSA
</>
Publications
</>
Flávio Oquendo
,
Jérémy Buisson
,
Elena Leroux
,
Gersan Moguérou
A Formal Approach for Architecting Software-intensive Systems-of-Systems with Guarantees.
SoSE
(2018)
Flávio Oquendo
,
Jérémy Buisson
,
Elena Leroux
,
Gersan Moguérou
,
Jean Quilbeuf
The sosADL studio: an architecture development environment for software-intensive systems-of-systems.
SiSoS@ECSA
(2016)