Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
Utilizing parametric systems for detection of pipeline hazards
Charvát, Lukáš, Smrčka, Aleš, Vojnar, Tomáš
Published in International journal on software tools for technology transfer (01.02.2022)
Published in International journal on software tools for technology transfer (01.02.2022)
Get full text
Journal Article
Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits
Češka, Milan, Matyáš, Jiří, Mrazek, Vojtech, Sekanina, Lukas, Vasicek, Zdenek, Vojnar, Tomáš
Published in Applied soft computing (01.10.2020)
Published in Applied soft computing (01.10.2020)
Get full text
Journal Article
Automata Terms in a Lazy WSkS Decision Procedure
Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš
Published in Journal of automated reasoning (01.10.2021)
Published in Journal of automated reasoning (01.10.2021)
Get full text
Journal Article
Abstract regular (tree) model checking
Bouajjani, Ahmed, Habermehl, Peter, Rogalewicz, Adam, Vojnar, Tomáš
Published in International journal on software tools for technology transfer (01.04.2012)
Published in International journal on software tools for technology transfer (01.04.2012)
Get full text
Journal Article
String constraints with concatenation and transducers solved efficiently
Holík, Lukáš, Janků, Petr, Lin, Anthony W., Rümmer, Philipp, Vojnar, Tomáš
Published in Proceedings of ACM on programming languages (01.01.2018)
Published in Proceedings of ACM on programming languages (01.01.2018)
Get full text
Journal Article
Abstraction refinement and antichains for trace inclusion of infinite state systems
Holík, Lukáš, Iosif, Radu, Rogalewicz, Adam, Vojnar, Tomáš
Published in Formal methods in system design (01.11.2020)
Published in Formal methods in system design (01.11.2020)
Get full text
Journal Article
Regex matching with counting-set automata
Turoňová, Lenka, Holík, Lukáš, Lengál, Ondřej, Saarikivi, Olli, Veanes, Margus, Vojnar, Tomáš
Published in Proceedings of ACM on programming languages (13.11.2020)
Published in Proceedings of ACM on programming languages (13.11.2020)
Get full text
Journal Article
Compositional entailment checking for a fragment of separation logic
Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš
Published in Formal methods in system design (01.12.2017)
Published in Formal methods in system design (01.12.2017)
Get full text
Journal Article
Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings
Year of Publication 2019
Get full text
eBook
Nested antichains for WS1S
Fiedor, Tomáš, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš
Published in Acta informatica (01.04.2019)
Published in Acta informatica (01.04.2019)
Get full text
Journal Article
SagTree: Towards efficient mutation in evolutionary circuit approximation
Češka, Milan, Matyáš, Jiří, Mrázek, Vojtěch, Sekanina, Lukáš, Vašíček, Zdeněk, Vojnar, Tomáš
Published in Swarm and evolutionary computation (01.03.2022)
Published in Swarm and evolutionary computation (01.03.2022)
Get full text
Journal Article
Fast Matching of Regular Patterns with Synchronizing Counting
Published in Lecture notes in computer science
Get full text
Book Chapter
Programs with lists are counter automata
Bouajjani, Ahmed, Bozga, Marius, Habermehl, Peter, Iosif, Radu, Moro, Pierre, Vojnar, Tomáš
Published in Formal methods in system design (01.04.2011)
Published in Formal methods in system design (01.04.2011)
Get full text
Journal Article
Deciding Boolean Separation Logic via Small Models
Published in Lecture notes in computer science
(2024)
Get full text
Book Chapter