Items where Author is "Barros, João Paulo"

Conference or Workshop Item

Ribeiro, Jose and Moutinho, Filipe and Pereira, Fernando and Barros, João Paulo and Gomes, Luís (2011) An Ecore based Petri net type definition for PNML IOPT models. [Paper]. In: 2011 9th IEEE International Conference on Industrial Informatics, July 26-29, 2011, Caparica, Lisbon, Portugal. URL: http://dx.doi.org/10.1109/INDIN.2011.6034992. (ISI Web of Science).

Moutinho, Filipe and Gomes, Luís and Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Figueiredo, Jorge and Costa, Anikó and Monteiro, André (2011) Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_26. (ISI Web of Science).

Barbosa, Paulo and Barros, João Paulo and Ramalho, Franklin and Gomes, Luís and Figueiredo, Jorge and Moutinho, Filipe and Costa, Anikó and Aranha, André (2011) SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_28. (ISI Web of Science).

Pais, Rui and Gomes, Luís and Barros, João Paulo (2011) Towards Statecharts to Input-Output Place Transition Nets Transformations. [Paper]. In: Doctoral Conference on Computing, Electrical and Industrial Systems - DoCEIS'11, 21-23 February, 2011, Costa de Caparica, Lisbon - Portugal. URL: http://dx.doi.org/10.1007/978-3-642-19170-1_25. (ISI Web of Science).

Gomes, Luís and Rebelo, Rogério and Barros, João Paulo and Costa, Anikó and Pais, Rui (2010) From Petri net models to C implementation of digital controllers. [Paper]. In: ISIE’2010 - IEEE International Symposium on Industrial Electronics, 4-7 July 2010, Bari, Italy. URL: http://dx.doi.org/10.1109/IECON.2007.4460403. (ISI Web of Science, Citations: 1).