( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Specification and Verification of JDK's Identity Hash Map Implementation.

, , , , , и . IFM, том 13274 из Lecture Notes in Computer Science, стр. 45-62. Springer, (2022)

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.

Stijn Cleemput

Swie Siang Gouw

Amal Dé

Dennis De

Soumen De

 

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

Prototyping a tool environment for run-time assertion checking in JML with communication histories., , и . FTfJP@ECOOP, стр. 6:1-6:7. ACM, (2010)Formal Verification of Service Level Agreements Through Distributed Monitoring., , и . ESOCC, том 9306 из Lecture Notes in Computer Science, стр. 125-140. Springer, (2015)Effectively Eliminating Auxiliaries., и . Theory and Practice of Formal Methods, том 9660 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2016)Footprint Logic for Object-Oriented Components., , , и . FACS, том 13712 из Lecture Notes in Computer Science, стр. 141-160. Springer, (2022)Human-in-the-Loop Simulation of Cloud Services., , и . ESOCC, том 10465 из Lecture Notes in Computer Science, стр. 143-158. Springer, (2017)Monitoring Method Call Sequences Using Annotations., , , и . FACS, том 6921 из Lecture Notes in Computer Science, стр. 53-70. Springer, (2010)Being and Change: Reasoning About Invariance., и . Correct System Design, том 9360 из Lecture Notes in Computer Science, стр. 191-204. Springer, (2015)Hybrid Analysis of BPEL Models with Grammars., и . SOFSEM (Doctoral Student Research Forum), том 2568 из CEUR Workshop Proceedings, стр. 73-84. CEUR-WS.org, (2020)Combining Monitoring with Run-Time Assertion Checking., и . SFM, том 8483 из Lecture Notes in Computer Science, стр. 217-262. Springer, (2014)Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development., и . FACS, том 7684 из Lecture Notes in Computer Science, стр. 128-133. Springer, (2012)