Search Page
Save citations to file
Email citations
Send citations to clipboard
Add to Collections
Add to My Bibliography
Create a file for external citation management software
Your saved search
Your RSS Feed
Filters
Results by year
Table representation of search results timeline featuring number of search results per year.
Year | Number of Results |
---|---|
2015 | 2 |
2016 | 1 |
2017 | 1 |
2018 | 2 |
2022 | 1 |
2023 | 1 |
2024 | 0 |
Search Results
6 results
Results by year
Filters applied: . Clear all
Page 1
Model checking: recent improvements and applications.
Int J Softw Tools Technol Transf. 2018;20(5):493-497. doi: 10.1007/s10009-018-0501-x. Epub 2018 Jul 24.
Int J Softw Tools Technol Transf. 2018.
PMID: 30956545
Free PMC article.
A technology transfer journey to a model-driven access control system.
De Sanctis M, Di Salle A, Iovino L, Rossi MT.
De Sanctis M, et al.
Int J Softw Tools Technol Transf. 2023;25(1):49-74. doi: 10.1007/s10009-023-00697-z. Epub 2023 Feb 10.
Int J Softw Tools Technol Transf. 2023.
PMID: 36817285
Free PMC article.
Item in Clipboard
Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.
Biere A, Parker D.
Biere A, et al.
Int J Softw Tools Technol Transf. 2022;24(5):663-665. doi: 10.1007/s10009-022-00677-9. Epub 2022 Sep 23.
Int J Softw Tools Technol Transf. 2022.
PMID: 36186273
Free PMC article.
Item in Clipboard
PRISM-games: verification and strategy synthesis for stochastic multi-player games with multiple objectives.
Kwiatkowska M, Parker D, Wiltsche C.
Kwiatkowska M, et al.
Int J Softw Tools Technol Transf. 2018;20(2):195-210. doi: 10.1007/s10009-017-0476-z. Epub 2017 Nov 29.
Int J Softw Tools Technol Transf. 2018.
PMID: 31258390
Free PMC article.
Item in Clipboard
Witnessing the elimination of magic wands.
Blom S, Huisman M.
Blom S, et al.
Int J Softw Tools Technol Transf. 2015;17(6):757-781. doi: 10.1007/s10009-015-0372-3. Epub 2015 Mar 31.
Int J Softw Tools Technol Transf. 2015.
PMID: 27194940
Free PMC article.
Item in Clipboard
Guided search for hybrid systems based on coarse-grained space abstractions.
Bogomolov S, Donzé A, Frehse G, Grosu R, Johnson TT, Ladan H, Podelski A, Wehrle M.
Bogomolov S, et al.
Int J Softw Tools Technol Transf. 2016;18:449-467. doi: 10.1007/s10009-015-0393-y. Epub 2015 Aug 7.
Int J Softw Tools Technol Transf. 2016.
PMID: 27445640
Free PMC article.
Item in Clipboard
Cite
Cite