Skip to main content
Department of Information Technology

Division of Computer Systems: Publications from 2009

  1. Approximated Context-Sensitive Analysis for Parameterized Verification. Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. In Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings, volume 5522 of Lecture notes in computer science, pp 41-56, 2009. (DOI).
  2. Approximated parameterized verification of infinite-state processes with global conditions. Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. In Formal methods in system design, volume 34, number 2, pp 126-156, 2009. (DOI).
  3. Automatic Verification of Directory-Based Consistency Protocols. Aziz Abdulla, Giorgio Delzanno, and Ahmed Rezine. In Reachability Problems: 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings, volume 5797 of Lecture notes in computer science, pp 36-50, 2009. (DOI).
  4. Monotonic Abstraction: on Efficient Verification of Parameterized Systems. Aziz Abdulla, Giorgio Delzanno, Ben Henda, and Ahmed Rezine. In International Journal of Foundations of Computer Science, volume 20, number 5, pp 779-801, 2009. (DOI).
  5. A uniform (bi-)simulation-based framework for reducing tree automata. Parosh Aziz Abdulla, Lukás Holík, Lisa Kaati, and Tomás Vojnar. In Electronic Notes in Theoretical Computer Science, volume 251, pp 27-48, 2009. (DOI).
  6. Composed bisimulation for tree automata. Parosh Aziz Abdulla, Ahmed Bouajjani, Lukás Holík, Lisa Kaati, and Tomás Vojnar. In International Journal of Foundations of Computer Science, volume 20, number 4, pp 685-700, 2009. (DOI).
  7. Universality of R-automata with value copying. Parosh Aziz Abdulla, Pavel Krcal, and Wang Yi. In Electronic Notes in Theoretical Computer Science, volume 239, pp 131-141, 2009. (DOI).
  8. Learning computer science: Perceptions, actions and roles. Anders Berglund, Anna Eckerdal, Arnold Pears, Philip East, Päivi Kinnunen, Lauri Malmi, Robert McCartney, Jan Erik Moström, Laurie Murphy, Mark Ratcliffe, Carsten Schulte, Beth Simon, Ioanna Stamouli, and Lynda Thomas. In European Journal of Engineering Education, volume 34, pp 327-338, 2009. (DOI).
  9. Regular Inference for Communication Protocol Entities. Therese Bohlin. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 605, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext).
  10. Introducing an external mentor in an international open ended group project. Åsa Cajander, Tony Clear, and Mats Daniels. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  11. Students analyzing their collaboration in an international open ended group project. Åsa Cajander, Tony Clear, Mats Daniels, Joel Edlund, Per Hamrin, Cary Laxer, and Martin Persson. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI).
  12. A global software project: Developing a tablet PC capture platform for explanograms. Tony Clear, Jacqueline Whalley, Jonathan Hill, Yong Liu, Arnold Pears, and Beryl Plimmer. In Proc. 8th International Conference on Computing Education Research: Koli Calling, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 41-50, 2009. (Proceedings).
  13. Reflections on trustworthiness in phenomenographic research: Recognising purpose, context and change in the process of research. Brandon I. Collier-Reed, Åke Ingerman, and Anders Berglund. In Education as Change, volume 13, number 2, pp 339-355, 2009. (DOI, fulltext:postprint).
  14. Detailed simulation of heterogeneous wireless sensor networks. Joakim Eriksson. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2009-001, Uppsala University, 2009. (fulltext).
  15. Managing cross layer information in OMNeT++ simulations. Laura Marie Feeney. 6th Swedish National Computer Networking Workshop (SNCNW'09), Uppsala, May 4-5, 2009, 2009. (fulltext).
  16. Dynamic structural symmetry breaking for constraint satisfaction problems. Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, and Magnus Ågren. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI).
  17. Solving necklace constraint problems. Pierre Flener and Justin Pearson. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI).
  18. Static and dynamic structural symmetry breaking. Pierre Flener, Justin Pearson, and Meinolf Sellmann. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI).
  19. Cache-aware scheduling and analysis for multicores. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. 9th ACM International Conference on Embedded Software, pp 245-254, ACM Press, New York, 2009. (DOI).
  20. Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs. Nan Guan, Zonghua Gu, Wang Yi, and Ge Yu. In Proc. 14th Asia and South Pacific Design Automation Conference, pp 715-720, IEEE, Piscataway, NJ, 2009. (DOI).
  21. New Response Time Bounds for Fixed Priority Multiprocessor Scheduling. Nan Guan, Martin Stigge, Wang Yi, and Ge Yu. In Proc. Real-Time Systems Symposium: RTSS 2009, pp 387-397, IEEE, Piscataway, NJ, 2009. (DOI).
  22. Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results. Farshid Hassani Bijarbooneh, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 27-40, 2009. (DOI).
  23. Toward an <em>automaton</em> constraint for local search. Jun He, Pierre Flener, and Justin Pearson. In Proc. 6th International Workshop on Local Search Techniques in Constraint Satisfaction, volume 5 of Electronic Proceedings in Theoretical Computer Science, pp 13-25, 2009. (DOI).
  24. Design and Verification of Component Based Real-Time Systems. John Håkansson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 87, Acta Universitatis Upsaliensis, Uppsala, 2009.
  25. CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems. Valérie Issarny, Bernhard Steffen, Bengt Jonsson, Gordon Blair, Paul Grace, Marta Kwiatkowska, Radu Calinescu, Paola Inverardi, Massimo Tivoli, Antonia Bertolino, and Antonino Sabetta. In Proc. 14th International Conference on Engineering of Complex Computer Systems, pp 154-161, IEEE, Piscataway, NJ, 2009. (DOI).
  26. Using SPIN to model check concurrent algorithms, using a translation from C to Promela. Ke Jiang and Bengt Jonsson. In Proc. 2nd Swedish Workshop on Multi-Core Computing, pp 67-69, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2009. (fulltext).
  27. Infinite Structures in Timed Systems. Pavel Krcal. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 633, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext).
  28. Evolution of an international collaborative student project. Cary Laxer, Mats Daniels, Åsa Cajander, and Michael Wollowski. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link).
  29. WCET Analysis of the ?C/OS-II Real-Time Kernel. Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, and Wang Yi. In Proc. 12th International Conference on Computational Science and Engineering: Vol. 2, pp 270-276, IEEE, Piscataway, NJ, 2009. (DOI).
  30. Helping students debug concurrent programs. Jan Lönnberg, Lauri Malmi, and Anders Berglund. In Koli Calling: Proc. 8th International Conference on Computing Education Research, volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, pp 76-79, 2009. (Proceedings).
  31. How students develop concurrent programs. Jan Lönnberg, Anders Berglund, and Lauri Malmi. In Australian Computer Science Communications, volume 31, number 5, pp 129-138, 2009. (External link).
  32. Constrained optimisation over massive databases. Toni Mancini, Pierre Flener, Amir Hossein Monshi, and Justin Pearson. In Proc. 16th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 589 of CEUR Workshop Proceedings, p 16, Italian Association for Artificial Intelligence, 2009. (Proceedings).
  33. Protecting Receiver Privacy in Routing for Wireless Sensor Networks. Edith Ngai and Brittle Tsoi. In Mobile and Wireless Network Security: MWNS 2009, pp 63-74, Shaker Verlag, Aachen, Germany, 2009.
  34. An adaptive delay-minimized route design for wireless sensor–actuator networks. Edith C.-H. Ngai, Jiangchuan Liu, and Michael R. Lyu. In IEEE Transactions on Vehicular Technology, volume 58, number 9, pp 5083-5094, 2009. (DOI).
  35. Information-Aware Traffic Reduction for Wireless Sensor Networks. Edith C.-H. Ngai, Erol Gelenbe, and Gregory Humber. In Proc. 34th Conference on Local Computer Networks, pp 451-458, IEEE, Piscataway, NJ, 2009. (DOI).
  36. On Providing Location Privacy for Mobile Sinks in Wireless Sensor Networks. Edith C.-H. Ngai and Ioana Rodhe. In Proc. 12th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile Systems, pp 116-123, ACM Press, New York, 2009. (DOI).
  37. On Providing Sink Anonymity for Sensor Networks. Edith C.-H. Ngai. In Proc. 5th International Wireless Communications and Mobile Computing Conference, pp 269-273, ACM Press, New York, 2009. (DOI).
  38. A Search-based Network Architecture for Mobile Devices. Erik Nordström, Per Gunningberg, and Christian Rohner. Technical report / Department of Information Technology, Uppsala University nr 2009-003, 2009. (External link, fulltext).
  39. Haggle: A Data-centric Network Architecture for Mobile Devices. Erik Nordström, Per Gunningberg, and Christian Rohner. 10th ACM International Symposium on Mobile Ad Hoc Networking and Computing: Mobihoc Wireless S3 Workshop (Invited talk), 2009. (fulltext).
  40. Search-Based Picture Sharing With Mobile Phones: Demo. Erik Nordström, Christian Rohner, Fredrik Bjurefors, and Daniel Aldman. In ACM MobiHoc, New Orleans, 2009.
  41. Using Search to Enhance Picture Sharing with Mobile Phones: Demo. Erik Nordström, Daniel Aldman, Fredrik Bjurefors, and Christian Rohner. In ACM MobiSys, ACM, Krakow, 2009.
  42. Analysing Fault Tolerance for Erlang Applications. Jan Henry Nyström. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 86, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext).
  43. Proc. 8th International Conference on Computing Education Research: Koli Calling. Arnold Pears and Lauri Malmi (eds). Volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, 2009. (External link).
  44. Values and Objectives in Computing Education Research. Arnold Pears and Lauri Malmi. In ACM Transactions on Computing Education, volume 9, number 3, pp 15:1-6, 2009. (DOI, fulltext:postprint).
  45. Sensei-UU: a flexible testbed for heterogeneous wireless sensor networks. Olof Rensfelt, Frederik Hermans, Christofer Ferm, Lars-Åke Larzon, and Per Gunningberg. In Testbeds and Research Infrastructures for the Development of Networks Communities and Workshops, 2009. TridentCom 2009. 5th International Conference on, pp 1-2, 2009. (DOI).
  46. A study of the message complexity for integrity preserving aggregation schemes used in wireless sensor networks. Ioana Rodhe and Christian Rohner. 6th Swedish National Computer Networking Workshop, Uppsala, Sweden, 2009.
  47. Efficient detection of communication in multi-cores. Andreas Sandberg and Stefanos Kaxiras. In Proc. 2nd Swedish Workshop on Multi-Core Computing, pp 119-121, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2009. (fulltext:postprint).
  48. Reconsidering algorithms for iterative solvers in the multicore era. Dan Wallin, Henrik Löf, Erik Hagersten, and Sverker Holmgren. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI).
  49. Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007. Mattias Wiggberg and Peter Dalenius. In Proc. 1st International Conference on Computer Supported Education: Volume 2, pp 5-12, Institute for Systems and Technologies of Information, Control and Communication, 2009.
  50. Modeling and analysis of thread-pools in an industrial communication platform. Frank S. de Boer, Immo Grabe, Mohammad Mahdi Jaghoori, Andries Stam, and Wang Yi. In Formal Methods and Software Engineering, volume 5885 of Lecture Notes in Computer Science, pp 367-386, Springer-Verlag, Berlin, 2009. (DOI).
  51. Revisiting constraint-directed search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI).

Updated  2016-12-09 16:26:43 by Peter Waites.