Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Beomyeon Cho

CAN Database Verification Framework Using UPPAAL

International Journal of Computer Theory and Engineering
2017English

Related publications

Formal Verification of AADL Models Using UPPAAL

2017English

Specification and Verification of Media Constraints Using UPPAAL

Design, Specification and Verification of Interactive Systems ’98
1998English

Protocol Verification Using Database Technology

IEEE Journal on Selected Areas in Communications
Computer NetworksElectronic EngineeringElectricalCommunications
1989English

Discretization of Continuous Dynamical Systems Using UPPAAL

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Uppaal in 1995

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1996English

External Database Extension Framework

2014English

A Framework for Worst-Case and Stochastic Safety Verification Using Barrier Certificates

IEEE Transactions on Automatic Control
ControlSystems EngineeringComputer Science ApplicationsElectricalElectronic Engineering
2007English

A Metaprogramming Framework for Formal Verification

Proceedings of the ACM on Programming Languages
2017English

Eiffel as a Framework for Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy