Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS |
2016-03-04 09:35 |
Yamaguchi |
KAIKYO MESSE SHIMONOSEKI |
Controller Tuning with Falsification of Temporal Logic Formulae Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.) MSS2015-79 |
[more] |
MSS2015-79 pp.61-66 |
SS |
2015-05-11 13:00 |
Kumamoto |
Kumamoto University |
Towards Applications of FRP in Small-Scale Embedded Systems Kensuke Sawada, Kouhei Suzuki, Takuo Watanabe (Tokyo Tech.) SS2015-1 |
In this paper, we show using examples that functional reactive programming (FRP) is beneficial for small-scale embedded ... [more] |
SS2015-1 pp.1-5 |
KBSE |
2013-05-31 14:45 |
Kanagawa |
Keio University |
Robustness Anlysis on Human-made Fault in Procedural Manuals Naoyuki Nagatou (PRESYSTEMS), Takuo Watanabe (Tokyo Inst. of Tech.) KBSE2013-11 |
We adapt a formal approach for an investigation into robustness analysis on human-made faults in procedural manuals.Dete... [more] |
KBSE2013-11 pp.61-66 |
KBSE, SS |
2012-07-28 15:50 |
Hokkaido |
Future University Hakodate |
An Implementation Method of Context-Oriented Programming in Objective-C Masaya Suzuki, Takuo Watanabe (Tokyo Tech) SS2012-32 KBSE2012-34 |
Context-oriented programming(COP) is a programming method that enables us to define behaviors that depend on the program... [more] |
SS2012-32 KBSE2012-34 pp.133-138 |
KBSE, SS |
2011-07-30 11:15 |
Hokkaido |
Hokkaido Information University |
On Generating Realtime Programs with Runtime Checking
-- From Timed Automata to Realtime Programs on Non-Realtime Environments -- Ilankaikone Senthooran, Julian Prokay, Takuo Watanabe (Tokyo Inst. of Tech.) SS2011-25 KBSE2011-22 |
We propose a method of generating realtime programs from verified models. The primary goal of this work is to provide an... [more] |
SS2011-25 KBSE2011-22 pp.75-80 |
SS |
2011-03-08 09:25 |
Okinawa |
Okinawa-ken Seinen Kaikan |
Towards Verifying Pointer-Manipulating Program using Program Transformation
-- A Case Study with Morris' Binary Tree Traversal Algorithm -- Takuo Watanabe, Sosuke Moriguchi, Kazuhiro Yamada, Shin-ya Nishizaki (Tokyo Tech) SS2010-69 |
We proved the correctness of a C implementation of Morris's tree traversal algorithm.
The algorithm is known as a recur... [more] |
SS2010-69 pp.97-102 |
SS |
2009-08-06 15:45 |
Hokkaido |
Kitami Institute of Technology |
On Formalizing Behavioral Aspects of Reflective Computation Takuo Watanabe (Tokyo Inst. of Tech.) SS2009-20 |
Computational reflection is essential to construct highly flexible and/or adaptable systems in the sense that it provide... [more] |
SS2009-20 pp.49-52 |
SS |
2008-07-31 17:00 |
Hokkaido |
Future University-Hakodate |
LMC:A Calculus of Pointcut-Advice model Sosuke Moriguchi, Takuo Watanabe (Tokyo Tech.) SS2008-19 |
Aspect-oriented programming (AOP) has gained wide popularity in software development. Understanding the formal nature of... [more] |
SS2008-19 pp.37-42 |
ISEC, SITE, IPSJ-CSEC |
2006-07-20 16:35 |
Okayama |
Okayama Univ. |
On Enforcement of Noninterference Naoyuki Nagatou, Takuo Watanabe (Tokyo Tech) |
We discuss a characterization of security policies to be enforced with a monitor. The monitor is a enforcement mechanism... [more] |
ISEC2006-37 SITE2006-34 pp.207-214 |