From post

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.

 

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

Machine-Checked Proofs for Realizability Checking Algorithms., , и . VSTTE, том 9593 из Lecture Notes in Computer Science, стр. 110-123. Springer, (2015)Model-Checking of Safety-Critical Software for Avionics., , и . ERCIM News, (2008)Inductive Validity Cores., , , и . IEEE Trans. Software Eng., 47 (2): 279-299 (2021)Development of Security Software: A High Assurance Methodology., , , , и . ICFEM, том 5885 из Lecture Notes in Computer Science, стр. 266-285. Springer, (2009)Architectural Modeling and Analysis for Safety Engineering., , , и . IMBSA, том 10437 из Lecture Notes in Computer Science, стр. 97-111. Springer, (2017)Proofs for Incremental SAT with Inprocessing., и . FMCAD, стр. 132-140. IEEE, (2023)Structuring simulink models for verification and reuse., , , и . MiSE, стр. 19-24. ACM, (2014)Hierarchical multi-formalism proofs of cyber-physical systems., , , , , , и . MEMOCODE, стр. 90-95. IEEE, (2015)Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers., , , , и . TACAS (1), том 13993 из Lecture Notes in Computer Science, стр. 348-366. Springer, (2023)Automated Oracle Data Selection Support., , , и . IEEE Trans. Software Eng., 41 (11): 1119-1137 (2015)