People

Marco Vieira

Address

Departamento de Engenharia Informática
Faculdade de Ciências e Tecnologia

Universidade de Coimbra
Pólo II - Pinhal de Marrocos
3030-290 Coimbra

Email

Home Page

http://eden.dei.uc.pt/~mvieira

Member

Software and Systems Engineering

Research interests

Fault Injection and Vulnerability & Attack Injection
Dependability and Security Evaluation and Benchmarking
Robustness and Security Testing
Software Verification & Validation
Online Failure Prediction
Resilience Benchmarking

Affiliation

Department of Informatics Engineering (DEI)
Faculty of Sciences and Technology (FCT)
University of Coimbra (UC)

National Projects

MobiWise: from mobile sensing to mobility advising

International Projects

CECRIS – CErtification of CRItical Systems
DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
EUBrasilCloudFORUM: Fostering an International dialogue between Europe & Brazil
EUBra-BIGSEA: Europe – Brazil Collaboration of BIG Data Scientific Research through Cloud-Centric Applications
ALIOT: Internet of Things: Emerging Curriculum for Industry and Human Applications
FCT/ CAPES - SORTS: Supporting the Orchestration of Resilient and Trustworthy Fog Services

Past Projects

DBench - Dependability Benchmarking
TACID - Timely ACID Transactions in DBMS
mCrash - Dependability Evaluation of Mobile Devices' System Software
SAID - Sistema de Análise Inteligente de Dados
ADW - Affordable Data Warehouses
ECA3RL - Sistema de Análise e Detecção de Fraude em Telecomunicações
SOAM - Sistema de Optimização Automática de Modelos de Dados Multidimensionais
EPILEPSIAE- Evolving Platform for Improving Living Expectation of Patients
AMBER - Assessing, Measuring, and Benchmarking Resilience
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
Menon@WS - Methodologies for the Development of Non-Vulnerable Web Services
Intelligent Data Processing for Dependability
Dependability Benchmarking for Software Components
REVVIS – Rede de Especialistas em Verificação e Validação de Software
ADW - Affordable Data Warehouses
ADAAS: Assuring Dependability in Architecture-based Adaptive Systems
iCIS - Intelligent Computing in the Internet of Services
DECAF - An Exploratory Study of Distributed Cloud Application Failures
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components
CABRIOLET – Model-Oriented Approach and Intelligent Knowledge-Based System for Evolvable Academia-Industry Cooperation in Electronic and Computer Engineering
FEED - Free Energy Data
V-SIS – Validação de Sistemas Críticos




Books

Journal Articles

2017

(4 publications)

2016

(2 publications)

2015

(7 publications)

2014

(6 publications)

2013

(2 publications)

2012

(3 publications)

2011

(2 publications)

2010

(1 publication)

2008

(2 publications)

2005

(1 publication)

2004

(1 publication)

Conference Articles

2017

(5 publications)

2016

(5 publications)

2015

(15 publications)

2014

(14 publications)

2013

(13 publications)

2012

(14 publications)

2011

(20 publications)

2010

(17 publications)

2009

(21 publications)

2008

(21 publications)

2007

(12 publications)

2006

(2 publications)

2005

(5 publications)

2004

(4 publications)

2003

(5 publications)

2002

(3 publications)

2001

(2 publications)

2000

(2 publications)

Edited Books

Book Chapters

2017

(1 publication)

2013

(7 publications)

2012

(7 publications)

2011

(3 publications)

2009

(1 publication)

2008

(2 publications)

PhD Theses

MSc Theses

Tech Report