default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLeandro Dias da Silva
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j11]Alvaro Sobrinho, Matheus Vilarim, Amanda Barbosa, Edmar Candeia Gurjão, Danilo F. S. Santos, Dalton C. G. Valadares, Leandro Dias da Silva:
Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey. ACM Comput. Surv. 57(2): 44:1-44:36 (2025)- 2024
- [j10]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): 14242-14271 (2024) - [c29]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: 1-4 - 2023
- [j9]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) - 2022
- [j8]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: 108638 (2022) - 2021
- [j7]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): 2 (2021) - [j6]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) - 2020
- [j5]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: 25407-25419 (2020)
2010 – 2019
- 2019
- [j4]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): 797-823 (2019) - [j3]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): 1467-1485 (2019) - [c28]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: 2761-2766 - [c27]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: 2871-2876 - [c26]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: 1-10 - 2018
- [j2]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): 7:1-7:14 (2018) - [c25]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: 215-220 - [c24]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: 135-144 - [c23]Leandro Dias da Silva, Eduardo Gonçalves de Lima:
A Novel Limiter with Application in Crest Factor Reduction Techniques for Wireless Communications. SBCCI 2018: 1-6 - 2016
- [c22]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: 48-53 - [c21]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: 337-342 - [c20]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: 2488-2491 - [c19]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: 277-286 - 2015
- [c18]Alvaro Sobrinho, Paulo Cunha, Leandro Dias da Silva, Angelo Perkusich, Thiago D. Cordeiro, Joilson Rego:
A simulation approach to certify electrocardiography devices. HealthCom 2015: 86-90 - [c17]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: 227-231 - [c16]Alvaro Sobrinho, Jose Bernardo 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: 475-480 - 2014
- [c15]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: 2645-2651 - [c14]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: 221-226 - 2013
- [c13]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: 1-7 - 2012
- [c12]Elthon A. S. Oliveira, Leandro Dias da Silva, Hyggo Oliveira de Almeida, Angelo Perkusich:
Model-Based Solution for Controlling Physiology. FHIES 2012: 167-175 - 2011
- [c11]Á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: 384-391
2000 – 2009
- 2009
- [p2]Leandro Dias da Silva, Elthon Allex da Silva Oliveira, Hyggo Oliveira de Almeida, Angelo Perkusich:
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. Innovations in Information Systems Modeling 2009: 254-268 - 2008
- [c10]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 - [c9]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 - [c8]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
- [c7]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: 406-412 - [c6]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
- [c5]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
- [j1]Leandro Dias da Silva, Angelo Perkusich:
Composition of software artifacts modelled using Colored Petri nets. Sci. Comput. Program. 56(1-2): 171-189 (2005) - [c4]Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105 - [c3]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: 272-279 - [p1]Leandro Dias da Silva, Angelo Perkusich:
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets. Component-Based Software Development for Embedded Systems 2005: 35-58 - 2004
- [c2]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
- [c1]Leandro Dias da Silva, Angelo Perkusich:
Formal Verification of Component-Based Software Systems. NDDL/VVEIS 2003: 113-124
Coauthor Index
aka: Álvaro Alvares de Carvalho César Sobrinho
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-09 23:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
