Naoki Yonezaki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 54 from 54

2022

Efficient Realizability Checking by Modularization of LTL SpecificationsSohei Ito, Kenji Osari, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. cj, 65(10):2801-2814, 2022. [doi]

A Characterization on Necessary Conditions of Realizability for Reactive System SpecificationsTakashi Tomita, Shigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. ieicetd, 105-D(10):1665-1677, October 2022. [doi]

2020

Towards Interpretation of Abstract Instructions Using Declarative Constraints in Temporal LogicMasaya Shimakawa, Kentaro Hayashi, Shigeki Hagihara, Naoki Yonezaki. icsca 2020: 17-20 [doi]

2019

Verification of Verifiability of Voting Protocols by Strand Space AnalysisShigeki Hagihara, Masaya Shimakawa, Naoki Yonezaki. icsca 2019: 363-368 [doi]

Towards Efficient Implementation of Realizability Checking for Reactive System SpecificationsMasaya Shimakawa, Atsushi Ueno, Shohei Mochizuki, Takashi Tomita, Shigeki Hagihara, Naoki Yonezaki. icsca 2019: 347-352 [doi]

2017

Web server access trend analysis based on the Poisson distributionShigeki Hagihara, Yoshiharu Fushihara, Masaya Shimakawa, Masahiko Tomoishi, Naoki Yonezaki. icsca 2017: 256-261 [doi]

Reliable Simulation and Monitoring of Hybrid Systems Based on Interval Analysis - (Extended Abstract)Daisuke Ishii, Alexandre Goldsztejn, Naoki Yonezaki. CyPhy 2019: 79-82 [doi]

Efficient Analysis of Homeostasis of Gene Networks with Compositional ApproachSohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. biostec 2017: 17-28 [doi]

Compositional Analysis of Homeostasis of Gene Networks by Clustering AlgorithmsSohei Ito, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. biostec 2018: 191-211 [doi]

Autonomous and distributed internet security (AIS) infrastructure for safe internetHiroyuki Kimiyama, Naoki Yonezaki, Tomoaki Tsutsumi, Kaori Sano, Hirofumi Yamaki, Yoichiro Ueno, Ryôichi Sasaki, Hiroshi Kobayashi. nof 2017: 106-113 [doi]

Modularization of formal specifications or efficient synthesis of reactive systemsMasaya Shimakawa, Kenji Osari, Shigeki Hagihara, Naoki Yonezaki. icsca 2017: 208-213 [doi]

Safraless LTL synthesis considering maximal realizabilityTakashi Tomita, Atsushi Ueno, Masaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. ACTA, 54(7):655-692, 2017. [doi]

2016

Simple synthesis of reactive systems with tolerance for unexpected environmental behaviorShigeki Hagihara, Atsushi Ueno, Takashi Tomita, Masaya Shimakawa, Naoki Yonezaki. ICSE 2016: 15-21 [doi]

Monitoring Temporal Properties Using Interval AnalysisDaisuke Ishii, Naoki Yonezaki, Alexandre Goldsztejn. ieicet, 99-A(2):442-453, 2016. [doi]

2015

2014

2013

Modular analysis of gene networks by linear temporal logicSohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. jib, 10(2), 2013. [doi]

Qualitative Analysis of Gene Regulatory Networks using Network MotifsSohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. biostec 2013: 15-24

Formal Analysis of Gene Networks Using Network MotifsSohei Ito, Takuma Ichinose, Masaya Shimakawa, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. biostec 2014: 131-146 [doi]

Complexity of Strong Satisfiability Problems for Reactive System SpecificationsMasaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. ieicet, 96-D(10):2187-2193, 2013. [doi]

SAT-Based Bounded Strong Satisfiability Checking of Reactive System SpecificationsMasaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. ict-eurasia 2013: 60-70 [doi]

2012

Complexity of Checking Strong Satisfiability of Reactive System SpecificationsMasaya Shimakawa, Shigeki Hagihara, Naoki Yonezaki. spit 2014: 41-50 [doi]

A Temporal Logic with Mean-Payoff ConstraintsTakashi Tomita, Shin Hiura, Shigeki Hagihara, Naoki Yonezaki. icfem 2012: 249-265 [doi]

2010

Qualitative Analysis of Gene Regulatory Networks by Satisfiability Checking of Linear Temporal LogicSohei Ito, Naoko Izumi, Shigeki Hagihara, Naoki Yonezaki. bibe 2010: 232-237 [doi]

