• HOME
• ABOUT US
  • Organization
  • Personnel
• NEWS&EVENTS
  • News & Events archive
  • Newsletter archive
  • Conference archive
  • Travel reports
• COOPERATION
  • International Involvement
  • National Involvement
  • Regional Involvement
• EDUCATION
  • Master's Programmes
  • TUCS Graduate Programmes
  • Information for Students
  • Courses
  • TUCS Short Courses
• PUBLICATIONS
  • TUCS Publication Series
  • How to Publish in TUCS Series
  • Publication Search
  • Publication Graph
  • Publication Input
  • Publication Input Guide
  • JuFo Browser
• RESEARCH
  • Focus areas
  • Research Programmes
  • Research Units
  • Distinguished Lectures

Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search

• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Department: Any ÅAU / Department of Information Technologies UTU / Department of Information Technology UTU / Department of Mathematics and Statistics UTU / Turku School of Economics, Institute of Information Systems Sciences

Research Unit: Any Algorithmics and Computational Intelligence Group (ACI) Biomathematics Research Unit (BIOMATH) Communication Systems (ComSys) Computational Biomodeling Laboratory (Combio Lab) Data Mining and Knowledge Management Laboratory Distributed Systems Laboratory (DS Lab) Embedded Computer and Electronic Systems (ECES) Embedded Systems Laboratory (ESLAB) FUNDIM, Fundamentals of Computing and Discrete Mathematics Institute for Advanced Management Systems Research (IAMSR) Learning and Reasoning Lab Software Construction Laboratorium Software Development Laboratory (SwDev) Software Engineering Laboratory (SE Lab) Turku BioNLP Group Turku Optimization Group (TOpGroup) UTU Information Systems Science (ISS)

Publication type: Any Monographs Edited books Edited special issues of journals Edited proceedings Articles in journals Articles in proceedings Chapters in edited books Ph.D. thesis Lic. thesis Technical reports

Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points AND Lastname, Firstname Year Title Abstract Keyword Points

Sort output by publication type Sort output by publication year

and display below and download in BibTeX and download as CSV and download as 2014-CSV

Articles in journals (2):

• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Derivation of Concurrent Programs by Stepwise Scheduling of Event-B Models. Formal Aspects of Computing 26(2), 281–303, 2014.
• Mats Neovius, Fredrik Degerlund, Lu Yan, Forming a Context-Sensitive Web of Trust by Relying on Sentimentally Like-Minded. International Journal of Pervasive Computing and Communications 4(1), 92–109, 2008.

Articles in proceedings (10):

• Fredrik Degerlund, Scheduling of Compute-Intensive Code Generated from Event-B Models: An Empirical Efficiency Study. In: Karl Göschka, Seif Haridi (Eds.), Distributed Applications and Interoperable Systems (Proc. of DAIS 2012), Lecture Notes in Computer Science 7272, 177–184, Springer, 2012.
• Pontus Boström, Fredrik Degerlund, Kaisa Sere, Marina Waldén, Concurrent Scheduling of Event-B Models. In: John Derrick, Eerke A. Boiten, Steve Reeves (Eds.), Proceedings 15th International Refinement Workshop, Electronic Proceedings in Theoretical Computer Science 55, 166–182, Open Publishing Association, 2011.
• Mats Neovius, Fredrik Degerlund, Kaisa Sere, Inter-service Dependency in the Action System Formalism. In: Gordon J. Pace, Gerardo Schneider (Eds.), Third Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS’09 , 45 - 53, University of Oslo, Department of Informatics, 2009.
• Fredrik Degerlund, Trust Mass, Volume and Density - a Novel Approach to Reasoning about Trust. In: S. Etalle, P. Samarati (Eds.), Proceedings of the 2nd International Workshop on Security and Trust Management (STM 2006), Electronic Notes in Theoretical Computer Science 179, 87–96, Elsevier, 2007.
• Fredrik Degerlund, Mats Neovius, Kaisa Sere, A Framework for Formal Reasoning about Distributed Webs of Trust. In: Olaf Owe Einar Broch Johnsen, Gerardo Schneider (Eds.), Proceedings of the 19th Nordic Workshop on Programming Theory, Universitetet i Oslo - Institutt for informatikk Research Report 366, 78-80, University of Oslo, 2007.
• Fredrik Degerlund, Kaisa Sere, A Framework for Incorporating Trust into Formal Systems Development. In: Zhiming Liu Cliff B. Jones, Jim Woodcock (Eds.), Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Proceedings, Lecture Notes in Computer Science 4711, 154–168, Springer, 2007.
• Fredrik Degerlund, Marina Waldén, Kaisa Sere, Implementation Issues Concerning the Action Systems Formalism. In: Hong Shen Quan Z. Sheng Henry Detmold Katrina E. Falkner Cruz Izu Paul D. Coddington Bradley Alexander David S. Munro, Si-Qing Zheng (Eds.), Proceedings of the Eighth International Conference on Parallel and Distributed Computing Applications and Technologies (PDCAT'07), 471-479, IEEE Computer Society Press, 2007.
• Mats Neovius, Fredrik Degerlund, Extending Dependability to Include User-Specific Trust. In: Kaisa Sere Elena Troubitsyna Luigia Petre, Einar Broch Johnsen (Eds.), NODES 07 - NOrdic workshop and doctoral symposium on DEpendability and Security, Oslo, Norway, October 2007, Abstracts, Åbo Akademi Reports on Computer Science & Mathematics Ser. B. No. 37, Åbo Akademi University, 2007.
• Fredrik Degerlund, Kaisa Sere, A Framework for Incorporating Trust into the Action Systems Formalism. In: Proceedings for the 18th Nordic Workshop on Programming Theory (NWPT'06), Reykjavík, Iceland, 18-20 October, 2006, 2006.
• Fredrik Degerlund, Marina Waldén, Kaisa Sere, Implementation Issues Concerning the Action Systems Formalism. In: 17th Nordic Workshop on Programming Theory, Presentation Abstracts, 59-61, DIKU, University of Copenhagen, 2005.

Chapters in edited books (1):

• Fredrik Degerlund, Kaisa Sere, Refinement of Parallel Algorithms. In: Process Algebra for Parallel and Distributed Processing, Computational Science Series, 77-96, Chapman & Hall/CRC Press (Taylor & Francis Group), 2008.

Ph.D. thesis (1):

• Fredrik Degerlund, Scheduling of Guarded Command Based Models. TUCS Dissertations 152. 2012.

Technical reports (2):

• Fredrik Degerlund, Scheduling Performance of Compute-Intensive Concurrent Code Developed Using Event-B. TUCS Technical Reports 1051, Turku Centre for Computer Science, 2012.
• Fredrik Degerlund, Richard Grönblom, Kaisa Sere, Code Generation and Scheduling of Event-B Models. TUCS Technical Reports 1027, Turku Centre for Computer Science, 2011.