Miroslav Sveda
Miroslav Sveda
Professor of Computer Science and Engineering, Brno University of Technology
Verified email at
Cited by
Cited by
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
Integrated smart sensor networking framework for sensor-based appliances
M Sveda, R Vrba
IEEE Sensors Journal 3 (5), 579-586, 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
Introduction to Industrial Sensor Networking.
M Svéda, P Benes, R Vrba, F Zezulka
Handbook of Sensor Networks, 2004
Executable specifications for embedded distributed systems
M Sveda, R Vrba
Computer 34 (1), 138-143, 2001
ZigBee-to-internet interconnection architectures
M Sveda, R Trchalik
Second International Conference on Systems (ICONS'07), 30-30, 2007
Knowledge preserving development: A case study
M Sveda, O Babka, J Freeburn
Proceedings International Conference and Workshop on Engineering of Computer …, 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
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
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
An approach to safety critical systems design
M Švéda
International Conference on Computer Aided Systems Theory, 34-49, 1997
Embedded system design: a case study
M Sveda
Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based …, 1996
An embedded application regarded as a cyber-physical system
M Sveda, R Vrba
2010 Fifth International Conference on Systems, 170-174, 2010
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
An integrated framework for internet-based applications of smart sensors
M Sveda, R Vrba
SENSORS, 2002 IEEE 2, 1543-1548, 2002
Sensor networking
M Sveda, R Vrba
Proceedings. Eighth Annual IEEE International Conference and Workshop On the …, 2001
ILERT-International Learning Environment for Real-Time Software-Intensive Control Systems
AJ Kornecki, TB Hilburn, W Grega, M Sveda, JM Thiriet
Journal of Automation Mobile Robotics and Intelligent Systems 3 (1), 66-71, 2009
Actuator-sensor-interface interconnectivity
M Švéda, R Vrba
Control Engineering Practice 7 (1), 95-100, 1999
Routers and bridges for small area network interconnection
M Švéda
Computers in industry 22 (1), 25-29, 1993
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
The system can't perform the operation now. Try again later.
Articles 1–20