2009

Extracting Environmental Constraints to Make Reactive System Specifications RealizableShigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki. apsec 2009: 61-68 [doi]

Formal system of interactions on biomedical ontologyNaoko Izumi, Naoki Yonezaki. ejc 2010: 291-298 [doi]

2008

A Quantitative Semantics of Formal Ontology of Drug InteractionsKoji Tashima, Naoko Izumi, Naoki Yonezaki. psb 2008: 760-766

2007

A Formal Ontology for Business Process Model TAP: Tasks-Agents-ProductsSouhei Ito, Shigeki Hagihara, Naoki Yonezaki. ejc 2008: 290-297

2006

An Operational Semantics of Program Dependence Graphs for Unstructured ProgramsSouhei Ito, Shigeki Hagihara, Naoki Yonezaki. asian 2008: 264-271 [doi]

2003

A Formal System for Analysis of Cryptographic Encryption and Their Security PropertiesAshraf Bhery, Shigeki Hagihara, Naoki Yonezaki. isss2 2004: 87-112 [doi]

2002

A Multi-level Qualitative Formal Model for Geographic MapsSima Asgari, Naoki Yonezaki. balt 2002: 91-104

2001

An Efficient Verification Procedure Supporting Evolution of Reactive System SpecificationsTakenobu Aoshima, Kenji Sakuma, Naoki Yonezaki. iwpse 2001: 182-185 [doi]

Design of UNIX System for the Prevention of Damage Propagation by Intrusion and Its Implementation Based on 4.4BSDKenji Masui, Masahiko Tomoishi, Naoki Yonezaki. iiswc 2001: 536-553 [doi]

2000

An Efficient Tableau-Based Verification Method with Partial Evaluation for Reactive System SpecificationsTakenobu Aoshima, Naoki Yonezaki. ejc 2000: 363-374

1999

A General Object-Oriented Model for Spatial DataSima Asgari, Naoki Yonezaki. ershov 2000: 352-357 [doi]

An Object-Oriented Model of MapsSima Asgari, Naoki Yonezaki. dexaw 1999: 514-515 [doi]

Resolution Method for Modal Logic with Well-Founded FramesShigeki Hagihara, Naoki Yonezaki. csl 1999: 277-291

1994

Temporal logic extended with object creation and destructionShin Miyakawa, Naoki Yonezaki. seke 1994: 156-163

Derivation of the Input Conditional Formula from a Reactive System Specifictaion in Temporal LogicRyosei Mori, Naoki Yonezaki. ftrtft 1994: 567-582

1993

TAP: A New Model for Software Process: Tasks-Agents-ProductsNaoki Yonezaki, Tapani Kinnula, Motoshi Saeki, Jan Ljungberg. seke 1993: 346-350

More Expressive Temporal Logic for SpecificationsNoriaki Yoshiura, Naoki Yonezaki. seke 1993: 363-366

1985

Logical environments for natural language approachNaoki Yonezaki, Hajime Enomoto, Motoshi Saeki. ispw 1985: 84-86

1982

Functional Specification of Synchronized Processes Based on Modal LogicNaoki Yonezaki, Takao Katayama. ICSE 1982: 208-217

1980

A parallel programming language and description of schedulerHajime Enomoto, Naoki Yonezaki, Isao Miyamura, Masayuki Sunuma. ibm 1982: 23-41

Image Modeling Aspects of Non-procedural Parallel Processing LanguageHajime Enomoto, Naoki Yonezaki, Isao Miyamura. eurographics 1980: [doi]

Database System Based On Intensional LogicNaoki Yonezaki, Hajime Enomoto. COLING 1980: 220-227 [doi]

1979

A Model for Perception of Structural Image FeatureHajime Enomoto, Naoki Yonezaki, Katsumi Nitta. IJCAI 1979: 257-259

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'Naoki Yonezaki'

Viewing Publication 1 - 54 from 54

2022

2020

2019

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2006

2003

2002

2001

2000

1999

1994

1993

1985

1982

1980

1979

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'Naoki Yonezaki'

Viewing Publication 1 - 54 from 54

2022

2020

2019

2017

2016

2015

2014

2013

2012

2010

2009

2008

2007

2006

2003

2002

2001

2000

1999

1994

1993

1985

1982

1980

1979

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1