Author Info
Name
Affiliation
Papers
FILIPE MOUTINHO
Univ Nova Lisboa, Fac Ciencias & Tecnol, P-1200 Lisbon, Portugal
15
Collaborators
Citations 
PageRank 
27
50
7.28
Referers 
Referees 
References 
74
169
91
Search Limit
100169
Title
Citations
PageRank
Year
Static and Dynamic Algorithms for Terrain Classification in UAV Aerial Imagery00.342019
Extended Semantic Annotations for Generating Translators in the Arrowhead Framework.10.362018
Reconfigurable devices based experimentation supporting teaching introductory digital systems00.342017
Executable models for Embedded Controllers Development - A Cloud Based Development Framework.00.342015
Asynchronous-Channels Within Petri Net-Based GALS Distributed Embedded Systems Modeling130.682014
Communication support for Petri nets based distributed controllers20.382014
IOPT-tools — A Web based tool framework for embedded systems controller development using Petri nets100.852013
Augmenting High-Level Petri Nets to Support GALS Distributed Embedded Systems Specification.10.362013
Asynchronous-Channels and Time-Domains Extending Petri Nets for GALS Systems.70.662012
A State-Space Based Model-Checking Framework for Embedded System Controllers Specified Using IOPT Petri Nets.00.342012
Automatic Generation of Run-Time Monitoring Capabilities to Petri Nets Based Controllers with Graphical User Interfaces20.482011
SysVeritas: A Framework for Verifying IOPT Nets and Execution Semantics within Embedded Systems Design10.352011
Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System10.432011
Formal methods for Embedded Systems Co-design: the FORDESIGN project40.632005
Towards Usage Of Formal Methods Within Embedded Systems Co-Design80.752005