| 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 | 171 | 2007 |
| 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 | 72 | 2007 |
| Modeling formalisms for embedded systems design L Gomes, J Barros, A Costa CRC, 2005 | 56 | 2005 |
| Petri net partitioning using net splitting operation A Costa, L Gomes 2009 7th IEEE International Conference on Industrial Informatics, 204-209, 2009 | 45 | 2009 |
| 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 | 43 | 2017 |
| 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 | 39 | 2014 |
| 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 | 35 | 2017 |
| 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 | 32 | 2017 |
| 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 | 31 | 2005 |
| 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 | 28 | 2007 |
| Remote laboratory support for an introductory microprocessor course L Gomes, A Costa 2005 IEEE International Conference on Microelectronic Systems Education (MSE …, 2005 | 27 | 2005 |
| 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 | 26 | 2008 |
| 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 | 26 | 2003 |
| 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 | 24 | 2009 |
| IOPT-Tools–From executable models to automatic code generation for embedded controllers development F Pereira, F Moutinho, A Costa, JP Barros, R Campos-Rebelo, L Gomes International Conference on Applications and Theory of Petri Nets and …, 2022 | 22 | 2022 |
| 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 | 22 | 2012 |
| 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 | 20 | 2005 |
| 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 | 19 | 2010 |
| 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 | 18 | 2017 |
| SysVeritas: a framework for verifying IOPT nets and execution semantics within embedded systems design P Barbosa, JP Barros, F Ramalho, L Gomes, J Figueiredo, F Moutinho, ... Technological Innovation for Sustainability: Second IFIP WG 5.5/SOCOLNET …, 2011 | 18 | 2011 |
Luis GomesUniversidade Nova de Lisboa / UNINOVA確認したメール アドレス: fct.unl.pt
