This directory contains postscript and PDF files of articles that may be covered by copyright. You may browse the articles at your convenience (in the same spirit as you may read a journal or a proceeding article in a public library). Retrieving, copying, distributing these files may violate the copyright protection law. We recommend that the user abides international law in accessing this directory.
K. V. Oliveira, K. Gorgônio, A. Perkusich, A. M. N. Lima, and L. D. da Silva. Automatic Timed Automata Extraction from Ladder Programs for Model-Based Analysis of Control Systems. In H. Mouratidis, editor, Software Engineering for Secure Systems: Industrial and Research Perspectives, pages 305-328. IGI Global, Hershey, USA, 2010. [ bib | DOI | http ]
A Perkusich, K. C. Gorgônio, and H. O. de Almeida. Qt Apps and Native Symbian Extensions. In Frank H P Fitzek, Tommi Mikkonen, and Tony Torp, editors, Qt For Symbian, chapter 6, pages 95-116. John Wiley & Sons, Chichester, UK, 1 edition, 2010. [ bib | .html ]
L. D. da Silva, K. Gorgônio, and A. Perkusich. Petri Nets for Component-based Software Systems Development. In Vedran Kordic, editor, Petri Net, Theory and Applications, chapter 21, pages 471-496. I-Tech Education and Publishing, Vienna, Austria, February 2008. [ bib | DOI | http ]