[Editorial Advisory Board] Book Chapter: Methodologies for Non-Functional Requirements in Service Oriented Architecture
会議運営
[Co-Organizer] The 4th International Workshop on Quantum Software Analysis, Evolution and Reengineering (Q-SANER 2025), at The IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), March 2025
[PC Co-Chair] The 28th International Conference on Engineering of Complex Computer Systems (ICECCS 2024), June 2024
[Co-Organizer] Shonan Meeting on Formal Method Extensions to Support Domain Theories, November 2023
[Local Chair] The 27th ACM International Systems and Software Product Line Conference (SPLC 2023), August 2023
[Journal-First Track Co-Chair] The 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), April 2023
[Track Co-Chair] Search-based Software Engineering Track, The Genetic and Evolutionary Computation Conference (GECCO 2021), July 2021
[Co-Organizer] The 2nd International Workshop on Machine Learning Systems Engineering at The 27th Asia-Pacific Software Engineering Conference (iMLSE 2020 at APSEC 2020), December 2020
[Track Co-Chair] Search-based Software Engineering Track, The Genetic and Evolutionary Computation Conference (GECCO 2020), July 2020
[Local Co-Chair] The 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020), May 2020
[Co-Orzanizer] Shonan Meeting on Software Engineering for Machine Learning Systems (SEMLS), October 2019
[Co-Organizer] Practical Formal Verification for Software Dependability at The 3rd World Congress on Formal Methods (AFFORD 2019 at FM 2019), October 2019
[Journal-First Track Chair] The 11th Symposium on Search-Based Software Engineering (SSBSE 2019), August-September 2019
[Co-Organizer] The 1st International Workshop on Machine Learning Systems Engineering at The 25th Asia-Pacific Software Engineering Conference (iMLSE 2018 at APSEC 2018), December 2018
[Co-Organizer] Shonan Meeting on Towards Industrial Application of Advanced Formal Methods for Cyber-Physical System Engineering, November 2018
[Co-Organizer] Shonan Meeting on Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications, December 2017
[Co-Organizer] The 2nd Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems at The 19th International Conference on Formal Engineering Methods (FM&MDD 2017 at ICFEM 2017), November 2017
[Co-Organizer] Shonan Meeting on Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS), August 2017
[Posters Co-Chair] The 39th International Conference on Software Engineering (ICSE 2017)
[Co-Organizer] Workshop on Formal and Model-Driven Techniques for Developing Trustworthy Systems at The 18th International Conference on Formal Engineering Methods (FM&MDD at ICFEM 2016)
[Publicity Chair] The 9th International Conference on Bio-inspired Information and Communications Technologies (BICT 2015)
[Co-Organizer] The 13th Overture Workshop (Overture-13 at FM 2015) at The 20th International Symposium on Formal Methods
[Co-Organizer] Shonan Meeting on Trustworthy Cyber-Physical Systems (TCPS)
[Program Co-Chair] Web Intelligence Track at International Workshop on Web Intelligence and Smart Sensing (IWWISS 2014)
[Co-Organizer] Special Session on Internet of Things and Cloud Computing at WF-IoT 2014: IEEE World Forum on Internet of Things
[Co-Chair] DS-Event-B 2012 at ICFEM 2012: Workshop on experience and advances in developing dependable systems in Event-B at The 14th International Conference on Formal Engineering Methods
[オーガナイザー] 第3回形式手法の産業応用ワークショップ at ICFEM 2012: The 14th International Conference on Formal Engineering Methods
[Vice Director] Tokyo Regional Contest of ACM-ICPC 2010: International Collegiate Programming Contest
[実行委員]形式手法の産業応用ワークショップ at 先端ソフトウェア工学に関するGRACE国際シンポジウム2010
[Publicity Chair] ICSOC 2009: The 7th International Conference on Service Oriented Computing
[Co-organizer] APSLA at SAC 2008: Track on Agent-Oriented Programming, Systems, Languages, and Applications at The 23nd Annual ACM Symposium on Applied Computing
[Student Volunteer Co-Chair] ASE 2006: The 21st IEEE/ACM International Conference on Automated Software Engineering
プログラム委員
GECCO 2022-2025: Search-based Software Engineering Track / Real World Applications Track, The Genetic and Evolutionary Computation Conference
FormaliSE 2025: International Conference on Formal Methods in Software Engineering
ISSRE 2024: The 35th International Symposium on Software Reliability Engineering
APSEC 2020, 2022-24: The 27,29-31th Asia-Pacific Software Engineering Conference
ICSOC 2014-2024: The 12-22th International Conference on Service-Oriented Computing
Overture 2016-2024: The 14-22nd Overture Workshop
EnviRE 2022-2024 at RE 2022-2024: Workshop on Environment-Driven Requirements Engineering at The 30th-32nd IEEE International Requirements Engineering Conference
SSBSE 2021-2024: The 13-16th Symposium on Search-Based Software Engineering
Internetware 2019-2020, 2022-2024: The 11th-15th Asia-Pacific Symposium on Internetware
ICFEM 2016, 2019-2020, 2022-2024: The 18th, 21st-25th International Conference on Formal Engineering Methods
IEEE CEC 2020, 2024: The 2020, 2024 IEEE Congress on Evolutionary Computation
MODELS 2021-2023: The 24-26th International Conference on Model-Driven Engineering Languages and Systems (Foundations Track)
ICWS 2023-2024: IEEE International Conference on Web Services
ICST 2024 Tool/Demo Track: The 16th IEEE International Conference on Software Testing, Verification and Validation
Technical Briefings in ICSE 2024: The 46th International Conference on Software Engineering
SPLC 2023-2024: The 27-28th ACM International Systems and Software Product Line Conference
AITest 2021-2024: The 3rd-6th IEEE International Conference On Artificial Intelligence Testing
Doctral Symposium in MODELS 2023: The 26th International Conference on Model-Driven Engineering Languages and Systems
SES 2009-2010, 2019-2023: ソフトウェアエンジニアリングシンポジウム2009-2010, 2019-2023
D-SyMLe@ICSE 2023: International Workshop on Dependability of Safety-Critical Systems with Machine Learned Components at The 45th IEEE/ACM International Conference on Software Engineering
ICECCS 2022-2023: The 26-27th International Conference on Engineering of Complex Computer Systems
TASE 2021-2023: The 15-17th International Symposium on Theoretical Aspects of Software Engineering
ABZ 2023: The 9th International Conference on Rigorous State Based Methods
ICST 2023: The 16th IEEE International Conference on Software Testing, Verification and Validation
QRS 2022: The 22nd IEEE International Conference on Software Quality, Reliability, and Security
FTSCS 2012-2016, 2018, 2019, 2022 at ICFEM 2012-2016, 2018, 2019, SPLASH 2022: The 1st-7th International Workshop on Formal Techniques for Safety-Critical Systems at The 14th-18th International Conference on Formal Engineering Methods, The ACM SIGPLAN conference on Systems, Programming, Languages, and Applications 2022
WI-IAT 2022: 2022 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology
SAPSE 2013-2018, 2022 at COMPSAC 2013-2018, 2022: The 5th-10th, 14th International Workshop on Security Aspects in Processes and Services Engineering at The 37th-42nd Annual International Computer Software & Applications Conference
ESEC/FSE 2022 Artifacts: The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
CCGrid 2022: The 22nd IEEE/ACM International Symposium on Cluster, Cloud and Internet Computing
REFSQ 2021-2022: The 27-28th International Working Conference on Requirements Engineering: Foundation for Software Quality
AAMAS 2022: The 21st International Conference on Autonomous Agents and Multiagent Systems
iMLSE 2020-2021 at APSEC 2020-2021: The 2nd-3rd International Workshop on Machine Learning Systems Engineering at The 27th Asia-Pacific Software Engineering Conference
TDIS 2021 at IC2E 2021: The 1st International Workshop on Testing Distributed Internet of Things Systems at The 9th IEEE International Conference on Cloud Engineering
FMICS 2021: The 26th International Conference on Formal Methods for Industrial Critical Systems
MODELS 2021: The 24th International Conference on Model-Driven Engineering Languages and Systems (Doctoral Symposium)
iFM 2020: The 16th International Conference on integrated Formal Methods
SSBSE 2020 Replications and Negative Results Track: Symposium on Search-based Software Engineering
SCC 2015-2020: IEEE International Conference on Services Computing
PRDC 2014, 2019: The 20, 24th IEEE Pacific Rim International Symposium on Dependable Computing
KMOTS 2019: The 1st International Workshop on Knowledge and MOdel-driven engineering in formal development of Trustworthy Systems at The 13th International Symposium on Theoretical Aspects of Software Engineering (TASE 2019)
SEsCPS 2019 at ICSE 2019: The 5th International Workshop on Software Engineering for Smart Cyber-Physical Systems at The 41st ACM/IEEE International Conference on Software Engineering
MLST 2019 at ICST 2019: The 1st IEEE International Workshop on Machine Learning and Software Testing at The 12th IEEE International Conference on Software Testing, Verification and Validation
Industrial Innovation Track at RE 2019: The 27th IEEE International Requirements Engineering Conference
AFFORD 2017-2018 at ISSRE 2017-2018: Workshop on Practical Formal Verification for Software Dependability at The 28-29th International Symposium on Software Reliability Engineering
SEIP Track at ICSE 2019, Software Engineering in Practice Track at The 41st ACM/IEEE International Conference on Software Engineering
FAACS 2018 at ECSA 2018, The 2nd Workshop on Formal Approaches for Advanced Computing Systems at The 12th European Conference on Software Architecture
WI 2014-2018: The 2014-2018 IEEE/WIC/ACM International Conference on Web Intelligence
FM 2016, 2018, The 21st-22nd International Symposium on Formal Methods
WF-IoT 2018: The 4th IEEE World Forum on Internet of Things
IWSC at UbiComp 2015, Middleware 2016, IEEE BigData 2017: International Workshop on Smart Cities: People, Technology and Data at The 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, The 17th International Middleware Conference, The 2017 IEEE International Conference on Big Data
IMPEX 2017 at ICFEM 2017: The 1rst International Workshop on Handling IMPlicit and EXplicit knowledge in formal system development at The 19th International Conference on Formal Engineering Methods
MARTCPS 2016: Workshop on Models at Runtime & Networked Control for Cyber Physical at The 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT)
ICAIT 2017-2018: The 1st-2nd International Conference on Advanced Information Technologies
IDC 2016, The 10th International Symposium on Intelligent Distributed Computing
PAIS 2014,2016 at ECAI 2014,2016: Conference on Prestigious Applications of Intelligent Systems at The 21st-22nd European Conference on Artifitial Intelligence
PRIMA 2016-2017: The 19th-20th International Conference on Principle and Practice of Multi-Agent Systems
CLOSER 2011-2016: The 1st-6th International Conference on Cloud Computing and Services Science
Internetware 2015 : The Seventh Asia-Pacific Symposium on Internetware
AISE Track at BICT 2015: Artificial Intelligence and Software Engineering (AISE) Special Track at The 9th International Conference on Bio-inspired Information and Communications Technologies
IWWISS 2015: International Workshop on Web Intelligence and Smart Sensing
SOSC 2014: The 1st International Workshop on Service Oriented Smart Cities at The 7th International Conference on Service Oriented Computing and Application
ENASE 2015-2016: The 10-11th International Conference on Evaluation of Novel Software Approaches to Software Engineering
UIC 2009-2014: The 6th-11th International Conference on Ubiquitous Intelligence and Computing
SBP 2013-2014 at BPM 2013-2014: The 2nd-3rd Workshop on Security in Business Processes at The 11th-12th International Conference on Business Process Management
JAWS 2007-2017: エージェント合同ワークショップ＆シンポジウム2007-2017
FIT 2011-2014: 第10-13回情報科学技術フォーラム
EE at SAC 2013: The 10th Enterprise Engineering Track at ACM the 28th Symposium on Applied Computing 2013
SOSE 2013: The 7th International Symposium on Service Oriented System Engineering
ICAART 2009,2011-2013: International Conference on Agents and Artificial Intelligence
IEEE IRI 2008-2011: The 9th-11th IEEE International Conference on Information Reuse and Integration
COIN (@AAMAS 2008, @IJCAI 2009, @AAMAS 2010): The 5th,7th,9th Workshop on Coordination, organization, Institutions and Norms in Agent Systems
SERA 2010-2011: The 8,9,14th International Conference on Software Engineering Research, Management and Applications
NBiS 2010: The 13th International Conference on Network-Based Information Systems, the Ubiquitous and Pervasive Computing Applications track
MALLOW-AWESOME009: Agents, Web Services and Ontologies, Integrated Methodologies at Multi-Agent Logics, Languages, and Organisations Federated Workshops
IUCS 2009: 3rd International Universal Communication Symposium
SPAQu'07-09 (at APSEC 2007, at PLoP 2008, at OOPSLA 2009): The 1st-3rd International Workshop on Software Patterns and Quality, at The 14th Asia-Pacific Software Engineering Conference
SOA at APSEC 2007: The 1st International Workshop on Service-Oriented Architecture, at The 14th Asia-Pacific Software Engineering Conference
CM at SAC 2007: Track on Coordination Models, Languages and Architectures at The 22nd Annual ACM Symposium on Applied Computing
その他
論文誌査読多数（情報処理学会論文誌，電子情報通信学会論文誌，IEEE Transactions on Services Computing, IEEE Transactions on Parallel and Distributed Systems，The Pervasive and Mobile Computing Journal, World Wide Web Journalなど）