( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Probabilistic Program Analysis.

, , , , , и . GTTSE, том 10223 из Lecture Notes in Computer Science, стр. 1-25. Springer, (2015)

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.

Corina Rehwagen

Corina Noack

Corina Schmidt

Corina Stock

Corina Sargk

 

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

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement., , , и . CAV (1), том 9779 из Lecture Notes in Computer Science, стр. 329-351. Springer, (2016)Learning Techniques for Software Verification and Validation., и . ISoLA (1), том 7609 из Lecture Notes in Computer Science, стр. 505-507. Springer, (2012)Verification of Java Programs Using Symbolic Execution and Invariant Generation., и . SPIN, том 2989 из Lecture Notes in Computer Science, стр. 164-181. Springer, (2004)Finding Feasible Counter-examples when Model Checking Abstracted Java Programs., , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 284-298. Springer, (2001)Test input generation for red-black trees using abstraction., , и . ASE, стр. 414-417. ACM, (2005)Symbolic Complexity Analysis Using Context-Preserving Histories., , и . ICST, стр. 58-68. IEEE Computer Society, (2017)Property Inference for Deep Neural Networks., , , и . ASE, стр. 797-809. IEEE, (2019)Symbolic Execution and Software Testing.. Engineering Dependable Software Systems, том 34 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2013)Learning Assumptions for Verifying Cryptographic Protocols Compositionally., , , и . FACS, том 13077 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2021)Symbolic execution with mixed concrete-symbolic solving., , и . ISSTA, стр. 34-44. ACM, (2011)