Search the dblp DataBase

Publications of Author

1. 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. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:59-62 [Conf]
   
2. Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
   Sociable Interfaces. [Citation Graph (0, 0)][DBLP]
   FroCos, 2005, pp:81-105 [Conf]
   
3. Leandro Dias da Silva, Angelo Perkusich
   Formal Verification of Component-Based Software Systems. [Citation Graph (0, 0)][DBLP]
   NDDL/VVEIS, 2003, pp:113-124 [Conf]
   
4. 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. [Citation Graph (0, 0)][DBLP]
   SAC, 2007, pp:1427-1431 [Conf]
   
5. 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. [Citation Graph (0, 0)][DBLP]
   SELMAS, 2004, pp:162-179 [Conf]
   
6. Leandro Dias da Silva, Angelo Perkusich
   Composition of software artifacts modelled using Colored Petri nets. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 2005, v:56, n:1-2, pp:171-189 [Journal]
   
7. 
   Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal specification of DSP gateway for data transmission between processor cores of OMAP platform. [Citation Graph (, )][DBLP]
   
   
9. 
   An infrastructure for developing context aware applications in pervasive environments. [Citation Graph (, )][DBLP]