Articles with public access mandates - Jiří BarnatLearn more
Available somewhere: 4
Can flash memory help in model checking?
J Barnat, L Brim, S Edelkamp, D Sulewski, P Šimeček
International Workshop on Formal Methods for Industrial Critical Systems …, 2008
Mandates: German Research Foundation
Model Checking C++ with Exceptions
P Ročkai, J Barnat, L Brim
CTIT 2, 205, 2014
Mandates: German Research Foundation
Optimal observation mode scheduling for systems under temporal constraints
E Tesařová, M Svoreňová, J Barnat, I Černá
2016 American Control Conference (ACC), 1099-1104, 2016
Mandates: UK Engineering and Physical Sciences Research Council, European Commission
Flash memory efficient LTL model checking
S Edelkamp, D Sulewski, J Barnat, L Brim, P Šimeček
Science of Computer Programming 76 (2), 136-157, 2011
Mandates: German Research Foundation
Publication and funding information is determined automatically by a computer program