Dr. José Reinaldo Silva

University of São Paulo, Brazil

Email: reinaldo@usp.br

Qualifications

1998  Ph.D., University of São Paulo, Brazil

1990  M.Sc., Federal University of Pernambuco, Brazil

Publications (selected)

1. Del Foyo, P.M.G., SILVA, J.R.; Some Issues in Real-time Systems Verification Using Time Petri Nets, to appear in Journal of the Brazilian Society in Mechanical Engineerig, 2010.
2. Vaquero, T.S., SILVA, J.R., BECK, J.C.; it SIMPLE: Towards an Integrated Design System for Real Planning Applications, to appear in Knowledge Engineering Review, Special Issue in Intelligent Planning,2010.
3. Caldeira, M.C., Ferasoli, H., SILVA, J.R.; Towards a Colaborative Base for Human-Robot Interaction, Proc. of Robocontrol, Bauru, Brazil, 2010.
4. Vaquero, T.S., SILVA, J.R., BECK, J.C.; Analysing Plans and Comparing Planners Performance in itSIMPLE 3.1, Proc. of ICAPS 2010.
5. Silva, J.R., Poli Jr., M.A., Pereira, C.S., Machado, J.M.; A Holonic Approach to the Integration of Automated Systems. 20th. Congress of Mechanical Engineering, COBEM 2009, Gramado, Brazil, 2009.
6. Tavares, J.J.P.Z.S., Silva, J.R.; Auto-detecting Exception Based on Petri Nets. Congresso Brasileiro de Engenharia de Fabricação, Belo Horizonte, Brazil, 2009.
7. Vaquero, T.S., Silva, J.R., Ferreira, M., Tonidandel, F., Beck, J.C.; From Requirements and Analysis to PDDL in it SIMPLE 3.0. 19th. Int. Conf. on Automated Planning and Scheduling. Thessaloniki, Grece, 2009.
8. Silva, J.R., Miralles, J.A.SP., Salmon, A.O., Foyo, P.M.G; Introducing Object-Orientation in Unified Petri Net Approach. 20th. Congress of Mechanical Engineering, COBEM 2009, Gramado, Brazil, 2009.
9. Vaquero, T.S., SEtte, F, Silva, J.R., Ferreira, M., Beck, J.C.; Planning & Scheduling of Crude Oil Distribution in a Petroleum Plant. 19th. Int. Conf. on Automated Planning and Scheduling. Thessaloniki, Grece, 2009.
10. SILVA, J. R.; VILLAFRUELA, L. ; PINA, I. B. ; GOMIS, O. ; SUDRIA, A. . Modelling Extended Petri Nets. International Journal of Advanced Manufacturing Technology, v. 34, p. 84-94, 2008.
11. Sette, F., Vaquero, T.S., Park, S.W., Silva, J.R.; Are Automated Planners up to Solve Real Problems? 17th. Int. World Congres of IFAC (Int. Federation of Automatic Control), Seoul, Korea, 2008.
12. Gomes, M.L., Vaquero, T.S., Tonidandel, F., Silva, J.R.; Extracting State Constraints from UML Planning Models. 18th. Int. Conf. on Automated Planning and Scheduling. Sidney, Australia, 2008.
13. Udo, M., Vaquero, T.S., Tonidandel, F., Silva, J.R.; Lean Software Development Domain. 18th. Int. Conf.on Automated Planning and Scheduling. Sidney, Australia, 2008.
14. Sarmento, C.A., Silva, J.R., Miyagi, P.E., Santos Filho, D.J.; Modelign of Programs and its Verification for Programable Logic Controllers. 17th. Int. World Congres of IFAC (Int. Federation of Automatic Control),Seoul, Korea, 2008.
15. Herrera, I.S., Park, S.W., Silva, J.R.; Multi-Agent Control System of a Kraft Recovery Boiler. 17th. Int.World Congres of IFAC (Int. Federation of Automatic Control), Seoul, Korea, 2008.
16. Vaquero, T.S., Tonidandel, F., Silva, J.R.; Suggestions for the Knowledge Engineering Competition, 18th. Int. Conf. on Automated Planning and Scheduling. Sidney, Australia, 2008.
17. Foyo, P.M.G., Silva, J.R.; The Verification of the Time Systems Using the TINA Tool. 17th. Int. World Congres of IFAC (Int. Federation of Automatic Control), Seoul, Korea, 2008.
18. avares, J.J.P.Z.S., Silva, J.R.; Towards an Effective Informed System. In Proc. of the 4th. ICPR America (Int. Conf. of Production Research), São Paulo, Brazil, 2008.
19. Tavares, J.J.P.Z.S., Silva, J.R.; Towards Collaborative Manufacturing with Elementary Petri Nets Inside RFID Database. IFAC/CCA Workshop on Logistics, Santiago, Chile, 2008.
20. Vaquero, T.S., Romero, Romero, V., Tonidandel, F., Silva, J.R.; itSIMPLE 2.0: An Integrated Tool or Designing Planing Domains, Int. Conf. on Automated Planning Systems, Providence, USA, 2007.
21. TAVARES, J.J.P., SILVA, J.R.; Improving Auto-ID Value Generation with Informed Process Based on Petri Nets. 19th Int. Conf. in Production Research, Valparaíso, Chile, July, 2007
22. TAVARES, J.J.P.., SANTOS, M., SILVA, J.R.; Informed Manufacturing: A Contextual Data Network. 3rd. Int. Conference on Production Research – America´s Region, Curitiba, Brazil, 2006.
23. TONIDANDEL, F., VAQUERO, T.S., SILVA, J.R.; Reading PDDL, Writing an Object Oriented Model. Lecture Notes in Computer Science, no. 4140, pg. 532-541, 2006
24. SILVA, J.R., DRIRA, K., ROSARIO, J.M.; A Proposal to Model Collaborative Work: the Case Study of a Research Network. WSEAS Transaction on Information Science and Applications, vol. 3, no. 1, pg. 29-34,January, 2006.