CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP)
Description
The CRITICAL Software Technology for an Evolutionary Partnership (CRITICAL STEP) is a Marie-Curie Industry-Academia Partnerships and Pathways (IAPP) belonging to call FP7-PEOPLE-2008-IAPP. It aims at establishing the basis for a long term strategic researResearchers
Henrique Madeira (coordinator)
Marco Vieira
Joao Duraes
João Carlos Cunha
José Carlos Coelho Martins da Fonseca
Nuno Laranjeiro
Nuno Antunes
Marco Vieira
Joao Duraes
João Carlos Cunha
José Carlos Coelho Martins da Fonseca
Nuno Laranjeiro
Nuno Antunes
Funded by
FP7-PEOPLE-2008-IAPPStart Date
2010-01-01End Date
2013-12-31Conference Articles
2012
(2 publications)- Materase, F. and José Fonseca and Montefusco, P. , "An innovative methodology for maritime security risk management to design costeffective defence systems", in 17th International Conference on Ships and Shipping Research and Advancing with Composites 2012 Symposium, 2012
- Osocha, P. and Cunha, J.C. and Giovagnini, F. , "Dependable and Secure Embedded Node Demonstrator", in ERCIM Workshop, the 31st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2012), 2012
2011
(4 publications)- Carrozza, G. and Napolitano, A. and Laranjeiro, N. and Marco Vieira , "WSRTesting: Hands-on Solution to Improve Web Services Robustness Testing", in Fifth Latin-American Symposium on Dependable Computing, 2011
- Materase, F. and Montefusco, P. , "Looking towards the Single European Sky: a Tailored Security Assessment for Future ATM Systems", in CEAS Air&Space; Conference (CEAS 2011) and AIDAA Congress, 2011
- Materase, F. and Montefusco, P. and José Fonseca , "Looking towards the Single European Sky: a Tailored Security Assessment for Future ATM Systems", in CEAS Air&Space; Conference (CEAS 2011) and AIDAA Congress, 2011
- Osocha, P. and Cunha, J.C. , "SPD Power Node ES solution in pSHIELD framework", in ERCIM Workshop, the 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011), 2011
Book Chapters
2013
(5 publications)- Osocha, P. and Cunha, J.C. and Materase, F. , "Selected Challenges on Security and Dependability of Embedded Systems", in Innovative Technologies for Dependable OTS-Based Critical Systems, vol. 1, pp. 175-185, 2013
- Nuno Antunes and Marco Vieira , "Security Testing in SOAs: Techniques and Tools", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 159-174, 2013
- Napolitano, A. and Carrozza, G. and Laranjeiro, N. and Marco Vieira , "Robustness Testing of Web Services", in Innovative Technologies for Dependable OTS-Based Critical Systems, pp. 55-68, 2013
- Marco Vieira and Nuno Antunes , "Introduction to Software Security Concepts", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 29-38, 2013
- Napolitano, A. and Carrozza, G. and Nuno Antunes and Joao Duraes , "Survey on Software Faults Injection in Java Applications", in Innovative technologies for dependable OTS-based critical systems, vol. 1, pp. 101-114, 2013