Fredrik Degerlund

Publication Activity (10 Years)

Years Active: 2007-2014
Publications (10 Years): 0

Top Topics

Scheduling Problem

Parallel Processors

Concurrent Programs

Top Venues

Formal Aspects Comput.

Publications

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Derivation of concurrent programs by stepwise scheduling of Event-B models. Formal Aspects Comput. 26 (2) (2014)
Fredrik Degerlund
Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study. DAIS (2012)
Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén
Concurrent Scheduling of Event-B Models Refine@FM (2011)
Mats Neovius, Fredrik Degerlund, Lu Yan
Forming a context-sensitive web of trust by relying on sentimentally like-minded. Int. J. Pervasive Comput. Commun. 4 (1) (2008)
Fredrik Degerlund, Kaisa Sere
A Framework for Incorporating Trust into Formal Systems Development. ICTAC (2007)
Fredrik Degerlund, Marina Waldén, Kaisa Sere
Implementation Issues Concerning the Action Systems Formalism. PDCAT (2007)
Fredrik Degerlund
Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust. Electron. Notes Theor. Comput. Sci. 179 (2007)