Concepedia

Fernando Pereira

FP

13

Publications

414

Citations

11

H-Index

1983

Active since

Affiliations

Universidade Nova de Lisboa(Current)

Instituto Politécnico de Lisboa

Instituto Politécnico de Beja

Fernando Pereira is an author at Universidade Nova de Lisboa specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringComputer EngineeringSoftware DesignSystem SoftwareIndustrial InformaticsEmbedded SystemsComputer ArchitectureFormal Methods

Publications per year

1983–2016

13

Publications

13

The Formalism and Implementation of PATR-II

Stuart M. Shieber, Hans Uszkoreit, Fernando Pereira et al. · Digital Access to Scholarship at Harvard (DASH) (Harvard University) · 1983 · 138 citations · Full text

Programming Language Theory, Engineering, Automated Reasoning +5

IOPT-tools &#x2014; A Web based tool framework for embedded systems controller development using Petri nets

Filipe Moutinho, Fernando Pereira · 2013 · 45 citations · Full text

Petri Net, Engineering, Hardware Verification Language +22

IOPT-tools &#x2014; Towards cloud design automation of digital controllers with Petri nets

Fernando Pereira, Filipe Moutinho · 2014 · 39 citations

From IOPT Petri nets to C: An automatic code generator tool

Rogério Campos-Rebelo, Fernando Pereira, Filipe Moutinho · 2011 · 31 citations

Petri Net, Engineering, Compiler Technology +19

Extending input-output place-transition Petri nets for distributed controller systems development

Filipe Moutinho, Fernando Pereira, José Ribeiro et al. · 2014 · 27 citations

Petri Net, Iopt Nets, Engineering +22

Rows per page

1–5 of 13