Filipe Moutinho
Orcid: 0000-0002-0930-7418
According to our database1,
Filipe Moutinho
authored at least 45 papers
between 2005 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
6
7
1
2
2
2
1
1
1
3
2
3
1
4
1
1
3
1
5
6
3
2
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sensors, September, 2024
Proceedings of the Joint Proceedings of RCIS 2024 Workshops and Research Projects Track co-located with the 18th International Conferecence on Research Challenges in Information Science (RCIS 2024), 2024
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024
2023
IEEE Access, 2023
Support Operation and Maintenance of Power Wheelchairs with Digital Twins: The IoT and Cloud-Based Data Exchange.
Proceedings of the Technological Innovation for Connected Cyber Physical Spaces, 2023
Proceedings of the Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), 2023
2022
Digital Twin in the Provision of Power Wheelchairs Context: Support for Technical Phases and Conceptual Model.
Comput., 2022
Vineyard Gap Detection by Convolutional Neural Networks Fed by Multi-Spectral Images.
Algorithms, 2022
Proceedings of the 5th IEEE International Conference on Industrial Cyber-Physical Systems, 2022
Proceedings of the Technological Innovation for Digitalization and Virtualization, 2022
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2022
2021
Remote. Sens., 2021
IEEE Access, 2021
2020
Proceedings of the Technological Innovation for Life Improvement, 2020
2019
Remote. Sens., 2019
GPGPU applied to support the construction of the state-space graphs of IOPT Petri net models.
Proceedings of the IECON 2019, 2019
Proceedings of the IECON 2019, 2019
Proceedings of the IECON 2019, 2019
Proceedings of the IECON 2019, 2019
2018
IEEE Trans. Ind. Informatics, 2018
2017
Reconfigurable devices based experimentation supporting teaching introductory digital systems.
Proceedings of the 15th IEEE International Conference on Industrial Informatics, 2017
2016
Proceedings of the IECON 2016, 2016
2015
Executable models for Embedded Controllers Development - A Cloud Based Development Framework.
Proceedings of the MoDELS 2015 Demo and Poster Session co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Distributed controllers modeling through Petri nets with multi-asynchronous-channels.
Proceedings of the IEEE International Conference on Industrial Technology, 2015
Proceedings of the IEEE International Conference on Industrial Technology, 2015
2014
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling.
IEEE Trans. Ind. Informatics, 2014
Proceedings of the 23rd IEEE International Symposium on Industrial Electronics, 2014
2013
Configuring communication nodes for networked embedded systems specified by Petri nets.
Proceedings of the 22nd IEEE International Symposium on Industrial Electronics, 2013
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.
Proceedings of the Technological Innovation for the Internet of Things, 2013
Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013
IOPT-tools - A Web based tool framework for embedded systems controller development using Petri nets.
Proceedings of the 23rd International Conference on Field programmable Logic and Applications, 2013
Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems, 2013
2012
Model-checking framework for embedded systems controllers development using IOPT Petri nets.
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
Proceedings of the 21st IEEE International Symposium on Industrial Electronics, 2012
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets.
Proceedings of the Technological Innovation for Value Creation, 2012
Proceedings of the Technological Innovation for Value Creation, 2012
Web based IOPT Petri net Editor with an extensible plugin architecture to support generic net operations.
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012
2011
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces.
Proceedings of the Technological Innovation for Sustainability, 2011
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System.
Proceedings of the Technological Innovation for Sustainability, 2011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design.
Proceedings of the Technological Innovation for Sustainability, 2011
2005
Formal methods for Embedded Systems Co-design: the FORDESIGN project.
Proceedings of the 1st International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2005
Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, 2005