Leandro Dias da Silva

44 papers A* 1B 2C 11Misc 3Journal 13Unranked 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey.
ACM Comput. Surv.
Alvaro Sobrinho, Matheus Vilarim, Amanda Barbosa, Edmar Candeia Gurjão, Danilo F. S. Santos, Dalton C. G. Valadares, Leandro Dias da Silva
2025 J jnl
Harnessing coloured Petri nets to enhance machine learning:A simulation-based method for healthcare and beyond.
Simul. Model. Pract. Theory
Andressa C. M. Da S. Queiroz, Alvaro Sobrinho, Leandro Dias da Silva, Danilo F. S. Santos, Muhammad Nauman, Angelo Perkusich
2025 J jnl
pyRuleAnalyzer: A python package for enhancing decision rules in tree-based machine learning models.
SoftwareX
Caio Dias Giló, Alvaro Sobrinho, Leandro Dias da Silva, Lucas Lopes, Erik Alexandre Bezerra, Lenardo Chaves e Silva, Danilo F. S. Santos, Angelo Perkusich
2024 J jnl
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput.
José Irineu Ferreira Júnior, Alvaro Sobrinho, Leandro Dias da Silva, Paulo Cunha, Thiago D. Cordeiro, Angelo Perkusich, Antonio Marcus Nogueira de Lima
2024 C conf
Coloured Petri Nets Modeling Multilayer Perceptron Neural Networks.
ICCE
Yuri Resende Matias de Oliveira, Alvaro Sobrinho, Leandro Dias da Silva, Danilo Santos, Kyller Costa Gorgônio, Angelo Perkusich
2023 J jnl
Coloured Petri nets for abstract test generation in software engineering.
Softw. Test. Verification Reliab.
Alvaro Sobrinho, Ially Almeida, Leandro Dias da Silva, Lenardo Chaves e Silva, Adriano Araújo, Tássio Fernandes Costa, Angelo Perkusich
2022 J jnl
Reliability analysis of multi-parameter monitoring systems for Intensive Care Units.
Reliab. Eng. Syst. Saf.
Matheus Soares de Araujo, Leandro Dias da Silva, Alvaro Sobrinho, Paulo Cunha, Leonardo Montecchi
2021 J jnl
A model to discipline autonomy in cyber-physical systems-of-systems and its application.
J. Softw. Evol. Process.
Mohamad Gharib, Leandro Dias da Silva, Andrea Ceccarelli
2021 J jnl
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning.
J. Braz. Comput. Soc.
Leandro Dias da Silva, Paolo Lollini, Diamantea Mongelli, Andrea Bondavalli, Gianluca Mandò
2020 J jnl
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques.
IEEE Access
Alvaro Sobrinho, Andressa C. M. Da S. Queiroz, Leandro Dias da Silva, Evandro de Barros Costa, Maria Eliete Pinheiro, Angelo Perkusich
2019 C conf
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.
IECON
Tássio Fernandes Costa, Alvaro Sobrinho, Lenardo Chaves e Silva, Leandro Dias da Silva, Angelo Perkusich
2019 C conf
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
IECON
Eduardo Moraes de Miranda Vasconcellos, Thiago D. Cordeiro, Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Antonio Marcus Nogueira de Lima
2019 J jnl
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model.
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Paulo Cunha, Thiago D. Cordeiro, Antonio Marcus Nogueira de Lima
2019 J jnl
Model-based testing of software for automation systems using heuristics and coverage criterion.
Softw. Syst. Model.
Rodrigo José Sarmento Peixoto, Leandro Dias da Silva, Angelo Perkusich
2019 — conf
Performability Analysis of a Tramway System with Virtual Tags and Local Positioning.
LADC
Leandro Dias da Silva, Diamantea Mongelli, Paolo Lollini, Andrea Bondavalli, Gianluca Mandò
2018 — conf
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems.
LADC
Mohamad Gharib, Leandro Dias da Silva, Hanna Kavalionak, Andrea Ceccarelli
2018 — conf
A Novel Limiter with Application in Crest Factor Reduction Techniques for Wireless Communications.
SBCCI
Leandro Dias da Silva, Eduardo Gonçalves de Lima
2018 J jnl
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.
Alvaro Sobrinho, Leandro Dias da Silva, Angelo Perkusich, Maria Eliete Pinheiro, Paulo Cunha
2018 — conf
Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients.
CENTERIS/ProjMAN/HCist
Taígo Ítalo Pedrosa, Felipe F. Vasconcelos, Leonardo Medeiros, Leandro Dias da Silva
2016 B conf
A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis.
CBMS
Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer
2016 B conf
A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification.
CBMS
Leonardo Medeiros, Hyggo Oliveira de Almeida, Leandro Dias da Silva, Mirko Barbosa Perkusich, Robert Fischer
2016 — conf
A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability.
WorldCIST (2)
Inés Maria González Vidal, Evandro de Barros Costa, Leandro Dias da Silva, Fabrísia Ferreira de Araújo, Rafael Ferreira
2016 — conf
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
EMBC
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Jarbas Segundo
2015 C conf
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
IECON
Alvaro Sobrinho, Jose Bernardo Neto, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich
2015 C conf
A methodology for modeling and simulation of biomedical signal acquisition devices.
HealthCom
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
2015 C conf
A simulation approach to certify electrocardiography devices.
HealthCom
Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego
2014 C conf
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
IECON
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Thiago D. Cordeiro, Joilson Rego, Paulo Cunha
2014 C conf
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
INDIN
Alvaro Sobrinho, Angelo Perkusich, Leandro Dias da Silva, Paulo Cunha
2013 C conf
Using equivalence classes for testing programs for safety instrumented systems.
ETFA
Kezia de Vasconcelos Oliveira, Angelo Perkusich, Kyller Costa Gorgônio, Leandro Dias da Silva, Aldenor Falcao Martins
2012 — conf
Model-Based Solution for Controlling Physiology.
FHIES
Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich
2011 — conf
A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care.
CENTERIS (3)
Álvaro Alvares de Carvalho César Sobrinho, Leandro Dias da Silva, Leonardo Melo de Medeiros
2009 — ch.
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems.
Innovations in Information Systems Modeling
Leandro Dias da Silva, Elthon Allex da Silva Oliveira, Hyggo Oliveira de Almeida, Angelo Perkusich
2008 Misc conf
An infrastructure for developing context aware applications in pervasive environments.
SAC
Frederico Bublitz, Hyggo Oliveira de Almeida, Angelo Perkusich, Emerson Loureiro, Evandro de Barros Costa, Leandro Dias da Silva
2008 Misc conf
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.
SAC
Saulo Oliveira Dornellas Luiz, Genildo de Moura Vasconcelos, Leandro Dias da Silva
2008 C conf
Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications.
ISCC
Loreno Oliveira, Kyller Costa Gorgônio, Angelo Perkusich, Leandro Dias da Silva
2007 Misc conf
Formal modelling and verification of a component model using coloured petri nets and model checking.
SAC
Elthon A. S. Oliveira, Hyggo Oliveira de Almeida, Leandro Dias da Silva
2007 C conf
On the automatic generation of timed automata models from ISA 5.2 diagrams.
ETFA
Luiz Paulo de Assis Barbosa, Kyller Costa Gorgônio, Leandro Dias da Silva, Antonio Marcus Nogueira de Lima, Angelo Perkusich
2006 A* conf
Ticc: A Tool for Interface Compatibility and Composition.
CAV
B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
2005 — ch.
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.
Component-Based Software Development for Embedded Systems
Leandro Dias da Silva, Angelo Perkusich
2005 J jnl
Composition of software artifacts modelled using Colored Petri nets.
Sci. Comput. Program.
Leandro Dias da Silva, Angelo Perkusich
2005 — conf
Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes.
SBSI
Hyggo O. Almeida, Elthon A. S. Oliveira, Nadia Barbosa, Frederico Bublitz, Leandro Dias da Silva, Angelo Perkusich
2005 — conf
Sociable Interfaces.
FroCoS
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
2004 — conf
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.
SELMAS
Hyggo Oliveira de Almeida, Leandro Dias da Silva, Angelo Perkusich, Evandro de Barros Costa
2003 — conf
Formal Verification of Component-Based Software Systems.
NDDL/VVEIS
Leandro Dias da Silva, Angelo Perkusich