@article{cisuc-5022-2017, author={Rodrigues, D. and Pires, R.d.M. and Marconato, E.A. and Areias, C. and Cunha, J.C. and Branco, K. and Marco Vieira }, title={Service-Oriented Architectures for a Flexible and Safe Use of Unmanned Aerial Vehicles}, editor={Miguel Ángel Sotelo}, journal={IEEE Intelligent Transportation Systems Magazine }, volume={9}, number={1}, pages={97--109}, year=2017, address={n/a}, } @article{cisuc-1764-2008, author={Gomes, A. and Areias, C. and Henriques, J.G. and Antonio Jose Mendes }, title={Aprendizagem de programaçãode computadores: dificuldades e ferramentas desuporte}, journal={Revista Portuguesa de Pedagogia}, volume={42}, number={2}, pages={161--179}, year=2008, address={n/a}, } @inproceedings{cisuc-4788-2016, author={Machado, C. and Areias, C. and Cunha, J.C. }, title={SOASales: A SOA System for Research Purposes}, booktitle={46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshop}, year=2016, address={n/a}, } @inproceedings{cisuc-4375-2015, author={Areias, C. and Marco Vieira and Cunha, J.C. }, title={Studying the Propagation of Failures in SOAs}, booktitle={International Workshop on Recent Advances in the Dependability Assessment of Complex Systems (RADIANCE’2015)}, year=2015, address={n/a}, } @inproceedings{cisuc-4021-2014, author={Areias, C. and Nuno Antunes and Cunha, J.C. }, title={On Applying FMEA to SOAs: A Proposal and Open Challenges}, booktitle={6th International Workshop on Software Engineering for Resilient Systems (SERENE'14)}, year=2014, address={n/a}, } @inproceedings{cisuc-4022-2014, author={Areias, C. and Cunha, J.C. and Iacono, D. and Rossi, F. }, title={Towards Certification of Automotive Software}, booktitle={International IEEE Workshop on Software Certification (WoSoCer’14) Co-located with ISSRE’14}, year=2014, address={n/a}, } @inproceedings{cisuc-3651-2013, author={Areias, C. and Nuno Antunes and Cunha, J.C. and Marco Vieira }, title={Towards Runtime V&V for Service Oriented Architectures}, booktitle={Sixth Latin-American Symposium on Dependable Computing}, year=2013, address={n/a}, } @inproceedings{cisuc-4020-2013, author={Areias, C. }, title={A framework for runtime V&V in business-critical Service Oriented Architectures}, booktitle={43rd Annual IEEE/IFIP Conference on Dependable Systems and Networks Workshop (DSN-W)}, year=2013, address={n/a}, } @inproceedings{cisuc-1545-2007, author={Areias, C. and Antonio Jose Mendes }, title={A tool to help students to develop programming skills}, booktitle={International Conference on Computer Systems and Technologies - CompSysTech07}, year=2007, address={n/a}, } @inproceedings{cisuc-3492-2007, author={Areias, C. and Antonio Jose Mendes }, title={Learning to program with ProGuide}, booktitle={International Conference on Engineering Education, June 2007}, year=2007, address={n/a}, } @inproceedings{cisuc-1341-2006, author={Areias, C. and Antonio Jose Mendes }, title={ProGuide: A Dialogue-Based Tool To Support Initial Programming Learning}, booktitle={3rd E-Learning Conference - Computer Science Education}, year=2006, address={n/a}, } @inbook{cisuc-5193-2017, author={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. }, title={Robustness and Fault Injection for the Validation of Critical Systems}, chapter={12}, publisher={River Publishers}, booktitle={Certifications of Critical Systems – The CECRIS Experience}, pages={247--274}, year=2017, address={n/a}, } @techreport{cisuc-3230-1999, author={Areias, C. }, title={Reengineering of the Airbus Electrical System - Graduation Report}, number={1}, year=1999, address={n/a}, }