Research output per year
Research output per year
| Original language | English |
|---|
| Publisher | Springer |
|---|---|
| Number of pages | 202 |
| ISBN (Print) | 978-3-031-32156-6 |
| ISBN (Electronic) | 978-3-031-32157-3 |
| DOIs | |
| Publication status | Published - 2023 |
| Event | 29th International Symposium on Model Checking Software - Sorbonne Université, Paris, France Duration: 26 Apr 2023 → 27 Apr 2023 Conference number: 29 https://spin-web.github.io/SPIN2023/ |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 13872 |
| ISSN | 0302-9743 |
Conference
| Conference | 29th International Symposium on Model Checking Software |
|---|---|
| Number | 29 |
| Location | Sorbonne Université |
| Country/Territory | France |
| City | Paris |
| Period | 26/04/2023 → 27/04/2023 |
| Internet address |
Research output
- 2 Article in proceeding
-
Elimination of Detached Regions in Dependency Graph Verification
Jensen, P. G., Larsen, K. G., Srba, J. & Ulrik, N. J., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer, Vol. LNCS 13872. p. 163-179 17 p. (Lecture Notes in Computer Science).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
-
Potency-Based Heuristic Search with Randomness for Explicit Model Checking
Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review