Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust. - Fredrik Degerlund (STM, 2006)

A Framework for Incorporating Trust into Formal Systems Development. - Fredrik Degerlund; Kaisa Sere (ICTAC, 2007)

Implementation Issues Concerning the Action Systems Formalism. - Fredrik Degerlund; Marina Waldén; Kaisa Sere (PDCAT, 2007)

Forming a context-sensitive web of trust by relying on sentimentally like-minded. - Mats Neovius; Fredrik Degerlund; Lu Yan (Int. J. Pervasive Comput. Commun., 2008)

Concurrent Scheduling of Event-B Models - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Refine@FM, 2011)

Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study. - Fredrik Degerlund (DAIS, 2012)

Derivation of concurrent programs by stepwise scheduling of Event-B models. - Pontus Boström; Fredrik Degerlund; Kaisa Sere; Marina Waldén (Formal Aspects Comput., 2014)