search
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
vv-lab:publications [2022/04/06 12:53] egm [Journal Articles] |
vv-lab:publications [2022/04/06 13:05] (current) egm [Conference Papers] |
||
|---|---|---|---|
| Line 11: | Line 11: | ||
| ==Conference Papers== | ==Conference Papers== | ||
| + | * J. Belt, J. Hatcliff, Robby, J. Shackleton, J. Carciofini, T. Carpenter, E. Mercer, I. Amundson, J. Babar, D. Cofer, D. Hardin, K. Hoech, K. Slind, I. Kuz, K. Mcleod, Model-Driven Development for the seL4 Microkernel Using the HAMR Framework, ''Proceedings of the 26th Ada-Europe International Conference on Reliable Software Technologies'', 2022. | ||
| + | * C. Liu, J. Babar, I. Amundson, K. Hoech, D. Coffer, and E. Mercer, Assume-Guarantee Reasoning with Scheduled Components, ''NASA Formal Methods - 14th International Symposium (NFM)'', 2022. | ||
| + | * E. Mercer, K. Butler, and A. Bahrami, Model Checking Functional Integration of Human Cognition and Machine Reasoning, ''The 16th Annual IEEE International Systems Conference (SYSCON)'', 2022, IEEE. | ||
| + | * E. Mercer, K. Slind, I. Amundson, D. Cofer, J. Babar, and D. Hardin, Synthesizing Verified Components for Cyber Assured Systems Engineering, ''2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS)'', pp. 205–215, 2021, IEEE. | ||
| * B. Decker, B. Winters, E. Mercer,"Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench", ''NASA Formal Methods - 13th International Symposium'' (NFM), 2021 Virtual Event, May 24-28, 2021. ''Lecture Notes in Computer Science'', vol 12673, 72--78, Springer, 2021, [https://doi.org/10.1007/978-3-030-76384-8_5 DOI]. | * B. Decker, B. Winters, E. Mercer,"Towards Verifying SHA256 in OpenSSL with the Software Analysis Workbench", ''NASA Formal Methods - 13th International Symposium'' (NFM), 2021 Virtual Event, May 24-28, 2021. ''Lecture Notes in Computer Science'', vol 12673, 72--78, Springer, 2021, [https://doi.org/10.1007/978-3-030-76384-8_5 DOI]. | ||
| * Y. Huang, B. Ogles, and E, Mercer, ''A Predictive Analysis for Detecting Deadlock in MPI Programs'', Proceedings of Automated Software Engineering (ASE), September 2020, ACM. | * Y. Huang, B. Ogles, and E, Mercer, ''A Predictive Analysis for Detecting Deadlock in MPI Programs'', Proceedings of Automated Software Engineering (ASE), September 2020, ACM. | ||
