1st JAIST-NII Mini-Workshop
Information
| date: | November 9, 2009 |
| tentative time: | 11:00 -- 18:20 |
| venue: | School of Information Science Japan Advanced Institute of Science and Technology 1-1 Nomi, Ishikawa, 923-1292, Japan |
| room: | Seminar room on the 6th floor of Information Science |
Access to JAIST
Please see Location and Access (JAIST homepage).
Program
| 11:00 - 12:00 | Incremental Counterexamples for Temporal
Description Logics in the Context of Document Verification
60 min
Franz Weitl (NII) |
| lunch break | |
| Monitoring and Translations | |
| 12:40 - 13:20 | Runtime Monitoring of Web Applications
40 min
Shin Nakajima (NII) |
| 13:20 - 14:00 | Program Inversion by Injectivity Analysis using Formal Grammars
40 min
Kazutaka Matsuda (University of Tokyo) |
| 14:00 - 14:40 | A Meta-Translator Equipped with Algebraic
Specification Translation Capability
40 min
Zhang Min (JAIST) |
| coffee break | |
| Program Analysis as Model Checking | |
| 14:50 - 15:30 | Stacking-based Context-Sensitive Points-to Analysis for Java
40 min
Xin Li (JAIST) |
| 15:30 - 16:10 | Overflow and Roundoff Errors Analysis via Model Checking
40 min
Do Thi Bich Ngoc (JAIST) |
| 16:10 - 16:50 | Automatic Generation of Model Checking Scripts Based on Environment Modeling
40 min
Kenro Yatake(JAIST) |
| coffee break | |
| Framework for Model Checking | |
| 17:00 - 17:40 | Periodic Real-Time Tasks Modeling for Parametric Analysis
40 min
Chaiwat Sathawornwichit (JAIST) |
| 17:40 - 18:20 | Solving Dataflow Equations over Infinite Domains
40 min
Mizuhito Ogawa (JAIST) |
Contact
Mizuhito Ogawa (JAIST)| phone: | +81-761-51-1247 |
| email: | mizuhito |