Follow
Leandro Dias da Silva
Title
Cited by
Cited by
Year
Sociable interfaces
L Alfaro, LD Silva, M Faella, A Legay, P Roy, M Sorea
International Workshop on Frontiers of Combining Systems, 81-105, 2005
722005
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L Alfaro, LDD Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
562006
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), 1-14, 2018
412018
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
292020
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
292008
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 (2), 1467-1485, 2019
182019
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
162018
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
Kidney biopsy in human schistosomiasis. An ultrastructural study.(Preliminary report.).
TD Brito, DD Boni, JD Lopes, LD Da Silva
Revista do Instituto de Medicina Tropical de Sao Paulo 11 (1), 1969
161969
Determinação de períodos secos e chuvosos em duas microrregiões da Paraíba através da técnica dos quantis
HA Almeida, RC Freitas, L SILVA
Revista de Geografia (UFPE) 30 (1), 217-232, 2013
152013
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
152011
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
142014
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
Classification models for COVID-19 test prioritization in Brazil: machine learning approach
ÍV dos Santos Santana, ACM da Silveira, Á Sobrinho, LC e Silva, ...
Journal of medical Internet research 23 (4), e27293, 2021
122021
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 framework for modeling and simulating Aedes aegypti and dengue fever dynamics
T Lima, T Carneiro, L Silva, R Lana, C Codeço, I Reis, R Maretto, ...
Proceedings of the Winter Simulation Conference 2014, 1481-1492, 2014
112014
Formal Verification of Component-Based Software Systems.
LD da Silva, A Perkusich
NDDL/VVEIS, 113-124, 2003
112003
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 Barros Costa
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
102004
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
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
The system can't perform the operation now. Try again later.
Articles 1–20