M
Mauricio Varea
Researcher at University of Southampton
Publications - 12
Citations - 167
Mauricio Varea is an academic researcher from University of Southampton. The author has contributed to research in topics: Petri net & Data flow diagram. The author has an hindex of 6, co-authored 12 publications receiving 164 citations.
Papers
More filters
Proceedings ArticleDOI
Efficient and flexible access control via logic program specialisation
TL;DR: This work describes the use of a flexible meta-interpreter for performing access control checks on deductive databases and shows that by using this approach, one gets flexible access control with virtually zero overhead.
Proceedings ArticleDOI
The Ecce and Logen partial evaluators and their web interfaces
TL;DR: ECCE and LOGEN, two partial evaluators for Prolog using the online and offline approach respectively are presented, and new user-friendly web interfaces were developed that enable non-expert users to specialise logic programs using a web browser, without the need for a local installation.
Proceedings ArticleDOI
Dual transitions petri net based modelling technique for embedded systems specification
TL;DR: This paper presents a new modelling technique capable of modelling both control and data information using a single unified approach by modifying the classical Petri Net structure, allowing it to have two types of transitions and arcs.
Journal ArticleDOI
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
TL;DR: The work presented in this paper does not only tackle the modeling side in embedded systems design, but also the validation of embedded system models through formal methods.
Journal ArticleDOI
Efficient and flexible access control via Jones-optimal logic program specialisation
TL;DR: By using a flexible meta-interpreter for performing access control checks on deductive databases, the paper shows how to satisfy the Jones optimality criterion more generally for interpreters written in the non-ground representation.