Lukás Holík
According to our database1,
Lukás Holík
authored at least 76 papers
between 2008 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2023
Proc. ACM Program. Lang., October, 2023
IEEE Trans. Smart Grid, May, 2023
CoRR, 2023
Proceedings of the Foundations of Software Science and Computation Structures, 2023
Proceedings of the Formal Methods - 25th International Symposium, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2022
Counting in Regexes Considered Harmful: Exposing ReDoS Vulnerability of Nonbacktracking Matchers.
Proceedings of the 31st USENIX Security Symposium, 2022
Proceedings of the 36th European Conference on Object-Oriented Programming, 2022
2021
Correction to: An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the Networked Systems - 9th International Conference, 2021
Efficient Modelling of ICS Communication For Anomaly Detection Using Probabilistic Automata.
Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021
2020
Int. J. Softw. Tools Technol. Transf., 2020
Formal Methods Syst. Des., 2020
String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report).
CoRR, 2020
Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020
Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020
2019
Succinct Determinisation of Counting Automata via Sphere Construction (Technical Report).
CoRR, 2019
CoRR, 2019
Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019
Proceedings of the Automated Technology for Verification and Analysis, 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019
2018
Proc. ACM Program. Lang., 2018
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the Automated Technology for Verification and Analysis, 2018
2017
An integrated specification and verification technique for highly concurrent data structures.
Int. J. Softw. Tools Technol. Transf., 2017
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017
Effect Summaries for Thread-Modular Analysis - Sound Analysis Despite an Unsound Heuristic.
Proceedings of the Static Analysis - 24th International Symposium, 2017
Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2017
Proceedings of the Computer Aided Systems Theory - EUROCAST 2017, 2017
2016
Int. J. Softw. Tools Technol. Transf., 2016
Verification of heap manipulating programs with ordered data by extended forest automata.
Acta Informatica, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016
Proceedings of the Hardware and Software: Verification and Testing, 2016
Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016
2015
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015
Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015
Proceedings of the Networked Systems - Third International Conference, 2015
Proceedings of the Computer Aided Verification - 27th International Conference, 2015
Proceedings of the Correct System Design, 2015
2014
Theor. Comput. Sci., 2014
Proceedings of the Static Analysis - 21st International Symposium, 2014
Proceedings of the Computer Aided Verification - 26th International Conference, 2014
2013
Proceedings of the Computer Aided Verification - 25th International Conference, 2013
2012
Formal Methods Syst. Des., 2012
2011
Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2010
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010
2009
2008
Proceedings of the International Doctoral Workshop on Mathematical and Engineering Methods in Computer Science, 2008
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.
Proceedings of the Implementation and Applications of Automata, 2008
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008