Journal Articles
2017(1 publication)
[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
[citation][year=2020]Siddhartha Gupta and Umut Durak, RESTful Software Architecture for ROS-based Onboard Mission System for Drones, AIAA Scitech 2020 Forum, 6-10 January 2020, Orlando, FL, https://doi.org/10.2514/6.2020-0239
[citation][year=2019]Matthieu Carre, Ernesto Expósito, Javier Ibañez-Guzman. Methodology And Architecture For Safety
Management. 9th International Conference on Computer Science, Engineering and Applications (ICCSEA 2019), Dec 2019, Dubai, United Arab Emirates. ff10.5121/csit.2019.91801ff. ffhal-02416468f
[citation][year=2018]Chuanlong Li, Xingming Sun, A Novel Meteorological Sensor Data Acquisition Approach Based on Unmanned Aerial Vehicle, International Journal of Sensor Networks Vol. 28, No. 2, 2018
DOI: 10.1504/IJSNET.2017.10013468
[citation][year=2018]J. Castagno, C. Ochoa and E. Atkins, "Comprehensive Risk-based Planning for Small Unmanned Aircraft System Rooftop Landing," 2018 International Conference on Unmanned Aircraft Systems (ICUAS), Dallas, TX, 2018, pp. 1031-1040.
doi: 10.1109/ICUAS.2018.8453483
[citation][year=2018]M. Carré, E. Exposito and J. Ibanez-Guzman, "Challenges for the Self-Safety in Autonomous Vehicles," 2018 13th Annual Conference on System of Systems Engineering (SoSE), Paris, 2018, pp. 181-188.
doi: 10.1109/SYSOSE.2018.8428718
[citation][year=2018]A. Mukherjee, S. Misra and N. S. Raghuwanshi, "SPA: A sense-predict-actuate TDMA latency reduction scheme in networked quadrotors," 2018 IEEE Wireless Communications and Networking Conference (WCNC), Barcelona, 2018, pp. 1-6.
doi: 10.1109/WCNC.2018.8377091
[citation][year=2018]McDonough, K., Castagno J.D., Player, J., Atkins, E.M. (2018). RANGR: Risk Aware Navigation and Guidance for Resilience. AUVSI XPONENTIAL 2018
[citation][year=2018]Vannini, V., Da Silva Arantes, J., Mattei, A.P., Figueira, N., Da Silva Arantes, M., Toledo, C.F.M., Júnior, O.T., De Saqui-Sannes, P., Service-oriented architecture to integrate flight safety and mission management subsystems into UAVs
(2018) 31st Congress of the International Council of the Aeronautical Sciences, ICAS 2018

2008(1 publication)
[publication]Gomes, A. and Areias, C. and Henriques, J.G. and Antonio Jose Mendes , "Aprendizagem de programaçãode computadores: dificuldades e ferramentas desuporte", Revista Portuguesa de Pedagogia,  vol. 42,  pp. 161-179, 2008
[citation][year=2015]Francisco, Rodrigo Elias e Ambrosio, Ana Paula. Mining an Online Judge System to Sup-port Introductory Computer Programming Teaching. Workshops Proceedings of EDM 2015 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, Junho 26-29, 2015.
[citation][year=2010]Esteves, M., Fonseca, B., Morgado, L. e Martins, P., Improving teaching and learning of computer programming through the use of the Second Life virtual world. British Journal of Educational Technology, no. doi: 10.1111/j.1467-8535.2010.01056.x, 2010
[citation][year=2009]Esteves, M., Fonseca, B., Morgado, L. e Martins, P., Using Second Life for Problem Based Learning in Computer Science Programming. Journal of Virtual Worlds Research, 2(1), Abril de 2009.

Conference Articles
2016(1 publication)
[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

2015(1 publication)
[publication]Areias, C. and Marco Vieira and Cunha, J.C. , "Studying the Propagation of Failures in SOAs", in International Workshop on Recent Advances in the Dependability Assessment of Complex Systems (RADIANCE’2015), 2015
[citation][year=2018]Jones, T.B., Ackley, D.H., Damage reduction via white-box failure shaping (2018) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11036 LNCS, pp. 213-228. 
DOI: 10.1007/978-3-319-99241-9_11
[citation][year=2017]White, Gary, Andrei Palade, Christian Cabrera, and Siobhán Clarke. "Quantitative evaluation of qos prediction in iot." In Dependable Systems and Networks Workshop (DSN-W), 2017 47th Annual IEEE/IFIP International Conference on, pp. 61-66. IEEE, 2017.
[citation][year=2016]Jones, Thomas B., and David H. Ackley. "Scalable Robustness." Dependable Systems and Networks Workshop, 2016 46th Annual IEEE/IFIP International Conference on. IEEE, 2016.

2014(2 publications)
[publication]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
[citation][year=2017]Dal Lago, Loris. "Dependability Assessment of SOA-based Cyber-Physical Systems with Contracts and Model-Based Fault Injection." (2017).

[publication]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
[citation][year=2020]Fisher, M., Mascardi, V., Rozier, K.Y., Schlingloff, H., Winikoff, M., & Yorke-Smith, N. (2020). Towards a Framework for Certification of Reliable Autonomous Systems. ArXiv, abs/2001.09124. (Submitted on 24 Jan 2020)
[citation][year=2018]M. D. M. Suffian, L. F. Ann, M. Subakin, S. S. Tzuaan and F. Farhana Mohd Nazri, "Consistency of System Test Case Results for Software Capability Rating," 2018 4th International Conference on Computer and Information Sciences (ICCOINS), Kuala Lumpur, 2018, pp. 1-5. doi: 10.1109/ICCOINS.2018.8510575
[citation][year=2018]Larrucea X., González-Nalda P., Etxeberria-Agiriano I., Otero M.C., Calvo I. (2018) Analyzing a ROS Based Architecture for Its Cross Reuse in ISO26262 Settings. In: Abdelwahed E. et al. (eds) New Trends in Model and Data Engineering. MEDI 2018. Communications in Computer and Information Science, vol 929. Springer, Cham, 18 October 2018
DOI 10.1007/978-3-030-02852-7_16
[citation][year=2017]Roberto Nunes, Lauro & Santos, Max & Neme, João Henrique & Rodrigues, Refael & Silvia Collazos, Kathya. The Monte Carlo method for non-detected failure analysis on dynamic systems testing. the 43rd Annual Conference of the IEEE Industrial Electronics Society (IECON 2017) , October 29 - November 1,, 2017, Beijing, China
[citation][year=2016]Oscarsson, Joakim. "Functional Safety in Co-operative Driving using Systems-Theoretic Process Analysis." MsC Thesis, KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.) 2016.
[citation][year=2016]Lin, Chung-Wei, Shinichi Shiraishi, and BaekGyu Kim. "An Amanat-Based Multi-party Certification Protocol for Outsourced Software in Automotive Systems." Software Reliability Engineering Workshops (ISSREW), 2016 IEEE International Symposium on. IEEE, 2016.
[citation][year=2016]M. D. Mohamed Suffian, F. Fairul Rizal, F. A. Loo, N. F. Aman and N. Bajuri, "Software capability rating using system testing scores," 2016 IEEE Conference on Open Systems (ICOS), Langkawi, 2016, pp. 105-110.
[citation][year=2016]E. Gulias, L. F. Torreblanca, J. R. Aguilar and C. F. Y. Fernández, "Using SysML Modeling to Accurately Represent Automotive Safety Requirements," 2016 4th International Conference in Software Engineering Research and Innovation (CONISOFT), Puebla, 2016, pp. 21-26.

2013(2 publications)
[publication]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

[publication]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

2007(2 publications)
[publication]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
[citation][year=2015]Ishihara, S., Harada, F., Takada, H. e Shimakawa, H., “Exercise Supporting Method for Un-derstanding of Source Code Using Control Structure Graph”, FIT, N ?Ol1, pp. 321-322, 2015.
[citation][year=2015]Koorsse, M., Cilliers, C., Calitz, A., Programming assistance tools to sup-port the learning of IT programming in South African secondary schools” Computers & Education 03/2015; 82:162-178.
[citation][year=2015]Hooshyar, D.l, et al. "Flowchart-based programming environments for improving comprehension and problem-solving skill of novice programmers: a survey." International Journal of Advanced Intelligence Paradigms 7.1 (2015): 24-56.
[citation][year=2014]Leigh Ann Sudol-DeLyser, “AbstractTutor: Increasing Algorithm Implementation Exper-tise for Novices Through Algorithmic Feedback”, CMU-CS-14-145, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December de 2014.
[citation][year=2014]Alberola, J. e Garcia, A., Using Feedback for Improving the Learning Process in Programming Courses, IEEE Revista Iberoamericana de Tecnologias del Aprendizage, 9 (2), pp. 49-56, Maio de 2014.
[citation][year=2013]Xinogalos, Stelios  "Using flowchart-based programming environments for simplifying programming and software engineering processes" pp. 1313 - 1322, Global Engineering Education Conference (EDUCON) - IEEE , Berlin, Germany, 13-15 March, 2013.
[citation][year=2013]Alberola,J. and García-Fornes, A.  "Feedback Efectivo en Prácticas de Programación" ,Revista Iberoamericana de Tecnologías del/da Aprendizaje/Aprendizagem - IEEE-RITA, Vol 1, Nº2,  pp. 88 - 95, Jun 2013.
[citation][year=2012]Koorsse, M. “An Evaluation of Programming Assistance Tools to Support the Learning of IT Programming: A Case Study in South African Secondary Schools”, Tese de Doutora-mento, 2012.
[citation][year=2012]Rangel.R, Ambrósio, A., " Sistema Inteligente Nao-Linear de Apoio a Aprendizagem: Di-agnostico e Orientação do Processo Gradual de Construção de Saberes” , Anais do XXII SBIE - XVII WIE, Aracaju, novembro 2012.
[citation][year=2012]Elsje Scott, “Towards coherent practice in capstone courses for IS majors”, Tese de Dou-toramento – Doctor of Pholosophy, Department of Information Systems, Universidade de Cape Town, novembro de 2012.
[citation][year=2012]Ana Paula Ambrosio, Leandro Almeida, Amanda Franco, Fouad Georges, "<a href="http://www.computer.org/csdl/proceedings/fie/2012/1353/00/06462314-abs.html">Assessment of self-regulated attitudes and behaviors of introductory programming students</a>" fie, pp.1-6, 2012 Frontiers in Education Conference Proceedings, 2012
[citation][year=2012]Leigh Ann Sudol-DeLyser , Mark Stehlik , Sharon Carver, Code comprehension problems as learning events, Proceedings of the 17th ACM annual conference on Innovation and technology in computer science education, Haifa, Israel, July 03-05, 2012.
[citation][year=2012]Rangel Rigo, "SInBAD - Sistema Inteligente Bayesiano de Apoio ao Discente orientação no estudo de programação de computadores", Tese de Mestrado, Universidade Federal de Goiás, Goiânia, Brasil, 2012
[citation][year=2011]Scott, A. Using flowcharts, code and animation for improved comprehension and ability in novice programming. Tese de Doutoramento, University of Glamorgan, Pais de Gales, Novembro de 2011.

[citation][year=2010]Robertson, J. & Kenton, J. Microworlds to Improve Learning in Introductory Computer Programming Courses. In D. Gibson & B. Dodge (Eds.), Proceedings of Society for Information Technology & Teacher Education International Conference 2010 (pp. 3348-3355). Chesapeake, VA: AACE, 2010. 
[citation][year=2010]Moreira, F., Ferreira, M. e Sobral, S., Proposta de um Modelo Blended Mobile Learning Orientado ao Contexto. IEEE-RITA, 5 (4), pp. 132-137, Novembro de 2010.
[citation][year=2010]Moreira, F., Ferreira, M. e Sobral, S., A blended mobile learning model – context oriented (BML-CO). In Proceedings of Interactive Computer Aided Learning, Hasselt, Bélgica, Setembro de 2010.
[citation][year=2010]Ishihara, S., Harada, F., Takada, H. e Shimakawa, H., Exercise Support for Sample Code Understanding Using Control Structure Graph, IEEJ Trans. EIS, 130 (2), pp. 343-350, 2010.
[citation][year=2009]Sobral, S.R., & Pimenta, P.C.. O ensino da programação: exercitar a distância para comba-te às dificuldades. In CISTI'2009: atas da 4ª Conferência Ibérica de Sistemas e Tecnologias de Informação, Póvoa de Varzim, 2009.
[citation][year=2009]Inaba, D., Harada, F. e Shimakawa, H., Support for Programming Education with Structured Program Design Using Combination of Phrases. In Proceedings of Fourth International Conference on Computer Sciences and Convergence Information Technology, Seoul, Coreia, Novembro de 2009.
[citation][year=2009]Inaba, D., Taguchi, H., Harada, F. e Shimakawa, H., Choosing Controls and Phrases in Flowcharts to Inspect Understanding Frames of Procedures. In Proceedings of The Seventh International Conference on Creating, Connecting and Collaborating through Computing, pp. 35-40, Kyoto, Japão, Janeiro de 2009.
[citation][year=2008]Sobral, S., B Learning em disciplinas introdutórias de programação. Tese de Doutoramento, Universidade do Minho, Novembro de 2008.
[citation][year=2008]Sobral, S. e Pimenta, P., Estratégias na aprendizagem da programação: como o LMS se pode tornar útil. In Actas da Conferência IADIS Ibero-Americana WWW/Internet 2008, pp. 59 " 66, Lisboa, Portugal, 2008.

[publication]Areias, C. and Antonio Jose Mendes , "Learning to program with ProGuide", in International Conference on Engineering Education, June 2007, 2007
[citation][year=2014]Tuparov, G., Tuparva, D. e Jordanov, V., Teaching sorting and searching algorithms through simulation-based learning objects in an introductory programming course. Procedia - Social and Behavioral Sciences, 116, pp. 2962-2966, 2014.
[citation][year=2013]Xinogalos, Stelios "Using flowchart-based programming environments for simplifying programming and software engineering processes" pp. 1313 - 1322, Global Engineering Education Conference (EDUCON) - IEEE , Berlin, Germany, 13-15 March, 2013.
[citation][year=2012]Georgi Tuparov, Daniela Tuparova, Anna Tsarnakova, Using Interactive Simulation-Based Learning Objects in Introductory Course of Programming, Procedia - Social and Behavioral Sciences, Volume 46, 2012, Pages 2276-2280, ISSN 1877-0428, 10.1016/j.sbspro.2012.05.469.

2006(1 publication)
[publication]Areias, C. and Antonio Jose Mendes , "ProGuide: A Dialogue-Based Tool To Support Initial Programming Learning", in 3rd E-Learning Conference - Computer Science Education, 2006
[citation][year=2011]Cámara, L., Velasco, M. e Iturbide, J., Una experiencia de aprendizaje colaborativo de la programación soportado por computación móvil en el aula: MoCAS. Indagtio Didactica, 3(3), Dezembro de 2011.
[citation][year=2011]Kuo-Hua Hsu, “Addition of Arrays, Records and Linked Lists to a Visual Coding System – Some Issues and Solutions”, Tese de Mestrado, Information and Computer Engineering, Chung Yuan Christian University, Taiwan, 2011
[citation][year=2008]Lepan, R., The impact of an in-depth code comprehension tool in an introductory programming course. Tese de Mestrado, Nelson Mandela Metropolitan University, África do Sul, Janeiro de 2008.
[citation][year=2007]Stoyanov, B., Cvetkov, K., Kolev, K., Vassileva, S. e Grigirova, M., Electronic textbook "Study Macromedia Flash MX?. In Proceedings of 4th E-Learning Conference " Computer Science Education, pp. 32-35, Istanbul, Turquia, Agosto de 2007.

Book Chapters
2017(1 publication)
[publication]Laranjeiro, N. and Pereira, G. and Soydemir, S.N. and Barbosa, R. and Jorge Bernardino and Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira and Madeira, H. , "Robustness and Fault Injection for the Validation of Critical Systems", in Certifications of Critical Systems – The CECRIS Experience,  pp. 247-274, 2017

MSc Theses
2007(1 publication)
[publication]Areias, C. , "ProGuide - Sistema de acompanhamento na resolução de problemas básicos de programação", 2007
[citation][year=2011]Martins, Scheila Wesley - Contributos para uma abordagem contextualizada na aprendizagem inicial de programação. Tese de doutoramento, Universidade de Coimbra, Coimbra, 2011. Available in http://hdl.handle.net/10316/20314

Tech Report
1999(1 publication)
[publication]Areias, C. , "Reengineering of the Airbus Electrical System - Graduation Report", 1999