( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a Formal Framework for Normative Requirements Elicitation.

, , , , , , и . ASE, стр. 1776-1780. IEEE, (2023)

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.

Nick Fandrich

Zur Charakterisierung von amphiphilen Blockcopolymeren aus N-Vinylpyrrolidon und Vinylacetat. Uni Potsdam, (2009)

Gerhard Nick

Gernot Nick

Nick Bretschneider

Nick Bretl

 

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

Verification by Gambling on Program Slices., , , , и . ATVA, том 12971 из Lecture Notes in Computer Science, стр. 266-282. Springer, (2021)Early Verification of Legal Compliance via Bounded Satisfiability Checking., , , и . CAV (3), том 13966 из Lecture Notes in Computer Science, стр. 374-396. Springer, (2023)Code-Level Functional Equivalence Checking of Annotative Software Product Lines., , и . SPLC (A), стр. 64-75. ACM, (2023)Analyzing and Debugging Normative Requirements via Satisfiability Checking., , , , , , , , , и 4 other автор(ы). ICSE, стр. 214:1-214:12. ACM, (2024)Normative Requirements Operationalization with Large Language Models., , , , , , , , , и 2 other автор(ы). RE, стр. 129-141. IEEE, (2024)Clause Size Reduction with all-UIP Learning., и . SAT, том 12178 из Lecture Notes in Computer Science, стр. 28-45. Springer, (2020)Scaling Client-Specific Equivalence Checking via Impact Boundary Search., , , и . ASE, стр. 734-745. IEEE, (2020)Towards a Formal Framework for Normative Requirements Elicitation., , , , , , и . ASE, стр. 1776-1780. IEEE, (2023)DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories., , , , , , , и . TACAS (1), том 14570 из Lecture Notes in Computer Science, стр. 3-23. Springer, (2024)Bounded Satisfiability Checking of Metric First-order Temporal Logic., , , и . CoRR, (2022)