PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Petrenko, Alexandre"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.

, , , und . HICSS, Seite 337. IEEE Computer Society, (2003)

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.

Alexandre Waquet University of Stuttgart

Dr. Taras Petrenko University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Nondeterministic State Machines in Protocol Conformance Testing., , , und . Protocol Test Systems, Volume C-19 von IFIP Transactions, Seite 363-378. North-Holland, (1993)Building an interactive test development environment for cyclic executive systems., , , , und . SIES, Seite 127-135. IEEE, (2015)Automating the process of test derivation from SDL specifications., , , und . SDL Forum, Seite 261-276. Elsevier, (1997)On Testing Partially Specified IOTS through Lossless Queues., und . TestCom, Volume 2978 von Lecture Notes in Computer Science, Seite 76-94. Springer, (2004)Multiplexing of Partially Ordered Events., , , und . TestCom, Volume 3502 von Lecture Notes in Computer Science, Seite 97-110. Springer, (2005)Test Generation by Constraint Solving and FSM Mutant Killing., , und . ICTSS, Volume 9976 von Lecture Notes in Computer Science, Seite 36-51. (2016)Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving., , und . ICTAC, Volume 11187 von Lecture Notes in Computer Science, Seite 354-375. Springer, (2018)Multiple Mutation Testing from FSM., , und . FORTE, Volume 9688 von Lecture Notes in Computer Science, Seite 222-238. Springer, (2016)Formal Verification of Web Applications Modeled by Communicating Automata., , und . FORTE, Volume 3235 von Lecture Notes in Computer Science, Seite 115-132. Springer, (2004)Integration testing of communicating systems with unknown components., , und . Annales des Télécommunications, 70 (3-4): 107-125 (2015)