Leandro Dias da Silva
Orcid: 0000-0003-4352-1466
According to our database1,
Leandro Dias da Silva
authored at least 42 papers
between 2003 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Challenges and Opportunities in Mobile Network Security for Vertical Applications: A Survey.
ACM Comput. Surv., February, 2025
2024
A coloured Petri nets-based system for validation of biomedical signal acquisition devices.
J. Supercomput., July, 2024
Proceedings of the IEEE International Conference on Consumer Electronics, 2024
2023
Softw. Test. Verification Reliab., March, 2023
2022
Reliab. Eng. Syst. Saf., 2022
2021
A model to discipline autonomy in cyber-physical systems-of-systems and its application.
J. Softw. Evol. Process., 2021
A stochastic modeling approach for traffic analysis of a tramway system with virtual tags and local positioning.
J. Braz. Comput. Soc., 2021
2020
Computer-Aided Diagnosis of Chronic Kidney Disease in Developing Countries: A Comparative Analysis of Machine Learning Techniques.
IEEE Access, 2020
2019
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Softw. Syst. Model., 2019
Model-based testing of software for automation systems using heuristics and coverage criterion.
Softw. Syst. Model., 2019
Proceedings of the 9th Latin-American Symposium on Dependable Computing, 2019
A mixed-radix FFT algorithm implementation based on Petri nets to assist the certification of bio-medical systems.
Proceedings of the IECON 2019, 2019
A Coloured Petri Nets Reference Model of Insulin Infusion Pump Control Systems: Assisting the Certification Process.
Proceedings of the IECON 2019, 2019
2018
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., 2018
A Novel Limiter with Application in Crest Factor Reduction Techniques for Wireless Communications.
Proceedings of the 31st Symposium on Integrated Circuits and Systems Design, 2018
A Model-Based Approach for Analyzing the Autonomy Levels for Cyber-Physical Systems-of-Systems.
Proceedings of the 8th Latin-American Symposium on Dependable Computing, 2018
Machine Learning Application to Quantify the Tremor Level for Parkinson's Disease Patients.
Proceedings of the CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018, 2018
2016
A Hypermedia-based Adaptive Educational System for Assisting Students in Systems and Information Technology Domain for Accountability.
Proceedings of the New Advances in Information Systems and Technologies, 2016
Arguing effectiveness of biomedical signal acquisition devices using colored Petri Nets models and assurance cases in GSN: An ECG case study.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016
A Game-Based Approach to Monitor Parkinson's Disease: The Bradykinesia Symptom Classification.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016
A Gait Analysis Approach to Track Parkinson's Disease Evolution Using Principal Component Analysis.
Proceedings of the 29th IEEE International Symposium on Computer-Based Medical Systems, 2016
2015
A Colored Petri Nets model of the risk management process based on the ISO 14971 standard.
Proceedings of the IECON 2015, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
Proceedings of the 17th International Conference on E-health Networking, 2015
2014
Using Colored Petri Nets for the requirements engineering of a surface electrogastrography system.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014
Towards medical device certification: A colored Petri Nets model of a surface electrocardiography device.
Proceedings of the IECON 2014 - 40th Annual Conference of the IEEE Industrial Electronics Society, Dallas, TX, USA, October 29, 2014
2013
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013
2012
Proceedings of the Foundations of Health Information Engineering and Systems, 2012
2011
A User-Centered Approach for the Development of a Pervasive Mobile Tool for Health Care.
Proceedings of the ENTERprise Information Systems - International Conference, 2011
2009
An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems.
Proceedings of the Innovations in Information Systems Modeling, 2009
2008
Formal specification of DSP gateway for data transmission between processor cores of OMAP platform.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
An infrastructure for developing context aware applications in pervasive environments.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications.
Proceedings of the 13th IEEE Symposium on Computers and Communications (ISCC 2008), 2008
2007
Formal modelling and verification of a component model using coloured petri nets and model checking.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007
Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2007
2006
Proceedings of the Computer Aided Verification, 18th International Conference, 2006
2005
A Model-Based Approach to Formal Specification and Verification of Embedded Systems Using Colored Petri Nets.
Proceedings of the Component-Based Software Development for Embedded Systems, 2005
Sci. Comput. Program., 2005
Proceedings of the 2nd Brazilian Symposium on Information Systems, 2005
Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005
2004
A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets.
Proceedings of the Software Engineering for Multi-Agent Systems III, 2004
2003
Formal Verification of Component-Based Software Systems.
Proceedings of the New Technologies for Information Systems, 2003