Author of the publication

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

Object Oriented Framework for Generating Machine Understanding of a Digital System Design., and . IEA/AIE, volume 604 of Lecture Notes in Computer Science, page 690-700. Springer, (1992)Assume-Guarantee Algorithms for Automatic Detection of Software Failures., and . IFM, volume 2335 of Lecture Notes in Computer Science, page 89-108. Springer, (2002)A Signal Processing Approach to Global Predicate Monitoring., and . SRDS, page 136-145. IEEE Computer Society, (2004)Automatic Failure Detection with Separation of Concerns., and . ARES, page 173-181. IEEE Computer Society, (2007)An Evaluation of DRete on CUPlD for OPSS Matching., and . IJCAI, page 84-90. Morgan Kaufmann, (1989)An Architectural Overview of a Software Supervisor., and . RTS, page 52-56. IEEE Computer Society, (1996)A Multiprocessor Architecture for Production System Matching., and . AAAI, page 36-41. Morgan Kaufmann, (1987)Diversity to Enhance Autonomic Computing Self-Protection., and . ARES, page 295-299. IEEE Computer Society, (2006)An approach to automatic detection of software failures., , , , , , , , and . ISSRE, page 314-323. IEEE Computer Society, (1995)Automatic detection of software failures: issues and experience., and . ECRTS, page 245-252. IEEE Computer Society, (1998)