Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Moonjoo Kim 0001

> Home > Persons

Person information

affiliation: SECUi.com, Seoul, Korea
affiliation (PhD 2001): University of Pennsylvania, Department of Computer and Information Science, Philadelphia, PA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2002
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BhargavanGKLOSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BhargavanGKLOSV02
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal Analysis of Network Simulations. IEEE Trans. Software Eng. 28(2): 129-145 (2002)
[c8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimKLSV02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimKLSV02
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Computational Analysis of Run-time Monitoring - Fundamentals of Java-MaC. RV@FLoC 2002: 80-94
[c7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimLSSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimLSSS02
Moonjoo Kim, Insup Lee, Usa Sammapun, Jangwoo Shin, Oleg Sokolsky:
Monitoring, Checking, and Steering of Real-Time Systems. RV@FLoC 2002: 95-111
2001
[c6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/KimKLSV01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimKLSV01
Moonjoo Kim, Sampath Kannan, Insup Lee, Oleg Sokolsky, Mahesh Viswanathan:
Java-MaC: a Run-time Assurance Tool for Java Programs. RV@CAV 2001: 218-235
2000
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/BhargavanGKLOSV00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/BhargavanGKLOSV00
Karthikeyan Bhargavan, Carl A. Gunter, Moonjoo Kim, Insup Lee, Davor Obradovic, Oleg Sokolsky, Mahesh Viswanathan:
Verisim: Formal analysis of network simulations. ISSTA 2000: 2-13

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1999
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ecrts/KimVBKLS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecrts/KimVBKLS99
Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben-Abdallah, Sampath Kannan, Insup Lee, Oleg Sokolsky:
Formally specified monitoring of temporal properties. ECRTS 1999: 114-122
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/AlurEKKL99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/AlurEKKL99
Rajeev Alur, Joel M. Esposito, Moonjoo Kim, Vijay Kumar, Insup Lee:
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination. World Congress on Formal Methods 1999: 212-232
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/LeeKKSV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/LeeKKSV99
Insup Lee, Sampath Kannan, Moonjoo Kim, Oleg Sokolsky, Mahesh Viswanathan:
Runtime Assurance Based On Formal Specifications. PDPTA 1999: 279-287
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/words/SokolskyKKLV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/words/SokolskyKKLV99
Oleg Sokolsky, Sampath Kannan, Moonjoo Kim, Insup Lee, Mahesh Viswanathan:
Steering of real-time systems based on monitoring and checking. WORDS (Fall) 1999: 11-18

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.