( en | de | ru )

 

Disambiguation of "Smrcka, Ales"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description.

, , and . MTV, page 6-12. IEEE Computer Society, (2012)

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. You can also use the button next to the name to display some publications already assigned to the person.

Ales Stanek

Beat Alessandri

Davide Alessio

Ales Sobota

Ales Rekar

 

Other publications of authors with the same name

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems., , and . EUROCAST, volume 9520 of Lecture Notes in Computer Science, page 605-614. Springer, (2015)HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems., , and . MEMICS, volume 233 of EPTCS, page 87-93. (2016)The VALU3S ECSEL Project: Verification and Validation of Automated Systems Safety and Security., , , , , , , , , and 6 other author(s). DSD, page 352-359. IEEE, (2020)Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description., , and . MTV, page 6-12. IEEE Computer Society, (2012)An Abstraction of Multi-port Memories with Arbitrary Addressable Units., , and . EUROCAST (1), volume 8111 of Lecture Notes in Computer Science, page 460-468. Springer, (2013)Utilizing parametric systems for detection of pipeline hazards., , and . Int. J. Softw. Tools Technol. Transf., 24 (1): 1-28 (2022)Orchestrating Digital Twins for Distributed Manufacturing Execution Systems., , and . EUROCAST, volume 13789 of Lecture Notes in Computer Science, page 223-231. Springer, (2022)High-Level Modelling, Analysis, and Verification on FPGA-Based Hardware Design., , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 371-375. Springer, (2005)Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering., , , , , and . CoRR, (2024)Verifying Parametrised Hardware Designs Via Counter Automata., and . Haifa Verification Conference, volume 4899 of Lecture Notes in Computer Science, page 51-68. Springer, (2007)