Publications

• 2006

  RYŠAVÝ, O.; ŠČUGLÍK, F.; ŠVÉDA, M. Designing Algorithm-oriented Generic Library on . NET Framework. In 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. In 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. In 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. In Proceedings of the 5th Int. Conf. on Simulation, Modeling and Optimization. Kerkyra: World Scientific and Engineering Academy, 2005. p. 1234 ( p.)ISBN: 960-8457-32- 7.
  Detail

  RYŠAVÝ, O., ŠČUGLÍK, F. Vutbrmsr . NET class library. brno: 2005.
  

• 2004

  ŠČUGLÍK, F. Formal Specification of Shared Variables Using CSP. In 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. In 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. In Proceedings of the WSEAS International Conferences. Salzburg: World Scientific and Engineering Academy, 2004. p. 690 ( p.)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. In 11. International Conference on Software, Telecommunications & Computer Networks. Split: Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split, 2003. p. 165 ( p.)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 ( p.)ISSN: 1213- 1539.
  Detail | WWW

  ŠČUGLÍK, F., ŠVÉDA, M. Automatically Generated CSP Specifications. In 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. In 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. In 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. In 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í. In Proceedings of 7th Conference STUDENT FEI 2001. Brno: Fakulta elektrotechniky a informatiky VUT, 2001. p. 316-318. ISBN: 80-214-1859- 1.
  Detail

*) Publications are generated once a 24 hours.