– The SYNERGY project –

Highly Reconfigurable Component-based Virtual Machine

–PAGE UNDER CONSTRUCTION -

Main references

• Gwen Salaun, Fabienne Boyer, Thierry Coupaye, Noel De Palma, Xavier Etchevers, Olivier Gruber: An experience report on the verification of autonomic protocols in the cloud. ISSE 9(2): 105-117 (2013) [pdf]


• Olivier Gruber, Fabienne Boyer: Ownership-Based Isolation for Concurrent Actors on Multi-core Machines. European Conference on Object-Oriented Programming, ECOOP 2013: 281-301, Montpellier (France), July 2013 [pdf]


• Fabienne Boyer, Olivier Gruber, Damien Pous: Robust reconfigurations of component assemblies. IEEE International Conference on Software Engineering, ICSE 2013, San Francisco, May 2013: 13-22 [pdf]


• Fabienne Boyer, Olivier Gruber, Gwen Salaun. Specifying and verifying the Synergy Reconfiguration Protocol with LOTOS-NT and CADP, Proc. of the 17th International Symposium on Formal Methods, FM 2011, Limerick, Ireland, june 2011.

© Fabienne Boyer - Generated by webgen