Autor der Publikation

Kopieren Löschen Diese Publikation zur Ablage hinzufügen
Community-Eintrag
Versionsverlauf dieses Eintrags
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Iterative Analysis to Improve Key Properties of Critical Human-Intensive Processes: An Election Security Example.

L. Osterweil, M. Bishop, H. Conboy, H. Phan, B. Simidchieva, G. Avrunin, L. Clarke, und S. Peisert. ACM Trans. Priv. Secur., 20 (2): 5:1-5:31 (2017)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

S. Schumann

S. Seemann

S. Wartzack

Boettinger S

S. Toro

Weitere Publikationen von Autoren mit dem selben Namen

Improving the Precision of INCA by Eliminating Solutions with Spurious Cycles.S. Siegel, und G. Avrunin. IEEE Trans. Software Eng., 28 (2): 115-128 (2002)An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report.L. Osterweil, L. Clarke, und G. Avrunin. Business Process Management Workshops, Volume 43 von Lecture Notes in Business Information Processing, Seite 647-653. Springer, (2009)Heuristic-Based Model Refinement for FLAVERS.J. Tan, G. Avrunin, und L. Clarke. ICSE, Seite 635-644. IEEE Computer Society, (2004)An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language.D. Wang, J. Pan, G. Avrunin, L. Clarke, und B. Chen. SEKE, Seite 765-770. Knowledge Systems Institute Graduate School, (2010)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview.G. Avrunin, L. Clarke, L. Osterweil, S. Christov, B. Chen, E. Henneman, P. Henneman, L. Cassells, und W. Mertens. IHI, Seite 316-325. ACM, (2010)Verification support for plug-and-play architectural design.S. Wang, G. Avrunin, und L. Clarke. ROSATEA, Seite 49-50. ACM, (2006)Analyzing Partially-Implemented Real-Time Systems.G. Avrunin, J. Corbett, und L. Dillon. ICSE, Seite 228-238. ACM, (1997)Improving the precision of INCA by preventing spurious cycles.S. Siegel, und G. Avrunin. ISSTA, Seite 191-200. ACM, (2000)Managing space for finite-state verification.J. Tan, G. Avrunin, und L. Clarke. ICSE, Seite 152-161. ACM, (2006)Describing and Analyzing Distributed Software System Designs.G. Avrunin, und J. Wileden. ACM Trans. Program. Lang. Syst., 7 (3): 380-403 (1985)