( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
07011 Executive Summary -- Runtime Verification.

, , , и . Runtime Verification, том 07011 из Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

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.

Grigore Burloiu

Grigore Tabacaru

Marius Rosu

Grigore Nicolae

Grigore Tabacaru

 

Другие публикации лиц с тем же именем

IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain., , , , , , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 593-610. Springer, (2019)Checking and Correcting Behaviors of Java Programs at Runtime with Java-MOP., , и . RV@CAV, том 144 из Electronic Notes in Theoretical Computer Science, стр. 3-20. Elsevier, (2005)Generating Optimal Monitors for Extended Regular Expressions., и . RV@CAV, том 89 из Electronic Notes in Theoretical Computer Science, стр. 226-245. Elsevier, (2003)Runtime Verification at Work: A Tutorial., , , , , , , и . RV, том 10012 из Lecture Notes in Computer Science, стр. 46-67. Springer, (2016)Equality of streams is a Pi0 over 2-complete problem.. ICFP, стр. 184-191. ACM, (2006)Rewriting Logic Systems., , , , , и . WRLA, том 176 из Electronic Notes in Theoretical Computer Science, стр. 233-247. Elsevier, (2006)IMUnit: improved multithreaded unit testing., , , , и . IWMSE@ICSE, стр. 48-49. ACM, (2010)Behavioral Extensions of Institutions., и . CALCO, том 3629 из Lecture Notes in Computer Science, стр. 331-347. Springer, (2005)Weak Inclusion Systems: Part Two., и . J. Univers. Comput. Sci., 6 (1): 5-21 (2000)The K Primer (version 3.3)., , , , , и . K, том 304 из Electronic Notes in Theoretical Computer Science, стр. 57-80. Elsevier, (2011)