logo
Verification

会议结果 (18)

International Conference on Software Testing, Verification and Validation (ICST)

Rank: AOffline
Naples, Italy
Mar 31, 2025 - Apr 4, 2025
Software TestingVerificationValidation

International Symposium on High Performance Computer Architecture (HPCA)

Rank: A*Offline
Sydney, NSW, Australia
Jan 31, 2026 - Feb 4, 2026
Processormemoryand storage systems architecture and microarchitecture+27 更多

ACM Symposium on Principles of Distributed Computing (PODC)

Rank: A*Offline
Santa María Huatulco, Mexico
Jun 16, 2025 - Jun 20, 2025
Distributed ComputingDistributed SystemsDistributed Networks+60 更多

Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM Mensura)

Rank: COffline
University of Sharjah, UAE
Oct 27, 2025 - Oct 28, 2025
Software MeasurementSoftware ProcessSoftware Product Measurement+22 更多

ACM Conference on Object Oriented Programming Systems Languages and Applications (OOPSLA)

Rank: AOffline
Oakland, California, United States
Mar 10, 2026
requirementsmodelingprototyping+7 更多

IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

Rank: AOffline
Irvine, USA
May 6, 2025 - May 9, 2025
Systems with timing requirementsapplicationscase studies+8 更多

International Conference on Logic Programming (ICLP)

Rank: AOffline
University of Calabria, Rende (CS), Italy
Sep 12, 2025 - Sep 19, 2025
Logic ProgrammingFormal and operational semanticsNon-monotonic reasoning+26 更多

USENIX Workshop on Hot Topics in Operating Systems (HotOS)

Rank: AOffline
Banff, Alberta, Canada
May 14, 2025 - May 16, 2025
Operating SystemsStorageDistributed Systems+13 更多

IEEE International Conference on Computer Design (ICCD)

Rank: TBROffline
Dallas, USA
Nov 10, 2025 - Nov 12, 2025
Computing SystemsSoftware ArchitecturesCompilers+7 更多

European Conference on Multi-Agent Systems (EUMAS)

Rank: COffline
Bucharest, Romania
Sep 3, 2025 - Sep 5, 2025
Action and PlanningAdaptation and LearningAgent Architectures+44 更多

International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Rank: COffline
Crete, Greece
Oct 27, 2024 - Oct 31, 2024
Formal MethodsVerificationValidation+26 更多

IEEE European Test Symposium (ETS)

Rank: TBROffline
Chania, Greece
May 25, 2026
Dependable AI and AI for TestingFunctional SafetyFault Tolerance and Reliability+13 更多