Volgen
Leandro Dias da Silva
Titel
Geciteerd door
Geciteerd door
Jaar
Sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay, P Roy, M Sorea
International Workshop on Frontiers of Combining Systems, 81-105, 2005
722005
Design and evaluation of a mobile application to assist the self-monitoring of the chronic kidney disease in developing countries
A Sobrinho, LD da Silva, A Perkusich, ME Pinheiro, P Cunha
BMC medical informatics and decision making 18, 1-14, 2018
642018
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006
562006
Computer-aided diagnosis of chronic kidney disease in developing countries: A comparative analysis of machine learning techniques
A Sobrinho, ACMDS Queiroz, LD Da Silva, EDB Costa, ME Pinheiro, ...
IEEE Access 8, 25407-25419, 2020
522020
On the automatic generation of timed automata models from function block diagrams for safety instrumented systems
LD da Silva, LP de Assis Barbosa, K Gorgônio, A Perkusich, AMN Lima
2008 34th Annual Conference of IEEE Industrial Electronics, 291-296, 2008
322008
Machine learning application to quantify the tremor level for Parkinson’s disease patients
TÍ Pedrosa, FF Vasconcelos, L Medeiros, LD Silva
Procedia computer science 138, 215-220, 2018
232018
Formal modeling of biomedical signal acquisition systems: source of evidence for certification
A Sobrinho, LD da Silva, A Perkusich, P Cunha, T Cordeiro, AMN Lima
Software & Systems Modeling 18, 1467-1485, 2019
222019
Exploring early prediction of chronic kidney disease using machine learning algorithms for small and imbalanced datasets
ACM Silveira, Á Sobrinho, LD Silva, EB Costa, ME Pinheiro, A Perkusich
Applied Sciences 12 (7), 3673, 2022
202022
Classification models for COVID-19 test prioritization in Brazil: Machine learning approach
Í Viana dos Santos Santana, A CM da Silveira, Á Sobrinho, ...
Journal of medical Internet research 23 (4), e27293, 2021
202021
Obtaining formal models from ladder diagrams
EA da Silva Oliveira, LD da Silva, K Gorgônio, A Perkusich, AF Martins
2011 9th IEEE International Conference on Industrial Informatics, 796-801, 2011
172011
Towards medical device certification: A colored petri nets model of a surface electrocardiography device
A Sobrinho, A Perkusich, LD da Silva, T Cordeiro, J Rêgo, P Cunha
IECON 2014-40th Annual Conference of the IEEE Industrial Electronics Society …, 2014
162014
Composition of software artifacts modelled using colored Petri nets
LD da Silva, A Perkusich
Science of Computer Programming 56 (1-2), 171-189, 2005
162005
On the automatic generation of timed automata models from isa 5.2 diagrams
LP de Assis Barbosa, K Gorgônio, AMN Lima, A Perkusich, LD da Silva
2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA …, 2007
142007
Using colored petri nets for the requirements engineering of a surface electrogastrography system
Á Sobrinho, A Perkusich, LD da Silva, P Cunha
2014 12th IEEE International Conference on Industrial Informatics (INDIN …, 2014
122014
A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
H Oliveira de Almeida, L Dias da Silva, A Perkusich, E de Barros Costa
Software Engineering for Multi-Agent Systems III: Research Issues and …, 2005
102005
Formal Verification of Component-Based Software Systems.
LD da Silva, A Perkusich
NDDL/VVEIS, 113-124, 2003
102003
A simulation approach to certify electrocardiography devices
Á Sobrinho, P Cunha, LD da Silva, A Perkusich, T Cordeiro, J Rêgo
2015 17th International Conference on E-health Networking, Application …, 2015
92015
Automatic timed automata extraction from ladder programs for model-based analysis of control systems
K Oliveira, K Gorgônio, A Perkusich, A Lima, LD da Silva
Software Engineering for Secure Systems: Industrial and Research …, 2011
9*2011
Pavimentos aeroportuários: análise de soluções rígidas e de soluções flexíveis
LFA da Silva
PQDT-Global, 2009
92009
Formal modelling and verification of a component model using coloured petri nets and model checking
E Oliveira, H Almeida, L Silva
Proceedings of the 2007 ACM symposium on Applied computing, 1427-1431, 2007
92007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20