|
MODELSWARD 2025
13th International Conference on Model-Based Software and Systems Engineering
|
|
ICSEA 2025
The Twentieth International Conference on Software Engineering Advances
|
|
VALID 2025
The Seventeenth International Conference on Advances in System Testing and Validation Lifecycle
|
|
FASSI 2025
The Eleventh International Conference on Fundamentals and Advances in Software Systems Integration
|
|
HICSS 2026
Hawaii International Conference on System Sciences Mini Track: Advances in Software Resilience: New Frontiers in Testing, Verification, Compliance, and Fault-Tolerance Mechanisms
|
|
LOPSTR 2025
Logic-based Program Synthesis and Transformation
|
|
IJGCA 2025
International Journal of Grid Computing & Applications
|
|
ECMFA 2025
21st European Conference on Modelling Foundations and Applications
|
|
Security 2025
Special Issue on Recent Advances in Security, Privacy, and Trust
|
|
CAV 2025
37th International Conference on Computer Aided Verification
|
