Follow
Cristiana Areias
Cristiana Areias
ISEC-IPC | University of Coimbra
Verified email at isec.pt - Homepage
Title
Cited by
Cited by
Year
Aprendizagem de programação de computadores: dificuldades e ferramentas de suporte
A Gomes, C Areias, J Henriques, AJ Mendes
Revista portuguesa de pedagogia, 161-179, 2008
752008
A tool to help students to develop programming skills
C Areias, A Mendes
Proceedings of the 2007 international conference on Computer systems and …, 2007
472007
Service-oriented architectures for a flexible and safe use of unmanned aerial vehicles
D Rodrigues, RM Pires, EA Marconato, C Areias, JC Cunha, ...
IEEE Intelligent Transportation Systems Magazine 9 (1), 97-109, 2017
162017
Towards Certification of Automotive Software
C Areias, JC Cunha, D Iacono, F Rossi
152014
Learning to program with ProGuide
C Areias, AJ Mendes, AJ Gomes
Proc. of International Conference on Engineering Education–ICEE, 2007
102007
On applying fmea to soas: A proposal and open challenges
C Areias, N Antunes, JC Cunha
Software Engineering for Resilient Systems: 6th International Workshop …, 2014
92014
Studying the propagation of failures in SOAs
C Areias, JC Cunha, M Vieira
2015 IEEE International Conference on Dependable Systems and Networks …, 2015
52015
ProGuide: A dialogue-based tool to support initial programming learning
C Areias, A Mendes
Proceedings of the 3rd E-Learning Conference—Computer Science Education …, 2006
52006
A framework for runtime V&V in business-critical Service Oriented Architectures
C Areias
2013 43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks …, 2013
32013
ProGuide-Sistema de acompanhamento na resolução de problemas básicos de programação
C Areias
Tese de Mestrado, FCTUC - DEI, 2007
32007
Towards Runtime V&V for Service Oriented Architectures
C Areias, N Antunes, J Cunha, M Vieira
12013
Robustness and Fault Injection for the Validation of Critical Systems
N Laranjeiro, G Pereira, SN Soydemir, R Barbosa, J Bernardino, C Areias, ...
Certifications of Critical Systems–The CECRIS Experience, 247-274, 2022
2022
Communication strategies: Explaining the Antimicrobial Resistance to High School Students in a" One Health" Perspective
P Antunes, AC Silva, B Pereira, C Areias, C Gonçalves, M Ribeiro, ...
Simpósio MicroMundo Aprendizaje-Servicio 2021. Libro de Resúmenes, 2021
2021
SOASales: A SOA System for Research Purposes
C Machado, C Areias, JC Cunha
2016 46th Annual IEEE/IFIP International Conference on Dependable Systems …, 2016
2016
ISSRE 2018 External Reviewers
A Maji, AK Iannillo, A Mahgoub, C Nie, CSGWC Fang, C Menghi, C Areias, ...
EDCC 2016
ABMB Alam, A Gorbenko, A Thorsén, A Chechulin, AK Iannillo, ...
Student Papers: Software &. Network Dependability
C Areias, K Leach, LA Rodrigues, JL Nunes, F Fucci, F Zhang, E Leloglu, ...
Abad, Cristina L.
E Alata, M Albanese, R Almeida, J Alonso, G Altekar, Y Amir, H Amrouch, ...
The system can't perform the operation now. Try again later.
Articles 1–18