Tens of images can suffice to train neural networks for malignant leukocyte detection von Schouten, Jens P. E., Matek, Christian, Jacobs, Luuk F. P., Buck, Michèle C., Bošnački, Dragan, Marr, Carsten

Volltext

The Design of a Multicore Extension of the SPIN Model Checker von Holzmann, G.J., Bosnacki, D.

Volltext

Model Checking Software: 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings von Bosnacki, Dragan, Leue, Stefan

Volltext

BEEM: Benchmarks for Explicit Model Checkers von Pelánek, Radek

Volltext

Many-core on-the-fly model checking of safety properties using GPUs von Wijs, Anton, Bošnački, Dragan

Volltext

Model checking: recent improvements and applications von Bošnački, Dragan, Wijs, Anton

Volltext

Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings von Bosnački, Dragan, Wijs, Anton

Volltext

Mathematical multi-compartment modeling of chronic lymphocytic leukemia cell kinetics under ibrutinib von Schulz, Melanie, Bleser, Sanne, Groels, Manouk, Bošnački, Dragan, Burger, Jan A., Chiorazzi, Nicholas, Marr, Carsten

Volltext

Efficient GPU algorithms for parallel decomposition of graphs into strongly connected and maximal end components von Wijs, Anton, Katoen, Joost-Pieter, Bošnački, Dragan

Volltext

Modular Termination Verification of Single-Threaded and Multithreaded Programs von Jacobs, Bart, Bosnacki, Dragan, Kuiper, Ruurd

Volltext

LTL Satisfiability Checking von Rozier, Kristin Y., Vardi, Moshe Y.

Volltext

Dependency safety for Java – Implementing and testing failboxes von Zhang, Dan, Bošnački, Dragan, van den Brand, Mark, Huizing, Cornelis, Jacobs, Bart, Kuiper, Ruurd, Wijs, Anton

Volltext

Modular Termination Verification of Single-Threaded and Multithreaded Programs von Jacobs, Bart, Bosnacki, Dragan, Kuiper, Ruurd

Volltext

Efficient reconstruction of biological networks via transitive reduction on general purpose graphics processors von Bošnački, Dragan, Odenbrett, Maximilian R, Wijs, Anton, Ligtenberg, Willem, Hilbers, Peter

Volltext

A SystemC/TLM Semantics in Promela and Its Possible Applications von Traulsen, Claus, Cornet, Jérôme, Moy, Matthieu, Maraninchi, Florence

Volltext

Parallel probabilistic model checking on general purpose graphics processors von Bošnački, Dragan, Edelkamp, Stefan, Sulewski, Damian, Wijs, Anton

Volltext

Merging Modular Molecular Design with High Throughput Screening of Cell Adhesion on Antimicrobial Supramolecular Biomaterials von Schmitz, Moniek G J, Aarts, Jasper G M, Burroughs, Laurence, Sudarsanam, Phanikrishna, Kuijpers, Tim J M, Riool, Martijn, de Boer, Leonie, Xue, Xuan, Bosnacki, Dragan, Zaat, Sebastian A J, de Boer, Jan, Alexander, Morgan R, Dankers, Patricia Y W

Volltext

Scalable Multi-core LTL Model-Checking von Barnat, Jiří, Brim, Luboš, Ročkai, Petr

Volltext

Cartesian Partial-Order Reduction von Gueta, Guy, Flanagan, Cormac, Yahav, Eran, Sagiv, Mooly

Volltext

Partial Order Reduction and Symmetry with Multiple Representatives von Bošnački, Dragan, Scheffer, Mark

Volltext