Borislava I. Simidchieva

According to our database, Borislava I. Simidchieva authored at least 18 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

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, January, 2023

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

Proceedings of the Robotics: Science and Systems XVI, 2020

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

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

Security Requirements Analysis - A Vision for an Automated Toolchain.

Michael Atighetchi, Borislava I. Simidchieva, Katarzyna Olejnik

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2017

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

2016

Using Ontologies to Quantify Attack Surfaces.

Michael Atighetchi, Borislava I. Simidchieva, Fusun Yaman, Thomas C. Eskridge, Marco M. Carvalho, Nicholas Paltzer

Proceedings of the Eleventh Conference on Semantic Technology for Intelligence, 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

Proceedings of the 2016 IEEE Military Communications Conference, 2016

Experimentation Support for Cyber Security Evaluations.

Michael Atighetchi, Borislava I. Simidchieva, Marco M. Carvalho, David Last

Proceedings of the 11th Annual Cyber and Information Security Research Conference, 2016

2014

Generation, composition, and verification of families of human-intensive systems.

Borislava I. Simidchieva, Leon J. Osterweil

Proceedings of the 18th International Software Product Line Conference, 2014

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

Proceedings of the 35. IEEE Security and Privacy Workshops, 2014

2011

Characterizing process variation.

Borislava I. Simidchieva, Leon J. Osterweil

Proceedings of the 33rd International Conference on Software Engineering, 2011

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

Proceedings of the 2010 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2010

Categorizing and modeling variation in families of systems: a position paper.

Borislava I. Simidchieva, Leon J. Osterweil

Proceedings of the Software Architecture, 4th European Conference, 2010

2009

Structural Considerations in Defining Executable Process Models.

Borislava I. Simidchieva, Leon J. Osterweil, Alexander E. Wise

Proceedings of the Trustworthy Software Development Processes, 2009

2008

Specifying and verifying requirements for election processes.

Borislava I. Simidchieva, Matthew Marzilli, Lori A. Clarke, Leon J. Osterweil

Proceedings of the 9th Annual International Conference on Digital Government Research, 2008

2007

Desiderata for Languages to be Used in the Defnition of Reference Business Processes.

Liming Zhu, Leon J. Osterweil, Mark Staples, Udo Kannengiesser, Borislava I. Simidchieva

Int. J. Softw. Informatics, 2007

Representing Process Variation with a Process Family.

Borislava I. Simidchieva, Lori A. Clarke, Leon J. Osterweil

Proceedings of the Software Process Dynamics and Agility, 2007

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, Borislava I. Simidchieva, Norman K. Sondheimer, Leah Wing, Alexander E. Wise

Proceedings of the 8th Annual International Conference on Digital Government Research, 2007