A Characterization on Necessary Conditions of Realizability for Reactive System Specifications von TOMITA, Takashi, HAGIHARA, Shigeki, SHIMAKAWA, Masaya, YONEZAKI, Naoki

Volltext

Efficient Realizability Checking by Modularization of LTL Specifications von Ito, Sohei, Osari, Kenji, Shimakawa, Masaya, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Efficiency of the strong satisfiability checking procedure for reactive system specifications von Shimakawa, Masaya, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Monitoring Temporal Properties Using Interval Analysis von ISHII, Daisuke, YONEZAKI, Naoki, GOLDSZTEJN, Alexandre

Volltext

Qualitative analysis of gene regulatory networks by temporal logic von Ito, Sohei, Ichinose, Takuma, Shimakawa, Masaya, Izumi, Naoko, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata von Mochizuki, Shohei, Shimakawa, Masaya, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Software Security - Theories and Systems: Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003. Revised Papers von Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki

Volltext

Reducing Bounded Realizability Analysis to Reachability Checking von Shimakawa, Masaya, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Bounded Strong Satisfiability Checking of Reactive System Specifications von SHIMAKAWA, Masaya, HAGIHARA, Shigeki, YONEZAKI, Naoki

Volltext

Complexity of Strong Satisfiability Problems for Reactive System Specifications von SHIMAKAWA, Masaya, HAGIHARA, Shigeki, YONEZAKI, Naoki

Volltext

Statistical Model Checking of Probabilistic Frequency Temporal Logic von TOMITA, Takashi, HAGIHARA, Shigeki, ITO, Sohei, YONEZAKI, Naoki

Volltext

Verification and Optimization Methods for Mean-Payoff Temporal Logic von TOMITA, Takashi, HAGIHARA, Shigeki, YONEZAKI, Naoki

Volltext

Modular analysis of gene networks by linear temporal logic von Ito, Sohei, Ichinose, Takuma, Shimakawa, Masaya, Izumi, Naoko, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking von Tomita, Takashi, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

Extracting Environmental Constraints to Make Reactive System Specifications Realizable von Hagihara, S., Kitamura, Y., Shimakawa, M., Yonezaki, N.

Volltext

Extracting Environmental Constraints to Make Reactive System Specifications Realizable von HAGIHARA, Shigeki, KITAMURA, Yusuke, SHIMAKAWA, Masaya, SEKIDO, Satoshi, YONEZAKI, Naoki

Volltext

Implementation of Stepwise Satisfiability Checker for Reactive System Specifications using Distributed Objects Technology von ANDO, Takahiro, MIYAMOTO, Yuuki, HAGIHARA, Shigeki, YONEZAKI, Naoki

Volltext

Safraless LTL synthesis considering maximal realizability von Tomita, Takashi, Ueno, Atsushi, Shimakawa, Masaya, Hagihara, Shigeki, Yonezaki, Naoki

Volltext

An Operational Semantics of Program Dependence Graphs von ITO, Sohei, HAGIHARA, Shigeki, YONEZAKI, Naoki

Volltext

Software security - theories and systems: second MEXT-NSF-JSPS International Symposium, ISSS 2003, Tokyo Japan, November 4-6, 2003 : revised papers von Futatsugi, Kokichi, Mizoguchi, Fumio, Yonezaki, Naoki

Volltext