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
Ticc: A Tool for Interface Compatibility and Composition
BT Adler, L De Alfaro, LD Da Silva, M Faella, A Legay, V Raman, P Roy
International Conference on Computer Aided Verification, 59-62, 2006
542006
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
252008
Pritam Roy, Maria Sorea, Invited contribution: sociable interfaces
L de Alfaro, LD da Silva, M Faella, A Legay
Proceedings of the 5th international conference on Frontiers of Combining …, 2005
252005
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
Composition of software artifacts modelled using colored Petri nets
LD da Silva, A Perkusich
Science of Computer Programming 56 (1-2), 171-189, 2005
152005
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
141969
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
132018
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
122007
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
102014
A formal approach for the modelling and verification of multiagent plans based on model checking and Petri nets
HO de Almeida, LD da Silva, A Perkusich, E de Barros Costa
International Workshop on Software Engineering for Large-Scale Multi-agent …, 2004
102004
Formal Verification of Component-Based Software Systems.
LD da Silva, A Perkusich
NDDL/VVEIS, 113-124, 2003
102003
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
92014
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
82019
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
8*2011
A formal approach for component based embedded software modelling and analysis
HO Almeida, LD da Silva, E Oliveira, A Perkusich
Proceedings of the IEEE International Symposium on Industrial Electronics …, 2005
82005
A mobile assistant to aid early detection of chronic kidney disease
ÁACC Sobrinho, LD da Silva, LM de Medeiros, ME Pinheiro
Information Systems and Technologies for Enhancing Health and Social Care …, 2013
72013
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
72007
A model-based approach to formal specification and verification of embedded systems using colored petri nets
LD da Silva, A Perkusich
Component-based software development for embedded systems, 35-58, 2005
62005
Modelling and analysis of a multi-agent intelligent tutoring system based on coloured petri nets
LD da Silva, A Perkusich, HO de Almeida, E de Barros Costa
ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND …, 2003
62003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20