Ondrej Lengál

According to our database1, Ondrej Lengál
  • authored at least 31 papers between 2008 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).
CoRR, 2017

Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection.
CoRR, 2017

Lazy Automata Techniques for WS1S.
CoRR, 2017

Register automata with linear arithmetic.
CoRR, 2017

An Executable Sequential Specification for Spark Aggregation.
CoRR, 2017

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

Fair Termination for Parameterized Probabilistic Concurrent Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

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

Lazy Automata Techniques for WS1S.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

SPEN: A Solver for Separation Logic.
Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

An Executable Sequential Specification for Spark Aggregation.
Proceedings of the Networked Systems - 5th International Conference, 2017

Register automata with linear arithmetic.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016
Verification of heap manipulating programs with ordered data by extended forest automata.
Acta Inf., 2016

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

PAC learning-based verification and model synthesis.
Proceedings of the 38th International Conference on Software Engineering, 2016

2015
Automaty v nekonečně stavové formální verifikaci ; Automata in Infinite-state Formal Verification.
PhD thesis, 2015

Nested Antichains for WS1S.
CoRR, 2015

PAC Learning-Based Verification and Model Synthesis.
CoRR, 2015

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

Nested Antichains for WS1S.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2014
Compositional Entailment Checking for a Fragment of Separation Logic.
Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013
Fully Automated Shape Analysis Based on Forest Automata
CoRR, 2013

Fully Automated Shape Analysis Based on Forest Automata.
Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Verification of Heap Manipulating Programs with Ordered Data by Extended Forest Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
An Efficient Finite Tree Automata Library
CoRR, 2012

VATA: A Library for Efficient Manipulation of Non-deterministic Tree Automata.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012

Towards Beneficial Hardware Acceleration in HAVEN: Evaluation of Testbed Architectures.
Proceedings of the Hardware and Software: Verification and Testing, 2012

2011
HAVEN: An Open Framework for FPGA-Accelerated Functional Verification of Hardware.
Proceedings of the Hardware and Software: Verification and Testing, 2011

Efficient Inclusion Checking on Explicit and Semi-symbolic Tree Automata.
Proceedings of the Automated Technology for Verification and Analysis, 2011

2009
Methodology for Fast Pattern Matching by Deterministic Finite Automaton with Perfect Hashing.
Proceedings of the 12th Euromicro Conference on Digital System Design, 2009

2008
Network Probe for Flexible Flow Monitoring.
Proceedings of the 11th IEEE Workshop on Design & Diagnostics of Electronic Circuits & Systems (DDECS 2008), 2008


  Loading...