People
Cristiana Areias
Address
Dep. de Engª InformáticaInstituto Superior de Engenharia de Coimbra
Rua Pedro Nunes - Quinta da Nora
3030-199 COIMBRA
Member
Cognitive and Media SystemsResearch interests
DependabilityVerification and Validation (V&V)
Web Services and Service Oriented Architectures
Computer Science Education
Affiliation
DEIS ISEC - IPCCISUC
Past Projects
CECRIS – CErtification of CRItical Systems
DEVASSES: DEsign, Verification and VAlidation of large-scale, dynamic Service SystEmS
Journal Articles
2017
(1 publication)- Rodrigues, D. and Pires, R.d.M. and Marconato, E.A. and Areias, C. and Cunha, J.C. and Branco, K. and Marco Vieira , "Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles", IEEE Intelligent Transportation Systems Magazine , vol. 9, pp. 97-109, 2017 [ DOI ]
2008
(1 publication)Conference Articles
2016
(1 publication)- Machado, C. and Areias, C. and Cunha, J.C. , "SOASales: A SOA System for Research Purposes", in 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop, 2016 [ DOI ]
2015
(1 publication)2014
(2 publications)- Areias, C. and Nuno Antunes and Cunha, J.C. , "On Applying FMEA to SOAs: A Proposal and Open Challenges", in 6th International Workshop on Software Engineering for Resilient Systems (SERENE'14), 2014 [ DOI ]
- Areias, C. and Cunha, J.C. and Iacono, D. and Rossi, F. , "Towards Certification of Automotive Software", in International IEEE Workshop on Software Certification (WoSoCer’14) Co-located with ISSRE’14, 2014 [ DOI ]
2013
(2 publications)- Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira , "Towards Runtime V&V for Service Oriented Architectures", in Sixth Latin-American Symposium on Dependable Computing, 2013
- Areias, C. , "A framework for runtime V&V in business-critical Service Oriented Architectures", in 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W), 2013 [ DOI ]
2007
(2 publications)- Areias, C. and Antonio Jose Mendes , "A tool to help students to develop programming skills", in International Conference on Computer Systems and Technologies - CompSysTech07, 2007 [ DOI ]
- Areias, C. and Antonio Jose Mendes , "Learning to program with ProGuide", in International Conference on Engineering Education, June 2007, 2007