( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Rapid property specification and checking for model-based formalisms.

, , , , , , и . International Symposium on Rapid System Prototyping, стр. 121-127. IEEE, (2011)

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 Schmidt

Corina Noack

Corina Stock

Corina Sargk

 

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

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 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)Symbolic execution with mixed concrete-symbolic solving., , и . ISSTA, стр. 34-44. ACM, (2011)Learning Assumptions for Verifying Cryptographic Protocols Compositionally., , , и . FACS, том 13077 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2021)DifFuzz: differential fuzzing for side-channel analysis., , и . ICSE, стр. 176-187. IEEE / ACM, (2019)On reliability of patch correctness assessment., , , , , и . ICSE, стр. 524-535. IEEE / ACM, (2019)NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks., , , , и . ICSE (Companion Volume), стр. 25-28. IEEE, (2021)SECOM: Towards a convention for security commit messages., , , и . MSR, стр. 764-765. ACM, (2022)Exact and approximate probabilistic symbolic execution for nondeterministic programs., , , , и . ASE, стр. 575-586. ACM, (2014)