Publications from SFI Smart Ocean

2022

Håvard S. Ugulen, Håkon Sandven, Børge Hamre, Arne S. Kristoffersen, and Camilla Sætre, «Efficient Monte Carlo simulation reveals significant multiple scattering errors in underwater angular scattering measurements,» Opt. Express 30, 10802-10817 (2022)

2021

Ahishakiye F., Requeno Jarabo J.I., Kristensen L.M., Stolz V. (2021) MC/DC Test Cases Generation Based on BDDs. In: Qin S., Woodcock J., Zhang W. (eds) Dependable Software Engineering. Theories, Tools, and Applications. SETTA 2021. Lecture Notes in Computer Science, vol 13071. Springer, Cham. https://doi.org/10.1007/978-3-030-91265-9_10

Rodríguez A., Kristensen L.M., Rutle A. (2021) Verification of the MQTT IoT Protocol Using Property-Specific CTL Sweep-Line Algorithms. In: Koutny M., Kordon F., Pomello L. (eds) Transactions on Petri Nets and Other Models of Concurrency XV. Lecture Notes in Computer Science, vol 12530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-63079-2_8

Rodríguez, A., Durán, F. & Kristensen, L.M. Simulation and analysis of MultEcore multilevel models based on rewriting logic. Softw Syst Model (2021). https://doi.org/10.1007/s10270-021-00947-1

H. Ugulen, H. Sandven, B. Hamre, A. Kristoffersen, and C. Sætre, «Analysis of multiple scattering errors in LISST-VSF volume scattering function measurements using Monte Carlo simulations and experimental data,» Opt. Express 29, 12413-12428 (2021).

Department of physics and technology
University of Bergen
Allégaten 55, 5007 Bergen, Norway