Follow
Aniko Costa
Aniko Costa
Universidade Nova de Lisboa, Faculty of Science and Technology
Verified email at fct.unl.pt
Title
Cited by
Cited by
Year
The input-output place-transition petri net class and associated tools
L Gomes, JP Barros, A Costa, R Nunes
2007 5th IEEE International Conference on Industrial Informatics 1, 509-514, 2007
1662007
From Petri net models to VHDL implementation of digital controllers
L Gomes, A Costa, JP Barros, P Lima
IECON 2007-33rd Annual Conference of the IEEE Industrial Electronics Society …, 2007
692007
Modeling formalisms for embedded systems design
L Gomes, J Barros, A Costa
CRC, 2005
532005
Petri net partitioning using net splitting operation
A Costa, L Gomes
2009 7th IEEE International Conference on Industrial Informatics, 204-209, 2009
452009
Prototyping of concurrent control systems with application of Petri nets and comparability graphs
R Wiśniewski, A Karatkevich, M Adamski, A Costa, L Gomes
IEEE Transactions on Control Systems Technology 26 (2), 575-586, 2017
412017
Extending input-output place-transition Petri nets for distributed controller systems development
L Gomes, F Moutinho, F Pereira, J Ribeiro, A Costa, JP Barros
2014 International Conference on Mechatronics and Control (ICMC), 1099-1104, 2014
362014
Dynamic partial reconfiguration of concurrent control systems implemented in FPGA devices
R Wiśniewski, G Bazydło, L Gomes, A Costa
IEEE Transactions on Industrial Informatics 13 (4), 1734-1741, 2017
312017
Towards usage of formal methods within embedded systems co-design
L Gomes, JP Barros, A Costa, R Pais, F Moutinho
2005 IEEE Conference on Emerging Technologies and Factory Automation 1, 4 pp …, 2005
312005
Wind speed and direction measurement based on time of flight ultrasonic anemometer
D Fernandes, L Gomes, A Costa
2017 IEEE 26th International Symposium on Industrial Electronics (ISIE …, 2017
282017
Petri net splitting operation within embedded systems co-design
A Costa, L Gomes
2007 5th IEEE international conference on industrial informatics 1, 503-508, 2007
282007
From use cases to system implementation: Statechart based co-design
L Gomes, A Costa
First ACM and IEEE International Conference on Formal Methods and Models for …, 2003
262003
Petri nets tools framework supporting FPGA-based controller implementations
A Costa, L Gomes, JP Barros, J Oliveira, T Reis
2008 34th Annual Conference of IEEE Industrial Electronics, 2477-2482, 2008
252008
Remote laboratory support for an introductory microprocessor course
L Gomes, A Costa
2005 IEEE International Conference on Microelectronic Systems Education (MSE …, 2005
252005
Checking semantics equivalence of mda transformations in concurrent systems.
PES Barbosa, F Ramalho, JCA de Figueiredo, ADS Junior, A Costa, ...
J. Univers. Comput. Sci. 15 (11), 2196-2224, 2009
242009
Finding learning paths using Petri nets modeling applicable to e-learning platforms
R Campos-Rebelo, A Costa, L Gomes
Technological Innovation for Value Creation: Third IFIP WG 5.5/SOCOLNET …, 2012
212012
Structuring mechanisms in Petri net models: From specification to FPGA-based implementations
MA Adamski, A Karatkevich, M Wegrzyn, L Gomes, JP Barros, A Costa
Design of embedded control systems, 153-166, 2005
202005
From Petri net models to C implementation of digital controllers
L Gomes, R Rebelo, JP Barros, A Costa, R Pais
2010 IEEE International Symposium on Industrial Electronics, 3057-3062, 2010
182010
Improving instrumentation support and control strategies for autonomous sailboats in a regatta contest
L Gomes, A Costa, D Fernandes, H Marques, F Anjos
Robotic Sailing 2016: Proceedings of the 9th International Robotic Sailing …, 2017
172017
A gramática intuitiva, o conhecimento linguístico e o ensino-aprendizagem do género em PE
C Choupina, A Baptista, A Costa
Anais do IV Simpósio Internacional de Ensino da Língua Portuguesa 3 (1), 2014
172014
Ecore representation for extending PNML for Input-Output Place-Transition nets
F Moutinho, L Gomes, F Ramalho, J Figueiredo, JP Barros, P Barbosa, ...
IECON 2010-36th Annual Conference on IEEE Industrial Electronics Society …, 2010
172010
The system can't perform the operation now. Try again later.
Articles 1–20