The AQUAS ECSEL Project Aggregated Quality Assurance for Systems: Co-Engineering Inside and Across the Product Life Cycle von Pomante, Luigi, Muttillo, Vittoriano, Křena, Bohuslav, Vojnar, Tomáš, Veljković, Filip, Magnin, Pacôme, Matschnig, Martin, Fischer, Bernhard, Martinez, Jabier, Gruber, Thomas

Volltext

Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2019 von Vojnar, Tomáš, Zhang, Lijun

Volltext

Verification of heap manipulating programs with ordered data by extended forest automata von Abdulla, Parosh Aziz, Holík, Lukáš, Jonsson, Bengt, Lengál, Ondřej, Trinh, Cong Quy, Vojnar, Tomáš

Volltext

Utilizing parametric systems for detection of pipeline hazards von Charvát, Lukáš, Smrčka, Aleš, Vojnar, Tomáš

Volltext

Monotonic abstraction for programs with multiply-linked structures von Abdulla, Parosh Aziz, Cederberg, Jonathan, Vojnar, Tomás

Volltext

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... von Vojnar, Tomás, Zhang, Lijun

Volltext

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... von Vojnar, Tomás, Zhang, Lijun

Volltext

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... von Vojnar, Tomas, Zhang, Lijun

Volltext

Mathematical and Engineering Methods in Computer Science: 10th International Doctoral Workshop, MEMICS 2015, Telč, Czech Republic, October 23-25, 2015, Revised Selected Papers von Kofroň, Jan, Vojnar, Tomás

Volltext

Adaptive verifiability-driven strategy for evolutionary approximation of arithmetic circuits von Češka, Milan, Matyáš, Jiří, Mrazek, Vojtech, Sekanina, Lukas, Vasicek, Zdenek, Vojnar, Tomáš

Volltext

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...

Volltext

Automata Terms in a Lazy WSkS Decision Procedure von Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš

Volltext

Advanced Ramsey-Based Büchi Automata Inclusion Testing von Abdulla, Parosh Aziz, Chen, Yu-Fang, Clemente, Lorenzo, Holík, Lukáš, Hong, Chih-Duo, Mayr, Richard, Vojnar, Tomáš

Volltext

String constraints with concatenation and transducers solved efficiently von Holík, Lukáš, Janků, Petr, Lin, Anthony W., Rümmer, Philipp, Vojnar, Tomáš

Volltext

Approximate reduction of finite automata for high-speed network intrusion detection von Češka, Milan, Havlena, Vojtěch, Holík, Lukáš, Lengál, Ondřej, Vojnar, Tomáš

Volltext

Abstraction refinement and antichains for trace inclusion of infinite state systems von Holík, Lukáš, Iosif, Radu, Rogalewicz, Adam, Vojnar, Tomáš

Volltext

Abstract regular (tree) model checking von Bouajjani, Ahmed, Habermehl, Peter, Rogalewicz, Adam, Vojnar, Tomáš

Volltext

Abstract Regular Tree Model Checking of Complex Dynamic Data Structures von Bouajjani, Ahmed, Habermehl, Peter, Rogalewicz, Adam, Vojnar, Tomáš

Volltext

Simulation Subsumption in Ramsey-Based Büchi Automata Universality and Inclusion Testing von Abdulla, Parosh Aziz, Chen, Yu-Fang, Clemente, Lorenzo, Holík, Lukáš, Hong, Chih-Duo, Mayr, Richard, Vojnar, Tomáš

Volltext

Compositional entailment checking for a fragment of separation logic von Enea, Constantin, Lengál, Ondřej, Sighireanu, Mihaela, Vojnar, Tomáš

Volltext