Travelled to:3 × USA
Collaborated with:X.He Y.Fu L.Shi P.J.Clarke Z.Dong W.Sun T.Shi Y.Deng
Talks about:translat (2) approach (2) formal (2) sam (2) architectur (1) middlewar (1) promela (1) correct (1) analysi (1) design (1)
Person: Gonzalo Argote-Garcia
DBLP: Argote-Garcia:Gonzalo
Contributed to:
200820072006Wrote 3 papers:
- SEKE-2008-Argote-GarciaCHFS #approach #architecture #formal method
- A Formal Approach for Translating a SAM Architecture to PROMELA (GAG, PJC, XH, YF, LS), pp. 440–447.
- SEKE-2007-FuDASH #approach #correctness #java #validation
- An Approach to Validating Translation Correctness From SAM to Java (YF, ZD, GAG, LS, XH), p. 45–?.
- SEKE-2006-SunSADH #analysis #design #formal method #middleware #modelling
- Achieving a Better Middleware Design through Formal Modeling and Analysis (WS, TS, GAG, YD, XH), pp. 463–468.