| 2009 | ||
|---|---|---|
| 3 | Paul Regnier, George Lima, Aline Maria Santos Andrade: A TLA+ Formal Specification and Verification of a New Real-Time Communication Protocol. Electr. Notes Theor. Comput. Sci. 240: 221-238 (2009) | |
| 2008 | ||
| 2 | George Lima, Eduardo Camponogara, Ana Carolina Sokolonski: Dynamic Reconfiguration for Adaptive Multiversion Real-Time Systems. ECRTS 2008: 115-124 | |
| 1 | Frederico J. R. Barboza, Aline Maria Santos Andrade, Flávio Morais de Assis Silva, George Lima: Specification and Verification of the IEEE 802.11 Medium Access Control and an Analysis of its Applicability to Real-Time Systems. Electr. Notes Theor. Comput. Sci. 195: 3-20 (2008) | |
| 1 | Aline Maria Santos Andrade | [1] [3] |
| 2 | Frederico J. R. Barboza | [1] |
| 3 | Eduardo Camponogara | [2] |
| 4 | Paul Regnier | [3] |
| 5 | Flávio Morais de Assis Silva | [1] |
| 6 | Ana Carolina Sokolonski | [2] |