Borislava I. Simidchieva

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