Lukás Charvát

According to our database, Lukás Charvát authored at least 7 papers between 2012 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Utilizing parametric systems for detection of pipeline hazards.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Int. J. Softw. Tools Technol. Transf., 2022

2020

Automatická verifikace v procesu soubežného návrhu hardware a software ; Automated Verification in HW/SW Co-design.

Lukás Charvát

PhD thesis, 2020

2016

HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2016

2015

Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2015, 2015

2014

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014

2013

An Abstraction of Multi-port Memories with Arbitrary Addressable Units.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the Computer Aided Systems Theory - EUROCAST 2013, 2013

2012

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description.

Lukás Charvát, Ales Smrcka, Tomás Vojnar

Proceedings of the 13th International Workshop on Microprocessor Test and Verification, 2012