Ing.

František Ščuglík

Ph.D.

Member of Workgroup


scuglik@fit.vut.cz
C310 Office
6303/BUT personal ID

Publications

  • 2006

    RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. 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, pp. 159-163. ISBN 0-7695-2546-6.
    Detail

  • 2005

    BUREŠ František, RYŠAVÝ Ondřej, ŠČUGLÍK František and ŠVÉDA Miroslav. 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, pp. 323-330. ISBN 0-7695-2308-0.
    Detail

    RYŠAVÝ Ondřej and ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Faculty of Information Technology BUT, 2005.
    Detail

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

    ŠČUGLÍK František. 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. 6. ISBN 960-8457-32-7.
    Detail

    ŠČUGLÍK František. 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, pp. 1215-1219. ISBN 960-8457-34-3.
    Detail

    ŠČUGLÍK František. Time Synchronization Possibilities in Wireless networks for Embedded Systems. WSEAS Transactions on Communications, vol. 4, no. 11, 2005, pp. 1215-1219. ISSN 1109-2742.
    Detail

  • 2004

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

    RYŠAVÝ Ondřej, BUREŠ František, ŠČUGLÍK František and ŠVÉDA Miroslav. 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, pp. 57-63. ISBN 1-85769-1970.
    Detail

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

    ŠČUGLÍK František and BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers, vol. 2004, no. 3, pp. 690-695. ISSN 1109-2750.
    Detail

  • 2003

    ŠČUGLÍK František and ŠVÉDA Miroslav. 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, pp. 41-47. ISBN 1-85769-189X.
    Detail

    ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, vol. 9, no. 11, 2003, pp. 1277-1295. ISSN 0948-6968.
    Detail

    ŠČUGLÍK František. 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, pp. 629-633. ISBN 80-214-2379-X.
    Detail

    ŠČUGLÍK František. Uživatelské rozhraní formální specifikace vestavěných systémů. Elektrorevue - www.elektrorevue.cz, vol. 2003, no. 23, p. 5. ISSN 1213-1539.
    Detail

    ŠČUGLÍK František. 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. 5. ISBN 953-6114-64-X.
    Detail

  • 2002

    ŠČUGLÍK František. 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, pp. 341-344. ISBN 80-214-2180-0.
    Detail

    ŠČUGLÍK František. 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, pp. 511-515. ISBN 80-214-2116-9.
    Detail

  • 2001

    ŠČUGLÍK František. Komunikační systém v rámci autonomních LAN sítí. In: Proceedings of 7th Conference STUDENT FEI 2001. Brno: Faculty of Electrical Engineering and Computer Science BUT, 2001, pp. 316-318. ISBN 80-214-1859-1.
    Detail

Back to top