Publications

• 2006

  RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. Designing Algorithm-oriented Generic Library on .NET Framework. Proceedings of the 13th IEEE International Symposium and Workshop on the Engineering of Computer-Based Systems ECBS 2006. Los Alamitos, CA: IEEE Computer Society, 2006. p. 159-163. ISBN: 0-7695-2546-6.
  Detail

• 2005

  BUREŠ, F.; RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. A Framework for Formal Specification of Embedded Systems. Proceedings of the 12th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems. Los Alamitos, California: IEEE Computer Society, 2005. p. 323-330. ISBN: 0-7695-2308-0.
  Detail

  ŠČUGLÍK, F. Time Synchronization Possibilities in Wireless networks for Embedded Systems. WSEAS TRANSACTIONS on COMMUNICATIONS, 2005, vol. 4, no. 11, p. 1215-1219. ISSN: 1109-2742.
  Detail

  ŠČUGLÍK, F. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, 2005, vol. 4, no. 10, p. 1234-1240. ISSN: 1109-2750.
  Detail

  ŠČUGLÍK, F. Time Synchronization Possibilities in Wireless networks for Embedded Systems. Proceedings of the 5th Int. Conf. on Applied Electromagnetics, Wireless and Optical Communications. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1215-1219. ISBN: 960-8457-34-3.
  Detail

  ŠČUGLÍK, F. Relation Between UML2 Activity Diagrams and CSP algebra. Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1234-1239. ISBN: 960-8457-32-7.
  Detail

  RYŠAVÝ, O.; ŠČUGLÍK, F. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005. p. 0-0.
  Detail | WWW

• 2004

  ŠČUGLÍK, F. Formal Specification of Shared Variables Using CSP. Engineering of Computer-Based Systems. Los Alamitos: IEEE Computer Society, 2004. p. 211-216. ISBN: 0-7695-2125-8.
  Detail

  RYŠAVÝ, O.; BUREŠ, F.; ŠČUGLÍK, F.; ŠVÉDA, M. Integration of Formal Methods in a Specification Framework for Embedded Systems. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems. Stirling: IEEE Computer Society, 2004. p. 57-63. ISBN: 1-85769-1970.
  Detail

  BUREŠ, F.; ŠČUGLÍK, F. Shared variables in CSP. Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004. p. 690-694. ISBN: 960-8052-95-5.
  Detail

  ŠČUGLÍK, F.; BUREŠ, F. Shared variables in CSP. WSEAS Transactions on Computers, 2004, vol. 2004, no. 3, p. 690-695. ISSN: 1109-2750.
  Detail

• 2003

  ŠČUGLÍK, F. Visualizing formal specifications using diagrams. 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003. p. 165-169. ISBN: 953-6114-64-X.
  Detail

  ŠČUGLÍK, F. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - Internetový časopis (http://www.elektrorevue.cz), 2003, vol. 2003, no. 23, p. 0-0. ISSN: 1213-1539.
  Detail | WWW

  ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003. p. 41-47. ISBN: 1-85769-189X.
  Detail

  ŠČUGLÍK, F.; ŠVÉDA, M. Automatically Generated CSP Specifications. Journal of Universal Computer Science, 2003, vol. 9, no. 11, p. 1277-1295. ISSN: 0948-6968.
  Detail

  ŠČUGLÍK, F. Diagram Based Formal Specification using CSP. Proceedings of the 9th Conference and Competition STUDENT EEICT 2003. Brno: Faculty of Electrical Engineering and Communication BUT, 2003. p. 629-633. ISBN: 80-214-2379-X.
  Detail

• 2002

  ŠČUGLÍK, F. Comparing CSP representation and First order logic. Proceedings of the 9th Electronic Devices and Systems Conference EDS'02. Brno: Brno University of Technology, 2002. p. 341-344. ISBN: 80-214-2180-0.
  Detail

  ŠČUGLÍK, F. Formal specification and verification of already composed systems. Proceedings of 8th Conference STUDENT EEICT 2002. Brno: Faculty of Electrical Engineering and Communication BUT, 2002. p. 511-515. ISBN: 80-214-2116-9.
  Detail

• 2001

  ŠČUGLÍK, F. Komunikační systém v rámci autonomních LAN sítí. Proceedings of 7th Conference STUDENT FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. p. 316-318. ISBN: 80-214-1859-1.
  Detail

  ŠČUGLÍK, F. Nástroj pro komunikaci v rámci autonomních LAN sítí. Brno: 2001. p. 0-0.
  Detail

*) Publications are generated once a 24 hours.