Naoki Yonezaki

58 papers A* 3B 2C 11Journal 10Unranked 31

Year	Rank	Type	Title / Venue / Authors
2022	J	`jnl`	A Characterization on Necessary Conditions of Realizability for Reactive System Specifications. IEICE Trans. Inf. Syst. Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2022	J	`jnl`	Efficient Realizability Checking by Modularization of LTL Specifications. Comput. J. Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2020	—	`conf`	Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic. ICSCA Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki
2019	—	`conf`	Towards Efficient Implementation of Realizability Checking for Reactive System Specifications. ICSCA Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2019	—	`conf`	Verification of Verifiability of Voting Protocols by Strand Space Analysis. ICSCA Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki
2017	—	`conf`	Autonomous and distributed internet security (AIS) infrastructure for safe internet. NOF Hiroyuki Kimiyama, Naoki Yonezaki, Tomoaki Tsutsumi, Kaori Sano, Hirofumi Yamaki, Yoichiro Ueno, Ryôichi Sasaki, Hiroshi Kobayashi
2017	—	`conf`	Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms. BIOSTEC (Selected Papers) Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017	—	`conf`	Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach. BIOINFORMATICS Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017	—	`conf`	Modularization of formal specifications or efficient synthesis of reactive systems. ICSCA Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki
2017	—	`conf`	Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract). CyPhy Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki
2017	J	`jnl`	Safraless LTL synthesis considering maximal realizability. Acta Informatica Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2017	—	`conf`	Web server access trend analysis based on the Poisson distribution. ICSCA Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki
2016	J	`jnl`	Monitoring Temporal Properties Using Interval Analysis. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
2016	J	`jnl`	Monitoring Temporal Properties using Interval Analysis. CoRR Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
2016	—	`conf`	Simple synthesis of reactive systems with tolerance for unexpected environmental behavior. FormaliSE@ICSE Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki
2015	—	`conf`	Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs. BIOINFORMATICS Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
2015	J	`jnl`	Monitoring Bounded LTL Properties Using Interval Analysis. CoRR Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
2015	—	`conf`	Monitoring Bounded LTL Properties Using Interval Analysis. NSV Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn
2015	J	`jnl`	Qualitative analysis of gene regulatory networks by temporal logic. Theor. Comput. Sci. Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2015	—	`conf`	Reducing Bounded Realizability Analysis to Reachability Checking. RP Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014	—	`conf`	A Qualitative Framework for Analysing Homeostasis in Gene Networks. BIOINFORMATICS Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2014	J	`jnl`	Bounded Strong Satisfiability Checking of Reactive System Specifications. IEICE Trans. Inf. Syst. Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014	C	`conf`	Fast Translation from LTL to Büchi Automata via Non-transition-based Automata. ICFEM Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2014	—	`conf`	Formulation of Homeostasis by Realisability on Linear Temporal Logic. BIOSTEC (Selected Papers) Sohei Ito, Shigeki Hagihara, Naoki Yonezaki
2014	A*	`conf`	Minimal strongly unsatisfiable subsets of reactive system specifications. ASE Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki
2013	J	`jnl`	Complexity of Strong Satisfiability Problems for Reactive System Specifications. IEICE Trans. Inf. Syst. Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2013	—	`conf`	Formal Analysis of Gene Networks Using Network Motifs. BIOSTEC (Selected Papers) Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013	J	`jnl`	Modular analysis of gene networks by linear temporal logic. J. Integr. Bioinform. Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013	—	`conf`	Qualitative Analysis of Gene Regulatory Networks using Network Motifs. BIOINFORMATICS Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2013	—	`conf`	SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications. ICT-EurAsia Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2012	C	`conf`	A Temporal Logic with Mean-Payoff Constraints. ICFEM Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki
2012	—	`conf`	Complexity of Checking Strong Satisfiability of Reactive System Specifications. SPIT Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki
2011	—	`conf`	A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking INFINITY Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki
2010	C	`conf`	Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic. BIBE Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki
2009	C	`conf`	Extracting Environmental Constraints to Make Reactive System Specifications Realizable. APSEC Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki
2009	C	`conf`	Formal system of interactions on biomedical ontology. EJC Naoko Izumi, Naoki Yonezaki
2008	—	`conf`	A Quantitative Semantics of Formal Ontology of Drug Interactions. BIOCOMP Koji Tashima, Naoko Izumi, Naoki Yonezaki
2007	C	`conf`	A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products. EJC Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2006	—	`conf`	An Operational Semantics of Program Dependence Graphs for Unstructured Programs. ASIAN Souhei Ito, Shigeki Hagihara, Naoki Yonezaki
2004	—	`ed.`	Software Security - Theories and Systems, Second Mext-NSF-JSPS International Symposium, ISSS 2003, Tokyo, Japan, November 4-6, 2003, Revised Papers ISSS Kokichi Futatsugi, Fumio Mizoguchi, Naoki Yonezaki
2003	—	`conf`	A Formal System for Analysis of Cryptographic Encryption and Their Security Properties. ISSS Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki
2002	—	`conf`	A Multi-level Qualitative Formal Model for Geographic Maps. BalticDB&IS Sima Asgari, Naoki Yonezaki
2001	—	`conf`	An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications. IWPSE Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki
2001	C	`conf`	Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD. ISC Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki
2000	C	`conf`	An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications. EJC Takenobu Aoshima, Naoki Yonezaki
1999	—	`conf`	A General Object-Oriented Model for Spatial Data. Ershov Memorial Conference Sima Asgari, Naoki Yonezaki
1999	—	`conf`	An Object-Oriented Model of Maps. DEXA Workshop Sima Asgari, Naoki Yonezaki
1999	B	`conf`	Resolution Method for Modal Logic with Well-Founded Frames. CSL Shigeki Hagihara, Naoki Yonezaki
1994	—	`conf`	Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic. FTRTFT Ryosei Mori, Naoki Yonezaki
1994	C	`conf`	Temporal logic extended with object creation and destruction. SEKE Shin Miyakawa, Naoki Yonezaki
1993	C	`conf`	More Expressive Temporal Logic for Specifications. SEKE Noriaki Yoshiura, Naoki Yonezaki
1993	C	`conf`	TAP: A New Model for Software Process: Tasks-Agents-Products. SEKE Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg
1985	—	`conf`	Logical environments for natural language approach. ISPW Naoki Yonezaki, Hajime Enomoto, Motoshi Saeki
1982	A*	`conf`	Functional Specification of Synchronized Processes Based on Modal Logic. ICSE Naoki Yonezaki, Takao Katayama
1980	—	`conf`	A parallel programming language and description of scheduler. Operating Systems Engineering Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma
1980	B	`conf`	Database System Based On Intensional Logic. COLING Naoki Yonezaki, Hajime Enomoto
1980	—	`conf`	Image Modeling Aspects of Non-procedural Parallel Processing Language. Eurographics Hajime Enomoto, Naoki Yonezaki, Isao Miyamura
1979	A*	`conf`	A Model for Perception of Structural Image Feature. IJCAI Hajime Enomoto, Naoki Yonezaki, Katsumi Nitta