Author of the publication

MASTAC: new curriculum for master and doctoral studies in critical software and computing.

, , , , , and . SEESE@ICSE, page 59-64. ACM, (2008)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A conservative bound for the probability of failure of a 1-out-of-2 protection system with one hardware-only and one software-based protection train., , , , , and . Reliab. Eng. Syst. Saf., (2014)Choosing Effective Methods for Design Diversity - How to Progress from Intuition to Science., , and . SAFECOMP, volume 1698 of Lecture Notes in Computer Science, page 272-285. Springer, (1999)Reliability Assessment of Legacy Safety-Critical Systems Upgraded with Off-the-Shelf Components.. SAFECOMP, volume 2434 of Lecture Notes in Computer Science, page 139-150. Springer, (2002)Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device.. SAFECOMP, volume 9337 of Lecture Notes in Computer Science, page 385-399. Springer, (2015)Estimating Bounds on the Reliability of Diverse Systems., , , and . IEEE Trans. Software Eng., 29 (4): 345-359 (2003)The effect of testing on the reliability of single version and 1-out-of-2 software systems., and . ISSRE, page 219-228. IEEE Computer Society, (1995)Intelligent Multi-Agent System for Improving the Quality of Software by Taking into Account the Information of the Subject Area at All Stages of its Development., , , and . IDAACS, page 548-551. IEEE, (2021)Model-Based Evaluation of the Resilience of Critical Infrastructures Under Cyber Attacks., , and . CRITIS, volume 8985 of Lecture Notes in Computer Science, page 231-243. Springer, (2014)Spyware Detection Technique Based on Reinforcement Learning., , , , and . IntelITSIS, volume 2623 of CEUR Workshop Proceedings, page 307-316. CEUR-WS.org, (2020)MASTAC: new curriculum for master and doctoral studies in critical software and computing., , , , , and . SEESE@ICSE, page 59-64. ACM, (2008)