Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

An Experimental Evaluation of Simple Methods for Seeding Program Errors., und . ICSE, Seite 337-342. IEEE Computer Society, (1985)A Timestamp Ordering Algorithm for Secure, Single-Version, Multi-Level Databases., und . DBSec, Volume A-6 von IFIP Transactions, Seite 191-202. North-Holland, (1991)Planar Lattice Security Structures for Multilevel Replicated Databases., und . DBSec, Volume A-47 von IFIP Transactions, Seite 125-134. North-Holland, (1993)Semantics-based transaction processing: satisfying conflicting objectives., und . IEEE Concurrency, 5 (2): 8-10 (1997)Introduction to Software Testing, und . Cambridge University Press, Cambridge, (2016)Applying Formal Methods to Semantic-Based Decomposition of Transactions., , und . ACM Trans. Database Syst., 22 (2): 215-254 (1997)One-Representative Safety Analysis in the Non-Monotonic Transform Model., und . CSFW, Seite 139-149. IEEE Computer Society, (1994)Reconciling perspectives of software logic testing., , und . Softw. Test. Verification Reliab., 18 (3): 149-188 (2008)Generating test data from state-based specifications., , , und . Softw. Test. Verification Reliab., 13 (1): 25-53 (2003)Teaching a Testing Concept (JUnit) with Active Learning., und . ICST Workshops, Seite 411. IEEE, (2020)