Zum Inhalt springen

Cha, Sungdeok [Herausgeber:in]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft] ; ATVA 6 2008 Seoul

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings

Online ansehen
Schließen

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin; Heidelberg [u.a.]: Springer, 2008

Erschienen in: Lecture notes in computer science ; 5311
Cha, Sungdeok [Sonstige Person, Familie und Körperschaft]

21st Asia-Pacific Software Engineering Conference (APSEC), 2014 : 1 - 4 Dec. 2014, Jeju Island, South Korea ; proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via IEEE Xplore (Volltext)

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Piscataway, NJ: IEEE, 2014
Hutchison, David [Sonstige Person, Familie und Körperschaft]; Mitchell, John C. [Sonstige Person, Familie und Körperschaft]; Naor, Moni [Sonstige Person, Familie und Körperschaft]; Nierstrasz, Oscar [Sonstige Person, Familie und Körperschaft]; Pandu Rangan, C. [Sonstige Person, Familie und Körperschaft]; Steffen, Bernhard [Sonstige Person, Familie und Körperschaft]; Sudan, Madhu [Sonstige Person, Familie und Körperschaft]; Terzopoulos, Demetri [Sonstige Person, Familie und Körperschaft]; Tygar, Doug [Sonstige Person, Familie und Körperschaft]; Vardi, Moshe Y. [Sonstige Person, Familie und Körperschaft]; Viswanathan, Mahesh [Sonstige Person, Familie und Körperschaft]; Cha, Sungdeok (Steve) [Sonstige Person, Familie und Körperschaft]; Weikum, Gerhard [Sonstige Person, Familie und Körperschaft]; Choi, Jin-Young [Sonstige Person, Familie und Körperschaft]; Kanade, Takeo [Sonstige Person, Familie und Körperschaft]; Kim, Moonzoo [Sonstige Person, Familie und Körperschaft]; Kittler, Josef [Sonstige Person, Familie und Körperschaft]; Kleinberg, Jon [Sonstige Person, Familie und Körperschaft]; Lee, Insup [Sonstige Person, Familie und Körperschaft]; Mattern, Friedemann [Sonstige Person, Familie und Körperschaft]

Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings

Online ansehen
Schließen

Zugang

... zum E-Book via DOI

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2008

Erschienen in: Lecture notes in computer science ; 5311
Kwon, Shinil; Cha, Sungdeok

A Paradigm Shift for the CAPTCHA Race: Adding Uncertainty to the Process

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2016

Erschienen in: IEEE Software, 33 (2016) 6, Seite 80-85
Kim, Taeho; Cha, Sungdeok

Automated structural analysis of SCR‐style software requirements specifications using PVS

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2001

Erschienen in: Software Testing, Verification and Reliability, 11 (2001) 3, Seite 143-163
Han, Ah-Rim; Cha, Sungdeok

Two-Phase Assessment Approach to Improve the Efficiency of Refactoring Identification

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2018

Erschienen in: IEEE Transactions on Software Engineering, 44 (2018) 10, Seite 1001-1023
Kim, Young‐Gab; Cha, Sungdeok

Threat scenario‐based security risk analysis using use case modeling in information systems

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2012

Erschienen in: Security and Communication Networks, 5 (2012) 3, Seite 293-300
JEONG, Sooyong; CHA, Sungdeok; LEE, Woo Jin

Usage Log-Based Testing of Embedded Software and Identification of Dependencies among Environmental Components

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electronics, Information and Communications Engineers (IEICE), 2021

Erschienen in: IEICE Transactions on Information and Systems, E104.D (2021) 11, Seite 2011-2014
Kwon, Shinil; Kim, Young-Gab; Cha, Sungdeok

Web robot detection based on pattern-matching technique

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

SAGE Publications, 2012

Erschienen in: Journal of Information Science, 38 (2012) 2, Seite 118-126
Junbeom Yoo; Eunkyoung Jee; Sungdeok Cha

Formal Modeling and Verification of Safety-Critical Software

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2009

Erschienen in: IEEE Software, 26 (2009) 3, Seite 42-49
Cho, Jaemyung; Yoo, Junbeom; Cha, Sungdeok

Software Engineering Research and Applications: NuEditor – A Tool Suite for Specification and Verification of NuSCR

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2006

Erschienen in: Software Engineering Research and Applications (2006), Seite 19-28
Jee, Eunkyoung; Yoo, Junbeom; Cha, Sungdeok

Lecture Notes in Computer Science: Control and Data Flow Testing on Function Block Diagrams

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2005

Erschienen in: Lecture Notes in Computer Science (2005), Seite 67-80
Kim, Taeho; Stringer-Calvert, David; Cha, Sungdeok

Tools and Algorithms for the Construction and Analysis of Systems: Formal Verification of Functional Properties of an SCR-Style Software Requirements Specification Using PVS

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2002

Erschienen in: Tools and Algorithms for the Construction and Analysis of Systems (2002), Seite 205-220
Jeon, Minseok; Jeong, Sehun; Cha, Sungdeok; Oh, Hakjoo

A Machine-Learning Algorithm with Disjunctive Model for Data-Driven Program Analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2019

Erschienen in: ACM Transactions on Programming Languages and Systems, 41 (2019) 2, Seite 1-41
Jeong, Sehun; Jeon, Minseok; Cha, Sungdeok; Oh, Hakjoo

Data-driven context-sensitivity for points-to analysis

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Association for Computing Machinery (ACM), 2017

Erschienen in: Proceedings of the ACM on Programming Languages, 1 (2017) OOPSLA, Seite 1-28
Kim, Jong-Hyun; Lee, Jung; Cha, Sungdeok; Kim, Chang-Hun

Efficient Representation of Detailed Foam Waves by Incorporating Projective Space

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electrical and Electronics Engineers (IEEE), 2017

Erschienen in: IEEE Transactions on Visualization and Computer Graphics, 23 (2017) 9, Seite 2056-2068
Kim, Su Yong; Cha, Sungdeok; Bae, Doo-Hwan

Automatic and lightweight grammar generation for fuzz testing

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Elsevier BV, 2013

Erschienen in: Computers & Security, 36 (2013), Seite 1-11
SEO, Jeongseok; CHA, Sungdeok; ZHU, Bin; BAE, Doohwan

PC Worm Detection System Based on the Correlation between User Interactions and Comprehensive Network Behaviors

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Institute of Electronics, Information and Communications Engineers (IEICE), 2013

Erschienen in: IEICE Transactions on Information and Systems, E96.D (2013) 8, Seite 1716-1726
Kim, Young‐Gab; Lee, Minsoo; Cho, Sanghyun; Cha, Sungdeok

A quantitative approach to estimate a website security risk using whitelist

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Wiley, 2012

Erschienen in: Security and Communication Networks, 5 (2012) 10, Seite 1181-1192
Jee, Eunkyoung; Kim, Suin; Cha, Sungdeok; Lee, Insup

Lecture Notes in Computer Science: Automated Test Coverage Measurement for Reactor Protection System Software Implemented in Function Block Diagram

Online ansehen
Schließen

Zugang

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Springer Berlin Heidelberg, 2010

Erschienen in: Lecture Notes in Computer Science (2010), Seite 223-236

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr