Author of the publication

Garp: Graph Abstractions for Concurrent Programming.

, and . ESOP, volume 300 of Lecture Notes in Computer Science, page 191-205. Springer, (1988)

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.

 

Other publications of authors with the same name

RUST: A Retargetable Usability Testbed for Web Site Authentication Technologies., , , , and . UPSEC, USENIX Association, (2008)BUGMINER: Software Reliability Analysis Via Data Mining of Bug Reports., , , and . SEKE, page 95-100. Knowledge Systems Institute Graduate School, (2011)An Approach to Software Testing of Machine Learning Applications., , and . SEKE, page 167-. Knowledge Systems Institute Graduate School, (2007)Automatic detection of previously-unseen application states for deployment environment testing and analysis., , , and . AST, page 16-23. ACM, (2010)Report from the second international workshop on games and software engineering (GAS 2012)., , , and . ACM SIGSOFT Softw. Eng. Notes, 38 (1): 34-35 (2013)Using Tool Abstraction to Compose Systems., , and . Computer, 25 (6): 30-38 (1992)Adaptive Synchronization of Semantically Compressed Instructional Videos for Collaborative Distance Learning., , , , and . Int. J. Distance Educ. Technol., 5 (2): 56-73 (2007)Neural Network Guided Evolutionary Fuzzing for Finding Traffic Violations of Autonomous Vehicles., , and . IEEE Trans. Software Eng., 49 (4): 1860-1875 (April 2023)Vignat: Vulnerability identification by learning code semantics via graph attention networks., and . CoRR, (2023)Intelligent Assistance for Software Development and Maintenance., , and . IEEE Softw., 5 (3): 40-49 (1988)