Sung Deok
- Software top 1%
- Software Reliability and Analysis Research 16
- Software Testing and Debugging Techniques 15
- Model-Driven Software Engineering Techniques 5
-
- Formal Methods in Verification 18
- Information Systems top 5%
- Software Engineering Research 4
- Hardware and Architecture top 10%
- Real-Time Systems Scheduling 5
- Embedded Systems Design Techniques 3
-
- Advanced Software Engineering Methodologies 6
- Co-authors
- Hyoung Seok HongYong Rae KwonHasan UralOleg SokolskyInsup LeeWoojin LeeTimothy J. ShimeallJunbeom Yoo
- Journals
- Software Testing Verification and Reliability (3 papers)Nuclear Engineering and Technology (1 paper)Reliability Engineering & System Safety (1 paper)
- Partner nations
- South KoreaCanadaUnited States
In The Last Decade
Sung Deok
27 papers receiving 351 citations
Peers
Comparison fields: 5 of 36
- Software 311
- Computational Theory and Mathematics 128
- Information Systems 157
- Hardware and Architecture 37
- Management Information Systems 30
Countries citing papers authored by Sung Deok
This map shows the geographic impact of Sung Deok's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Sung Deok with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Sung Deok more than expected).
Fields of papers citing papers by Sung Deok
This network shows the impact of papers produced by Sung Deok. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Sung Deok. The network helps show where Sung Deok may publish in the future.
Co-authorship network
The 19 scholars most cited alongside Sung Deok, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | FBDVerifier: Interactive and Visual Analysis of Counter-example in Formal Verification of Function Block Diagram | 2010 | 16 |
| 2 | 2009 | 2 | |
| 3 | NuSEE: AN INTEGRATED ENVIRONMENT OF SOFTWARE SPECIFICATION AND V&V FOR PLC BASED SAFETYCRITICAL SYSTEMS | 2006 | 5 |
| 4 | An integrated environment of S/W specification and V&V for safety-critical systems. | 2004 | 1 |
| 5 | Efficient Masquerade Detection Using SVM Based on Common Command Frequency in Sliding Windows | 2004 | 3 |
| 6 | 2004 | 2 | |
| 7 | 2004 | 3 | |
| 8 | 2003 | 64 | |
| 9 | 2003 | 9 | |
| 10 | 2003 | 42 | |
| 11 | 2003 | 4 | |
| 12 | 2003 | 6 | |
| 13 | 2002 | 19 | |
| 14 | 2002 | 4 | |
| 15 | 2002 | 2 | |
| 16 | 2002 | 2 | |
| 17 | 2002 | 3 | |
| 18 | 2002 | 31 | |
| 19 | 2002 | 1 | |
| 20 | 소프트웨어의 결점 검출을 위한 페이건 검사의 실험과 다른 방법들의 비교 | 1996 | 0 |
About Sung Deok
Sung Deok is a scholar working on Software, Computational Theory and Mathematics, Hardware and Architecture, Statistics, Probability and Uncertainty and Information Systems, having authored 31 papers that have together received 399 indexed citations. Recurring topics across this work include Formal Methods in Verification (18 papers), Software Reliability and Analysis Research (16 papers), Software Testing and Debugging Techniques (15 papers), Advanced Software Engineering Methodologies (6 papers), Model-Driven Software Engineering Techniques (5 papers), Real-Time Systems Scheduling (5 papers), Software Engineering Research (4 papers) and Embedded Systems Design Techniques (3 papers). The work is most often cited by research in Software (311 citations), Computational Theory and Mathematics (128 citations), Information Systems (157 citations), Hardware and Architecture (37 citations) and Management Information Systems (30 citations). Sung Deok has collaborated with scholars based in South Korea, Canada and United States. Frequent co-authors include Hyoung Seok Hong, Yong Rae Kwon, Hasan Ural, Oleg Sokolsky, Insup Lee, Woojin Lee, Timothy J. Shimeall, Junbeom Yoo, Hyung‐Ho Kim and Eunkyoung Jee. Their work appears in journals such as Software Testing Verification and Reliability, Nuclear Engineering and Technology, Reliability Engineering & System Safety, IEEE Transactions on Software Engineering and Real-Time Systems.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.