Projects per year
Search results
-
Finished
Fernandez, Leverhulme Visiting Professorship
Fernandez, M. (Primary Investigator)
15/05/2022 → 31/07/2023
Project: Research
-
NTVE: Nominal Techniques for Verification Environments
Fernandez, M. (Primary Investigator) & Urban, C. (Co-Investigator)
15/11/2021 → 14/11/2024
Project: Research
-
Category Based Access Controls and Data Collection
Fernandez, M. (Primary Investigator)
1/03/2018 → 28/02/2019
Project: Research
-
ZENOVER
Chockler, H. (Primary Investigator) & Fernandez, M. (Co-Investigator)
1/01/2016 → 31/12/2018
Project: Research
-
GRANPA - Graph-based Models for the Analysis of Policies for Access-Control
Fernandez, M. (Primary Investigator)
1/06/2015 → 31/05/2017
Project: Research
-
Graph-based Models for the Analysis of Policies for Access Control (GRANPA)
Fernandez, M. (Primary Investigator)
1/06/2015 → 31/05/2017
Project: Research
-
Secure information sharing for dynamic coalitions in the cloud
Fernandez, M. (Primary Investigator)
1/03/2015 → 28/02/2017
Project: Research
-
Domain Specific Graph-Based Modelling Languages
Fernandez, M. (Primary Investigator)
1/09/2014 → 31/08/2016
Project: Research
-
Modelling languages and verification techniques for SOA systems based on portgraph rewriting
Fernandez, M. (Primary Investigator)
1/09/2013 → 31/08/2015
Project: Research
-
Modelling, simulation and analysis of complex systems via graph rewriting
Fernandez, M. (Primary Investigator) & Lano, K. (Co-Investigator)
1/01/2013 → 31/12/2014
Project: Research
-
Analysis of rewrite-based programs
Fernandez, M. (Primary Investigator)
1/05/2011 → 30/04/2013
Project: Research
-
Rule-based specifications of distributed access control models
Fernandez, M. (Primary Investigator)
1/01/2011 → 31/12/2012
Project: Research
-
Unified flow based implementations of function application
Fernandez, M. (Primary Investigator)
1/12/2009 → 30/11/2010
Project: Research
-
Rewriting frameworks for defining security policies
Fernandez, M. (Primary Investigator)
1/06/2009 → 31/01/2010
Project: Research
-
Dependent types for nominal terms
Fernandez, M. (Primary Investigator), Szasz, N. (Co-Investigator) & Tasistro, A. (Co-Investigator)
1/04/2009 → 31/03/2011
Project: Research
-
Algebraic-functional specification of security policies in distributed systems
Fernandez, M. (Primary Investigator) & Bertolissi, C. (Co-Investigator)
1/01/2009 → 31/12/2010
Project: Research
-
Rewriting and Types for Mobile Code Security: Access Control and Protocol Validation
Fernandez, M. (Primary Investigator) & Barker, S. (Co-Investigator)
1/01/2008 → 31/12/2011
Project: Research
-
-
Marie Curie Intra-European Fellowship Structuring the European Research Area
Fernandez, M. (Primary Investigator) & academic, A. (Primary Investigator)
1/05/2007 → 31/10/2008
Project: Research
-
Computational Applications of Nominal Sets
Fernandez, M. (Primary Investigator) & Mackie, I. (Co-Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/10/2005 → 30/09/2009
Project: Research
-
Rewriting frameworks
Fernandez, M. (Primary Investigator)
EPSRC Engineering and Physical Sciences Research Council
1/10/2004 → 30/09/2005
Project: Research