Naoki Yonezaki

According to our database, Naoki Yonezaki authored at least 55 papers between 1979 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Characterization on Necessary Conditions of Realizability for Reactive System Specifications.

Takashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki

IEICE Trans. Inf. Syst., October, 2022

Efficient Realizability Checking by Modularization of LTL Specifications.

Sohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Comput. J., 2022

2020

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal Logic.

Masaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 9th International Conference on Software and Computer Applications, 2020

2019

Towards Efficient Implementation of Realizability Checking for Reactive System Specifications.

Masaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

Verification of Verifiability of Voting Protocols by Strand Space Analysis.

Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 8th International Conference on Software and Computer Applications, 2019

2017

Safraless LTL synthesis considering maximal realizability.

Takashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Acta Informatica, 2017

Autonomous and distributed internet security (AIS) infrastructure for safe internet.

Hiroyuki Kimiyama, Naoki Yonezaki, Tomoaki Tsutsumi, Kaori Sano, Hirofumi Yamaki, Yoichiro Ueno, Ryôichi Sasaki, Hiroshi Kobayashi

Proceedings of the 8th International Conference on the Network of the Future, 2017

Modularization of formal specifications or efficient synthesis of reactive systems.

Masaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

Web server access trend analysis based on the Poisson distribution.

Shigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki

Proceedings of the 6th International Conference on Software and Computer Applications, 2017

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract).

Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

Compositional Analysis of Homeostasis of Gene Networks by Clustering Algorithms.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2017

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.

Sohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016

Monitoring Temporal Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2016

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.

Shigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015

Qualitative analysis of gene regulatory networks by temporal logic.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Theor. Comput. Sci., 2015

Monitoring Bounded LTL Properties Using Interval Analysis.

Daisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn

Proceedings of the Seventh and Eighth International Workshops on Numerical Software Verification, 2015

Reducing Bounded Realizability Analysis to Reachability Checking.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Reachability Problems - 9th International Workshop, 2015

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2015, 2015

2014

Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

IEICE Trans. Inf. Syst., 2014

Minimal strongly unsatisfiable subsets of reactive system specifications.

Shigeki Hagihara, Naoki Egawa, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Fast Translation from LTL to Büchi Automata via Non-transition-based Automata.

Shohei Mochizuki, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Formal Methods and Software Engineering, 2014

Formulation of Homeostasis by Realisability on Linear Temporal Logic.

Sohei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2014

A Qualitative Framework for Analysing Homeostasis in Gene Networks.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2014, 2014

2013

Modular analysis of gene networks by linear temporal logic.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

J. Integr. Bioinform., 2013

Complexity of Strong Satisfiability Problems for Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

IEICE Trans. Inf. Syst., 2013

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Formal Analysis of Gene Networks Using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Biomedical Engineering Systems and Technologies, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.

Sohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the BIOINFORMATICS 2013 - Proceedings of the International Conference on Bioinformatics Models, Methods and Algorithms, Barcelona, Spain, 11, 2013

2012

Complexity of Checking Strong Satisfiability of Reactive System Specifications.

Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Signal Processing and Information Technology, 2012

A Temporal Logic with Mean-Payoff Constraints.

Takashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Formal Methods and Software Engineering, 2012

2011

A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking

Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Proceedings 13th International Workshop on Verification of Infinite-State Systems, 2011

2010

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal Logic.

Sohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010

2009

Formal system of interactions on biomedical ontology.

Naoko Izumi, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

Extracting Environmental Constraints to Make Reactive System Specifications Realizable.

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

A Quantitative Semantics of Formal Ontology of Drug Interactions.

Koji Tashima, Naoko Izumi, Naoki Yonezaki

Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

2007

A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

2006

An Operational Semantics of Program Dependence Graphs for Unstructured Programs.

Souhei Ito, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Advances in Computer Science, 2006

2003

A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.

Ashraf Bhery, Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Software Security, 2003

2002

A Multi-level Qualitative Formal Model for Geographic Maps.

Sima Asgari, Naoki Yonezaki

Proceedings of the Baltic Conference, 2002

2001

An Efficient Verification Procedure Supporting Evolution of Reactive System Specifications.

Takenobu Aoshima, Kenji Sakuma, Naoki Yonezaki

Proceedings of the 4th International Workshop on Principles of Software Evolution, 2001

Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD.

Kenji Masui, Masahiko Tomoishi, Naoki Yonezaki

Proceedings of the Information Security, 4th International Conference, 2001

2000

An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.

Takenobu Aoshima, Naoki Yonezaki

Proceedings of the Information Modelling and Knowledge Bases XII: Tenth European-Japanese Conference on Information Modelling and Knowledge Bases, 2000

1999

A General Object-Oriented Model for Spatial Data.

Sima Asgari, Naoki Yonezaki

Proceedings of the Perspectives of System Informatics, 1999

An Object-Oriented Model of Maps.

Sima Asgari, Naoki Yonezaki

Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

Resolution Method for Modal Logic with Well-Founded Frames.

Shigeki Hagihara, Naoki Yonezaki

Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1994

Temporal logic extended with object creation and destruction.

Shin Miyakawa, Naoki Yonezaki

Proceedings of the SEKE'94, 1994

Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.

Ryosei Mori, Naoki Yonezaki

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, Third International Symposium Organized Jointly with the Working Group Provably Correct Systems, 1994

1993

More Expressive Temporal Logic for Specifications.

Noriaki Yoshiura, Naoki Yonezaki

Proceedings of the SEKE'93, 1993

TAP: A New Model for Software Process: Tasks-Agents-Products.

Naoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg

Proceedings of the SEKE'93, 1993

1985

Logical environments for natural language approach.

Naoki Yonezaki, Hajime Enomoto, Motoshi Saeki

Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1982

Functional Specification of Synchronized Processes Based on Modal Logic.

Naoki Yonezaki, Takao Katayama

Proceedings of the Proceedings, 1982

1980

A parallel programming language and description of scheduler.

Hajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma

Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

Image Modeling Aspects of Non-procedural Parallel Processing Language.

Hajime Enomoto, Naoki Yonezaki, Isao Miyamura

Proceedings of the 1st European Computer Graphics Conference and Exhibition, 1980

Database System Based On Intensional Logic.

Naoki Yonezaki, Hajime Enomoto

Proceedings of the 8th International Conference on Computational Linguistics, 1980

1979

A Model for Perception of Structural Image Feature.

Hajime Enomoto, Naoki Yonezaki, Katsumi Nitta

Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979