Publications

Export 58 results:
Sort by: [ Author  (Desc)] Title Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
C
Campos-Rebelo, Rogério, Anikó Costa, and Luís Gomes. "Elementary Events for Modeling of Human-System Interactions with Petri Net Models." Technological Innovation for Collective Awareness Systems - 5th {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2014, Costa de Caparica, Portugal, April 7-9, 2014. Proceedings. 2014. 219-226. Abstract

n/a

B
Borza, Paul Nicolae, Gheorghe Scutaru, Lu{\'ı}s Gomes, Anikó Costa, and Laszlo Lazar. "Implementation of a remote and virtual laboratory in the field of home appliance systems." e-learning and Virtual and Remote Laboratories, Proceedings of the 1st International Workshop on e-learning and Virtual and Remote Laboratories, {VIRTUAL-LAB} 2004, In conjunction with {ICINCO} 2004, Setúbal, Portugal, August 2004. 2004. 60-68. Abstract
n/a
Barbosa, Paulo E. S., João Paulo Barros, Franklin Ramalho, Lu{\'ı}s Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, and André Aranha. "SysVeritas: {A} Framework for Verifying {IOPT} Nets and Execution Semantics within Embedded Systems Design." Technological Innovation for Sustainability - Second {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2011, Costa de Caparica, Portugal, February 21-23, 2011. Proceedings. 2011. 256-265. Abstract
n/a
Barbosa, Paulo E. S., Franklin Ramalho, Jorge C. A. de Figueiredo, Antonio D. S. dos Junior, Anikó Costa, and Lu\'ıs Gomes. "Checking Semantics Equivalence of MDA Transformations in Concurrent Systems." J. UCS. 15 (2009): 2196-2224. Abstract
n/a
Barbosa, Paulo E. S., Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Lu\'ıs Gomes, and Antônio Junior. "Semantic Equations for Formal Models in the Model-Driven Architecture." DoCEIS. 2010. 251-260. Abstract
n/a
Barbosa, Paulo E. S., Anikó Costa, Jorge Figueiredo, Franklin Ramalho, Lu\'ıs Gomes, and Antônio Junior. "Modeling Complex Petri Nets Operations in the Model-Driven Architecture." IECON'2009 - 35th Annual Conference of the IEEE Industrial Electronics Society. Alfandega Congress Center, Porto, Portugal 2009. Abstract
n/a
Barbosa, Paulo E. S., Anikó Costa, Lu\'ıs Gomes, Franklin Ramalho, Jorge Figueiredo, and Antônio Junior. "{A MDA-based Contribution for Integrating Web Services within Embedded System's Design}." 8{\textsuperscript{th}} IEEE International Conference on Industrial Informatics (INDIN 2010). 2010. Abstract
n/a
-
-, Rogério Campos, Anikó Costa, and Lu{\'ı}s Gomes. "Finding Learning Paths Using Petri Nets Modeling Applicable to E-Learning Platforms." Technological Innovation for Value Creation - Third {IFIP} {WG} 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2012, Costa de Caparica, Portugal, February 27-29, 2012. Proceedings. 2012. 151-160. Abstract
n/a