- All Publications
- Static Analysis
[...]
- Process Programming and Workflow
[...]
- Software Development
[...]
- Case Studies
- Medical Safety
- Elections
»
- Scientific Workflow
- Online Dispute Resolution
- Digital Government
- Software Development
- Electronic Enterprise Institute
- Improving Diversity
- Jump To:
- 2014
- 2012
- 2010
- 2008
- 2006
|
LASER Publications
Elections
by Borislava I. Simidchieva
Generation, Composition, and Verification of Process Families
Borislava I. Simidchieva,
Leon J. Osterweil,
In SPLC '14: Proceedings of the 18th International Software Product Line Conference Sept 15-19, Florence, Italy (2014), pp. 207-216. (UM-CS-2014-013)
[ ACM ]
[ PDF ]
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,
In Proceedings of the 2014 Workshop on Research for Insider Threat (WRIT) May 18, San Jose, CA (2014), pp. 251-264.. (UM-CS-2014-014)
[ PDF ]
Modeling and Analyzing Faults to Improve Election Process Robustness
Borislava I. Simidchieva,
Sophie J. 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 (EVT/WOTE '10), August 9-10, 2010, Washington,
DC. (UM-CS-2010-039)
[ Usenix ]
[ Video ]
[ PDF ]
[ Slides ]
Specifying and Verifying Requirements for Election
Processes
Borislava I. Simidchieva,
Matthew S. Marzilli,
Lori A. Clarke,
Leon J. Osterweil,
In dg.o 2008: Proceedings of the 9th Annual International Conference on Digital Government Research, Montreal, Canada, May 2008, S. A. Chun, M. Janssen, and J. R. Gil-Garcia, Eds., Digital Government Society of North America, pp. 63-72. (UM-CS-2008-21)
[ ACM ]
[ PDF ]
[ Slides ]
Notice: We present this material to ensure timely and wide dissemination of our work.
All persons copying this material must adhere to the terms of the relevant copyrights
|