Afternoon Workshop on Formal Methods
Information
| date and time: | June 15, 2011 (Wed) 13:00 - 17: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
| UKM Group | 13:00-13:30 | Formal Methods in Malaysia Abdullah Mohd Zin |
| 13:30-14:00 | Modeling a HoneyBee Ensemble Computing Environment (collaboration with Jeff Sanders of UNU-IIST) Abdullah Mohd Zin |
| Hiraishi Lab. | |
| 14:10-14:20 | Hiraishi Lab. Introduction Kunihiko Hiraishi |
| 14:20-14:50 | Modeling, Analysis and Control of Hybrid Systems with Parameter Uncertainty Koichi Kobayashi |
| Futatsugi and Ogata Labs. | |
| 15:00-15:10 | Futatsugi/Ogata Lab. Introduction Kazuhiro Ogata |
| 15:10-15:40 | A Guide to Tailoring Behavioral Specifications to Generate Efficiently Model-checkable Rewrite Theory Specifications Zhang Min |
| Aoki Lab. | |
| 15:50-16:00 | Aoki Lab. Introduction Toshiaki Aoki |
| 16:00-16:30 | Verification of Automotive Operating System Toshiaki Aoki |
| Ogawa Lab. | |
| 16:40-16:50 | Ogawa Lab. Introduction Mizuhito Ogawa |
| 16:50-17:20 | Maximal Completion Dominik Klein |
Contact
Mizuhito Ogawa (JAIST)| phone: | +81-761-51-1247 |
| email: | mizuhito |