Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Baoluo Meng"'
Autor:
Baoluo Meng, Daniel Larraz, Kit Siu, Abha Moitra, John Interrante, William Smith, Saswata Paul, Daniel Prince, Heber Herencia-Zapana, M. Fareed Arif, Moosa Yahyazadeh, Vidhya Tekken Valapil, Michael Durling, Cesare Tinelli, Omar Chowdhury
Publikováno v:
Systems, Vol 9, Iss 1, p 18 (2021)
The ever-increasing complexity of cyber-physical systems is driving the need for assurance of critical infrastructure and embedded systems. However, traditional methods to secure cyber-physical systems—e.g., using cyber best practices, adapting mec
Externí odkaz:
https://doaj.org/article/6825ed7474254a9d9534394cae950d01
Publikováno v:
Software: Practice and Experience. 52:1867-1878
Sorting is one of the oldest computing problems and is still very important in the age of big data. Various algorithms and implementation techniques have been proposed. In this study, we focus on comparison based, internal sorting algorithms. We crea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::781de3bcb493e079abf5ae571f9f4133
https://doi.org/10.1002/spe.3091
https://doi.org/10.1002/spe.3091
Autor:
Baoluo Meng, Arjun Viswanathan, Saswata Saswata, William William, Abha Moitra, Kit Siu, Michael Durling
Attack-Defense Trees (ADTrees) are widely used in the security analysis of software systems. In this work, we introduce a novel approach to analyze system architecture models via ADTrees and to synthesize an optimal cost defense solution using MaxSMT
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ed45b643ea5e00ce4642c409a9f9bc15
https://doi.org/10.21203/rs.3.rs-2530611/v1
https://doi.org/10.21203/rs.3.rs-2530611/v1
Publikováno v:
Practical Aspects of Declarative Languages ISBN: 9783031248405
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c283ab4b2b010fff8d5bfee7efda2cde
https://doi.org/10.1007/978-3-031-24841-2_16
https://doi.org/10.1007/978-3-031-24841-2_16
Autor:
Michael R. Durling, Abha Moitra, Kit Y. Siu, Baoluo Meng, John W. Carbone, Christopher C. Alexander, Krystel K. Castillo-Villar, Gabriela F. Ciocarlie
Publikováno v:
Proceedings of the 2022 ACM CCS Workshop on Additive Manufacturing (3D Printing) Security.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b27ca06b6f8dff4434901e7253fde3db
https://doi.org/10.1145/3560833.3563566
https://doi.org/10.1145/3560833.3563566
Autor:
Michael Richard Durling, John Merems, Patrice Williams, Daniel Prince, Mike Robinson, Liana Suantak, Baoluo Meng, Abha Moitra, Jennifer Barzeele, Kit Siu
Publikováno v:
INCOSE International Symposium. 31:80-94
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bcabe69a3fb2884e9cefead85b8dd3e8
https://doi.org/10.1002/j.2334-5837.2021.00827.x
https://doi.org/10.1002/j.2334-5837.2021.00827.x
Publikováno v:
SAE International Journal of Transportation Cybersecurity and Privacy. 4:3-17
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1bea3d02e0ed61b15c704a5c666bd082
https://doi.org/10.4271/11-04-01-0001
https://doi.org/10.4271/11-04-01-0001
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::00a36a991cb10a9573bce1ebe20d5f17
https://doi.org/10.1007/978-3-031-06773-0_40
https://doi.org/10.1007/978-3-031-06773-0_40
Autor:
Abha Moitra, Paul Cuddihy, Kit Siu, Baoluo Meng, John Interrante, David Archer, Eric Mertens, Kevin Quick, Valentin Robert, Daniel Russell
Publikováno v:
2022 IEEE 16th International Conference on Semantic Computing (ICSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::41b9a4b21709a540e36baaaf98235cd4
https://doi.org/10.1109/icsc52841.2022.00035
https://doi.org/10.1109/icsc52841.2022.00035
Autor:
Joachim Karl Ulf Hochwarth, Ritchie Lee, Heber Herencia-Zapana, Robert J. Moss, Vidhya Tekken Valapil, Mike Meiners, Nicholas Visser, Michael Richard Durling, Baoluo Meng
Publikováno v:
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC).
Adaptive Stress Testing (AST) has shown promise in identifying errant corner cases in complex software used in aerospace applications including Flight Management Systems (FMS). The strength of AST is performing test-based validation and verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ada56ff5257f59d27173538c7db21858
https://doi.org/10.1109/dasc52595.2021.9594395
https://doi.org/10.1109/dasc52595.2021.9594395