František Ščuglík

Publikace

• 2006

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

• 2005

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

  RYŠAVÝ Ondřej a ŠČUGLÍK František. Design and development of a library for formal verification: an overview. Brno: Fakulta informačních technologií VUT v Brně, 2005.
  Detail

  ŠČUGLÍK František. Relation between UML2 Activity Diagrams and CSP algebra. WSEAS Transactions on Computers, roč. 4, č. 10, 2005, s. 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, s. 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, s. 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, roč. 4, č. 11, 2005, s. 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, s. 211-216. ISBN 0-7695-2125-8.
  Detail

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

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

  ŠČUGLÍK František a BUREŠ František. Shared variables in CSP. WSEAS Transactions on Computers, roč. 2004, č. 3, s. 690-695. ISSN 1109-2750.
  Detail

• 2003

  ŠČUGLÍK František a Š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, s. 41-47. ISBN 1-85769-189X.
  Detail

  ŠČUGLÍK František a ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, roč. 9, č. 11, 2003, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2003, s. 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, roč. 2003, č. 23, s. 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, s. 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: Vysoké učení technické v Brně, 2002, s. 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: Fakulta elektrotechniky a komunikačních technologií VUT v Brně, 2002, s. 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: Fakulta elektrotechniky a informatiky VUT, 2001, s. 316-318. ISBN 80-214-1859-1.
  Detail