共 50 条
- [1] AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk) [J]. PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON AI-POWERED SOFTWARE, AIWARE 2024, 2024, : 182 - 182
- [2] Towards Assurance Evaluation of Autonomous Systems Invited Talk [J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
- [3] Autonomous Navigation Assurance with Explainable AI and Security Monitoring [J]. 2020 IEEE APPLIED IMAGERY PATTERN RECOGNITION WORKSHOP (AIPR): TRUSTED COMPUTING, PRIVACY, AND SECURING MULTIMEDIA, 2020,
- [4] Invited talk: ASM formalware in the software engineering cycle [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 197 - 197
- [5] Invited talk: A software engineering program of lasting value [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 1 - 1
- [6] AI for Software Quality Assurance Blue Sky Ideas Talk [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 13529 - 13533
- [7] The importance of high assurance security in Pervasive Computing: (Abstract of invited talk) [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2802
- [9] Security and safety in systems engineering for autonomous vehicles [J]. Konstruktion, 2020, 2020 (11-12): : 84 - 90
- [10] Software Security Assurance of Electrical Grid Systems Relating Mechatronics to Software Security Engineering [J]. 2014 INTERNATIONAL ENERGY AND SUSTAINABILITY CONFERENCE (IESC), 2014,