Search Results - "Smrčka, Aleš"

Cultural Heritage Viability: An Example of Traditional Transport in Central Europe by Smrčka, Aleš

“…This paper focuses on traditional transport as a form of cultural heritage in Central Europe, looking at the modes of transport that are still viable today as…”
Get full text

Utilizing parametric systems for detection of pipeline hazards by Charvát, Lukáš, Smrčka, Aleš, Vojnar, Tomáš

“…The current stress on having a rapid development cycle for microprocessors featuring pipeline-based execution leads to a high demand of automated techniques…”
Get full text

HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems by Charvát, Lukáš, Smrčka, Aleš, Vojnar, Tomáš

“…HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data hazards. It focuses on…”
Get full text

Towards an extensive set of criteria for safety and cyber-security evaluation of cyber-physical systems by Smrčka, Aleš, Sangchoolie, Behrooz, Mingozzi, Emanuele, de la Vara, Jose Luis, Farrell, Marie, Barbosa, Raul, Baglum, Cem, Yayan, Ugur, Ergun, Salih, Kanak, Alper

“…Verification and validation (V&V) are complex processes combining different approaches and incorporating many different methods including many activities…”
Get full text

Vltavané – tradice plaveckých spolků. Výstava ke 150. výročí spolku Vltavan Praha. Národopisné muzeum Národního muzea, Kinského zahrada, Praha, 18. 5. – 19. 9. 2021 by Smrčka, Aleš

“…More than sixty years have passed since the last time timber was sailed on the Vltava in a bundled state for subsistence purposes. It might seem that this…”
Get full text

DIE BEDEUTUNG DES HEUS UND SEIN TRADITIONELLER TRANSPORT IM RIESENGEBIRGE by SMRČKA, ALEŠ

“…Most of the inhabitants of Krkonoše made their living by agriculture, brought by the colonists from the Alps in the second half of the 16th century. A…”
Get full text

Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors by Charvat, Luka, Smrcka, Ales, Vojnar, Tomas

“…Implementation of a pipeline-based execution of instructions in purpose-specific microprocessors is an error prone task, which implies a need of proper…”
Get full text

Enhancing Security of AI-Based Code Synthesis with GitHub Copilot via Cheap and Efficient Prompt-Engineering by Res, Jakub, Homoliak, Ivan, Perešíni, Martin, Smrčka, Aleš, Malinka, Kamil, Hanacek, Petr

“…AI assistants for coding are on the rise. However one of the reasons developers and companies avoid harnessing their full potential is the questionable…”
Get full text

HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems by Charvát, Lukáš, Smrčka, Aleš, Vojnar, Tomáš

“…EPTCS 233, 2016, pp. 87-93 HADES is a fully automated verification tool for pipeline-based microprocessors that aims at flaws caused by improperly handled data…”
Get full text

NetLoiter: A Tool for Automated Testing of Network Applications using Fault-injection by Rozsival, Michal, Smrcka, Ales

“…The reliability of a network is a crucial requirement for applications and systems such as IoT (Internet-of-Things), cloud-based solutions, client-server, or…”
Get full text

The VALU3S ECSEL project: Verification and validation of automated systems safety and security by Agirre, J.A., Etxeberria, L., Barbosa, R., Basagiannis, S., Giantamidis, G., Bauer, T., Ferrari, E., Labayen Esnaola, M., Orani, V., Öberg, J., Pereira, D., Proença, J., Schlick, R., Smrčka, A., Tiberti, W., Tonetta, S., Bozzano, M., Yazici, A., Sangchoolie, B.

“…Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the…”
Get full text

Verifying Concurrent Programs Using Contracts by Dias, Ricardo J., Ferreira, Carla, Fiedor, Jan, Lourenco, Joao M., Smrcka, Ales, Sousa, Diogo G., Vojnar, Tomas

“…The central notion of this paper is that of contracts for concurrency, allowing one to capture the expected atomicity of sequences of method or service calls…”
Get full text

Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description by Charvat, L., Smrcka, A., Vojnar, T.

“…The paper proposes an automated approach with a formal basis designed for checking correspondence between an RTL implementation of a microprocessor and a…”
Get full text