Leandro Dias da Silva

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 23

Top Topics

Coloured Petri Nets

Signal Acquisition

Multilayer Perceptron

Intensive Care Units

Top Venues

Publications

Yuri Resende Matias de Oliveira, Alvaro Sobrinho, Leandro Dias da Silva, Danilo Santos, Kyller Costa Gorgônio, Angelo Perkusich
Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks. ICCE (2024)
José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima
A coloured Petri nets-based system for validation of biomedical signal acquisition devices. J. Supercomput. 80 (10) (2024)
Alvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich
Coloured Petri nets for abstract test generation in software engineering. Softw. Test. Verification Reliab. 33 (2) (2023)
Matheus Soares de Araujo, Leandro Dias da Silva, Alvaro Sobrinho, Paulo Cunha, Leonardo Montecchi
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units. Reliab. Eng. Syst. Saf. 226 (2022)
Mohamad Gharib, Leandro Dias da Silva, Andrea Ceccarelli
A model to discipline autonomy in cyber-physical systems-of-systems and its application. J. Softw. Evol. Process. 33 (9) (2021)
Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning. J. Braz. Comput. Soc. 27 (1) (2021)
Alvaro Sobrinho, Andressa C. M. Da S. Queiroz, Leandro Dias da Silva, Evandro de Barros Costa, Maria Eliete Pinheiro, Angelo Perkusich
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques. IEEE Access 8 (2020)
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Paulo Cunha, Thiago D. Cordeiro, Antonio Marcus Nogueira de Lima
Formal modeling of biomedical signal acquisition systems: source of evidence for certification. Softw. Syst. Model. 18 (2) (2019)
Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Antonio Marcus Nogueira de Lima
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems. IECON (2019)
Rodrigo José Sarmento Peixoto, Leandro Dias da Silva, Angelo Perkusich
Model-based testing of software for automation systems using heuristics and coverage criterion. Softw. Syst. Model. 18 (2) (2019)
Tássio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process. IECON (2019)
Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning. LADC (2019)
Mohamad Gharib, Leandro Dias da Silva, Hanna Kavalionak, Andrea Ceccarelli
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems. LADC (2018)
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Maria Eliete Pinheiro, Paulo Cunha
Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries. BMC Medical Informatics Decis. Mak. 18 (1) (2018)
Leandro Dias da Silva, Eduardo Gonçalves de Lima
A Novel Limiter with Application in Crest Factor Reduction Techniques for Wireless Communications. SBCCI (2018)
Taígo Ítalo Pedrosa, Felipe F. Vasconcelos, Leonardo Medeiros, Leandro Dias da Silva
Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients. CENTERIS/ProjMAN/HCist (2018)
Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer
A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification. CBMS (2016)
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Jarbas Segundo
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study. EMBC (2016)
Inés Maria González Vidal, Evandro de Barros Costa, Leandro Dias da Silva, Fabrísia Ferreira de Araújo, Rafael Ferreira
A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability. WorldCIST (2) (2016)
Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer
A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis. CBMS (2016)
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
A methodology for modeling and simulation of biomedical signal acquisition devices. HealthCom (2015)
Alvaro Sobrinho, Jose Neto, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard. IECON (2015)
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
A simulation approach to certify electrocardiography devices. HealthCom (2015)
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system. INDIN (2014)
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device. IECON (2014)
Kezia de Vasconcelos Oliveira, Angelo Perkusich, Kyller Costa Gorgônio, Leandro Dias da Silva, Aldenor Falcao Martins
Using equivalence classes for testing programs for safety instrumented systems. ETFA (2013)
Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich
Model-Based Solution for Controlling Physiology. FHIES (2012)
Álvaro Alvares de Carvalho César Sobrinho, Leandro Dias da Silva, Leonardo Melo de Medeiros
A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care. CENTERIS (3) (2011)
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)
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)
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)
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)
Luiz Paulo de Assis Barbosa, Kyller Costa Gorgônio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich
On the automatic generation of timed automata models from ISA 5.2 diagrams. ETFA (2007)
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)
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
Sociable Interfaces. FroCoS (2005)
Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich
Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. SBSI (2005)
Leandro Dias da Silva, Angelo Perkusich
Composition of software artifacts modelled using Colored Petri nets. Sci. Comput. Program. 56 (1-2) (2005)
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)
Leandro Dias da Silva, Angelo Perkusich
Formal Verification of Component-Based Software Systems. NDDL/VVEIS (2003)