{"id":246,"date":"2013-11-27T12:41:54","date_gmt":"2013-11-27T12:41:54","guid":{"rendered":"http:\/\/eventmanagerblog.com\/event-wordpress-theme-tyler\/?page_id=2"},"modified":"2017-05-01T08:25:27","modified_gmt":"2017-05-01T06:25:27","slug":"program","status":"publish","type":"page","link":"https:\/\/excel.fit.vutbr.cz\/2017\/program\/","title":{"rendered":"Program"},"content":{"rendered":"\r\n<div id=\"program\">\r\n  <div class=\"container widget\" style=\"margin-bottom:1.5em\">\r\n    <div class=\"row\">\r\n      <div class=\"col-md-12\">\r\n        <p>Konference Excel@FIT, kter\u00e1 bude prob\u00edhat ve st\u0159edu 3. 5. 2017 na <a href=\"http:\/\/www.fit.vutbr.cz\/\" target=\"blank\">Fakult\u011b informa\u010dn\u00edch technologi\u00ed VUT v Brn\u011b<\/a>, p\u0159edstav\u00ed p\u0159ijat\u00e9 autorsk\u00e9 pr\u00e1ce a prezenta\u010dn\u00ed instalace sponzor\u016f z oblasti IT.<\/p>\r\n      <\/div>\r\n    <\/div>  \r\n  <\/div>\r\n  <div id=\"tile_textcolumns\" class=\"container widget\">  \r\n    <div class=\"row\">                                 \r\n      <div class=\"col-md-4\">\r\n        <h3>Dopoledne<\/h3>\r\n        <p><img src=\"\/wp-content\/images\/2017\/dopoledne.jpg\" class=\"img-responsive center-block\" alt=\"\" \/><\/p>\r\n        <p>V hlavn\u00edm s\u00e1le konference zazn\u00ed <strong>odborn\u00e9 refer\u00e1ty autor\u016f<\/strong>, kte\u0159\u00ed byli vybr\u00e1ni programov\u00fdm v\u00fdborem Excel@FIT a prob\u011bhne <strong>panelov\u00e1 diskuze na vybran\u00e9 t\u00e9ma<\/strong>.<\/p>\r\n      <\/div>\r\n      <div class=\"col-md-4\">\r\n        <h3>Odpoledne<\/h3>\r\n        <p><img src=\"\/wp-content\/images\/2017\/odpoledne.jpg\" class=\"img-responsive center-block\" alt=\"\" \/><\/p>\r\n        <p>V ur\u010den\u00fdch prostor\u00e1ch konference prob\u011bhne <strong>voln\u00e1 p\u0159ehl\u00eddka v\u0161ech sout\u011b\u017en\u00edch prac\u00ed<\/strong> formou plak\u00e1t\u016f a prototyp\u016f a <strong>prezenta\u010dn\u00ed instalace host\u016f<\/strong>.<\/p>        \r\n      <\/div>\r\n      <div class=\"col-md-4\">\r\n        <h3>Z\u00e1v\u011brem<\/h3>\r\n        <p><img src=\"\/wp-content\/images\/2017\/zaver.jpg\" class=\"img-responsive center-block\" alt=\"\" \/><\/p>\r\n        <p>V hlavn\u00edm s\u00e1le konference bude <strong>vyhl\u00e1\u0161en\u00ed nejlep\u0161\u00edch prac\u00ed<\/strong> a <strong>p\u0159ed\u00e1n\u00ed cen<\/strong>.<\/p>        \r\n      <\/div>\r\n    <\/div>          \r\n  <\/div>\r\n<div class=\"row\">\r\n<div class=\"col-md-6\">\r\n  <h3>Program konference<\/h3>\r\n  <table class=\"program-table table\">\r\n  <tbody>\r\n  <tr class=\"default\"><th>8.53<\/th>\r\n  <td>Zah\u00e1jen\u00ed<\/td>\r\n  <\/tr>\r\n  <tr class=\"default\"><th>9.00<\/th>\r\n  <td>Prezentace prac\u00ed<\/td>\r\n  <\/tr>  \r\n  <tr class=\"refreshment\"><th>11.00<\/th>\r\n  <td>P\u0159est\u00e1vka<\/td>\r\n  <\/tr>\r\n  <tr class=\"default\"><th>11.15<\/th>\r\n  <td>Panelov\u00e1 diskuze<\/td>\r\n  <\/tr>\r\n  <tr class=\"refreshment\"><th>12.00<\/th>\r\n  <td>Networking a ob\u011bd<\/td>\r\n  <\/tr>\r\n  <tr class=\"default\"><th>13.30<\/th>\r\n  <td>P\u0159ehl\u00eddka studentsk\u00fdch prac\u00ed formou plak\u00e1t\u016f a prototyp\u016f<\/td>\r\n  <\/tr>\r\n  <tr class=\"refreshment\"><th>15.30<\/th>\r\n  <td>P\u0159est\u00e1vka<\/td>\r\n  <\/tr>\r\n  <tr class=\"default\"><th>16.00<\/th>\r\n  <td>Slavnostn\u00ed vyhl\u00e1\u0161en\u00ed v\u00fdsledk\u016f a p\u0159ed\u00e1n\u00ed cen<\/td>\r\n  <\/tr>\r\n  <\/tbody>\r\n  <\/table>\r\n<\/div> \r\n<div class=\"col-md-6\">\r\n  <h3>Doprovodn\u00fd program<\/h3>\r\n  <table class=\"program-table table\">\r\n  <tbody>\r\n  <tr class=\"default\"><th>12:00-16:00<\/th>\r\n  <td>Prezentace sponzor\u016f (foyer D, C a prostory P\u0159ehl\u00eddky)<\/td>\r\n  <\/tr>\r\n  <\/tbody>\r\n  <\/table>  \r\n<\/div>\r\n<\/div>  \r\n<img class=\"img-responsive center-block\" src=\"\/wp-content\/images\/2017\/mapa-arealu-velka.jpg\" alt=\"\" \/>\r\n\r\n<h2>Prezentace prac\u00ed<\/h2>\r\n<p>V dopoledn\u00edm bloku budou v hlavn\u00edm s\u00e1le konference auto\u0159i vybran\u00fdch prac\u00ed prezentovat sv\u00e9 v\u00fdsledky.<\/p>\r\n\r\n\t<link rel=\"stylesheet\" media=\"all\" type=\"text\/css\" href=\"\/submissions\/css\/proceedings.css?v20151119\">  \r\n\t<div class=\"row\" id=\"submissions\"> \r\n        \r\n \t\t<div class=\"thumbnail topic09\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">1<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal1\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Reconstruction of 3D Information about Passing Vehicles<\/h4>\r\n\t\t\t\t<h5>Petr Dobe\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal1\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">1<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Reconstruction of 3D Information about Passing Vehicles<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Petr Dobe\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>3D Reconstruction, Structure from Motion, Traffic Surveillance, Traffic Analysis, Camera Calibration<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper reports experiments focusing on 3D reconstruction of vehicles passing in front of a traffic surveillance camera. Calibration process of surveillance camera is first introduced and the relation of automatic calibration with 3D information about observed traffic is described. Afterwards, a set of experiments with feature matching and Structure from Motion algorithm are presented and their results on images of passing vehicles are examined. Modifications to the correspondence search stage of Structure from Motion pipeline are then proposed. Most importantly, instead of using SIFT features, DeepMatching algorithm (originally devised to find quasi-dense point matches in optical flow calculation) is used to obtain point correspondences for subsequent reconstruction phase. As a result of implemented modifications, the overall completeness of reconstructed point cloud model of passing vehicle has improved significantly.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/001\/1_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/001\/1.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/001\/1_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/6FJpbTb12ho\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic13\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">6<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal6\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/006\/6_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Rekonstrukce digit\u00e1ln\u00edch fotografi\u00ed s vyu\u017eit\u00edm hloubkov\u00e9 mapy<\/h4>\r\n\t\t\t\t<h5>Ond\u0159ej Vale\u0161<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/006\/6.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/006\/6_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal6\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">6<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Rekonstrukce digit\u00e1ln\u00edch fotografi\u00ed s vyu\u017eit\u00edm hloubkov\u00e9 mapy<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Ond\u0159ej Vale\u0161<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>digit\u00e1ln\u00ed fotografie, rekonstrukce, hloubkov\u00e1 mapa, deskriptor GIST, Poissonova rovnice, dataset, C++, OpenCV<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Robotika a um\u011bl\u00e1 inteligence<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem t\u00e9to pr\u00e1ce je navrhnout postup, kter\u00fd bude prov\u00e1d\u011bt rekonstrukci digit\u00e1ln\u00edch fotografi\u00ed na z\u00e1klad\u011b vyhled\u00e1n\u00ed podobn\u00fdch fotografi\u00ed v datasetu, jejich\u017e obsah je pot\u00e9 vyu\u017eit p\u0159i rekonstrukci. K nalezen\u00ed podobnosti je navrhnut deskriptor fotografi\u00ed obohacen\u00fd o informaci z hloubkov\u00e9 mapy, kter\u00fd umo\u017e\u0148uje rychl\u00e9 vyhled\u00e1n\u00ed fotografi\u00ed v datasetu a nov\u00fd postup vkl\u00e1d\u00e1n\u00ed dat do rekonstruovan\u00e9 oblasti, kter\u00e1 je na rozd\u00edl od existuj\u00edc\u00edch p\u0159\u00edstup\u016f nejprve rozd\u011blena na podoblasti na z\u00e1klad\u011b anal\u00fdzy hloubkov\u00e9 mapy. To umo\u017e\u0148uje \u0159e\u0161it rekonstrukci jednotliv\u00fdch podoblast\u00ed zcela odd\u011blen\u011b a p\u0159in\u00e1\u0161\u00ed zlep\u0161en\u00ed v\u00fdsledku rekonstrukce, proto\u017ee podoblasti jsou men\u0161\u00ed a m\u00e9n\u011b komplexn\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/006\/6_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/006\/6.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/006\/6_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic25\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">7<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal7\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/007\/7_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Towards Shape Analysis in 2LS<\/h4>\r\n\t\t\t\t<h5>Viktor Mal\u00edk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/007\/7.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/007\/7_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal7\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">7<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Towards Shape Analysis in 2LS<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Viktor Mal\u00edk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>formal verification, 2LS, template-based analysis, shape analysis, linked lists, pointer access paths, abstract interpretation, SSA form, invariant inference<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed metody<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Many low-level programs work with dynamic data structures on the heap (such as linked lists), which are often a source of bugs. Formal analysis of the shape of these structures can help finding errors or, on the contrary, prove the correctness of a program. We present the main principles behind 2LS, a program analysis framework for C programs, which is based on automatic invariant inference using an SMT solver, and a sketch of a solution that we proposed to the integration of shape analysis into this framework. The proposed solution includes a way how the shape of a program heap can be described using logical formulae and how a first-order SMT solver can be used to infer loop invariants and function summaries for each function of the analysed program. Our approach is based on pointer access paths that describe the shape of the heap by expressing the reachability of heap objects from pointer-typed program variables. The information obtained from the analysis can be used to prove various properties of programs manipulating dynamic data structures, such as the fact that the shape of a linked list does not change after performing an operation that traverses the list and writes data into each node.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/007\/7_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/007\/7.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/007\/7_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic20\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">14<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal14\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/014\/14_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Comparing Languages and Reducing Automata Used in Network Traffic Filtering<\/h4>\r\n\t\t\t\t<h5>Vojt\u011bch Havlena<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/014\/14.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/014\/14_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal14\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">14<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Comparing Languages and Reducing Automata Used in Network Traffic Filtering<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Vojt\u011bch Havlena<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Automata reduction, Language distance, Finite automaton, Network traffic monitoring<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Form\u00e1ln\u00ed jazyky a automaty<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>The focus of this paper is the comparison of languages and reduction of automata used in network traffic monitoring. We propose several approaches for approximate (language non-preserving) reduction of automata and comparison of their languages. The reductions are based on either under-approximating the languages of automata by pruning their states, or over-approximating the language by introducing new self-loops (and pruning redundant states later). Our approximate reduction methods and the proposed probabilistic distance utilize information from a network traffic. We give formal guarantees with respect to a model of network traffic, represented using a probabilistic automaton. We implemented the methods and evaluated them on automata used in network traffic filtering.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/014\/14_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/014\/14.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/014\/14_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic18\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">16<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal16\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/016\/16_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Mobiln\u00ed aplikace pro sd\u00edlen\u00ed informace o p\u0159\u00edtomnosti na m\u00edst\u011b<\/h4>\r\n\t\t\t\t<h5>Tom\u00e1\u0161 Vlk<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/016\/16_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal16\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">16<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Mobiln\u00ed aplikace pro sd\u00edlen\u00ed informace o p\u0159\u00edtomnosti na m\u00edst\u011b<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Tom\u00e1\u0161 Vlk<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Android, Firebase, Poloha, Geofence, Sd\u00edlen\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">U\u017eivatelsk\u00e1 rozhran\u00ed<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>C\u00edlem t\u00e9to pr\u00e1ce je vytvo\u0159it u\u017eivatelsky p\u0159\u00edv\u011btivou mobiln\u00ed aplikaci, d\u00edky n\u00ed\u017e bude snaz\u0161\u00ed sd\u00edlet svoji polohu a z\u00e1rove\u0148 zachovat sv\u00e9 soukrom\u00ed. Toho je dosa\u017eeno sd\u00edlen\u00edm pouze informace o p\u0159\u00edtomnosti na m\u00edst\u011b m\u00edsto GPS sou\u0159adnic aktu\u00e1ln\u00ed polohy. Pro snaz\u0161\u00ed sd\u00edlen\u00ed nab\u00edz\u00ed aplikace automatickou detekci p\u0159\u00edtomnosti na ur\u010dit\u00e9m m\u00edst\u011b, \u0159e\u0161enou pomoc\u00ed GeofencingApi. Jako c\u00edlov\u00e1 platforma t\u00e9to aplikace byl zvolen syst\u00e9m Android. Ke komunikaci mezi za\u0159\u00edzen\u00edmi se vyu\u017e\u00edv\u00e1 Firebase Cloud Messaging. V\u00fdsledkem pr\u00e1ce je, \u017ee s m\u00edrn\u00fdmi \u00fapravami funguje GeofencingApi spolehliv\u011b a lze ur\u010dit p\u0159\u00edtomnost za\u0159\u00edzen\u00ed na m\u00edst\u011b s polom\u011brem v\u011bt\u0161\u00edm ne\u017e 50 metr\u016f. Z\u00e1rove\u0148 ale nedoch\u00e1z\u00ed k aktivn\u00edmu dotazov\u00e1n\u00ed polohy. Poda\u0159ilo se tak vytvo\u0159it aplikaci, kter\u00e1 nemus\u00ed b\u00fdt v\u016fbec spu\u0161t\u011bna (ani \u017e\u00e1dn\u00e1 jej\u00ed slu\u017eba na pozad\u00ed) a p\u0159itom dok\u00e1\u017ee detekovat p\u0159\u00edtomnost za\u0159\u00edzen\u00ed na ur\u010dit\u00e9m m\u00edst\u011b a p\u0159ij\u00edmat zpr\u00e1vy od ostatn\u00edch za\u0159\u00edzen\u00ed. Nejv\u011bt\u0161\u00ed p\u0159ednost\u00ed tohoto p\u0159\u00edstupu je velmi n\u00edzk\u00e1 spot\u0159eba energie oproti jin\u00fdm \u0159e\u0161en\u00edm.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/016\/16_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/016\/16.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/016\/16_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic21\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">18<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal18\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/018\/18_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>The Beast programming language<\/h4>\r\n\t\t\t\t<h5>Daniel \u010cejchan<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/018\/18_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal18\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">18<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">The Beast programming language<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Daniel \u010cejchan<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>programming language, CTFE, code hatching, compile time, metaprogramming, ctime, Beast<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Programovac\u00ed jazyky a p\u0159eklada\u010de<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>This paper introduces a new compiled, imperative, object-oriented, C-family programming language, particularly inspired by C++ and D. Most notably, the language implements a new concept called code hatching (also a subject of this paper) that unifies templating, compile-time function execution, compile-time reflection and metaprogramming in general. The project also includes a proof-of-concept open-source compiler (more precisely transcompiler to C) called Dragon that demonstrates core elements of the language and the code hatching concept.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/018\/18_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/018\/18.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/018\/18_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">21<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal21\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h4>\r\n\t\t\t\t<h5>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal21\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">21<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Multifunk\u010dn\u00ed CNC za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Luk\u00e1\u0161 Kraicinger, Libor Danda<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>CNC stroj, v\u00fdroba ozuben\u00ed, prototyp, fr\u00e9zov\u00e1n\u00ed, elektronika, software<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Projekt se zab\u00fdv\u00e1 n\u00e1vrhem a n\u00e1slednou tvorbou prototypu \u0161estios\u00e9ho multifunk\u010dn\u00edho za\u0159\u00edzen\u00ed na v\u00fdrobu ozuben\u00ed. Jedn\u00e1 se o komplexn\u00ed t\u00fdmov\u00fd projekt rozd\u011blen\u00fd na dv\u011b \u010d\u00e1sti, ka\u017ed\u00e1 \u010d\u00e1st je jedna diplomov\u00e1 pr\u00e1ce. Jedna z pohledu konstrukce mechanick\u00e9 str\u00e1nky stroje a druh\u00e1 z pohledu elektroniky a \u0159\u00edd\u00edc\u00edho softwaru. Konstrukce stroje je navr\u017eena kompletn\u011b od za\u010d\u00e1tku Liborem Dandou z Fakulty strojn\u00edho in\u017een\u00fdrstv\u00ed (\u00dastav konstruov\u00e1n\u00ed). Elektroniku a \u0159\u00edd\u00edc\u00ed software vytv\u00e1\u0159\u00ed Luk\u00e1\u0161 Kraicinger z Fakulty informa\u010dn\u00edch technologi\u00ed. \u0158\u00edd\u00edc\u00ed software v sob\u011b integruje specifick\u00fdm CAM (Computer Aided Manufacturing) syst\u00e9mem, co\u017e sni\u017euje dal\u0161\u00ed n\u00e1klady na obslu\u017en\u00fd software. Stroj je kompaktn\u00ed automat (v\u0161e v jednom), kter\u00fd pro v\u00fdrobu ozuben\u00ed pot\u0159ebuje pouze vhodn\u00fd polotovar a z\u00e1kladn\u00ed parametry ozuben\u00ed. Hodnoty se zad\u00e1vaj\u00ed pomoc\u00ed dotykov\u00e9ho displeje p\u0159\u00edmo na stroji nebo lze v\u00fdrobu p\u0159ipravit pomoc\u00ed stejn\u00e9ho softwaru na pracovn\u00edm PC bez stroje. Hlavn\u00ed v\u00fdhodou stroje je zjednodu\u0161en\u00ed a zrychlen\u00ed v\u00fdrobn\u00edho procesu a trojn\u00e1sobn\u00e9 zv\u011bt\u0161en\u00ed pracovn\u00edho prostoru stroje oproti velikostn\u011b srovnateln\u00fdm stroj\u016fm na trhu. Dal\u0161\u00ed z v\u00fdhod je sn\u00ed\u017een\u00ed energetick\u00fdch n\u00e1rok\u016f na v\u00fdrobu.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/021\/21_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/021\/21.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/021\/21_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic15 topic16\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">26<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal26\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Automation of MitM Attack on WiFi Networks<\/h4>\r\n\t\t\t\t<h5>Martin Vondr\u00e1\u010dek<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal26\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">26<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Automation of MitM Attack on WiFi Networks<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Martin Vondr\u00e1\u010dek<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Man-in-the-Middle attack, accessing secured wireless networks, password cracking, dictionary personalization, tampering network topology, impersonation, phishing<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Bezpe\u010dnost<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Widely used network technologies and principles of wireless security suffer weaknesses that can be exploited to perform the Man-in-the-Middle attack, allowing to eavesdrop or to spoof the network communication. The work focuses on possibilities of automation of the attack with a utilization of available specialized tools. The outcome of the research is the wifimitm package and the wifimitmcli CLI tool, both implemented in Python. The emphasis was placed on possibilities of further incorporation of the developed tool. The package provides functionality for automated MitM attack and can be used by other software. The wifimitmcli tool is capable of performing a successful fully automated attack without any intervention from an attacker. This research can be used for automated penetration testing and forensic investigation. Finally, a popularization of the fact that such severe attacks can be successfully automated should be used to raise the public awareness about the information security. In these days, this issue involves almost every one of us.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/026\/26_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/026\/26.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/026\/26_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/GA1F_6v91-U\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01 topic16\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">32<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal32\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h4>\r\n\t\t\t\t<h5>M\u00e1rio Kuka<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal32\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">32<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Hardv\u00e9rovo akcelerovan\u00e9 zariadenie pre ochranu pred (D)DoS \u00fatokmi<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>M\u00e1rio Kuka<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>DCPro, (D)DoS Protector, COMBO, CESNET, hardv\u00e9rov\u00e1 akceler\u00e1cia, FPGA, vysokor\u00fdchlostn\u00e9 siete, 100 Gbps<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e9 s\u00edt\u011b<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>T\u00e1to pr\u00e1ca sa zaober\u00e1 v\u00fdvojom firmv\u00e9ru hardv\u00e9rovej akceler\u00e1cie pre zariadenie na ochranu pred amplifika\u010dn\u00fdmi (D)DoS \u00fatokmi. V dne\u0161nej dobe s\u00fa \u00fatoky typu (D)DoS ve\u013emi roz\u0161\u00edren\u00e9 a zapr\u00ed\u010di\u0148uj\u00fa nemal\u00e9 finan\u010dn\u00e9 \u0161kody.  Cie\u013eom je preto vytvori\u0165 cenovo dostupn\u00e9 a \u013eahko nasadite\u013en\u00e9 centralizovan\u00e9 zariadenie na rie\u0161enie dan\u00e9ho probl\u00e9mu. K dosiahnutiu tohto cie\u013eu vyu\u017e\u00edva zariadenie hardv\u00e9rov\u00fd akceler\u00e1tor umo\u017e\u0148uj\u00faci spracov\u00e1va\u0165 vysok\u00e9 d\u00e1tov\u00e9 prenosy prostredn\u00edctvom jedn\u00e9ho, be\u017ene dostupn\u00e9ho, serveru. N\u00e1vrh a implement\u00e1cia firmv\u00e9ru je uskuto\u010dnen\u00e1 s oh\u013eadom na pou\u017eitie zariadenia v sie\u0165ach s r\u00fdchlos\u0165ami 100\\,Gbps. Cel\u00fd syst\u00e9m pre\u0161iel funk\u010dnou verifik\u00e1ciou a v r\u00e1mci laborat\u00f3rneho testovania bola overen\u00e1 jeho re\u00e1lna priepustnos\u0165. Vytvoren\u00e9 zariadenie je aktu\u00e1lne nasaden\u00e9 v sie\u0165ovej infra\u0161trukt\u00fare CESNET a testovan\u00e9 sie\u0165ov\u00fdmi administr\u00e1tormi. Na z\u00e1klade sp\u00e4tnej v\u00e4zby bude na vytvorenom zariaden\u00fd pokra\u010dova\u0165 \u010fal\u0161\u00ed v\u00fdvoj zameran\u00fd na roz\u0161irovanie detekcie o \u010fal\u0161ie typy \u00fatokov. O zariadenie aktu\u00e1lne prejavili z\u00e1ujem aj niektor\u00ed z \u010desk\u00fdch komer\u010dn\u00fdch  poskytovate\u013eov sie\u0165ov\u00fdch slu\u017eieb.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/032\/32_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/032\/32.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/032\/32_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic01\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">35<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal35\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/035\/35_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Pokro\u010dil\u00e9 m\u011b\u0159en\u00ed spot\u0159eby paliva motocyklu<\/h4>\r\n\t\t\t\t<h5>Mat\u011bj \u0160oc<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/035\/35.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/035\/35_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal35\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">35<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Pokro\u010dil\u00e9 m\u011b\u0159en\u00ed spot\u0159eby paliva motocyklu<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Mat\u011bj \u0160oc<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Spot\u0159eba paliva, Pr\u016ftokom\u011br, Arduino<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Po\u010d\u00edta\u010dov\u00e1 architektura a vestav\u011bn\u00e9 syst\u00e9my<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Tato pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed syst\u00e9mu pro m\u011b\u0159en\u00ed a profilov\u00e1n\u00ed spot\u0159eby paliva motocyklu v z\u00e1vislosti na zem\u011bpisn\u00e9 poloze. Syst\u00e9m byl implementov\u00e1n na desce Arduino MEGA 2560. K m\u011b\u0159en\u00ed spot\u0159eby je pou\u017eit palivov\u00fd pr\u016ftokom\u011br, tud\u00ed\u017e je navr\u017een\u00fd syst\u00e9m pou\u017eiteln\u00fd pro jak\u00fdkoli motocykl. Sou\u010d\u00e1st\u00ed syst\u00e9mu je tak\u00e9 aplikace, kter\u00e1 u\u017eivateli nab\u00edz\u00ed p\u0159ehlednou interpretaci nam\u011b\u0159en\u00fdch dat. Navr\u017een\u00fd syst\u00e9m prov\u00e1d\u00ed p\u0159esn\u00e1 m\u011b\u0159en\u00ed spot\u0159eby paliva a rychlosti. S drobn\u00fdmi \u00fapravami m\u016f\u017ee b\u00fdt uveden do praxe.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/035\/35_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/035\/35.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/035\/35_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic09\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">40<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal40\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h4>\r\n\t\t\t\t<h5>V\u00e1clav Str\u00e1nsk\u00fd<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"32\" height=\"32\" alt=\"Video\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal40\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">40<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">Vizu\u00e1ln\u00ed syst\u00e9m pro detekci obsazenosti parkovi\u0161t\u011b pomoc\u00ed hlubok\u00fdch neuronov\u00fdch s\u00edt\u00ed<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>V\u00e1clav Str\u00e1nsk\u00fd<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>detekce obsazenosti parkovi\u0161t\u011b, detekce automobil\u016f, hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b, model pozad\u00ed<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Zpracov\u00e1n\u00ed obrazov\u00fdch dat<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Pr\u00e1ce se zab\u00fdv\u00e1 n\u00e1vrhem a implementac\u00ed robustn\u00edho syst\u00e9mu pro anal\u00fdzu obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst na parkovi\u0161ti ze z\u00e1znam\u016f z v\u00edce-kamerov\u00e9ho syst\u00e9mu s mo\u017enost\u00ed p\u0159ekryvu mezi kamerami. Syst\u00e9m je navr\u017een a implementov\u00e1n v Robotick\u00e9m opera\u010dn\u00edm syst\u00e9mu (ROS) a jeho j\u00e1dro se skl\u00e1d\u00e1 ze dvou odd\u011blen\u00fdch klasifik\u00e1tor\u016f. \u00dasp\u011b\u0161n\u011bj\u0161\u00ed, av\u0161ak pomalej\u0161\u00ed, je detekce pomoc\u00ed hlubok\u00e9 neuronov\u00e9 s\u00edt\u011b. Rychlou interakci \u0159e\u0161\u00ed m\u00e9n\u011b p\u0159esn\u00fd klasifik\u00e1tor pohybu s modelem pozad\u00ed. Syst\u00e9m je schopen fungovat v re\u00e1ln\u00e9m \u010dase, a to na grafick\u00e9 kart\u011b i na procesoru. \u00dasp\u011b\u0161nost syst\u00e9mu na testovac\u00ed datov\u00e9 sad\u011b z re\u00e1ln\u00e9ho provozu jednoho parkovi\u0161t\u011b p\u0159esahuje 93%. Ke konceptu chytr\u00fdch m\u011bst neodmysliteln\u011b pat\u0159\u00ed efektivn\u00ed parkovac\u00ed \u0159e\u0161en\u00ed stav\u00edc\u00ed na znalosti obsazenosti jednotliv\u00fdch parkovac\u00edch m\u00edst. Tato pr\u00e1ce popisuje pr\u00e1v\u011b takov\u00fd syst\u00e9m, kter\u00fd v\u00fdrazn\u011b usnadn\u00ed orientaci na parkovi\u0161ti, a to s velmi dobrou \u00fasp\u011b\u0161nost\u00ed.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/040\/40_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/040\/40.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/040\/40_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><a href=\"https:\/\/youtu.be\/fdye0z706zc\"><img src=\"\/submissions\/images\/video-icon.png\" width=\"48\" height=\"48\" alt=\"Video\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"thumbnail topic19 topic25\">\r\n\t\t\t<div class=\"caption caption-image\">\r\n\t\t\t\t<span class=\"badge\">48<\/span><a href=\"#\" data-toggle=\"modal\" data-target=\"#modal48\"><img class=\"thumbnail-icon\" src=\"\/submissions\/2017\/048\/48_nahled.png\" alt=\"\"><\/a>\r\n\t\t\t<\/div>\r\n\t\t\t<div class=\"caption\">\r\n\t\t\t\t<h4>On Improving Adaptive Error-Driven Aggregation of Markov Chains<\/h4>\r\n\t\t\t\t<h5>Roman Andriushchenko<\/h5>\r\n\t\t\t\t<p class=\"download-menu\"><a href=\"\/submissions\/2017\/048\/48.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"32\" height=\"32\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/048\/48_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"32\" height=\"32\" alt=\"Plak\u00e1t\"><\/a><\/p>\r\n\t\t\t<\/div>\r\n\t\t<\/div>\r\n\t\t<div class=\"modal fade bs-example-modal-lg\" id=\"modal48\" tabindex=\"-1\" role=\"dialog\" aria-hidden=\"true\">\r\n\t\t\t<div class=\"modal-dialog modal-lg\">\r\n\t\t\t\t<div class=\"modal-content\">\r\n\t\t\t\t\t<div class=\"modal-header\">\r\n\t\t\t\t\t\t<span class=\"badge\">48<\/span>\r\n\t\t\t\t\t\t<p><button type=\"button\" class=\"close\" data-dismiss=\"modal\" aria-label=\"Close\"><span aria-hidden=\"true\">\u00d7<\/span><\/button><\/p>\r\n\t\t\t\t\t\t<h3 class=\"modal-title\">On Improving Adaptive Error-Driven Aggregation of Markov Chains<\/h3>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-body\">\r\n\t\t\t\t\t\t<div class=\"row\">\r\n\t\t\t\t\t\t\t<div class=\"col-md-8\">\r\n\t\t\t\t\t\t\t\t<p><strong>Roman Andriushchenko<\/strong><\/p>\r\n\t\t\t\t\t\t\t\t<p><em>Markov models, probabilistic model checking, approximation techniques, adaptive aggregation<\/em><\/p>\r\n\t\t\t\t\t\t\t\t<p><span class=\"label label-default\">Modelov\u00e1n\u00ed a simulace<\/span> <span class=\"label label-default\">Form\u00e1ln\u00ed metody<\/span> <\/p>\r\n\t\t\t\t\t\t\t\t<p>Markov models are widely used in many areas of science and engineering in order to evaluate the probability of certain events of interest. Quantitative analysis of such models typically proceeds through numerical methods or simulation-based evaluation. Since the state space of the models can often be large, several approximation techniques have been proposed. For various systems, level of precision affects the soundness of verification results, so accurate quantification of approximation error is crucial. In this work we focus on adaptively-driven aggregation technique and evaluate its key performance aspects. The key contribution of this work is improving aggregation strategy and the theoretical bounds on the approximation error. Our technique leads to up to 3 orders of magnitude precision improvement over existing methods and allows one to analyse larger models with a higher accuracy.<\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t\t<div class=\"col-md-4\">\r\n\t\t\t\t\t\t\t\t<p><img class=\"img-responsive\" src=\"\/submissions\/2017\/048\/48_nahled.png\" alt=\"\"><\/p>\r\n\t\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t\t<div class=\"modal-footer\">\r\n\t\t\t\t\t\t<div class=\"pull-left\"><div class=\"btn-group\" role=\"group\"><a href=\"\/submissions\/2017\/048\/48.pdf\"><img src=\"\/submissions\/images\/paper-icon.png\" width=\"48\" height=\"48\" alt=\"\u010cl\u00e1nek\"><\/a><a href=\"\/submissions\/2017\/048\/48_poster.pdf\"><img src=\"\/submissions\/images\/poster-icon.png\" width=\"48\" height=\"48\" alt=\"Plak\u00e1t\"><\/a><\/div><\/div>\r\n\t\t\t\t\t\t<div class=\"pull-right\"><button type=\"button\" class=\"btn btn-primary\" data-dismiss=\"modal\">Zav\u0159\u00edt<\/button><\/div>\r\n\t\t\t\t\t<\/div>\r\n\t\t\t\t<\/div>\r\n\t\t\t<\/div>\r\n\t\t<\/div><div class=\"clearfix\"><\/div>   \r\n         \r\n        <\/div>\r\n  \r\n  \r\n<\/div>\r\n\n","protected":false},"excerpt":{"rendered":"<p>Program konference Excel@FIT, kter\u00e1 se kon\u00e1 na Fakult\u011b informa\u010dn\u00edch technologi\u00ed VUT v Brn\u011b.  <\/p>\n","protected":false},"author":2,"featured_media":2488,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"ngg_post_thumbnail":0,"footnotes":""},"class_list":["post-246","page","type-page","status-publish","has-post-thumbnail","hentry"],"_links":{"self":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/246","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/comments?post=246"}],"version-history":[{"count":123,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/246\/revisions"}],"predecessor-version":[{"id":2518,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/pages\/246\/revisions\/2518"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/media\/2488"}],"wp:attachment":[{"href":"https:\/\/excel.fit.vutbr.cz\/2017\/wp-json\/wp\/v2\/media?parent=246"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}