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

A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases., and . DBSec, volume A-6 of IFIP Transactions, page 191-202. North-Holland, (1991)Planar Lattice Security Structures for Multilevel Replicated Databases., and . DBSec, volume A-47 of IFIP Transactions, page 125-134. North-Holland, (1993)Semantics-based transaction processing: satisfying conflicting objectives., and . IEEE Concurrency, 5 (2): 8-10 (1997)One-Representative Safety Analysis in the Non-Monotonic Transform Model., and . CSFW, page 139-149. IEEE Computer Society, (1994)Introduction to Software Testing, and . Cambridge University Press, Cambridge, (2016)Applying Formal Methods to Semantic-Based Decomposition of Transactions., , and . ACM Trans. Database Syst., 22 (2): 215-254 (1997)Using semantic correctness in multidatabases to achieve local autonomy, distribute coordination, and maintain global integrity., , and . Inf. Sci., 129 (1-4): 155-195 (2000)An Experimental Evaluation of Simple Methods for Seeding Program Errors., and . ICSE, page 337-342. IEEE Computer Society, (1985)Reconciling perspectives of software logic testing., , and . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Generating test data from state-based specifications., , , and . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)