Concepedia

Mauricio Varea

MV

6

Publications

129

Citations

6

H-Index

2001

Active since

Affiliations

University of Southampton(Current)

Heinrich Heine University Düsseldorf

Mauricio Varea is an author at University of Southampton specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationComputer EngineeringSoftware EngineeringFormal MethodsProgram AnalysisSoftware AnalysisAutomated ReasoningSystems Engineering

Publications per year

2001–2008

6

Publications

6

Efficient and flexible access control via logic program specialisation

Steve Barker, Michaël Leuschel, Mauricio Varea · 2004 · 43 citations

Access Control Checks, Engineering, Information Security +21

Dual transitions petri net based modelling technique for embedded systems specification

Mauricio Varea, Bashir M. Al‐Hashimi · Design, Automation, and Test in Europe · 2001 · 20 citations

Petri Net, New Modelling Technique, Engineering +21

Mauricio Varea, Bashir M. Al‐Hashimi, Luis Alejandro Cortés et al. · ACM Transactions on Embedded Computing Systems · 2006 · 19 citations

Petri Net, Engineering, Computer Architecture +17

Towards context-aware testing for semantic interoperability on PvC environments

Andrés Flores, Juan Carlos Augusto, Macario Polo et al. · 2005 · 19 citations

Software Maintenance, Engineering, Language Interoperability +17

The Ecce and Logen partial evaluators and their web interfaces

Michaël Leuschel, Dan Elphick, Mauricio Varea et al. · 2006 · 17 citations

Engineering, Software Engineering, Partial Evaluators +24

Rows per page

1–5 of 6