Fuyuki Ishikawa
Orcid: 0000-0001-7725-2618
According to our database1,
Fuyuki Ishikawa
authored at least 172 papers
between 2004 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Alternating Between Surrogate Model Construction and Search for Configurations of an Autonomous Delivery System.
Proceedings of the IEEE International Conference on Software Analysis, 2024
Model-Based Framework for Continuous Adaptation and Evolution of Quantum-Classical Hybrid Systems.
Proceedings of the Companion Proceedings of the 8th International Conference on the Art, 2024
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024
Proceedings of the 2024 IEEE/ACM 46th International Conference on Software Engineering: Companion Proceedings, 2024
Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2024
Proceedings of the 5th IEEE/ACM International Workshop on Deep Learning for Testing and Testing for Deep Learning, 2024
On-the-Fly Proof-Based Verification of Reachability in Autonomous Vehicle Controllers Relying on Goal-Aware RSS.
Proceedings of the Formal Methods and Software Engineering, 2024
Proceedings of the Formal Methods and Software Engineering, 2024
Search-Based Repair of DNN Controllers of AI-Enabled Cyber-Physical Systems Guided by System-Level Specifications.
Proceedings of the Genetic and Evolutionary Computation Conference, 2024
Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2024
Proceedings of the IEEE Congress on Evolutionary Computation, 2024
2023
ACM Trans. Softw. Eng. Methodol., May, 2023
IEEE Trans. Intell. Veh., April, 2023
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner.
IEEE Trans. Dependable Secur. Comput., 2023
Proceedings of the IEEE International Conference on Software Analysis, 2023
Domain-specific Modeling Environment Construction Tool based on View Patterns: RapidDSM.
Proceedings of the 21st IEEE/ACIS International Conference on Software Engineering Research, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023
Proceedings of the 27th International Conference on Engineering of Complex Computer Systems, 2023
Proceedings of the Genetic and Evolutionary Computation Conference, 2023
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery.
Proceedings of the Genetic and Evolutionary Computation Conference, 2023
Formal Modelling of Safety Architecture for Responsibility-Aware Autonomous Vehicle via Event-B Refinement.
Proceedings of the Formal Methods - 25th International Symposium, 2023
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go.
Proceedings of the 10th International Conference on Dependable Systems and Their Applications, 2023
Proceedings of the IEEE Congress on Evolutionary Computation, 2023
Investigating Multi- and Many-Objective Search for Stability-Aware Configuration of an Autonomous Delivery System.
Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023
2022
NeuRecover: Regression-Controlled Repair of Deep Neural Networks with Training History.
Proceedings of the IEEE International Conference on Software Analysis, 2022
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems.
Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022
Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing.
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22).
Proceedings of the GECCO '22: Genetic and Evolutionary Computation Conference, Companion Volume, Boston, Massachusetts, USA, July 9, 2022
Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 2022
2021
Formal Aspects Comput., 2021
Proceedings of the Tests and Proofs - 15th International Conference, 2021
Experimental Conformance Evaluation onUBER ATG Safety Case Framework withANSI/UL 4600.
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2021 Workshops, 2021
Robustifying Controller Specifications of Cyber-Physical Systems Against Perceptual Uncertainty.
Proceedings of the NASA Formal Methods - 13th International Symposium, 2021
Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
Proceedings of the IEEE Intelligent Vehicles Symposium Workshops, 2021
Proceedings of the 32nd IEEE International Symposium on Software Reliability Engineering, 2021
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021).
Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021
Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021
2020
Softw. Syst. Model., 2020
Int. J. Softw. Eng. Knowl. Eng., 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
Reaching the Unreachable : A Method for Early Stage Software Startups to Reach Inaccessible Stakeholders within Large Corporation.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Evidence-driven Requirements Engineering for Uncertainty of Machine Learning-based Systems.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 24th International Conference KES-2020, 2020
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020
Testing and Debugging Autonomous Driving: Experiences with Path Planner and Future Challenges.
Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Embedding Approximation in Event-B: Safe Hybrid System Design Using Proof and Refinement.
Proceedings of the Formal Methods and Software Engineering, 2020
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation.
Proceedings of the 25th International Conference on Engineering of Complex Computer Systems, 2020
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems.
Proceedings of the GECCO '20: Genetic and Evolutionary Computation Conference, 2020
Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Energy and Migration Cost-Aware Dynamic Virtual Machine Consolidation in Heterogeneous Cloud Datacenters.
IEEE Trans. Serv. Comput., 2019
NII Shonan Meet. Rep., 2019
IEICE Trans. Inf. Syst., 2019
Formal Aspects Comput., 2019
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain.
Proceedings of the 13th International Workshop on Variability Modelling of Software-Intensive Systems, 2019
Tackling Uncertainty in Safety Assurance for Machine Learning: Continuous Argument Engineering with Attributed Tests.
Proceedings of the Computer Safety, Reliability, and Security, 2019
Contemporary requirements challenges and issues: an empirical study in 11 organizations.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
Proceedings of the 24th IEEE Pacific Rim International Symposium on Dependable Computing, 2019
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019
Proceedings of the 2019 IEEE International Conference on Software Testing, 2019
How do engineers perceive difficulties in engineering of machine-learning systems?: questionnaire survey.
Proceedings of the Joint 7th International Workshop on Conducting Empirical Studies in Industry and 6th International Workshop on Software Engineering Research and Industrial Practice, 2019
Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2019
Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019
Proceedings of the 19th IEEE International Symposium on High Assurance Systems Engineering, 2019
Stability analysis for safety of automotive multi-product lines: a search-based approach.
Proceedings of the Genetic and Evolutionary Computation Conference, 2019
Proceedings of the 26th Asia-Pacific Software Engineering Conference, 2019
2018
Towards industrial application of advanced formal methods for cyber-physical system engineering (NII Shonan Meeting 2018-16).
NII Shonan Meet. Rep., 2018
Continuous Argument Engineering: Tackling Uncertainty in Machine Learning Based Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2018
Proceedings of the Formal Methods and Software Engineering, 2018
Proceedings of the Conceptual Modeling - 37th International Conference, 2018
Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018
Report of iMLSE-18: the 1<sup>st</sup> International Workshop on Machine Learning Systems Engineering.
Proceedings of the International Workshop on Evidence-based Security and Privacy in the Wild and the 1st International Workshop on Machine Learning Systems Engineering co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018
2017
IEEE Trans. Parallel Distributed Syst., 2017
Software Engineering and Networked Control for Smart Cyber Physical Systems (SENCPS) (NII Shonan Meeting 2017-11).
NII Shonan Meet. Rep., 2017
Model-Based Design for Smart Products and Systems: Advanced Capabilities and Challenging Applications (NII Shonan Meeting 2017-18).
NII Shonan Meet. Rep., 2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2017
Proceedings of the 24th Asia-Pacific Software Engineering Conference, 2017
2016
IEEE Trans. Syst. Man Cybern. Syst., 2016
IEEE Trans. Serv. Comput., 2016
The Effects of Developer Dynamics on Fitness in an Evolutionary Ecosystem Model of the App Store.
IEEE Trans. Evol. Comput., 2016
Automatic Generation of Potentially Pathological Instances for Validating Alloy Models.
Proceedings of the Formal Methods and Software Engineering, 2016
Proceedings of the FM 2016: Formal Methods, 2016
Proceedings of the Conceptual Modeling - 35th International Conference, 2016
2015
Investigating Country Differences in Mobile App User Behavior and Challenges for Software Engineering.
IEEE Trans. Software Eng., 2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Proceedings of the 1st IEEE/ACM International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2015
Heterogeneous Virtual Machine Consolidation Using an Improved Grouping Genetic Algorithm.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015
Practices for Formal Models as Documents: Evolution of VDM Application to "Mobile FeliCa" IC Chip Firmware.
Proceedings of the FM 2015: Formal Methods, 2015
Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program.
Proceedings of the First Workshop on Formal Methods in Software Engineering Education and Training, 2015
Proceedings of the 15th Symposium on Database Programming Languages, 2015
2014
IEEE Trans. Serv. Comput., 2014
Science and Practice of Engineering Trustworthy Cyber-Physical Systems (TCPS) (NII Shonan Meeting 2014-14).
NII Shonan Meet. Rep., 2014
A graph-based approach enhancing correctness and speed of web services composition through explicit specification of functional semantics.
Int. J. Web Grid Serv., 2014
Proceedings of the IEEE 1st International Workshop on Artificial Intelligence for Requirements Engineering, 2014
Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, 2014
Proceedings of the 2014 International Workshop on Web Intelligence and Smart Sensing, 2014
Proceedings of the 22nd International Conference on Program Comprehension, 2014
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014
2013
CoRR, 2013
Proceedings of the International Conference on Software and System Process, 2013
Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013
Using Web 2.0 for Stakeholder Analysis: StakeSource and Its Application in Ten Industrial Projects.
Proceedings of the Managing Requirements Knowledge., 2013
2012
Proceedings: Workshop on the experience of and advances in developing dependable systems in Event-B (DS-Event-B 2012)
CoRR, 2012
Proceedings of the 21st World Wide Web Conference 2012, 2012
Proceedings of the 21st World Wide Web Conference 2012, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012
Proceedings of the Web Engineering - 12th International Conference, 2012
Proceedings of the Intelligent Web Services Meet Social Computing, 2012
2011
Open Code Coverage Framework: A Framework for Consistent, Flexible and Complete Measurement of Test Coverage Supporting Multiple Programming Languages.
IEICE Trans. Inf. Syst., 2011
Proceedings of the IEEE International Conference on Systems, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Efficient Heuristic Approach with Improved Time Complexity for Qos-Aware Service Composition.
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the IEEE International Conference on Web Services, 2011
Proceedings of the Service-Oriented Computing - ICSOC 2011 Workshops, 2011
Bridging the Gap between Semantic Web Service Composition and Common Implementation Architectures.
Proceedings of the IEEE International Conference on Services Computing, 2011
2010
Proceedings of the 6th World Congress on Services, 2010
Proceedings of the 6th World Congress on Services, 2010
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
Consistent Integration of Selection and Replacement Methods under Different Expectations in Service Composition and Partner Management Life-Cycle.
Proceedings of the Service-Oriented Computing - 8th International Conference, 2010
Toward Consistent Combination of Service Selection Methods and Process Adaptation Methods.
Proceedings of the 2010 IEEE International Conference on Services Computing, 2010
2009
IEICE Trans. Commun., 2009
What Top-Level Software Engineers Tackle after Learning Formal Methods: Experiences from the Top SE Project.
Proceedings of the Teaching Formal Methods, Second International Conference, 2009
A Constraint-Based Approach for Developing Consistent Contracts in Composite Services.
Proceedings of the 2009 IEEE Congress on Services, Part I, 2009
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Modeling, Analyzing and Weaving Legal Interpretations in Goal-Oriented Requirements Engineering.
Proceedings of the Second International Workshop on Requirements Engineering and Law, 2009
A Probabilistic Approach to Service Selection with Conditional Contracts and Usage Patterns.
Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009
Physical interaction in pervasive computing: formal modeling, analysis and verification.
Proceedings of the 2009 international conference on Pervasive services, 2009
2008
Special track on Agent-oriented Programming, Systems, Languages, and Applications (APSLA): editorial message.
Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008
A Flexible Protocol Composition for Multi-party Coordination Protocols in Multi-agent Systems.
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Proceedings of the 12th International IEEE Enterprise Distributed Object Computing Conference, 2008
Towards Agile Service-oriented Business Systems: A Directive-oriented Pattern Analysis Approach.
Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008), 2008
2007
Syst. Comput. Jpn., 2007
IEICE Trans. Inf. Syst., 2007
Agreements and Policies in Cooperative Mobile Agents: Formalization and Implementation.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of the 2007 IEEE International Conference on Web Services (ICWS 2007), 2007
Proceedings of The 2nd IEEE Asia-Pacific Services Computing Conference, 2007
2006
Proceedings of the 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), 2006
Improving Accuracy of Recommender System by Clustering Items Based on Stability of User Similarity.
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 2006 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006), International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2006), 29 November, 2006
Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006
2005
Syst. Comput. Jpn., 2005
Int. J. Pervasive Comput. Commun., 2005
Framework for Hierarchical Mobile Agents: Toward Service-Oriented Agent Compound.
Proceedings of the ICEIS 2005, 2005
Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005
Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), 2005
Proceedings of the 2005 IEEE International Conference on Services Computing (SCC 2005), 2005
2004
Mobile Agent System for Web Services Integration in Pervasive Networks.
Proceedings of the Ubiquitous Computing, 2004
Proceedings of the IEEE International Conference on Web Services (ICWS'04), 2004