| * | 2008 |
|---|
| 7 | EE | Kyller Costa Gorgônio,
Fei Xia:
Modeling and verifying asynchronous communication mechanisms using coloured Petri nets.
ACSD 2008: 138-147 |
| 6 | EE | Loreno Oliveira,
Kyller Costa Gorgônio,
Angelo Perkusich,
Leandro Dias da Silva:
Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications.
ISCC 2008: 631-636 |
| 5 | EE | Kyller Costa Gorgônio,
Jordi Cortadella:
Hardware Synthesis for Asynchronous Communications Mechanisms.
SCCC 2008: 135-143 |
| 2007 |
|---|
| 4 | EE | Kyller Costa Gorgônio,
Jordi Cortadella,
Fei Xia:
A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms.
ICATPN 2007: 144-163 |
| 3 | EE | Kyller Costa Gorgônio,
Jordi Cortadella,
Fei Xia,
Alexandre Yakovlev:
Automating Synthesis of Asynchronous Communication Mechanisms.
Fundam. Inform. 78(1): 75-100 (2007) |
| 2005 |
|---|
| 2 | EE | Jordi Cortadella,
Kyller Costa Gorgônio,
Fei Xia,
Alexandre Yakovlev:
Automating Synthesis of Asynchronous Communication Mechanisms.
ACSD 2005: 166-175 |
| 2002 |
|---|
| 1 | EE | Kyller Costa Gorgônio,
Angelo Perkusich:
Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse.
ICSR 2002: 240-254 |
