( en | de | ru )

 

Disambiguation of "Bae, Doo-Hwan"

Author of the publication

copydeleteadd this publication to your clipboard
Specification and validation of dynamic systems using temporal logic.

, , , and . IEE Proc. Softw., 148 (4): 135-140 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Doo-Hwan Park

Ki-Hwan Bae

Soonil Bae

Eva Doose

Hermann Doose

 

Other publications of authors with the same name

Using Classpects for Integrating Non-Functional and Functional Requirements., and . IASTED Conf. on Software Engineering, page 141-147. IASTED/ACTA Press, (2006)Developing a Simulation Model Using a SPEM-Based Process Model and Analytical Models., , , and . CIAO! / EOMAS, volume 10 of Lecture Notes in Business Information Processing, page 164-178. Springer, (2008)SimpleLock+: Fast and Accurate Hybrid Data Race Detection., and . Comput. J., 59 (6): 793-809 (2016)Aspect-Oriented Design (AOD) Technique for Developing Distributed Object-Oriented Systems over the Internet., , and . ICSC, volume 1749 of Lecture Notes in Computer Science, page 156-165. Springer, (1999)AREION: Software effort estimation based on multiple regressions with adaptive recursive data partitioning., , and . Inf. Softw. Technol., 55 (10): 1710-1725 (2013)Test cases generation from UML state diagrams., , , and . IEE Proc. Softw., 146 (4): 187-192 (1999)SimpleLock: Fast and Accurate Hybrid Data Race Detector., , and . PDCAT, page 50-56. IEEE, (2013)Statistical Verification Framework for Platooning System of Systems with Uncertainty., , , and . APSEC, page 212-219. IEEE, (2019)Report on the 4th International Workshop on Engineering and Cybersecurity of Critical Systems (EnCyCriS - 2023)., , , , , , and . ACM SIGSOFT Softw. Eng. Notes, 48 (4): 41-45 (October 2023)Automatic and lightweight grammar generation for fuzz testing., , and . Comput. Secur., (2013)