Takuo WatanabeAkihiko YokoyamaSosuke MoriguchiTakuo WatanabeSwitching Mechanism for Update Timing of Time-Varying Values in an FRP Language for Small-Scale Embedded Systems.45-542024ICSCAhttps://doi.org/10.1145/3651781.3651789conf/icsca/2024db/conf/icsca/icsca2024.html#YokoyamaMW24Go SuzukiTakuo WatanabeSosuke Moriguchimruby on Resource-Constrained Low-Power Coprocessors of Embedded Devices.41-472024MPLRhttps://doi.org/10.1145/3679007.3685064conf/pppj/2024db/conf/pppj/mplr2024.html#SuzukiWM24Go SuzukiTakuo WatanabeSosuke MoriguchiImplementation and Evaluation of an Interpreter for Functional Reactive Programming on Small Embedded Devices.12-162023Programminghttps://doi.org/10.1145/3594671.3594674conf/programming/2023db/conf/programming/programming2023.html#SuzukiWM23Kento SogoYuta TsujiSosuke MoriguchiTakuo WatanabePeriodic and Aperiodic Task Description Mechanisms in an FRP Language for Small-Scale Embedded Systems.43-532023REBLS@SPLASHhttps://doi.org/10.1145/3623506.3623578conf/rebls/2023db/conf/rebls/rebls2023.html#SogoTMW23Sosuke MoriguchiTakuo WatanabeDeveloping Distributed Systems with Multiparty Functional Reactive Programming.61-662023WSSEhttps://doi.org/10.1145/3631991.3632000conf/wsse/2023db/conf/wsse/wsse2023.html#MoriguchiW23Akihiko YokoyamaSosuke MoriguchiTakuo WatanabeTowards Introducing Asynchronous Tasks to an FRP Language for Small-Scale Embedded Systems.1-122022REBLS@SPLASHhttps://doi.org/10.1145/3563837.3568338conf/oopsla/2022reblsdb/conf/oopsla/rebls2022.html#YokoyamaMW22Akihiko YokoyamaSosuke MoriguchiTakuo WatanabeA Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types.685-706202129J. Inf. Process.https://doi.org/10.2197/ipsjjip.29.685db/journals/jip/jip29.html#YokoyamaMW21Yoshitaka SakuraiSosuke MoriguchiTakuo WatanabeFunctional Reactive Programming for Embedded Systems with GPGPUs.75-802021ICSCAhttps://doi.org/10.1145/3457784.3457795conf/icsca/2021db/conf/icsca/icsca2021.html#SakuraiMW21Yoshitaka SakuraiTakuo WatanabeTowards a statically scheduled parallel execution of an FRP language for embedded systems.11-202019REBLS@SPLASHhttps://doi.org/10.1145/3358503.3361276conf/oopsla/2019reblsdb/conf/oopsla/rebls2019.html#SakuraiW19Philipp HallerGuido SalvaneschiTakuo WatanabeGul AghaProgramming Languages for Distributed Systems (NII Shonan Meeting 149).20192019NII Shonan Meet. Rep.https://shonan.nii.ac.jp/seminars/149/db/journals/shonan-reports/shonan-reports2019.html#HallerSWA19Kazuhiro ShibanaiTakuo WatanabeDistributed functional reactive programming on actor-based runtime.13-222018AGERE!@SPLASHhttps://doi.org/10.1145/3281366.3281370conf/agere/2018db/conf/agere/agere2018.html#ShibanaiW18Takuo WatanabeA Simple Context-Oriented Programming Extension to an FRP Language for Small-Scale Embedded Systems.23-302018COP@ECOOPhttps://doi.org/10.1145/3242921.3242925conf/ecoop/2018copdb/conf/ecoop/cop2018.html#Watanabe18Kazuhiro ShibanaiTakuo WatanabeActoverse: a reversible debugger for actors.50-572017AGERE!@SPLASHhttps://doi.org/10.1145/3141834.3141840conf/agere/2017db/conf/agere/agere2017.html#ShibanaiW17Takuo WatanabeKensuke SawadaTowards Reflection in an FRP Language for Small-Scale Embedded Systems.10:1-10:62017Programminghttps://doi.org/10.1145/3079368.3079387conf/programming/2017db/conf/programming/programming2017.html#WatanabeS17Paul LaveryTakuo WatanabeAn actor-based runtime monitoring system for web and desktop applications.385-3902017SNPDhttps://doi.org/10.1109/SNPD.2017.8022750https://doi.ieeecomputersociety.org/10.1109/SNPD.2017.8022750conf/snpd/2017db/conf/snpd/snpd2017.html#LaveryW17Kensuke SawadaTakuo WatanabeEmfrp: a functional reactive programming language for small-scale embedded systems.36-442016MODULARITY (Companion)https://doi.org/10.1145/2892664.2892670conf/aosd/2016cdb/conf/aosd/modularity2016c.html#SawadaW16Souhei TakenoTakuo WatanabeA Reflective Implementation of an Actor-based Concurrent Context-Oriented System.7:1-7:62015ARM@Middlewarehttps://doi.org/10.1145/2834965.2834972conf/middleware/2015armdb/conf/middleware/arm2015.html#TakenoW15Naoyuki NagatouTakuo WatanabeA Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults.117-1312014AP-BPMhttps://doi.org/10.1007/978-3-319-08222-6_9conf/apbpm/2014db/conf/apbpm/apbpm2014.html#NagatouW14Takuo WatanabeAkinori YonezawaReflection in an Object-Oriented Concurrent Language.44-652014Concurrent Objects and Beyondhttps://doi.org/10.1007/978-3-662-44471-9_3conf/birthday/2014yonezawadb/conf/birthday/yonezawa2014.html#WatanabeY14Takuo WatanabeSouhei TakenoA Reflective Approach to Actor-Based Concurrent Context-Oriented Systems.3:1-3:62014COP@ECOOPhttps://doi.org/10.1145/2637066.2637069conf/ecoop/2014copdb/conf/ecoop/cop2014.html#WatanabeT14Masaya SuzukiTakuo WatanabeA Language Support for Exhaustive Fault-Injection in Message-Passing System Models.MOD*201445-58https://doi.org/10.4204/EPTCS.168.4http://arxiv.org/abs/1411.3793journals/corr/BersaniBFM14db/series/eptcs/eptcs168.html#SuzukiW14Takuo WatanabeTowards a compositional reflective architecture for actor-based systems.19-242013AGERE!@SPLASHhttps://doi.org/10.1145/2541329.2541341conf/agere/2013db/conf/agere/agere2013.html#Watanabe13Sosuke MoriguchiTakuo WatanabeAn interactive extension mechanism for reusing verified programs.1236-12432013SAChttps://doi.org/10.1145/2480362.2480594conf/sac/2013db/conf/sac/sac2013.html#MoriguchiW13Ilankaikone SenthooranTakuo WatanabeA Model-Based Approach to Constructing Safe Soft Real-Time Programs for Non-Real-Time Environments.269-2742012SNPDhttps://doi.org/10.1109/SNPD.2012.115https://doi.ieeecomputersociety.org/10.1109/SNPD.2012.115conf/snpd/2012db/conf/snpd/snpd2012.html#SenthooranW12Naoyuki NagatouTakuo WatanabeRun-Time Detection of Covert Channels.577-5842006conf/IEEEares/2006AREShttps://doi.org/10.1109/ARES.2006.114https://doi.ieeecomputersociety.org/10.1109/ARES.2006.114db/conf/IEEEares/ares2006.html#NagatouW06Michael ReinschTakuo WatanabeTowards Reusable Heterogeneous Data-Centric Disentangled Parts.29-402005conf/ecoop/2005ramseRAM-SEdb/conf/ecoop/ramse2005.html#ReinschW05Kiyoshi YamadaTakuo WatanabeAn Aspect-oriented Approach to Modular Behavioral Specification of Java Components.360-3652005conf/iastedSE/2005IASTED Conf. on Software Engineeringdb/conf/iastedSE/se2005.html#YamadaW05Kiyoshi YamadaTakuo WatanabeAn Aspect-Oriented Approach to Modular Behavioral Specification.45-562005conf/abmb/2005ABMBhttps://doi.org/10.1016/j.entcs.2006.07.002db/conf/abmb/abmb2005.html#YamadaW06Takuo WatanabeKiyoshi YamadaNaoyuki NagatouSpecifying context-aware runtime security policies using an algebraic policy specification language.662-6672004conf/iastedSE/2004IASTED Conf. on Software Engineeringdb/conf/iastedSE/se2004.html#WatanabeYN04Takuo WatanabeKiyoshi YamadaNaoyuki NagatouTowards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.65-2003conf/wstfeus/2003WSTFEShttps://doi.org/10.1109/WSTFES.2003.1201363https://doi.ieeecomputersociety.org/10.1109/WSTFES.2003.1201363db/conf/wstfeus/wstfeus2003.html#WatanabeYN03Etsuya ShibayamaShigeki HagiharaNaoki Kobayashi 0001Shin-ya NishizakiKenjiro TauraTakuo WatanabeAnZenMail: A Secure and Certified E-mail System.201-216https://doi.org/10.1007/3-540-36532-X_132002conf/isss2/2002ISSSdb/conf/isss2/isss2002.html#ShibayamaHKNTW02Noriki AmanoTakuo WatanabeA software model for flexible & safe adaptation of mobile code programs.57-612002IWPSEhttps://doi.org/10.1145/512035.512050conf/iwpse/2002db/conf/iwpse/iwpse2002.html#AmanoW02Noriki AmanoTakuo WatanabeTowards Constructing Component-Based Software Systems with Safe Dynamic Adaptability.178-1812001IWPSEhttps://doi.org/10.1145/602461.602504conf/iwpse/2001db/conf/iwpse/iwpse2001.html#AmanoW01Noriki AmanoTakuo WatanabeReflection for Dynamic Adaptibility: A Linguistic Approach Using LEAD++.138-140https://doi.org/10.1007/3-540-48443-4_111999conf/reflection/1999Reflectiondb/conf/reflection/reflection99.html#AmanoW99Noriki AmanoTakuo WatanabeLEAD++: An Object-Oriented Language Based on a Reflective Model for Dynamic Software Adaptation.41-501999conf/tools/31-1999TOOLS (31)https://doi.org/10.1109/TOOLS.1999.796465https://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796465db/conf/tools/tools31-1999.html#AmanoW99Hiroshi Ishikawa 0001Takuo WatanabeKokichi FutatsugiJosé Meseguer 0001Hideyuki NakashimaOn the Semantics of GAEA.123-1421998conf/flops/1998Fuji International Symposium on Functional and Logic Programmingdb/conf/flops/flops98.html#IshikawaWFMN98Noriki AmanoTakuo WatanabeLEAD: a linguistic approach to dynamic adaptability for practical applications.277-2901998conf/ifip2-4/1998Systems Implementation 2000db/conf/ifip2-4/ifip2-4-1998.html#AmanoW98Hidehiko MasuharaSatoshi MatsuokaTakuo WatanabeAkinori YonezawaObject-Oriented Concurrent Reflective Languages can be Implemented Efficiently.127-1441992conf/oopsla/1992OOPSLAdb/conf/oopsla/oopsla92.html#MasuharaMWY92https://doi.org/10.1145/141936.141948https://doi.org/10.1145/141937.141948Satoshi MatsuokaTakuo WatanabeAkinori YonezawaHybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming.231-250https://doi.org/10.1007/BFb00570251991conf/ecoop/1991ECOOPdb/conf/ecoop/ecoop91.html#MatsuokaWY91Satoshi MatsuokaTakuo WatanabeYuuji IchisugiAkinori YonezawaObject-Oriented Concurrent Reflective Architectures.211-2261991conf/ecoopw/1991Object-Based Concurrent Computingdb/conf/ecoopw/ecoopw1991.html#MatsuokaWIY91https://doi.org/10.1007/3-540-55613-3_11Takuo WatanabeAkinori YonezawaAn Actor-Based Metalevel Architecture for Group-Wide Reflection.405-4251990conf/rex/1990REX Workshopdb/conf/rex/rex90.html#WatanabeY90https://doi.org/10.1007/BFb0019450Takuo WatanabeAkinori YonezawaReflective computation in object-oriented concurrent systems and its applications.56-581989IWSSDhttps://doi.org/10.1145/75199.75209https://doi.org/10.1145/75200.75209conf/iwssd/1989db/conf/iwssd/iwssd1989.html#WatanabeY89Takuo WatanabeAkinori YonezawaReflection in an Object-Oriented Concurrent Language.306-3151988conf/oopsla/1988OOPSLAdb/conf/oopsla/oopsla88.html#WatanabeY88https://doi.org/10.1145/62083.62111https://doi.org/10.1145/62084.62111Akinori YonezawaTakuo WatanabeAn introduction to object-based reflective concurrent computation.50-541988conf/oopsla/1988ocpOOPSLA/ECOOP Workshop on Object-based Concurrent Programminghttps://doi.org/10.1145/67386.67399https://doi.org/10.1145/67387.67399db/conf/oopsla/ocp1988.html#YonezawaW89Gul A. AghaGul AghaNoriki AmanoKokichi FutatsugiShigeki HagiharaPhilipp HallerYuuji IchisugiHiroshi Ishikawa 0001Naoki Kobayashi 0001Paul LaveryHidehiko MasuharaSatoshi MatsuokaJosé Meseguer 0001Sosuke MoriguchiNaoyuki NagatouHideyuki NakashimaShin-ya NishizakiMichael ReinschYoshitaka SakuraiGuido SalvaneschiKensuke SawadaIlankaikone SenthooranKazuhiro ShibanaiEtsuya ShibayamaKento SogoGo SuzukiMasaya SuzukiSouhei TakenoKenjiro TauraYuta TsujiKiyoshi YamadaAkihiko YokoyamaAkinori Yonezawa