Martin Hruska

Orcid: 0000-0002-7931-4955

According to our database1, Martin Hruska authored at least 13 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Mata, a Fast and Simple Finite Automata Library (Technical Report).
CoRR, 2023

Reasoning About Regular Properties: A Comparative Study.
Proceedings of the Automated Deduction - CADE 29, 2023

2022
Orchestrating Digital Twins for Distributed Manufacturing Execution Systems.
Proceedings of the Computer Aided Systems Theory - EUROCAST 2022, 2022

2021
Towards Efficient Shape Analysis with Tree Automata.
Proceedings of the Networked Systems - 9th International Conference, 2021

2020
New Insights towards High-Temperature Ethanol-Sensing Mechanism of ZnO-Based Chemiresistors.
Sensors, 2020

Symbiotic 7: Integration of Predator and More - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

2019
2LS: Heap Analysis and Memory Safety (Competition Contribution).
CoRR, 2019

2018
Template-Based Verification of Heap-Manipulating Programs.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

2017
Counterexample Validation and Interpolation-Based Refinement for Forest Automata.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

Forester: From Heap Shapes to Automata Predicates - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016
Run Forester, Run Backwards! - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015
Forester: Shape Analysis Using Tree Automata - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2004
Integrated Science through Computer-aided Experiments.
Informatics Educ., 2004


  Loading...