( en | de | ru )

 

Disambiguation of "Avrunin, George S."

Author of the publication

copydeleteadd this publication to your clipboard
Property specification patterns for finite-state verification.

, , and . FMSP, page 7-15. ACM, (1998)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

George S Levit

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)

S Danischewski

S Ulrich

S Hilt

 

Other publications of authors with the same name

An Integrated Collection of Tools for Continuously Improving the Processes by Which Health Care Is Delivered: A Tool Report., , and . Business Process Management Workshops, volume 43 of Lecture Notes in Business Information Processing, page 647-653. Springer, (2009)Managing space for finite-state verification., , and . ICSE, page 152-161. ACM, (2006)Verification support for plug-and-play architectural design., , and . ROSATEA, page 49-50. ACM, (2006)Analyzing Partially-Implemented Real-Time Systems., , and . ICSE, page 228-238. ACM, (1997)Improving the precision of INCA by preventing spurious cycles., and . ISSTA, page 191-200. ACM, (2000)Experience modeling and analyzing medical processes: UMass/baystate medical safety project overview., , , , , , , , and . IHI, page 316-325. ACM, (2010)Heuristic-Based Model Refinement for FLAVERS., , and . ICSE, page 635-644. IEEE Computer Society, (2004)An Automatic Failure Mode and Effect Analysis Technique for Processes Defined in the Little-JIL Process Definition Language., , , , and . SEKE, page 765-770. Knowledge Systems Institute Graduate School, (2010)Process Programming to Support Medical Safety: A Case Study on Blood Transfusion., , , , , , , and . ISPW, volume 3840 of Lecture Notes in Computer Science, page 347-359. Springer, (2005)Rigorously Defining and Analyzing Medical Processes: An Experience Report., , , , , , , and . MoDELS (Workshops), volume 5002 of Lecture Notes in Computer Science, page 118-131. Springer, (2007)