Publications‎ > ‎Conference papers‎ > ‎

inproceedings.bib

Disclaimer
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.

inproceedings.bib

@inproceedings{Barbosa2007a,
  address = {Patras, Greece},
  author = {Barbosa, L. P. A. and Gorg\^{o}nio, K. and Lima, A. M. N. and Perkusich, A. and da Silva, L. D.},
  booktitle = {2007 IEEE Conference on Emerging Technologies \& Factory Automation (EFTA 2007)},
  doi = {10.1109/EFTA.2007.4416796},
  isbn = {978-1-4244-0825-2},
  month = sep,
  pages = {406--412},
  publisher = {IEEE},
  title = {{On the automatic generation of timed automata models from ISA 5.2 diagrams}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4416796},
  year = {2007}
}
@inproceedings{Cortadella2005a,
  address = {St. Malo, France},
  author = {Cortadella, J. and Gorg\^{o}nio, K. and Xia, F. and Yakovlev, A.},
  booktitle = {Fifth International Conference on Application of Concurrency to System Design (ACSD'05)},
  doi = {10.1109/ACSD.2005.5},
  isbn = {0-7695-2363-3},
  month = jun,
  pages = {166--175},
  publisher = {IEEE Computer Society},
  title = {{Automating Synthesis of Asynchronous Communication Mechanisms}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=1508141},
  year = {2005}
}
@inproceedings{DaSilva2008a,
  address = {Orlando, USA},
  author = {da Silva, L. D. and Barbosa, L. P. A. and Gorg\^{o}nio, K. and Perkusich, A. and Lima, A. M. N.},
  booktitle = {2008 34th Annual Conference of IEEE Industrial Electronics},
  doi = {10.1109/IECON.2008.4757968},
  isbn = {978-1-4244-1767-4},
  month = nov,
  pages = {291--296},
  publisher = {IEEE},
  title = {{On the automatic generation of timed automata models from Function Block Diagrams for safety instrumented systems}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4757968},
  year = {2008}
}
@inproceedings{DaSilva2008b,
  address = {Juiz de Fora, Brasil},
  author = {da Silva, L. D. and Barbosa, L. P. A. and Gorg\^{o}nio, K. and Perkusich, A. and Lima, A. M. N.},
  booktitle = {Anais do XVII Congresso Brasileiro de Autom\'{a}tica (CBA 2008)},
  month = jul,
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{Gera\c{c}\~{a}o Autom\'{a}tica de Aut\^{o}matos Temporizados para Diagramas de Blocos Funcionais}},
  year = {2008}
}
@inproceedings{deSales2008a,
  address = {Valencia, Spain},
  author = {de Sales, T. B. M. and de Sales, L. M. and Pereira, M. and Almeida, H. and Perkusich, A. and Gorg\^{o}nio, K. and {de Sales Jr.}, M. A.},
  booktitle = {2008 The Second International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies},
  doi = {10.1109/UBICOMM.2008.87},
  isbn = {978-0-7695-3367-4},
  month = sep,
  pages = {206--211},
  publisher = {IEEE},
  title = {{Towards the UPnP-UP: Enabling User Profile to Support Customized Services in UPnP Networks}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4641337},
  year = {2008}
}
@inproceedings{deSales2013a,
  address = {Las Vegas},
  author = {de Sales, L. and Gorg\^{o}nio, K. and Almeida, H. and Perkusich, A.},
  booktitle = {2013 IEEE International Conference on Consumer Electronics (ICCE)},
  doi = {10.1109/ICCE.2013.6487067},
  isbn = {978-1-4673-1363-6},
  keywords = {CDN servers,CDN-P2P live streaming systems,Conference papers,fair peer selection,media streaming,peer-to-peer computing,residential users,upload bandwidth},
  month = jan,
  pages = {673--674},
  publisher = {IEEE},
  title = {{About encouraging residential users to share upload bandwidth with CDN/P2P live streaming systems}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6487067},
  year = {2013}
}
@inproceedings{Gorgonio2000a,
  address = {Jo\~{a}o Pessoa, Brasil},
  author = {Gorg\^{o}nio, K. C. and Perkusich, A.},
  booktitle = {III Workshop de M\'{e}todos Formais},
  month = oct,
  pages = {139--144},
  title = {{S\'{\i}ntese de Especifica\c{c}\~{o}es em Redes de Petri para Componentes de Software}},
  year = {2000}
}
@inproceedings{Gorgonio2002a,
  address = {Austin, USA},
  author = {Gorg\^{o}nio, K. C. and Perkusich, A.},
  booktitle = {Software Reuse: Methods, Techniques and Tools. VII International Conference on Software Reuse},
  editor = {Gacek, C.},
  isbn = {3-540-43483-6},
  month = apr,
  number = {2319},
  pages = {240--254},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Computer Science},
  title = {{Adaptation of Coloured Petri Nets Models of Software Artifacts for Reuse}},
  year = {2002}
}
@inproceedings{Gorgonio2007b,
  address = {Berlin, Heidelberg},
  author = {Gorg\^{o}nio, K. and Cortadella, J. and Xia, F.},
  booktitle = {28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2007)},
  doi = {10.1007/978-3-540-73094-1},
  editor = {Kleijn, Jetty and Yakovlev, Alex},
  isbn = {978-3-540-73093-4},
  number = {4546},
  pages = {144--163},
  publisher = {Springer Berlin Heidelberg},
  series = {Lecture Notes in Computer Science},
  title = {{A compositional method for the synthesis of Asynchronous Communication Mechanisms}},
  url = {http://www.springerlink.com/index/10.1007/978-3-540-73094-1},
  year = {2007}
}
@inproceedings{Gorgonio2008b,
  address = {Xi'an, China},
  author = {Gorg\^{o}nio, K. and Xia, F.},
  booktitle = {2008 8th International Conference on Application of Concurrency to System Design},
  doi = {10.1109/ACSD.2008.4574605},
  isbn = {978-1-4244-1838-1},
  month = jun,
  pages = {138--147},
  publisher = {IEEE},
  title = {{Modeling and verifying asynchronous communication mechanisms using coloured Petri nets}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4574605},
  year = {2008}
}
@inproceedings{Gorgonio2008c,
  address = {Punta Arenas, Chile},
  author = {Gorg\^{o}nio, K. and Cortadella, J.},
  booktitle = {2008 International Conference of the Chilean Computer Science Society},
  doi = {10.1109/SCCC.2008.21},
  isbn = {978-0-7695-3403-9},
  month = nov,
  pages = {135--143},
  publisher = {IEEE},
  title = {{Hardware Synthesis for Asynchronous Communications Mechanisms}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4685773},
  year = {2008}
}
@inproceedings{Lima2009a,
  address = {Las Vegas, USA},
  author = {Lima, M. A. M. and Santos, G. G. and Morais, M. R. A. and Gorg\^{o}nio, K. C. and Perkusich, A.},
  booktitle = {2009 Digest of Technical Papers International Conference on Consumer Electronics},
  doi = {10.1109/ICCE.2009.5012390},
  isbn = {978-1-4244-2558-7},
  month = jan,
  pages = {1--2},
  publisher = {IEEE},
  title = {{CleveRemote Adaptive environments using Bluetooth/infrared transceivers}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5012390},
  year = {2009}
}
@inproceedings{Luiz2008a,
  address = {Juiz de Fora, Brazil},
  author = {Luiz, S. O. D. and Perkusich, A. and Lima, A. M. N. and Gorg\^{o}nio, K.},
  booktitle = {Anais do XVII Congresso Brasileiro de Autom\'{a}tica (CBA 2008)},
  month = jul,
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{T\'{e}cnica de gerenciamento din\^{a}mico de energia orientada \`{a} autonomia da bateria para sistemas embarcados}},
  year = {2008}
}
@inproceedings{Mauricio2009a,
  address = {Split-Hvar-Korcula, Croatia},
  author = {{Maur\'{\i}cio Neto}, J. and {da Rocha Neto}, J. S. and Gorg\^{o}nio, K. and Perkusich, A.},
  booktitle = {Workshop on Information and Communication Technologies I - 17 International Conference on Software Telecommunicatios \& Computer Networks (SofCOM)},
  title = {{Modeling CSMA-CA protocol with Coloured Petri Nets forWireless Sensor Networks Applications}},
  year = {2009}
}
@inproceedings{Nogueira2013a,
  author = {Nogueira, C. and Bublitz, F. M. and de Almeida, H. O. and Gorg\^{o}nio, K. C. and Perkusich, A.},
  booktitle = {Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on},
  doi = {10.1109/WiMOB.2013.6673375},
  issn = {2160-4886},
  pages = {291--296},
  title = {{Framework for developing applications for remote monitoring of people with dementia}},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=\&arnumber=6673375\&queryText\%3Dkyller+gorgonio},
  year = {2013}
}
@inproceedings{Oliveira2008a,
  address = {Marrakech, Morroco},
  author = {Oliveira, L. and Gorg\^{o}nio, K. and Perkusich, A. and da Silva, L. D.},
  booktitle = {2008 IEEE Symposium on Computers and Communications},
  doi = {10.1109/ISCC.2008.4625664},
  isbn = {978-1-4244-2702-4},
  issn = {1530-1346},
  month = jul,
  pages = {631--636},
  publisher = {IEEE},
  title = {{Pitfalls and tradeoffs on dealing with handoff management in bluetooth-based WPANs for real-time applications}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4625664},
  year = {2008}
}
@inproceedings{Oliveira2008b,
  address = {Split -- Dubrovnik, Croatia},
  author = {Oliveira, L. and Rodrigues, A. and Gorg\^{o}nio, K. and Perkusich, A.},
  booktitle = {2008 16th International Conference on Software, Telecommunications and Computer Networks},
  doi = {10.1109/SOFTCOM.2008.4669475},
  isbn = {978-953-6114-97-9},
  month = sep,
  pages = {179--183},
  publisher = {IEEE},
  title = {{Specification and analysis of a Bluetooth handoff protocol for real-time applications}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=4669475},
  year = {2008}
}
@inproceedings{Oliveira2009a,
  address = {Bras\'{\i}lia, Brasil},
  author = {Oliveira, K. V. and Gorg\^{o}nio, K. and Perkusich, A. and Lima, A. M. N. and da Silva, L. D.},
  booktitle = {Anais do IX Simp\'{o}sio Brasileiro de Automa\c{c}\~{a}o Inteligente},
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{Extra\c{c}\~{a}o Autom\'{a}tica de Aut\^{o}matos Temporizados a Partir de Diagramas Ladder}},
  year = {2009}
}
@inproceedings{Oliveira2010a,
  address = {Bonito, Brasil},
  author = {Oliveira, K. V. and da Silva, L. D. and Perkusich, A. and Lima, A. M. N. and Gorg\^{o}nio, K.},
  booktitle = {Anais do CBA 2010},
  pages = {2995--3001},
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{Gera\c{c}\~{a}o Autom\'{a}tica de Testes de Conformidade para Programas de Controladores L\'{o}gicos program\'{a}veis}},
  year = {2010}
}
@inproceedings{Oliveira2010b,
  address = {Vi\~{n}a del Mar - Valpara\'{\i}so, Chile},
  author = {Oliveira, K. V. and Perkusich, A. and Lima, A. M. N. and Gorg\^{o}nio, K. and da Silva, L. D.},
  booktitle = {2010 IEEE International Conference on Industrial Technology},
  doi = {10.1109/ICIT.2010.5472509},
  isbn = {978-1-4244-5695-6},
  pages = {1655--1660},
  publisher = {IEEE},
  title = {{Standard-based formal validation of Programmable Logic Controller programs}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5472509},
  year = {2010}
}
@inproceedings{Oliveira2010d,
  address = {Bari, Italy},
  author = {Oliveira, K. V. and da Silva, L. D. and Perkusich, A. and Lima, A. M. N. and Gorg\^{o}nio, K.},
  booktitle = {2010 IEEE International Symposium on Industrial Electronics},
  doi = {10.1109/ISIE.2010.5637890},
  isbn = {978-1-4244-6390-9},
  month = jul,
  pages = {90--95},
  publisher = {IEEE},
  title = {{Automatic timed automata extraction from ladder programs for model-based analysis of control systems}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5637890},
  year = {2010}
}
@inproceedings{Oliveira2011a,
  address = {S\~{a}o Jo\~{a}o del-Rei, Brasil},
  author = {Oliveira, E. A. S. and da Silva, L. D. and Gorg\^{o}nio, K. and Perkusich, A. and Lima, A. M. N.},
  booktitle = {Anais do X Simp\'{o}sio Brasileiro de Automa\c{c}\~{a}o Inteligente},
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{Convertendo diagramas Ladder em modelos de Redes de Petri Coloridas}},
  year = {2011}
}
@inproceedings{Oliveira2011b,
  author = {Oliveira, E. A. S. and da Silva, L. D. and Gorg\^{o}nio, K. and Perkusich, A and Martins, A. F.},
  booktitle = {2011 9th IEEE International Conference on Industrial Informatics},
  doi = {10.1109/INDIN.2011.6034994},
  isbn = {978-1-4577-0435-2},
  month = jul,
  pages = {796--801},
  publisher = {IEEE},
  title = {{Obtaining formal models from Ladder diagrams}},
  url = {http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=6034994},
  year = {2011}
}
@inproceedings{Oliveira2012a,
  address = {Campina Grande, Brasil},
  author = {Oliveira, K. V. and da Silva, L. D. and Perkusich, A. and Gorg\^{o}nio, K. C.},
  booktitle = {Anais do XIX Congresso Brasileiro de Autom\'{a}tica (CBA 2012)},
  isbn = {978-85-8001-069-5},
  pages = {3372--3379},
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{Uma abordagem para a gera\c{c}\~{a}o e execu\c{c}\~{a}o de casos de teste em programa de sistemas instrumentados de seguran\c{c}a}},
  year = {2012}
}
@inproceedings{Oliveira2013a,
  author = {Oliveira, K. V. and Perkusich, A. and Gorg\^{o}nio, K. C. and da Silva, L. D. and Martins, A. F.},
  booktitle = {Emerging Technologies Factory Automation (ETFA), 2013 IEEE 18th Conference on},
  doi = {10.1109/ETFA.2013.6647978},
  issn = {1946-0740},
  keywords = {Automata,Computational modeling,Conference papers,ISA 5.2 diagrams,Input variables,Instruments,PLC,SIS program testing,SIS program verification,Safety,Testing,Valves,automatic testing,automatic testing approach,computerised instrumentation,equivalence classes,error detection,formal specification,formal testing approach,gas industry,gas processing plants,hardware-in-the-loop technique,industrial applications,industrial plants,oil processing plants,petroleum industry,production engineering computing,program testing,program verification,programable logic controller,programmable controllers,safety instrumented systems,safety systems,system specification,test case generation algorithm},
  pages = {1--7},
  title = {{Using equivalence classes for testing programs for safety instrumented systems}},
  url = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6647978\&punumber\%3D6636144\%26sortType\%3Dasc\_p\_Sequence\%26filter\%3DAND\%28p\_IS\_Number\%3A6647927\%29\%26pageNumber\%3D3},
  year = {2013}
}
@inproceedings{Oliveira2013b,
  address = {Fortaleza, CE},
  author = {Oliveira, K. V. and da Silva, L. D. and Perkusich, A. and Gorg\^{o}nio, K. C. and e Silva, L. C.},
  booktitle = {Anais do XI Simp\'{o}sio Brasileiro de Automa\c{c}\~{a}o Inteligente},
  title = {{Utiliza\c{c}\~{a}o de Diagramas de Decis\~{a}o Bin\'{a}ria Ordenados Para Gera\c{c}\~{a}o de Casos de Teste em Sistemas Instrumentados de Seguran\c{c}a}},
  url = {http://www.sbai2013.ufc.br/},
  year = {2013}
}
@inproceedings{Peixoto2010a,
  address = {Bonito, Brasil},
  author = {Peixoto, R. J. S. and da Silva, L. D. and Perkusich, A. and Lima, A. M. N. and Gorg\^{o}nio, K.},
  booktitle = {Anais do CBA 2010},
  pages = {3211--3216},
  publisher = {Sociedade Brasileira de Autom\'{a}tica},
  title = {{GUNGNIR - Uma ferramenta para gera\c{c}\~{a}o e execu\c{c}\~{a}o de testes de conformidade utilizando aut\^{o}matos temporizados}},
  year = {2010}
}
@inproceedings{Perkusich1999a,
  address = {Aarhus, Denmark},
  author = {Perkusich, A. and de Ara\'{u}jo, L. M. and Coelho, R. S. and Gorg\^{o}nio, K. C. and Ribeiro, E. L. G. and Lemos, A. J. P.},
  booktitle = {Second Workshop and Tutorial on Practical Use of Coloured Petri Nets and Design/CPN},
  month = oct,
  organization = {CPN group, University of Aarhus},
  title = {{Design and Animation of Coloured Petri Nets Models for Traffic Signals}},
  year = {1999}
}
@inproceedings{Rached2009a,
  address = {Piscataway, USA},
  author = {Rached, T. and Gorg\^{o}nio, K. and Perkusich, A. and Almeida, H.},
  booktitle = {Proceedings of the 17th International Conference on Software, Telecommunications and Computer Networks},
  isbn = {978-1-4244-4973-6},
  pages = {307--311},
  publisher = {IEEE Press},
  series = {SoftCOM'09},
  title = {{Modeling the UPnP-UP protocol using Coloured Petri Nets}},
  year = {2009}
}

This file was generated by bibtex2html 1.95.

Comments