Leandro Dias da Silva
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
9
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | WorldCIST | Predicting Employee Turnover in Software Companies Using Interpretable Machine Learning Techniques. | Laila de Arajo Costa, Evandro de Barros Costa, Leandro Dias da Silva, Willy Tiengo, Rodrigo Paes, Mirko Perkusich |
| 2025 | IECON | A Convolutional Neural Network Model with Multi-head Attention for DDoS Detection in 5G Networks. | ris Viana Dos Santos Santana, Alvaro Sobrinho, Leandro Dias da Silva, Danilo F. S. Santos, Angelo Perkusich |
| 2019 | IECON | A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. | Tssio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich |
| 2019 | IECON | A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems. | Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Antonio Marcus Nogueira de Lima |
| 2016 | CBMS | A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis. | Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer |
| 2016 | CBMS | A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification. | Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer |
| 2016 | WorldCIST | A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability. | Ins Maria Gonzlez Vidal, Evandro de Barros Costa, Leandro Dias da Silva, Fabrsia Ferreira de Arajo, Rafael Ferreira |
| 2015 | HealthCom | A simulation approach to certify electrocardiography devices. | Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego |
| 2015 | HealthCom | A methodology for modeling and simulation of biomedical signal acquisition devices. | Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego |
| 2015 | IECON | A Colored Petri Nets model of the risk management process based on the ISO 14971 standard. | Alvaro Sobrinho, Jose Bernardo Neto, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich |
| 2014 | INDIN | Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. | Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha |
| 2014 | IECON | Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. | Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha |
| 2013 | ETFA | Using equivalence classes for testing programs for safety instrumented systems. | Kezia de Vasconcelos Oliveira, Angelo Perkusich, Kyller Costa Gorgnio, Leandro Dias da Silva, Aldenor Falcao Martins |
| 2008 | ISCC | Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications. | Loreno Oliveira, Kyller Costa Gorgnio, Angelo Perkusich, Leandro Dias da Silva |
| 2008 | SAC | An infrastructure for developing context aware applications in pervasive environments. | Frederico Bublitz, Hyggo Oliveira de Almeida, Angelo Perkusich, Emerson Loureiro, Evandro de Barros Costa, Leandro Dias da Silva |
| 2008 | SAC | Formal specification of DSP gateway for data transmission between processor cores of OMAP platform. | Saulo Oliveira Dornellas Luiz, Genildo de Moura Vasconcelos, Leandro Dias da Silva |
| 2007 | ETFA | On the automatic generation of timed automata models from ISA 5.2 diagrams. | Luiz Paulo de Assis Barbosa, Kyller Costa Gorgnio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich |
| 2007 | SAC | Formal modelling and verification of a component model using coloured petri nets and model checking. | Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva |
| 2006 | CAV | Ticc: A Tool for Interface Compatibility and Composition. | B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy |