Discover open access scientific publications

Search, annotate, share and cite publications

Publications by E.V. Kochetkov

Verified Program Code Execution System Prototype

Proceedings of the Institute for System Programming of the RAS

English

Related publications

Verified Validation of Program Slicing

English

Integration of Asterisk IP-PBX With ESP32 Embedded System for Remote Code Execution

English

Prototype Real-Time Monitor: Ada Code.

English

Linear Capabilities for Fully Abstract Compilation of Separation-Logic-Verified Code

Proceedings of the ACM on Programming Languages

English

Author Program Code

Journal of the American Society for Mass Spectrometry

Structural Biology

English

Idiosyncratic Signatures for Authenticated Execution of Management Code

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

1094 Plastics in Building Code (Materials and Execution)

Transactions of the Architectural Institute of Japan Summaries of Technical Papers

English

Profile-Driven Code Execution for Low Power Dissipation

English

Toward a Verified Relational Database Management System

ACM SIGPLAN Notices

Computer Science

English