default search action

combined dblp search
author search
venue search
publication search

ask others

Leandro Dias da Silva

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tjs/JuniorSSCCPL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tjs/JuniorSSCCPL24
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iccel/OliveiraSSSGP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iccel/OliveiraSSSGP24
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]
- view
  authority control:
- export record
  dblp key:
  - journals/stvr/SobrinhoASSACP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/stvr/SobrinhoASSACP23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/AraujoSSCM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/AraujoSSCM22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jbcs/SilvaLMBM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jbcs/SilvaLMBM21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/GharibSC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/GharibSC21
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/SobrinhoQSCPP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/SobrinhoQSCPP20
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

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/PeixotoSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/PeixotoSP19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/SobrinhoSPCCL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/SobrinhoSPCCL19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/VasconcellosCSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/VasconcellosCSS19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/CostaSSSP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/CostaSSSP19
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/SilvaMLBM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/SilvaMLBM19
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/midm/SobrinhoSPPC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/midm/SobrinhoSPPC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/centeris/PedrosaVMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/centeris/PedrosaVMS18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ladc/GharibSKC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ladc/GharibSKC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcci/SilvaL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcci/SilvaL18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/MedeirosADPF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/MedeirosADPF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cbms/MedeirosASPF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cbms/MedeirosASPF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/embc/SobrinhoCSPCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/embc/SobrinhoCSPCS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/worldcist/VidalCSAF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/worldcist/VidalCSAF16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/SobrinhoCSPCR15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/SobrinhoCSPCR15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/healthcom/SobrinhoCSPCR15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/healthcom/SobrinhoCSPCR15a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SobrinhoNCSP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SobrinhoNCSP15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iecon/SobrinhoPSCRC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iecon/SobrinhoPSCRC14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/indin/SobrinhoPSC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indin/SobrinhoPSC14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/OliveiraPGSM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/OliveiraPGSM13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/fhies/OliveiraSAP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fhies/OliveiraSAP12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/centeris/SobrinhoSM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/centeris/SobrinhoSM11
Á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

see FAQ

What is the meaning of the colors in the publication lists?

2009
[p2]
- view
  authority control:
- export record
  dblp key:
  - books/igi/09/SilvaOAP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/igi/09/SilvaOAP09
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iscc/OliveiraGPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iscc/OliveiraGPS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/LuizVS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/LuizVS08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/BublitzAPLCD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/BublitzAPLCD08
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]
- view
  authority control:
- export record
  dblp key:
  - conf/etfa/BarbosaGSLP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/etfa/BarbosaGSLP07
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/OliveiraAS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/OliveiraAS07
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/AdlerASFLRR06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/AdlerASFLRR06
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/SilvaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/SilvaP05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/AlfaroSFLRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/AlfaroSFLRS05
Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea:
Sociable Interfaces. FroCoS 2005: 81-105
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/sbsi/AlmeidaOBBSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbsi/AlmeidaOBBSP05
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]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/SilvaP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/SilvaP05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/selmas/AlmeidaSPC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/selmas/AlmeidaSPC04
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/nddl/SilvaP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nddl/SilvaP03
Leandro Dias da Silva, Angelo Perkusich:
Formal Verification of Component-Based Software Systems. NDDL/VVEIS 2003: 113-124

Coauthor Index

see FAQ

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.