Symbiotic  6: generating test cases by slicing and symbolic execution von Chalupa, Marek, Vitovská, Martina, Jašek, Tomáš, Šimáček, Michael, Strejček, Jan

Volltext

Joint forces for memory safety checking revisited von Chalupa, Marek, Strejček, Jan, Vitovská, Martina

Volltext

Joint Forces for Memory Safety Checking von Chalupa, Marek, Strejček, Jan, Vitovská, Martina

Volltext

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode von Vitovská, Martina, Chalupa, Marek, Strejček, Jan

Volltext bestellen

SBT-instrumentation: A Tool for Configurable Instrumentation of LLVM Bitcode von Vitovská, Martina, Chalupa, Marek, Strejček, Jan

Volltext

Symbiotic 4: Beyond Reachability: Competition Contribution von Chalupa, Marek, Vitovská, Martina, Jonáš, Martin, Slaby, Jiri, Strejček, Jan

Volltext

Symbiotic 3: New Slicer and Error-Witness Generation: Competition Contribution von Chalupa, Marek, Jonáš, Martin, Slaby, Jiri, Strejček, Jan, Vitovská, Martina

Volltext

Novel lipophosphonoxin-loaded polycaprolactone electrospun nanofiber dressing reduces Staphylococcus aureus induced wound infection in mice von Do Pham, Duy Dinh, Jenčová, Věra, Kaňuchová, Miriam, Bayram, Jan, Grossová, Ivana, Šuca, Hubert, Urban, Lukáš, Havlíčková, Kristýna, Novotný, Vít, Mikeš, Petr, Mojr, Viktor, Asatiani, Nikifor, Košťáková, Eva Kuželová, Maixnerová, Martina, Vlková, Alena, Vítovská, Dragana, Šanderová, Hana, Nemec, Alexandr, Krásný, Libor, Zajíček, Robert, Lukáš, David, Rejman, Dominik, Gál, Peter

Volltext

5-(Hydroxymethyl)uracil and -cytosine as potential epigenetic marks enhancing or inhibiting transcription with bacterial RNA polymerase von Janoušková, Martina, Vaníková, Zuzana, Nici, Fabrizia, Bohá ová, So a, Vítovská, Dragana, Šanderová, Hana, Hocek, Michal, Krásný, Libor

Volltext

Ms1 RNA increases the amount of RNA polymerase in Mycobacterium smegmatis von Šiková, Michaela, Janoušková, Martina, Ramaniuk, Olga, Páleníková, Petra, Pospíšil, Jiří, Bartl, Pavel, Suder, Agnieszka, Pajer, Petr, Kubičková, Pavla, Pavliš, Ota, Hradilová, Miluše, Vítovská, Dragana, Šanderová, Hana, Převorovský, Martin, Hnilicová, Jarmila, Krásný, Libor

Volltext