Naoki Yonezaki

According to our database1, Naoki Yonezaki
  • authored at least 43 papers between 1979 and 2017.
  • has a "Dijkstra number"2 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Safraless LTL synthesis considering maximal realizability.
Acta Inf., 2017

Efficient Analysis of Homeostasis of Gene Networks with Compositional Approach.
Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2016
Monitoring Temporal Properties Using Interval Analysis.
IEICE Transactions, 2016

Monitoring Temporal Properties using Interval Analysis.
CoRR, 2016

Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016

2015
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci., 2015

Monitoring Bounded LTL Properties Using Interval Analysis.
Electr. Notes Theor. Comput. Sci., 2015

Monitoring Bounded LTL Properties Using Interval Analysis.
CoRR, 2015

Reducing Bounded Realizability Analysis to Reachability Checking.
Proceedings of the Reachability Problems - 9th International Workshop, 2015

Approximate Analysis of Homeostasis of Gene Networks by Linear Temporal Logic using Network Motifs.
Proceedings of the BIOINFORMATICS 2015, 2015

2014
Bounded Strong Satisfiability Checking of Reactive System Specifications.
IEICE Transactions, 2014

Minimal strongly unsatisfiable subsets of reactive system specifications.
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.
Proceedings of the Formal Methods and Software Engineering, 2014

A Qualitative Framework for Analysing Homeostasis in Gene Networks.
Proceedings of the BIOINFORMATICS 2014, 2014

2013
Modular analysis of gene networks by linear temporal logic.
J. Integrative Bioinformatics, 2013

Complexity of Strong Satisfiability Problems for Reactive System Specifications.
IEICE Transactions, 2013

SAT-Based Bounded Strong Satisfiability Checking of Reactive System Specifications.
Proceedings of the Information and Communicatiaon Technology - International Conference, 2013

Qualitative Analysis of Gene Regulatory Networks using Network Motifs.
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.
Proceedings of the Signal Processing and Information Technology, 2012

A Temporal Logic with Mean-Payoff Constraints.
Proceedings of the Formal Methods and Software Engineering, 2012

2011
A Probabilistic Temporal Logic with Frequency Operators and Its Model Checking
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.
Proceedings of the 10th IEEE International Conference on Bioinformatics and Bioengineering, 2010

2009
Formal system of interactions on biomedical ontology.
Proceedings of the Information Modelling and Knowledge Bases XXI, 2009

Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008
A Quantitative Semantics of Formal Ontology of Drug Interactions.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

2007
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.
Proceedings of the Information Modelling and Knowledge Bases XIX, 2007

2006
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
Proceedings of the Advances in Computer Science, 2006

2003
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
Proceedings of the Software Security, 2003

2002
A Multi-level Qualitative Formal Model for Geographic Maps.
Proceedings of the Baltic Conference, 2002

2001
Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSD.
Proceedings of the Information Security, 4th International Conference, 2001

2000
An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System Specifications.
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.
Proceedings of the Perspectives of System Informatics, 1999

An Object-Oriented Model of Maps.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

Resolution Method for Modal Logic with Well-Founded Frames.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999

1994
Temporal logic extended with object creation and destruction.
Proceedings of the SEKE'94, 1994

Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal Logic.
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.
Proceedings of the SEKE'93, 1993

TAP: A New Model for Software Process: Tasks-Agents-Products.
Proceedings of the SEKE'93, 1993

1985
Logical environments for natural language approach.
Proceedings of an International Workshop on the Software Process and Software Environments, 1985

1982
Functional Specification of Synchronized Processes Based on Modal Logic.
Proceedings of the Proceedings, 1982

1980
A parallel programming language and description of scheduler.
Proceedings of the Operating Systems Engineering: Proceedings of the 14th IBM Computer SCience Symposium, 1980

Database System Based On Intensional Logic.
Proceedings of the 8th International Conference on Computational Linguistics, 1980

1979
A Model for Perception of Structural Image Feature.
Proceedings of the Sixth International Joint Conference on Artificial Intelligence, 1979


  Loading...