Fredrik Degerlund

According to our database, Fredrik Degerlund authored at least 7 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2014

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

2012

Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study.

Fredrik Degerlund

Proceedings of the Distributed Applications and Interoperable Systems, 2012

2011

Concurrent Scheduling of Event-B Models

Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén

Proceedings of the Proceedings 15th International Refinement Workshop, 2011

2008

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

2007

Implementation Issues Concerning the Action Systems Formalism.

Fredrik Degerlund, Marina Waldén, Kaisa Sere

Proceedings of the Eighth International Conference on Parallel and Distributed Computing, 2007

A Framework for Incorporating Trust into Formal Systems Development.

Fredrik Degerlund, Kaisa Sere

Proceedings of the Theoretical Aspects of Computing, 2007

2006

Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust.

Fredrik Degerlund

Proceedings of the Second International Workshop on Security and Trust Management, 2006