According to our database1, Shigeki Hagihara
Legend:Book In proceedings Article PhD thesis Other
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
Simple synthesis of reactive systems with tolerance for unexpected environmental behavior.
Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering, 2016
Qualitative analysis of gene regulatory networks by temporal logic.
Theor. Comput. Sci., 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
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
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
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
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
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
Extracting Environmental Constraints to Make Reactive System Specifications Realizable.
Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009
A Formal Ontology for Business Process Model TAP: Tasks-Agents-Products.
Proceedings of the Information Modelling and Knowledge Bases XIX, 2007
An Operational Semantics of Program Dependence Graphs for Unstructured Programs.
Proceedings of the Advances in Computer Science, 2006
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties.
Proceedings of the Software Security, 2003
AnZenMail: A Secure and Certified E-mail System.
Proceedings of the Software Security -- Theories and Systems, 2002
Resolution Method for Modal Logic with Well-Founded Frames.
Proceedings of the Computer Science Logic, 13th International Workshop, 1999