Conference Information
SSV 2012: International Workshop on Systems Software Verification
http://www.ssv-conference.org/Submission Date: |
|
Notification Date: |
2012-10-19 |
Conference Date: |
2012-11-28 |
Location: |
Sydney, Australia |
Years: |
6 |
Viewed: 16287 Tracked: 0 Attend: 0
Call For Papers
Related Conferences
| CCF | CORE | QUALIS | Short | Full Name | Submission | Notification | Conference |
|---|---|---|---|---|---|---|---|
| a | a | a1 | ASE | International Conference on Automated Software Engineering | 2025-05-30 | 2025-08-14 | 2025-11-16 |
| c | SYSTOR | International Systems and Storage Conference | 2025-05-20 | 2025-07-10 | 2025-09-08 | ||
| a | a* | a1 | CAV | International Conference on Computer Aided Verification | 2025-01-31 | 2025-04-02 | 2025-07-21 |
| c | a | b2 | ICST | International Conference on Software Testing, Verification and Validation | 2025-12-15 | 2026-02-20 | 2026-05-18 |
| b | VISSOFT | IEEE Working Conference on Software Visualization | 2020-06-22 | 2020-07-24 | 2020-09-28 | ||
| b3 | ICSNC | International Conference on Systems and Networks Communications | 2023-08-10 | 2023-09-18 | 2023-11-13 | ||
| b4 | HVC | Haifa Verification Conference | 2016-07-14 | 2016-09-05 | 2016-11-14 | ||
| b | b | a2 | FSE' | International Conference on Fast Software Encryption | 2025-11-23 | 2026-01-23 | 2026-03-23 |
| c | b | a2 | COMPSAC | International Computer Software and Applications Conference | 2026-01-31 | 2026-04-01 | 2026-07-07 |
| c | RV | International Conference on Runtime Verification | 2025-05-30 | 2025-07-11 | 2025-09-15 |
| Short | Full Name | Conference |
|---|---|---|
| ASE | International Conference on Automated Software Engineering | 2025-11-16 |
| SYSTOR | International Systems and Storage Conference | 2025-09-08 |
| CAV | International Conference on Computer Aided Verification | 2025-07-21 |
| ICST | International Conference on Software Testing, Verification and Validation | 2026-05-18 |
| VISSOFT | IEEE Working Conference on Software Visualization | 2020-09-28 |
| ICSNC | International Conference on Systems and Networks Communications | 2023-11-13 |
| HVC | Haifa Verification Conference | 2016-11-14 |
| FSE' | International Conference on Fast Software Encryption | 2026-03-23 |
| COMPSAC | International Computer Software and Applications Conference | 2026-07-07 |
| RV | International Conference on Runtime Verification | 2025-09-15 |
Related Journals
| CCF | Full Name | Impact Factor | Publisher | ISSN |
|---|---|---|---|---|
| b | Journal of Systems and Software | 4.1 | Elsevier | 0164-1212 |
| International journal of Software Engineering & Applications | AIRCC | 0976-2221 | ||
| Software Testing Verification and Reliability | 1.500 | Wiley-Blackwell | 0960-0833 | |
| b | Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd | 1099-1689 |
| npj Systems Biology and Applications | 3.500 | Springer | 2056-7189 | |
| IEEE Systems, Man, and Cybernetics Magazine | 1.900 | IEEE | 2380-1298 | |
| b | The Journal of Systems Architecture: Embedded Software Design | 3.8 | Elsevier | 1383-7621 |
| b | Automated Software Engineering | 2.000 | Springer | 0928-8910 |
| Systems Engineering | 1.600 | Wiley-Blackwell | 1098-1241 | |
| Systems & Control Letters | 2.100 | Elsevier | 0167-6911 |
| Full Name | Impact Factor | Publisher |
|---|---|---|
| Journal of Systems and Software | 4.1 | Elsevier |
| International journal of Software Engineering & Applications | AIRCC | |
| Software Testing Verification and Reliability | 1.500 | Wiley-Blackwell |
| Software Testing, Verification and Reliability | 1.500 | John Wiley & Sons, Ltd |
| npj Systems Biology and Applications | 3.500 | Springer |
| IEEE Systems, Man, and Cybernetics Magazine | 1.900 | IEEE |
| The Journal of Systems Architecture: Embedded Software Design | 3.8 | Elsevier |
| Automated Software Engineering | 2.000 | Springer |
| Systems Engineering | 1.600 | Wiley-Blackwell |
| Systems & Control Letters | 2.100 | Elsevier |