People

João Carlos Cunha

Email

Member

Software and Systems Engineering

Affiliation

Informatics and Systems Engineering Department
Engineering School
Polytechnic Institute of Coimbra

International Projects

ADVANCE - Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Past Projects

mCrash - Dependability Evaluation of Mobile Devices' System Software
CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
CECRIS – CErtification of CRItical Systems
Critical-Step - Designing Large-Scale Safety-Critical Systems by using Off-The-Shelf software components




Journal Articles

Conference Articles

2019

(1 publication)

2017

(2 publications)

2016

(3 publications)

2015

(2 publications)

2014

(2 publications)

2013

(4 publications)

2012

(2 publications)

2011

(4 publications)

2006

(1 publication)

2005

(3 publications)

2002

(2 publications)

2001

(2 publications)

1999

(1 publication)

Edited Books

Book Chapters

PhD Theses

Tech Report