Leandro Dias da Silva - Publications

Federal University of Campina Grande
Department of Electrical Engineering


Journal:

SILVA, L. D., PERKUSICH, A. Composition of Software Artifacts Modelled Using Coloured Petri Nets. In: Journal of Science of Computer Programming (Elsevier), 2005.

Book Chapter:

SILVA, Leandro Dias da ; OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, Hyggo Oliveira de ; PERKUSICH, Angelo . An Agent Based Formal Approach for Modeling and Verifying Integrated Intelligent Information Systems. In: Xuan Zha. (Org.). Artificial Intelligence and Integrated Intelligent Information Systems: Emerging Technologies and Applications. Hershey, PA, EUA: Idea Group Publishing, 2006, v. , p. 292-308.

ALMEIDA, H. O., SILVA, L. D., FERREIRA, Glauber Vinícius Ventura de Melo, LOUREIRO FILHO, Emerson Cavalcante, PERKUSICH, A. Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets. In: In: Aristides Dasso; Ana Funes. (Org.). Verification, Validation and Testing in Software Engineering, Hershey, PA, EUA: Idea Group Publishing, 2006, v. , p. 28-54.

SILVA, L. D., PERKUSICH, A. A Model-Based Approach to Formal Specification and Verification for Embedded Systems Using Coloured Petri Nets. In: Component-Based Software Development for Embedded Systems, LNCS 3778, Springer-Verlag, 2005.

ALMEIDA, H. O., SILVA, L. D., PERKUSICH, A., COSTA, E. B. A Formal Approach for the Modelling and Verification of Multiagent Plans Based on Model Checking and Petri Nets. In: Software Engineering for Multi-Agent Systems III: Research Issues and Practical Applications, LNCS 3390, Springer-Verlag, 2005.

Conference:

OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, Hyggo Oliveira de ; SILVA, Leandro Dias da ; PERKUSICH, Angelo . Formal Modelling and Verification of a Software Component Model using Coloured Petri Nets and Model Checking. In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seoul, Korea. 2007.

de ALFARO, Luca, SILVA, L. D., FAELLA, Marco, LEGAY, Axel, ROY, Pritam, SOREA, Maria. Sociable Interfaces In: FROCOS 2005 - 5th International Workshop on Frontiers of Combining Systems, LNAI 3717, Springer-Verlag, 2005, Vienna.

SILVA, L. D., ALMEIDA, H. O., PERKUSICH, A., BARROS, Péricles Rezende. Model Checking Plans for Flexible Manufacturing Systems. In: IFAC World Congress, 2005, Praga.

ALMEIDA, H. O., SILVA, L. D., PERKUSICH, A. A Formal Approach For Component Based Embedded Software Modelling And Analysis. In: ISIE 2005 - IEEE International Symposium on Industrial Electronics, 2005, Dubrovnik.

ALMEIDA, H. O., OLIVEIRA, Elthon Allex da Silva, BARBOSA, Nádia Milena, BUBLITZ, Frederico Moreira, SILVA, L. D., PERKUSICH, A. Modelagem e Verificação Formal de Sistemas de Informação Baseados em Componentes. In: SBSI 2005 - II Simpósio Brasileiro de Sistemas de Informação, 2005, Florianópolis.

SILVA, L. D., ALMEIDA, H. O., PERKUSICH, A., COSTA, E. B. A Formal Approach for the Verification of Multiagent Plans based on Model Checking and Petri Nets. In: SELMAS 04 - 3rd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems, 2004, Edinburgh, Scotland.

SILVA, L. D., PERKUSICH, A. A Systematic and Formal Approach to the Specification of Flexible Manufacturing Systems Reusing Coloured Petri Nets Models. In: INCOM 04 - 11th IFAC Symposium on Information Control Problems in Manufacturing, 2004, Salvador, Bahia, Brazil.

SILVA, L. D., PERKUSICH, A.Using Virtual Reality to Validate Models of Flexible Manufacturing Systems (In Portuguese) In: VI Brazilian Symposium on Intelligent Automation, 2003, Bauru, São Paulo, Brazil.

SILVA, L. D., ALMEIDA, H. O., PERKUSICH, A. Modelling and Analysis of a Multi-Agent Intelligent Tutoring System Based on Coloured Petri Nets In: The First ACIS International Conference on Software Engineering Research and Applications - SERA, 2003, San Francisco, USA.

SILVA, L. D., PERKUSICH, A. Formal Verification of Component-Based Software Systems In: The First International Workshop on Verification and Validation of Enterprise Information Systems - VVEIS, 2003, Angers, France.

SILVA, L. D., PERKUSICH, A. Systematic Modeling of Flexible Manufacturing Systems (In Portuguese) In: XIV Brazilian Automatic Control Conference, 2002, Natal, Rio Grande do Norte, Brazil.

SILVA, L. D. Systematic Modeling of Flexible Manufacturing Systems Based on Reuse of Coloured Petri Nets Models (In Portuguese). Master Dissertation. Universidade Federal da Paraíba, March/15/2002.

SILVA, L. D., PERKUSICH, A., DISTEFANO, A. L. N. Reuse of Colored Petri Nets Models of Manufacturing Systems (In Portuguese) In: V Brazilian Symposium on Intelligent Automation, 2001, Canela, Rio Grande do Sul, Brazil.

Short Papers / Posters / Tool Papers:

LOUREIRO FILHO, Emerson Cavalcante ; FERREIRA, Glauber Vinícius Ventura de Melo ; OLIVEIRA, Elthon Allex da Silva ; ALMEIDA, Hyggo Oliveira de ; SILVA, Leandro Dias da ; PERKUSICH, Angelo . A Java Code Annotation Approach for Model Checking Software Systems (Poster). In: 22nd Annual ACM Symposium on Applied Computing (ACM SAC'07), 2007, Seul, Korea.

de ALFARO, Luca ; ADLER, B. T. ; RAMAN, V. ; FAELLA, Marco ; LEGAY, Axel ; SILVA, L. D. ; ROY, Pritam . Ticc: A Tool for Interface Compatibility and Composition (Tool Paper). In: Computer-aided Verification, 2006, Seattle. CAV 2006: Computer-aided Verification, 2006.

SILVA, L. D., PERKUSICH, A. Validation of Coloured Petri Net Models Using Virtual Reality: An Application on Flexible Manufacturing Systems (Short Paper - In Portuguese) In: VI Symposium on Virtual Reality, 2003, Ribeirão Petro, São Paulo, Brazil.