A formal model for network-wide security analysis J Rab, P Matousek, O Rysavy, M Svéda 15th Annual IEEE International Conference and Workshop on the Engineering of …, 2008 | 67 | 2008 |
Integrated smart sensor networking framework for sensor-based appliances M Sveda, R Vrba IEEE Sensors Journal 3 (5), 579-586, 2003 | 44 | 2003 |
On the development of BLDC motor control run-up algorithms for aerospace application V Hubik, M Sveda, V Singule 2008 13th international power electronics and motion control conference …, 2008 | 42 | 2008 |
Introduction to Industrial Sensor Networking. M Svéda, P Benes, R Vrba, F Zezulka Handbook of Sensor Networks, 2004 | 42 | 2004 |
Executable specifications for embedded distributed systems M Sveda, R Vrba Computer 34 (1), 138-143, 2001 | 30 | 2001 |
ZigBee-to-internet interconnection architectures M Sveda, R Trchalik Second International Conference on Systems (ICONS'07), 30-30, 2007 | 27 | 2007 |
Knowledge preserving development: A case study M Sveda, O Babka, J Freeburn Proceedings International Conference and Workshop on Engineering of Computer …, 1997 | 17 | 1997 |
A formal authorization framework for networked SCADA systems O Rysavy, J Rab, P Halfar, M Sveda 2012 IEEE 19th International Conference and Workshops on Engineering of …, 2012 | 16 | 2012 |
Practical IPv6 monitoring-challenges and techniques M Grégr, P Matoušek, M Švéda 12th IFIP/IEEE International Symposium on Integrated Network Management (IM …, 2011 | 15 | 2011 |
An embedded application regarded as a cyber-physical system M Sveda, R Vrba 2010 Fifth International Conference on Systems, 170-174, 2010 | 15 | 2010 |
Experience with integration and certification of COTS based embedded system into advanced avionics system M Sveda, V Oplustil 2007 International Symposium on Industrial Embedded Systems, 282-287, 2007 | 15 | 2007 |
Wireless temperature data logger R Kuchta, P Stefan, Z Barton, R Vrba, M Sveda 2005 Asian Conference on Sensors and the International Conference on New …, 2005 | 15 | 2005 |
An integrated framework for internet-based applications of smart sensors M Sveda, R Vrba SENSORS, 2002 IEEE 2, 1543-1548, 2002 | 15 | 2002 |
An approach to safety critical systems design M Švéda International Conference on Computer Aided Systems Theory, 34-49, 1997 | 15 | 1997 |
Embedded system design: a case study M Sveda Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based …, 1996 | 15 | 1996 |
Sensor networking M Sveda, R Vrba Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001 | 14 | 2001 |
Routers and bridges for small area network interconnection M Švéda Computers in industry 22 (1), 25-29, 1993 | 14 | 1993 |
ILERT-International Learning Environment for Real-Time Software-Intensive Control Systems JK Andrew, BH Thomas, W Grega, M Sveda, JM Thiriet Journal of Automation, Mobile Robotics and Intelligent Systems, 66-71, 2009 | 13 | 2009 |
Actuator-sensor-interface interconnectivity M Švéda, R Vrba Control Engineering Practice 7 (1), 95-100, 1999 | 13 | 1999 |
Improving security in SCADA systems through firewall policy analysis O Rysavy, J Rab, M Sveda 2013 Federated Conference on Computer Science and Information Systems, 1435-1440, 2013 | 12 | 2013 |