| 2008 |
|---|
| 9 | 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 |
| 8 | EE | Saulo Oliveira Dornellas Luiz,
Genildo de Moura Vasconcelos,
Leandro Dias da Silva:
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.
SAC 2008: 1545-1549 |
| 7 | EE | Frederico Bublitz,
Hyggo Oliveira de Almeida,
Angelo Perkusich,
Emerson Loureiro,
Evandro de Barros Costa,
Leandro Dias da Silva:
An infrastructure for developing context aware applications in pervasive environments.
SAC 2008: 1958-1959 |
| 2007 |
|---|
| 6 | EE | Elthon A. S. Oliveira,
Hyggo Oliveira de Almeida,
Leandro Dias da Silva:
Formal modelling and verification of a component model using coloured petri nets and model checking.
SAC 2007: 1427-1431 |
| 2006 |
|---|
| 5 | EE | B. Thomas Adler,
Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Vishwanath Raman,
Pritam Roy:
Ticc: A Tool for Interface Compatibility and Composition.
CAV 2006: 59-62 |
| 2005 |
|---|
| 4 | EE | Luca de Alfaro,
Leandro Dias da Silva,
Marco Faella,
Axel Legay,
Pritam Roy,
Maria Sorea:
Sociable Interfaces.
FroCos 2005: 81-105 |
| 3 | EE | Leandro Dias da Silva,
Angelo Perkusich:
Composition of software artifacts modelled using Colored Petri nets.
Sci. Comput. Program. 56(1-2): 171-189 (2005) |
| 2004 |
|---|
| 2 | EE | Hyggo Oliveira de Almeida,
Leandro Dias da Silva,
Angelo Perkusich,
Evandro de Barros Costa:
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.
SELMAS 2004: 162-179 |
| 2003 |
|---|
| 1 | | Leandro Dias da Silva,
Angelo Perkusich:
Formal Verification of Component-Based Software Systems.
NDDL/VVEIS 2003: 113-124 |
