Skip to main content
Department of Information Technology

Division of Computer Systems: Publications from 2005

  1. Simulating perfect channels with probabilistic lossy channels. Parosh Abdulla, Christel Baier, S. Purushotaman Iyer, and Bengt Jonsson. In Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
  2. Decidability and Complexity Results for Timed Automata via Channel Machines. Parosh Aziz Abdulla, Johann Deneux, Joel Ouaknine, and James Worrell. In Proc. ICALP'05, 32nd Int. Colloquium on Automata, Languages and Programming, 2005.
  3. From Monotonic Transition Systems to Monotonic Games. Parosh Aziz Abdulla. In Spring School on Infinite Games and Their Applications, 2005.
  4. Simulating Perfect Channels with Probabilistic Lossy Channels. Parosh Aziz Abdulla, Christel Baier, Purushothaman Iyer, and Bengt Jonsson. In The Journal of Information and Computation, volume 197, number 1-2, pp 22-40, 2005.
  5. Simulation-Based Iteration of Tree Transducers. Parosh Aziz Abdulla, Axel Legay, Julien d'Orso, and Ahmed Rezine. In Proc. TACAS'05, 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2005.
  6. Verification of Parameterized Timed Systems. Parosh Aziz Abdulla. In FORMATS'05, International Conference on Formal ModUppsala, Sweden, 2005 modelling and Analysis of Timed Systems, 2005.
  7. Verification of Probabilistic Systems with Faulty Communication. Parosh Aziz Abdulla, Nathalie Bertrand, Alexander Rabinovich, and Philippe Schnoebelen. In The Journal of Information and Computation, 2005.
  8. Verifying Infinite Markov Chains with a Finite Attractor or the Global Coarseness Property. Parosh Aziz Abdulla, Noomene Ben Henda, and Richard Mayr. In http://doi.ieeecomputersociety.org/10.1109/LICS.2005.54, 2005. (External link).
  9. Efficient and Flexible Characterization of Data Locality through Native Execution Sampling. Erik Berg. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 101, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  10. Fast Data-Locality Profiling of Native Execution. Erik Berg and Erik Hagersten. In ACM SIGMETRICS Performance Evaluation Review, volume 33, number 1, pp 169-180, 2005. (DOI).
  11. Insights to Angluin's Learning. Therese Berg, Bengt Jonsson, Martin Leucker, and Mayank Saksena. In Electr. Notes on Theoret. Comput. Sci., volume 118, pp 3-18, 2005.
  12. Model-based Testing of Reactive Systems: 19 Model Checking. Therese Berg and Harald Raffelt. In , pp 557-603, Springer Berlin / Heidelberg, 2005. (DOI, External link).
  13. On the Correspondence Between Conformance Testing and Regular Inference. Therese Berg, Olga Grinchtein, Bengt Jonsson, Martin Leucker, Harald Raffelt, and Bernhard Steffen. In FASE 2005, pp 175-189, 2005.
  14. Learning computer systems in a distributed project course: The what, why, how and where. Anders Berglund. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 62, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  15. What do our students strive for?: Insights from a distributed, project-based course in computer systems. Anders Berglund and Anna Eckerdal. In Proc. 5th Finnish/Baltic Sea Conference on Computer Science Education: Koli Calling, pp 65-72, Turku Centre for Computer Science, Finland, 2005. (Proceedings).
  16. Power saving in wireless ad hoc networks without synchronization. Torsten Braun and Laura Marie Feeney. In 5th Scandinavian Workshop on Wireless Ad Hoc Networks (ADHOC'05), 2005.
  17. Model-Based Testing of Reactive Systems: Advanced Lectures. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (eds). Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
  18. Model-Based Testing of Reactive Systems, Advanced Lectures: outcome of a research seminar. Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, and Alexander Pretschner (eds). Volume 3472 of Lecture Notes in Computer Science, Springer Verlag, 2005.
  19. SaveCCM: An Analysable Component Model for Real-Time Systems. Jan Carlson, John Håkansson, and Paul Pettersson. In Proceedings of International Workshop on Formal Aspects of Component Software, 2005.
  20. IP Quality of Service Support for Soft Real-Time Applications. Karthik Channakeshava, Kaustubh Phanse, Luiz DaSilva, Binoy Ravindran, Scott Midkiff, and Douglas Jensen. In Fourth International Workshop on Real-time Networks, 2005. (External link).
  21. Managing cross-cultural differences in an open ended group project course. Mats Daniels, Lecia Barker, Åsa Cajander, Cary Laxer, and Dan Moore. In IEEE Frontiers in education conference, pp T4D22-23, 2005.
  22. Widening the horizon using the OEIGP. Mats Daniels, Xristine Faulkner, and Ian Newman. In HCI International, Las Vegas, 2005.
  23. Janus: an architecture for flexible access to sensor networks. Adam Dunkels, Richard Gold, Sergio Angel Marti, Arnold Pears, and Mats Uddenfeldt. In DIN '05: Proceedings of the 1st ACM workshop on Dynamic interconnection of networks, pp 48-52, 2005. (DOI).
  24. What Does It Take to Learn 'Programming Thinking'?. Anna Eckerdal and Anders Berglund. In Proc. 1st International Computing Education Research Workshop, pp 135-142, ACM Press, New York, 2005. (DOI).
  25. Developing Embedded Networked Products using the Simics Full-System Simulator. Jakob Engblom, David Kågedal, Johan Runeson, and Andreas Moestedt. In Proc. 16th IEEE International Symposium on Personal Indoor and Mobile Radio Communications: (PIMRC 2005), Berlin, Germany September 2005, 2005.
  26. Guidelines for a curriculum on embedded software and systems: The ARTIST Education Group. Jakob Engblom. In ACM Transactions on Embedded Computing Systems (TECS), volume 4, number 3, pp 587-611, 2005.
  27. Clustered Worst-Case Execution-Time Calculation. Andreas Ermedahl, Friedhelm Stappert, and Jakob Engblom. In IEEE Transactions on Computers, volume 54, number 9, 2005.
  28. Enabling limited traffic scheduling in asynchronous ad hoc networks. Laura Marie Feeney, Bengt Ahlgren, and Per Gunningberg. In 3rd Swedish National Computer Networking Workshop (SNCNW 2005), 2005.
  29. Modelling Fusion Calculus using HD-Automata. Gianluigi Ferrari, Ugo Montanari, Emilio Tuosto, Björn Victor, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-038, 2005.
  30. An Indirection Architecture for the Internet. Richard Gold. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 128, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  31. Inference of Timed Transition Systems. Olga Grinchtein, Martin Leucker, and Bengt Jonsson. In Proceedings of the 6th International Workshop on Verification of Infinite-State Systems (INFINITY), 2005.
  32. Multi-node computer system employing multiple memory response states. Erik Hagersten. 2005.
  33. Multi-node computer system where active devices selectively initiate certain transactions using remote-type address packets. Erik Hagersten. 2005.
  34. Multi-node system in which home memory subsystem stores global to local address translation information for replicating nodes. Erik Hagersten. 2005.
  35. Parallella program ger paradigmskifte. Erik Hagersten, Lars Albertsson, and Jakob Engblom. In Elektroniktidningen, number 13, 2005.
  36. Exploring optimal solution to hardware/software partitioning for synchronous model. Jifeng He, Dang Huang, Geguang Pu, Zongyan Qiu, and Wang Yi. In Formal Aspects of Computing, volume 17, number 4, pp 587-611, 2005.
  37. UppDMC: A Distributed Model Checker for Fragments of the mu-Calculus.. Fredrik Holmen, Martin Leucker, and Marcus Lindström. In PDMD 2004: Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, pp 91-105, 2005.
  38. Finite State Machines. Bengt Jonsson. In Model-Based Testing of Reactive Systems: Advanced Lectures, pp 611-614, Springer, 2005.
  39. Exploring Processor Design Options for Java Based Middleware. Martin Karlsson, Kevin Moore, Erik Hagersten, and David Wood. In Proceedings of the 2005 International Conference on Parallel Processing (ICPP-05), 2005.
  40. Memory System Design for Chip-Multiprocessors. Martin Karlsson. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 134, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext, cover).
  41. Approaches to P2P Applications Development. Thabotharan Kathiravelu and Arnold Pears. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2005. (DOI, External link).
  42. Reachability Relations and Sampled Semantics of Timed Systems. Pavel Krcal and Radek Pelanek. FIMU-RS nr 2005-09, Faculty of Informatics, Masaryk University Brno, Czechia, 2005. (External link).
  43. Functional programming languages for verification tools: a comparison of Standard ML and Haskell. Martin Leucker, Thomas Noll, Perdita Stevens, and Michael Weber. In International Journal on Software Tools for Technology Transfer, volume 7, number 2, pp 184-194, 2005.
  44. Experimental Evaluation of Three Ad Hoc Routing Protocols. Henrik Lundgren. 2005.
  45. Implementation and Experimental Evaluation of Wireless Ad hoc Routing Protocols. Henrik Lundgren. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 17, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  46. Model Checking Parameterized Timed Systems. Pritha Mahata. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 61, Institutionen för informationsteknologi, Uppsala, 2005. (fulltext).
  47. Wireless Communication in Orienteering. Sergio Angel Marti and Christian Rohner. 2005. (External link).
  48. A Unifying Model of Variables and Names. Marino Miculan and Kidane Yemane. In Proceedings of FoSSaCS 2005, 2005. (DOI).
  49. HD-Automata for Open Bisimulation. Marino Miculan, Emilio Tuosto, and Kidane Yemane. Technical report / Department of Information Technology, Uppsala University nr 2005-037, 2005. (fulltext).
  50. Developing and testing distributed CAN-based real-time control-systems using a single PC. Anders Möller, Per Åberg, Fredrik Löwenhielm, Jakob Brundin, Jakob Engblom, and Mikael Nolin. In Proc. 10th International CAN Conference, CAN in Automation: Roma, Italy, March 2005, 2005.
  51. Regular Model Checking. Marcus Nilsson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 60, Acta Universitatis Upsaliensis, Uppsala, 2005.
  52. A Testbed and Methodology for Experimental Evaluation of Mobile Ad hoc Networks. Erik Nordström, Per Gunningberg, and Henrik Lundgren. In Proceedings of the First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), 2005.
  53. A Testbed and Methodology for Experimental Evaluation of Wireless Mobile Ad hoc Networks. Erik Nordström, Per Gunningberg, and Henrik Lundgren. In Proceedings of The First International Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities (TRIDENTCOM), IEEE Computer Society, IEEE Computer Society, 2005.
  54. Interaction between TCP and UDP flows in Wireless Multi-hop Ad hoc Networks. Erik Nordström and Christian Rohner. In Proceedings of the 5th Scandinavian Workshop on Wireless Ad-hoc Networks (Adhoc'05), 2005. (External link).
  55. Mythbusters: Whatever You Thought About MANET Routing, Think Again.... Erik Nordström, Richard Gold, and Per Gunningberg. Uppsala University, 2005. (External link).
  56. Constructing a Core Literature for Computing Education Research. Arnold Pears, Stephen Seidman, Crystal Eney, Päivi Kinnunen, and Lauri Malmi. In ACM SIGCSE Bulletin, volume 37, number 4, pp 152-161, 2005. (External link).
  57. Formal Modeling and Analysis of Timed Systems: Third International Conference, FORMATS 2005, Uppsala Sweden, September 2005, Proceedings. Paul Pettersson and Yi Wang (eds). Volume 3829 of Lecture Notes in Computer Science, Springer-Verlag, 2005.
  58. Formal Modeling and Analysis of Timed Systems, Third International Conference. Paul Pettersson and Yi Wang (eds). Volume 3829 of Lecture Notes in Computer Science, Springer Verlag, 2005.
  59. Nordic Journal of Computing: Selected Papers of the Sixteenth Nordic Workshop on Programming Theory, October 6-8, 2004. Paul Pettersson and Yi Wang (eds). Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
  60. Nordic Journal of Computing. Paul Pettersson and Yi Wang (eds). Publishing Accociation Nordic Journal of Computing, Helsinki, 2005.
  61. Design and Demonstration of Policy-Based Management in a Multi-Hop Ad Hoc Network Testbed. Kaustubh Phanse, Luiz DaSilva, and Scott Midkiff. In International Journal of Ad Hoc Networks, volume 3, number 3, 2005. (External link).
  62. Model-Based Testing - A Glossary. Alexander Pretschner and Martin Leucker. In Model-Based Testing of Reactive Systems,: Advanced Lectures, pp 607-609, Springer, 2005.
  63. Software Techniques for Distributed Shared Memory. Zoran Radovic. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 67, Acta Universitatis Upsaliensis, Uppsala, 2005. (fulltext).
  64. LearnLib: a library for automata learning and experimentation. Harald Raffelt, Bernhard Steffen, and Therese Berg. In Proceedings of the 10th international workshop on Formal methods for industrial critical systems, p 10, 2005. (DOI, External link).
  65. Interactions between TCP, UDP and Routing Protocols in Wireless Multi-hop Ad hoc Networks. Christian Rohner, Erik Nordström, Per Gunningberg, and Christian Tschudin. In Proceedings of the 1st IEEE ICPS Workshop on Multi-hop Ad hoc Networks: from theory to reality (REALMAN 2005), 2005. (External link).
  66. Skewed Caches from a Low-Power Perspective. Mathias Spjuth, Martin Karlsson, and Erik Hagersten. In Proceedings of Computing Frontiers, Ischia, Italy, May 2005, 2005.
  67. High-Performance Longest Prefix Matching supporting High-Speed Incremental Updates and Guaranteed Compression. Mikael Sundström and Lars-Åke Larzon. In Proceedings of IEEE Infocom 2005, 2005.
  68. Lessons from Experimental MANET Research. Christian Tschudin, Per Gunningberg, Henrik Lundgren, and Erik Nordström. In Ad hoc networks, volume 3, number 2, pp 221-233, 2005. (DOI).
  69. The Design and Implementation of an Architecture for Flexible Access to Sensor Networks. Mats Uddenfeldt. 2005. (External link).
  70. Compositional derivation of symmetries for constraint satisfaction. Pascal Van Hentenryck, Pierre Flener, Justin Pearson, and Magnus Ågren. In Abstraction, Reformulation and Approximation: 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005. Proceedings, pp 234-247, 2005. (DOI).
  71. Proceedings of the REALWSN'05: Workshop on Real-World Wireless Sensor Networks. Thiemo Voigt and Christian Rohner (eds). Technical Report T2005:09, SICS - Swedish Institute of Computer Science, 2005. (External link).
  72. Vasa: A Simulator Infrastructure with Adjustable Fidelity. Dan Wallin, Håkan Zeffer, Martin Karlsson, and Erik Hagersten. In In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2005), Phoenix, Arizona, USA, November 2005., 2005. (External link).
  73. Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. Oskar Wibling, Joachim Parrow, and Arnold Pears. In Formal Techniques for Networked and Distributed Systems – FORTE 2005, volume 3731 of Lecture Notes in Computer Science, pp 128-142, Springer-Verlag, Berlin, 2005. (DOI).
  74. Adaptive Coherence Batching for Trap-Based Memory Architectures. Håkan Zeffer and Erik Hagersten. information Technology - Technical reports nr 2005-016, Uppsala Universitet, dept of information technology, 2005. (External link).
  75. Flexibility Implies Performance. Håkan Zeffer, Zoran Radovic, and Erik Hagersten. Information Technology - Technical reports nr 2005-013, uppsala universitet, dept of information technology, 2005. (External link).
  76. Hardware–Software Tradeoffs in Shared-Memory Implementations. Håkan Zeffer. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2005-002, Uppsala University, 2005. (fulltext).
  77. TMA: A Trap-Based Memory Architecture. Håkan Zeffer, Zoran Radovic, Martin Karlsson, and Erik Hagersten. information Technology - Technical reports nr 2005-015, Uppsala Universitet, dept of information technology, 2005. (External link).
  78. Incremental algorithms for local search from existential second-order logic. Magnus Ågren, Pierre Flener, and Justin Pearson. In Proceedings of Principles and Practice of Constraint Programming - CP 2005, pp 47-61, 2005. (External link).
  79. Set variables and local search. Magnus Ågren, Pierre Flener, and Justin Pearson. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems: Second International Conference, CPAIOR 2005, Proceedings, pp 19-33, 2005. (External link).

Updated  2016-12-09 16:25:57 by Peter Waites.