2
TITLE: From SysML State Machines to Petri Nets Using ATL Transformations
AUTHORS: Rui Pais; Joao Paulo Barros; Luis Gomes;
PUBLISHED: 2014, SOURCE: 5th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems (DoCEIS) in TECHNOLOGICAL INNOVATION FOR COLLECTIVE AWARENESS SYSTEMS, VOLUME: 423
INDEXED IN: WOS
3
TITLE: Towards Statecharts to Input-Output Place Transition Nets Transformations
AUTHORS: Rui Pais; Luis Gomes ; Joao Paulo Barros ;
PUBLISHED: 2011, SOURCE: 2nd IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems in TECHNOLOGICAL INNOVATION FOR SUSTAINABILITY, VOLUME: 349
INDEXED IN: Scopus WOS CrossRef
4
TITLE: Ecore Representation for Extending PNML for Input-Output Place-Transition Nets  Full Text
AUTHORS: Filipe Moutinho; Luis Gomes ; Franklin Ramalho; Jorge Figueiredo; Joao Paulo Barros ; Paulo Barbosa; Rui Pais; Aniko Costa ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY
INDEXED IN: Scopus WOS CrossRef
5
TITLE: Petri net based building automation and monitoring system
AUTHORS: Luis Gomes ; Aniko Costa ; Joao Paulo Barros ; Rui Pais; Tiago Rodrigues; Richard Ferreira;
PUBLISHED: 2007, SOURCE: 5th IEEE International Conference on Industrial Informatics in 2007 5TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, VOLUME: 1
INDEXED IN: Scopus WOS CrossRef
6
TITLE: Towards usage of formal methods within embedded systems co-design
AUTHORS: Luis Gomes ; Joao Paulo Barros ; Aniko Costa ; Rui Pais; Filipe Moutinho;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, VOLUME: 1 2 VOLS
INDEXED IN: Scopus WOS
7
TITLE: A tool for tailored code generation from Petri net models
AUTHORS: Rui Pais; Joao Paulo Barros ; Luis Gomes ;
PUBLISHED: 2005, SOURCE: 10th IEEE International Conference on Emerging Technologies and Factory Automation in ETFA 2005: 10th IEEE International Conference on Emerging Technologies and Factory Automation, Vol 1, Pts 1 and 2, Proceedings, VOLUME: 1 2 VOLS
INDEXED IN: Scopus WOS
8
TITLE: Two possible approaches for an intermediate GUI course
AUTHORS: Pais, R; Barros, JP ;
PUBLISHED: 2005, SOURCE: ITiCSE 2005: 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education in Proceedings of the 10th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education
INDEXED IN: Scopus CrossRef