×

zbMATH — the first resource for mathematics

Salaün, Gwen

Compute Distance To:
Author ID: salaun.gwen Recent zbMATH articles by "Salaün, Gwen"
Published as: Salaün, G.; Salaün, Gwen
Documents Indexed: 24 Publications since 2003, including 4 Books

Publications by Year

Citations contained in zbMATH Open

12 Publications have been cited 25 times in 18 Documents Cited by Year
Counterexample guided synthesis of monitors for realizability enforcement. Zbl 1374.68289
Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem
3
2012
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Translating FSP into LOTOS and networks of automata. Zbl 1214.68220
Lang, Frédéric; Salaün, Gwen; Hérilier, Rémi; Kramer, Jeff; Magee, Jeff
3
2010
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Zbl 1160.68465
Garavel, Hubert; Salaün, Gwen; Serwe, Wendelin
3
2009
Translating hardware process algebras into standard process algebras: Illustration with CHP and LOTOS. Zbl 1137.68454
Salaün, Gwen; Serwe, Wendelin
3
2005
Checking protocol compatibility using Maude. Zbl 1364.68282
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
2
2009
Translating FSP into LOTOS and networks of automata. Zbl 1213.68410
Salaün, Gwen; Kramer, Jeff; Lang, Frédéric; Magee, Jeff
2
2007
Adaptation of open component-based systems. Zbl 1202.68101
Poizat, Pascal; Salaün, Gwen
2
2007
Automated analysis of asynchronously communicating systems. Zbl 1354.68188
Akroun, Lakhdar; Salaün, Gwen; Ye, Lina
1
2016
Structural reconfiguration of systems under behavioral adaptation. Zbl 1264.68047
Canal, Carlos; Cámara, Javier; Salaün, Gwen
1
2012
Analyzing Chor specifications by translation into FSP. Zbl 1364.68143
Roohi, Nima; Salaün, Gwen; Mirian, Seyyed Hassan
1
2009
Composition and run-time adaptation of mismatching behavioural interfaces. Zbl 1217.68060
Cámara, J.; Salaün, G.; Canal, C.
1
2008
Automated analysis of asynchronously communicating systems. Zbl 1354.68188
Akroun, Lakhdar; Salaün, Gwen; Ye, Lina
1
2016
Counterexample guided synthesis of monitors for realizability enforcement. Zbl 1374.68289
Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem
3
2012
A generic framework for \(n\)-protocol compatibility checking. Zbl 1245.68028
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
3
2012
Structural reconfiguration of systems under behavioral adaptation. Zbl 1264.68047
Canal, Carlos; Cámara, Javier; Salaün, Gwen
1
2012
Translating FSP into LOTOS and networks of automata. Zbl 1214.68220
Lang, Frédéric; Salaün, Gwen; Hérilier, Rémi; Kramer, Jeff; Magee, Jeff
3
2010
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP. Zbl 1160.68465
Garavel, Hubert; Salaün, Gwen; Serwe, Wendelin
3
2009
Checking protocol compatibility using Maude. Zbl 1364.68282
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen
2
2009
Analyzing Chor specifications by translation into FSP. Zbl 1364.68143
Roohi, Nima; Salaün, Gwen; Mirian, Seyyed Hassan
1
2009
Composition and run-time adaptation of mismatching behavioural interfaces. Zbl 1217.68060
Cámara, J.; Salaün, G.; Canal, C.
1
2008
Translating FSP into LOTOS and networks of automata. Zbl 1213.68410
Salaün, Gwen; Kramer, Jeff; Lang, Frédéric; Magee, Jeff
2
2007
Adaptation of open component-based systems. Zbl 1202.68101
Poizat, Pascal; Salaün, Gwen
2
2007
Translating hardware process algebras into standard process algebras: Illustration with CHP and LOTOS. Zbl 1137.68454
Salaün, Gwen; Serwe, Wendelin
3
2005

Citations by Year