Examining the role of iteration in the complete lifecycle of a traceability-oriented software development process. - Stefan C. Christov; Borislava I. Simidchieva (J. Comput. Sci. Coll., 2006)

Using process definitions to drive user interactions with digital government systems. - Lori A. Clarke; Alan Gaitenby; Ethan Katsh; Matthew Marzilli; Leon J. Osterweil; Daniel Rainey 001; Borislava I. Simidchieva; Norman K. Sondheimer; Leah Wing; Alexander E. Wise (DG.O, 2007)

Representing Process Variation with a Process Family. - Borislava I. Simidchieva; Lori A. Clarke; Leon J. Osterweil (ICSP, 2007)

Desiderata for Languages to be Used in the Defnition of Reference Business Processes. - Liming Zhu 001; Leon J. Osterweil; Mark Staples; Udo Kannengiesser; Borislava I. Simidchieva (Int. J. Softw. Informatics, 2007)

Specifying and verifying requirements for election processes. - Borislava I. Simidchieva; Matthew Marzilli; Lori A. Clarke; Leon J. Osterweil (DG.O, 2008)

Structural Considerations in Defining Executable Process Models. - Borislava I. Simidchieva; Leon J. Osterweil; Alexander E. Wise (ICSP, 2009)

Categorizing and modeling variation in families of systems: a position paper. - Borislava I. Simidchieva; Leon J. Osterweil (ECSA Companion Volume, 2010)

Modeling and Analyzing Faults to Improve Election Process Robustness. - Borislava I. Simidchieva; Sophie Engle; Michael Clifford; Alicia Clay Jones; Sean Peisert; Matt Bishop; Lori A. Clarke; Leon J. Osterweil (EVT/WOTE, 2010)

Characterizing process variation. - Borislava I. Simidchieva; Leon J. Osterweil (ICSE, 2011)

Insider Threat Identification by Process Analysis. - Matt Bishop; Heather M. Conboy; Huong Phan; Borislava I. Simidchieva; George S. Avrunin; Lori A. Clarke; Leon J. Osterweil; Sean Peisert (IEEE Symposium on Security and Privacy Workshops, 2014)

Generation, composition, and verification of families of human-intensive systems. - Borislava I. Simidchieva; Leon J. Osterweil (SPLC, 2014)

Experimentation Support for Cyber Security Evaluations. - Michael Atighetchi; Borislava I. Simidchieva; Marco M. Carvalho; David C. Last (CISRC, 2016)

An autonomous resiliency toolkit - needs, challenges, and concepts for next generation cyber defense platforms. - Michael Atighetchi; Fusun Yaman; Borislava I. Simidchieva; Marco M. Carvalho (MILCOM, 2016)

Using Ontologies to Quantify Attack Surfaces. - Michael Atighetchi; Borislava I. Simidchieva; Fusun Yaman; Thomas C. Eskridge; Marco M. Carvalho; Nicholas Paltzer (STIDS, 2016)

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. - Leon J. Osterweil; Matt Bishop; Heather M. Conboy; Huong Phan; Borislava I. Simidchieva; George S. Avrunin; Lori A. Clarke; Sean Peisert (ACM Trans. Priv. Secur., 2017)

Security Requirements Analysis - A Vision for an Automated Toolchain. - Michael Atighetchi; Borislava I. Simidchieva; Katarzyna Olejnik (QRS Companion, 2019)

An Autonomous Resiliency Toolkit for Cyber Defense Platforms. - Fusun Yaman; Thomas C. Eskridge; Aaron Adler; Michael Atighetchi; Borislava I. Simidchieva; Sarah Jeter; Jennifer Cassetti; Jeffrey DeMatteis (ICAART (2), 2020)

Ergodic Specifications for Flexible Swarm Control: From User Commands to Persistent Adaptation. - Ahalya Prabhakar; Ian Abraham; Annalisa T. Taylor; Millicent Schlafly; Katarina Popovic; Giovani Diniz; Brendan Teich; Borislava I. Simidchieva; Shane Clark; Todd D. Murphey (Robotics: Science and Systems, 2020)

Scale-Invariant Specifications for Human-Swarm Systems. - Joel Meyer; Ahalya Prabhakar; Allison Pinosky; Ian Abraham; Annalisa T. Taylor; Millicent Schlafly; Katarina Popovic; Giovani Diniz; Brendan Teich; Borislava I. Simidchieva; Shane Clark; Todd D. Murphey (Field Robotics, 2023)