Items where Author is "Martins, R."
Up a level
Group by: Type | No Grouping
Number of items: 2.
Article
Elzen, S., Andrienko, G. ORCID: 0000-0002-8574-6295, Andrienko, N. ORCID: 0000-0002-8574-6295 , Fisher, B., Martins, R., Peltonen, J., Telea, A., Verleysen, M. & Rhyne, T-M. (2023). The Flow of Trust: A Visualization Framework to Externalize, Explore, and Explain Trust in ML Applications. IEEE Computer Graphics and Applications, 43(2), pp. 78-88. doi: 10.1109/mcg.2023.3237286
Schrammel, P., Kroening, D., Brain, M. ORCID: 0000-0003-4216-7151 , Martins, R., Teige, T. & Bienmüller, T. (2017). Incremental bounded model checking for embedded software. Formal Aspects of Computing, 29(5), pp. 911-931. doi: 10.1007/s00165-017-0419-1