共 50 条
- [23] Learning Probabilistic Models for Static Analysis Alarms 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 1282 - 1293
- [24] Parameterized Static Analysis for Weak Memory Models PROCEEDINGS OF THE 17TH INNOVATIONS IN SOFTWARE ENGINEERING CONFERENCE, ISEC 2024, 2024,
- [25] Static Analysis of Physical Properties in Simulink Models 2015 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), 2015, : 8 - 11
- [27] Static analysis of transaction-level models 40TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2003, 2003, : 448 - 453
- [28] Static Analysis of Memory Models for SMT Encodings PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (OOPSLA): : 1618 - 1647
- [29] Abstract Simulation: a Static Analysis of Simulink Models 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 83 - +
- [30] Static analysis of structures on the base of heterogeneous models METAL STRUCTURES: DESIGN, FABRICATION, ECONOMY, 2003, : 381 - 385