Formalizing and verifying stochastic system architectures using Monterey Phoenix
Song, Songzheng, Zhang, Jiexin, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song, Chen, Tieming
Published in Software and systems modeling (01.05.2016)
Published in Software and systems modeling (01.05.2016)
Get full text
Journal Article
Environment behavior models for automation of testing and assessment of system safety
Auguston, Mikhail, Michael, James Bret, Shing, Man-Tak
Published in Information and software technology (01.10.2006)
Published in Information and software technology (01.10.2006)
Get full text
Journal Article
Using Monterey Phoenix to Formalize and Verify System Architectures
Jiexin Zhang, Yang Liu, Auguston, M., Jun Sun, Jin Song Dong
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Published in 2012 19th Asia-Pacific Software Engineering Conference (01.12.2012)
Get full text
Conference Proceeding
Identifying decision patterns using Monterey Phoenix
Quartuccio, John, Giammarco, Kristin, Auguston, Mikhail
Published in 2017 12th System of Systems Engineering Conference (SoSE) (01.06.2017)
Published in 2017 12th System of Systems Engineering Conference (SoSE) (01.06.2017)
Get full text
Conference Proceeding
Deriving stochastic properties from behavior models defined by Monterey Phoenix
Quartuccio, John, Giammarco, Kristin, Auguston, Mikhail
Published in 2017 12th System of Systems Engineering Conference (SoSE) (01.06.2017)
Published in 2017 12th System of Systems Engineering Conference (SoSE) (01.06.2017)
Get full text
Conference Proceeding
Formalizing and verifying stochastic system architectures using Monterey Phoenix (SoSyM abstract)
Song, Songzheng, Liu, Yang, Auguston, Mikhail, Sun, Jun, Dong, Jin Song, Chen, Tieming
Published in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01.09.2015)
Published in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) (01.09.2015)
Get full text
Conference Proceeding
Model driven security: unification of authorization models for fine-grain access control
Burt, C.C., Bryant, B.R., Raje, R.R., Olson, A., Auguston, M.
Published in Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings (2003)
Published in Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003. Proceedings (2003)
Get full text
Conference Proceeding