default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFilipe Moutinho
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j9]Diogo Ferreira, Filipe Moutinho
, João Pedro Matos-Carvalho, Magno Guedes, Pedro Deusdado:
Generic FPGA Pre-Processing Image Library for Industrial Vision Systems. Sensors 24(18): 6101 (2024)- [c35]Fernando Pereira, João-Paulo Barros, Filipe Moutinho, Anikó Costa, Rogério Campos-Rebelo, Luís Gomes:
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers. Petri Nets 2024: 402-412 - [c34]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study. Petri Nets 2024: 413-431 - [c33]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
A Cyber-Physical Social System Approach for User-Centric Power Wheelchairs. RCIS Workshops 2024 - 2023
- [j8]Carolina Lagartinho-Oliveira, Fernando Pereira, Filipe Moutinho, Rogério Campos-Rebelo, Luís Gomes:
Integrated Development of Embedded Systems With Remote Graphical User Interfaces. IEEE Access 11: 63795-63807 (2023) - [c32]Fernando Pereira, Filipe Moutinho, Luís Gomes:
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets. ATAED/PN4TT@Petri Nets 2023 - [c31]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange. DoCEIS 2023: 191-202 - [i1]Afonso Oliveira, João Pedro Matos-Carvalho, Filipe Moutinho, Nuno Fachada:
Multispectral Indices for Wildfire Management. CoRR abs/2309.01751 (2023) - 2022
- [j7]Shazia Sulemane, João Pedro Matos-Carvalho, Dário Pedro, Filipe Moutinho, Sérgio D. Correia:
Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images. Algorithms 15(12): 440 (2022) - [j6]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model. Comput. 11(11): 166 (2022) - [c30]Fernando Pereira, Filipe Moutinho, Anikó Costa, João-Paulo Barros, Rogério Campos-Rebelo, Luís Gomes:
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development. Petri Nets 2022: 127-138 - [c29]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Towards Digital Twin in the Context of Power Wheelchairs Provision and Support. DoCEIS 2022: 95-102 - [c28]Gonçalo Adelino, Rogério Campos-Rebelo, Filipe Moutinho, Pedro Maló:
Management platform for data translators supported by semantic annotations. ICPS 2022: 1-6 - 2021
- [j5]Tomás Almeida, Filipe Moutinho, João Pedro Matos-Carvalho:
Fabric Defect Detection With Deep Learning and False Negative Reduction. IEEE Access 9: 81936-81945 (2021) - [j4]André Vong, João Pedro Matos-Carvalho, Piero Toffanin, Dário Pedro, Fábio Azevedo, Filipe Moutinho, Nuno Cruz Garcia, André Mora:
How to Build a 2D and 3D Aerial Multispectral Map? - All Steps Deeply Explained. Remote. Sens. 13(16): 3227 (2021) - 2020
- [c27]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. DoCEIS 2020: 93-100
2010 – 2019
- 2019
- [j3]João Pedro Matos-Carvalho, Filipe Moutinho, Ana Beatriz Salvado, Tiago Carrasqueira, Rogério Campos-Rebelo, Dário Pedro, Luís Miguel Campos, José Manuel Fonseca, André Mora:
Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery. Remote. Sens. 11(21): 2501 (2019) - [c26]João Almeida, Filipe Moutinho, Rogério Campos-Rebelo:
Asynchronous Interfaces for IOPT-Flow to Support GALS Systems. IECON 2019: 3051-3056 - [c25]Rogério Campos-Rebelo, Filipe Moutinho, Luis Paiva, Pedro Maló:
Annotation Rules for XML Schemas with Grouped Semantic Annotations. IECON 2019: 5469-5474 - [c24]Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes:
GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models. IECON 2019: 5862-5867 - [c23]Daniel Gomes, Rogério Campos-Rebelo, Filipe Moutinho:
Web-based Editor for Signal Interpretation Models. IECON 2019: 5892-5897 - 2018
- [j2]Filipe Moutinho, Luis Paiva, Julius Köpke, Pedro Maló:
Extended Semantic Annotations for Generating Translators in the Arrowhead Framework. IEEE Trans. Ind. Informatics 14(6): 2760-2769 (2018) - 2017
- [c22]Luís Gomes, Anikó Costa, Filipe Moutinho, Pedro Maló:
Reconfigurable devices based experimentation supporting teaching introductory digital systems. INDIN 2017: 539-543 - 2016
- [c21]Filipe Moutinho, Luis Paiva, Pedro Maló, Luís Gomes:
Semantic annotation of data in schemas to support data translations. IECON 2016: 5283-5288 - 2015
- [c20]Filipe Moutinho, José Ribeiro, Luís Gomes:
Distributed controllers modeling through Petri nets with multi-asynchronous-channels. ICIT 2015: 1564-1569 - [c19]Luís Gomes, Anikó Costa, Filipe Moutinho, Ricardo Mota:
Attracting students to engineering through autonomous sailing yacht development. ICIT 2015: 3252-3257 - [c18]Fernando Pereira, Filipe Moutinho, João Paulo Barros, Anikó Costa, Luís Gomes:
Executable models for Embedded Controllers Development - A Cloud Based Development Framework. P&D@MoDELS 2015: 40-43 - 2014
- [j1]Filipe Moutinho, Luís Gomes:
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling. IEEE Trans. Ind. Informatics 10(4): 2024-2033 (2014) - [c17]Edgar M. Silva, Rogério Campos-Rebelo, Takahiro Hirashima, Filipe Moutinho, Pedro Maló, Anikó Costa, Luís Gomes:
Communication support for Petri nets based distributed controllers. ISIE 2014: 1111-1116 - 2013
- [c16]Paulo E. S. Barbosa, Misael Morais, Katia Elizabete Galdino, Melquisedec Andrade, Luís Gomes, Filipe Moutinho, Jorge C. A. de Figueiredo:
Towards medical device behavioural validation using Petri nets. CBMS 2013: 4-10 - [c15]Luís Gomes, Filipe Moutinho, Fernando Pereira:
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets. FPL 2013: 1 - [c14]Filipe Moutinho, Luís Gomes:
Distributed embedded systems design using Petri nets. FPL 2013: 1-2 - [c13]Filipe Moutinho, Luís Gomes:
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification. DoCEIS 2013: 221-228 - [c12]Filipe Moutinho, José Pimenta, Luís Gomes:
Configuring communication nodes for networked embedded systems specified by Petri nets. ISIE 2013: 1-6 - 2012
- [c11]Filipe Moutinho, Luís Gomes:
Extending a net splitting operation for decomposition of high-level Petri nets. IECON 2012: 6120-6125 - [c10]Fernando Pereira, Filipe Moutinho, José Ribeiro, Luís Gomes:
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations. IECON 2012: 6151-6156 - [c9]Fernando Pereira, Filipe Moutinho, Luís Gomes:
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets. DoCEIS 2012: 123-132 - [c8]Filipe Moutinho, Luís Gomes:
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems. DoCEIS 2012: 143-150 - [c7]Filipe Moutinho, Luís Gomes, Anikó Costa, José Pimenta:
Asynchronous wrappers configuration within GALS systems specified by Petri nets. ISIE 2012: 1357-1362 - [c6]Fernando Pereira, Filipe Moutinho, Luís Gomes:
Model-checking framework for embedded systems controllers development using IOPT Petri nets. ISIE 2012: 1399-1404 - 2011
- [c5]Filipe Moutinho, Luís Gomes, Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, André Monteiro:
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System. DoCEIS 2011: 237-245 - [c4]Fernando Pereira, Luís Gomes, Filipe Moutinho:
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces. DoCEIS 2011: 246-255 - [c3]Paulo E. S. Barbosa, João Paulo Barros, Franklin Ramalho, Luís Gomes, Jorge Figueiredo, Filipe Moutinho, Anikó Costa, André Aranha:
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design. DoCEIS 2011: 256-265
2000 – 2009
- 2005
- [c2]Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho:
Towards usage of formal methods within embedded systems co-design. ETFA 2005 - [c1]Luís Gomes, João Paulo Barros, Anikó Costa, Rui Pais, Filipe Moutinho:
Formal methods for Embedded Systems Co-design: the FORDESIGN project. ReCoSoC 2005: 143-150
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 20:36 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
