Volgen
Lukas Holik
Lukas Holik
Brno University of Tehcnology
Geverifieerd e-mailadres voor fit.vutbr.cz - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
When Simulation Meets Antichains: (On Checking Language Inclusion of Nondeterministic Finite (Tree) Automata)
PA Abdulla, YF Chen, L Holík, R Mayr, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 16th …, 2010
1482010
String constraints for verification
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 26th International Conference, CAV 2014, Held …, 2014
1092014
Norn: An SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, L Holík, A Rezine, P Rümmer, J Stenman
Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015
932015
All for the Price of Few: (Parameterized Verification through View Abstraction)
PA Abdulla, F Haziza, L Holík
Verification, Model Checking, and Abstract Interpretation: 14th …, 2013
882013
Forest automata for verification of heap manipulation
P Habermehl, L Holík, A Rogalewicz, J Šimáček, T Vojnar
Formal Methods in System Design 41 (1), 83-106, 2012
702012
String constraints with concatenation and transducers solved efficiently
L Holík, P Janků, AW Lin, P Rümmer, T Vojnar
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
662017
An integrated specification and verification technique for highly concurrent data structures
PA Abdulla, F Haziza, L Holík, B Jonsson, A Rezine
International Journal on Software Tools for Technology Transfer 19, 549-563, 2017
622017
Advanced Ramsey-based Büchi automata inclusion testing
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
CONCUR 2011–Concurrency Theory: 22nd International Conference, CONCUR 2011 …, 2011
602011
Antichain-based universality and inclusion testing over nondeterministic finite tree automata
A Bouajjani, P Habermehl, L Holík, T Touili, T Vojnar
Implementation and Applications of Automata: 13th International Conference …, 2008
592008
Fully automated shape analysis based on forest automata
L Holík, O Lengál, A Rogalewicz, J Šimáček, T Vojnar
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
582013
Flatten and conquer: a framework for efficient analysis of string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
ACM SIGPLAN Notices 52 (6), 602-617, 2017
532017
Computing Simulations over Tree Automata: (Efficient Techniques for Reducing Tree Automata)
PA Abdulla, A Bouajjani, L Holík, L Kaati, T Vojnar
Tools and Algorithms for the Construction and Analysis of Systems: 14th …, 2008
522008
Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing.
PA Abdulla, YF Chen, L Clemente, L Holík, CD Hong, R Mayr, T Vojnar
CAV 6174, 132-147, 2010
502010
Parameterized verification through view abstraction
P Abdulla, F Haziza, L Holík
International Journal on Software Tools for Technology Transfer 18 (5), 495-516, 2016
432016
Trau: SMT solver for string constraints
PA Abdulla, MF Atig, YF Chen, BP Diep, L Holík, A Rezine, P Rümmer
2018 Formal Methods in Computer Aided Design (FMCAD), 1-5, 2018
332018
Verification of heap manipulating programs with ordered data by extended forest automata
PA Abdulla, L Holík, B Jonsson, O Lengál, CQ Trinh, T Vojnar
Acta Informatica 53, 357-385, 2016
322016
Approximate reduction of finite automata for high-speed network intrusion detection
M Češka, V Havlena, L Holík, O Lengál, T Vojnar
International Journal on Software Tools for Technology Transfer 22 (5), 523-539, 2020
262020
Efficient handling of string-number conversion
PA Abdulla, MF Atig, YF Chen, BP Diep, J Dolby, P Janků, HH Lin, L Holík, ...
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
252020
Chain-free string constraints
PA Abdulla, MF Atig, BP Diep, L Holík, P Janků
Automated Technology for Verification and Analysis: 17th International …, 2019
222019
Predator shape analysis tool suite
L Holík, M Kotoun, P Peringer, V Šoková, M Trtík, T Vojnar
Hardware and Software: Verification and Testing: 12th International Haifa …, 2016
202016
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20