- 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
- Jump To:
- 2010
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
|
LASER Publications
Digital Government
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 ]
STORM2: Process-Guided Online Dispute Resolution
Borislava I. Simidchieva,
Lori A. Clarke,
Leon J. Osterweil,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, June 2010. (UM-CS-2009-046)
[ PDF ]
Structural Considerations in Defining Executable Process Models
Borislava I. Simidchieva,
Leon J. Osterweil,
Alexander Wise,
International Conference on Software Process: Trustworthy Software Development Processes, Vancouver, B. C., Canada, May 2009, Lecture Notes in Computer Science Vol. 5543, pp. 366-376. (UM-CS-2009-038)
[ ACM ]
[ PDF ]
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 ]
Representing Process Variation with a Process Family
Borislava I. Simidchieva,
Lori A. Clarke,
Leon J. Osterweil,
In Software Process Dynamics and Agility: Proceedings of the International Conference on Software Process (2007), Q. Wang, D. Pfahl, and D. M. Raffo, Eds., vol. 4470 of LNCS, Springer, pp. 109-120. (UM-CS-2007-13)
[ PDF ]
[ Slides ]
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 Simidchieva,
Norman Sondheimer,
Leah Wing,
Alexander Wise,
8th Annual International Conference on Digital Government Research: Bridging Disciplines & Domains, Philadelphia, PA, pp. 310-311, May 20-23, 2007. (UM-CS-2007-11)
[ ACM ]
[ PDF ]
Little-JIL 1.5 Language Report
Alexander Wise,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, October 2006. (UM-CS-2006-51)
[ PDF ]
A Process-Driven Tool to Support Online Dispute Resolution
Lori A. Clarke,
Alan Gaitenby,
Daniel Gyllstrom,
Ethan Katsh,
Matthew Marzilli,
Leon J. Osterweil,
Norman K. Sondheimer,
Leah Wing,
Alexander Wise,
Daniel Rainey,
2006 International Conference on Digital Government Research, San Diego, CA, ACM Press, 2008, pp. 356-357. (UM-CS-2007-05)
[ ACM ]
[ PDF ]
Unifying the Software Process Spectrum
Mingshu Li,
Barry W. Boehm,
Leon J. Osterweil,
(eds.) International Software Process Workshop (SPW 2005), Beijing, China, Springer-Verlag Lecture Notes in Computer Science, Vol 3840, 522 pages, May 25-27, 2005. (UM-CS-2006-24)
[ SpringerLink ]
[ PDF ]
Definition and Analysis of Election Processes
Mohammad S. Raunak,
Bin Chen,
Amr Elssamadisy,
Lori A. Clarke,
Leon J. Osterweil,
2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 178-185, May 2006. (UM-CS-2006-19)
[ SpringerLink ]
[ PDF ]
[ Slides ]
Ubiquitous Process Engineering: Applying Software Process Technology to Other Domains
Leon J. Osterweil,
Keynote Address given at 2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag Lecture Notes in Computer Science, Vol. 3966, pp. 39-47, May 2006. (UM-CS-2006-20)
[ SpringerLink ]
[ PDF ]
[ Keynote Slides ]
Automatic Fault Tree Derivation from Little-JIL Process Definitions
Bin Chen,
George S. Avrunin,
Lori A. Clarke,
Leon J. Osterweil,
2006 Software Process Workshop (SPW 2006) and 2006 Process Simulation Workshop (PROSIM 2006), Shanghai, China, Springer-Verlag LNCS, Vol. 3966, pp. 150-158, May, 2006. (UM-CS-2006-01)
[ SpringerLink ]
[ PDF ]
[ Slides ]
Using Process Definitions to Facilitate the Specification of Requirements
Leon J. Osterweil,
Norman K. Sondheimer,
Lori A. Clarke,
Ethan Katsh,
Daniel Rainey,
Department of Computer Science, University of Massachusetts, Amherst, MA 01003, February 2006. (UM-CS-2006-11)
[ PDF ]
Process Definition Language Support for Rapid Simulation Prototyping
Mohammad S. Raunak,
Leon J. Osterweil,
Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 416-432. (UM-CS-2005-04)
[ SpringerLink ]
[ PDF ]
Unifying Microprocess and Macroprocess Research
Leon J. Osterweil,
Software Process Workshop (SPW2005), Beijing, China, May 25-27, 2005, Springer-Verlag Lecture Notes in Computer Science, Vol. 3840, pp. 68-74. (UM-CS-2005-36)
[ SpringerLink ]
[ PDF ]
Effective Resource Allocation for Process Simulation: A Position Paper
Mohammad S. Raunak,
Leon J. Osterweil,
6th International Workshop on Software Process Simulation and Modeling, St. Louis, MO, May 14-15, 2005. (UM-CS-2005-30)
[ PDF ]
Analyzing Processes for E-Government Development: The Emergence of Process Modeling Languages
Leon J. Osterweil,
Charles M. Schweik,
Norman K. Sondheimer,
Craig W. Thomas,
Journal of E-Government. 1(4), 2004 pp. 63-89. (UM-CS-2004-110)
[ PDF ]
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
|
This site is maintained by the