Borislava I. Simidchieva

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 10

Top Topics

Object Class Recognition

Requirements Analysis

Scale Invariant

Top Venues

IEEE Symposium on Security and Privacy Workshops

Publications

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
Scale-Invariant Specifications for Human-Swarm Systems. Field Robotics 3 (1) (2023)
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
Scale-Invariant Specifications for Human-Swarm Systems. CoRR (2022)
Ahalya Prabhakar, Ian Abraham, Annalisa T. Taylor, Millicent Schlafly, Katarina Popovic, Giovani Diniz, Brendan Teich, Borislava I. Simidchieva, Shane Clark, Todd D. Murphey
Ergodic Specifications for Flexible Swarm Control: From User Commands to Persistent Adaptation. Robotics: Science and Systems (2020)
Ahalya Prabhakar, Ian Abraham, Annalisa T. Taylor, Millicent Schlafly, Katarina Popovic, Giovani Diniz, Brendan Teich, Borislava I. Simidchieva, Shane Clark, Todd D. Murphey
Ergodic Specifications for Flexible Swarm Control: From User Commands to Persistent Adaptation. CoRR (2020)
Fusun Yaman, Thomas C. Eskridge, Aaron Adler, Michael Atighetchi, Borislava I. Simidchieva, Sarah Jeter, Jennifer Cassetti, Jeffrey DeMatteis
An Autonomous Resiliency Toolkit for Cyber Defense Platforms. ICAART (2) (2020)
Michael Atighetchi, Borislava I. Simidchieva, Katarzyna Olejnik
Security Requirements Analysis - A Vision for an Automated Toolchain. QRS Companion (2019)
Leon J. Osterweil, Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Sean Peisert
Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example. ACM Trans. Priv. Secur. 20 (2) (2017)
Michael Atighetchi, Borislava I. Simidchieva, Fusun Yaman, Thomas C. Eskridge, Marco M. Carvalho, Nicholas Paltzer
Using Ontologies to Quantify Attack Surfaces. STIDS (2016)
Michael Atighetchi, Fusun Yaman, Borislava I. Simidchieva, Marco M. Carvalho
An autonomous resiliency toolkit - needs, challenges, and concepts for next generation cyber defense platforms. MILCOM (2016)
Michael Atighetchi, Borislava I. Simidchieva, Marco M. Carvalho, David Last
Experimentation Support for Cyber Security Evaluations. CISRC (2016)
Borislava I. Simidchieva, Leon J. Osterweil
Generation, composition, and verification of families of human-intensive systems. SPLC (2014)
Matt Bishop, Heather M. Conboy, Huong Phan, Borislava I. Simidchieva, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil, Sean Peisert
Insider Threat Identification by Process Analysis. IEEE Symposium on Security and Privacy Workshops (2014)
Borislava I. Simidchieva, Leon J. Osterweil
Characterizing process variation. ICSE (2011)
Borislava I. Simidchieva, Sophie Engle, Michael Clifford, Alicia Clay Jones, Sean Peisert, Matt Bishop, Lori A. Clarke, Leon J. Osterweil
Modeling and Analyzing Faults to Improve Election Process Robustness. EVT/WOTE (2010)
Borislava I. Simidchieva, Leon J. Osterweil
Categorizing and modeling variation in families of systems: a position paper. ECSA Companion Volume (2010)
Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise
Structural Considerations in Defining Executable Process Models. ICSP (2009)
Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil
Specifying and verifying requirements for election processes. DG.O (2008)
Lori A. Clarke, Alan Gaitenby, Ethan Katsh, Matthew Marzilli, Leon J. Osterweil, Daniel Rainey, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise
Using process definitions to drive user interactions with digital government systems. DG.O (2007)
Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil
Representing Process Variation with a Process Family. ICSP (2007)
Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva
Desiderata for Languages to be Used in the Defnition of Reference Business Processes. Int. J. Softw. Informatics 1 (1) (2007)