Department of Information Technology
Department of Information Technology
Uppsala UniversityInformation TechnologyResearchComputer Systems
Denna sida på svenska
Listen

Division of Computer Systems: Publications from 2002

  1. Regular Model Checking made Simple and Efficient. Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, and Julien D'Orso. In CONCUR 2002: Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings, pp 116-130, 2002.
  2. Regular Tree Model Checking. Parosh Aziz Abdulla, Bengt Jonsson, Pritha Mahata, and Julien D'Orsi. In CAV 2002, 14th Int. Conf. on Computer Aided Verification., pp 555-568, 2002.
  3. Code Synthesis for Timed Automata. Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, and Wang Yi. In Nordic Journal of Computing, volume 9, number 4, pp 269-300, 2002.
  4. TIMES: A Tool for Modelling and Implementation of Embedded Systems. Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi. In Tools and Algorithms for the Construction and Analysis of Systems: TACAS 2002, volume 2280 of Lecture Notes in Computer Science, pp 460-464, Springer-Verlag, Berlin, 2002. (DOI).
  5. New UPPAAL Architecture. Gerd Behrmann, Alexandre David, Kim Larsen, and Wang yi. In Workshop on Real-Time Tools, 2002.
  6. UPPAAL Implementation Secrets. Behrmann Gerd, Johan Bengtsson, Alexandre David, Kim Larsen, Paul Pettersson, and Wang Yi. In International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems, p 3, 2002.
  7. Automated Analysis of an Audio Control Protocol Using UPPAAL. Johan Bengtsson, David Griffioen, Kåre Kristoffersen, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. In Journal of Logic and Algebraic Programming, volume 52-53, pp 163-181, 2002. (External link).
  8. Clocks, DBMs and States in Timed Systems. Johan Bengtsson. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 39, Acta Universitatis Upsaliensis, Uppsala, 2002.
  9. Reachability Analysis for Timed Automata with Constraints over Clock Differences.. Yi W. Bengtsson J. Technical Report, Uppsala University, 2002.
  10. Are you guys really concerned about the grades?. Anders Berglund and Shirley Booth. In Proceedings of ISCRAT2002, 2002. (External link).
  11. How do students understand network protocols?: A phenomenographic study. Anders Berglund. Technical report / Department of Information Technology, Uppsala University nr 2002-006, 2002. (fulltext).
  12. Learning computer systems in a distributed course: Problematizing content and context.. Anders Berglund. In Proceedings of the European Association for Research on Learning and Instruction, SIG 10, Current Issues in Phenomenography, 2002. (External link).
  13. On the understanding of computer network protocols. Anders Berglund. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-002, Uppsala University, 2002. (fulltext).
  14. Understanding Network Protocols.: A Phenomenographic study. Anders Berglund. In Proceedings of the second annual Finnish/Baltic Sea conference on computer science education, pp 70-75, 2002.
  15. Automated analysis of dynamic web services. Jonas Boustedt. Technical report / Department of Information Technology, Uppsala University nr 2002-010, 2002. (fulltext).
  16. Worst-Case Execution Time Analysis of Disable Interrupt Regions in a Commercial Real-Time Operating System. Martin Carlsson, Jakob Engblom, Andreas Ermedahl, Jan Lindblad, and Björn Lisper. In RT TOOLS 2002,: Proc. 2nd Workshop on Real-Time Tools, Copenhagen, Denmar, August 2002, 2002.
  17. Eliminating queues from RT UML model representations. Werner Damm and Bengt Jonsson. In FTRTFT 2002: Formal Techniques in Real-Time and Fault-Tolerant Systems, 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002, Proceedings., pp 375-394, 2002.
  18. Distributed Teaching with Local Control. Mats Daniels. In IEEE Frontiers in Education conference, p T4E12, 2002. (External link).
  19. Open Ended Group Projects, Motivating Students and Preparing them for the. Mats Daniels, Xristine Faulkner, and Ian Newman. In IEEE Conference on Software Engineering Education & Training, 2002. (External link).
  20. A Tool Architecture for the Next Generation of Uppaal. Alexandre David, Gerd Behrmann, Kim Larsen, and Wang Yi. In Formal Methods at the Crossroads. From Panacea to Foundational Support, pp 352-366, Springer, 2002.
  21. Formal Verification of UML Statecharts with Real-Time Extensions. Alexandre David, Oliver Möller, and Wang Yi. In Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, pp 218-232, 2002.
  22. Processor Pipelines and Static Worst-Case Execution Time Analysis. Jakob Engblom. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 36, Acta Universitatis Upsaliensis, Uppsala, 2002. (fulltext).
  23. Processor Pipelines and Their Properties for Static WCET Analysis.. Jakob Engblom and Bengt Jonsson. In EMSOFT 2002: Embedded Software, Second International Conference, EMSOFT 2002, Grenoble, France, October 7-9, 2002, Proceedings., pp 334-348, 2002. (External link).
  24. A Unified Flow Information Language for WCET Analysis. Ermedahl A, Engblom J, Stappert F.. In WCET Workshop, Wien, June 18, 2002., 2002.
  25. A QoS aware power save protocol for wireless ad hoc networks. Laura Marie Feeney. In 1st Mediterranean Workshop on Ad Hoc Networks(Med-Hoc Net 2002), 2002.
  26. Demonstration Abstract: Spontaneous networking for secure collaborative applications in an infrastructureless environment.: International Conference on Pervasive Computing (Pervasive 2002). Laura Marie Feeney, Bengt Ahlgren, and Assar Westerlund. 2002.
  27. Spontnet: Experiences in configuring and securing small ad hoc networks. Laura Marie Feeney, Bengt Ahlgren, Assar Westerlund, and Adam Dunkels. In 5th International Workshop on Networked Applicances(IWNA5), 2002.
  28. Schedulability Analysis with Two Clocks. Fersman E, Mokrushin L, Pettersson P, Yi W.. Technical Report, 2002.
  29. Breaking all the symmetries in matrix models: Results, conjectures, and directions. Pierre Flener and Justin Pearson. In Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs, 2002. (External link).
  30. Breaking row and column symmetries in matrix models. Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, and Toby Walsh. In Principles and Practice of Constraint Programming – CP 2002, volume 2470 of Lecture Notes in Computer Science, pp 462-476, Springer-Verlag, Berlin, 2002. (DOI).
  31. Proceedings of SymCon'02, the Second International Workshop on Symmetry in CSPs. Pierre Flener and Justin Pearson (eds). 2002. (External link).
  32. LUNAR: ligthweight Underlay Network Ad-hoc Routing. Richard Gold and Christian Tschudin. Technical Report, Uppsala University, 2002.
  33. Hierarchical SMP computer System. Erik Hagersten. 2002.
  34. Hybrid memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2002.
  35. Methods and apparatus for a directory-less memory access protocol in a distributed shared memory computer system. Erik Hagersten. 2002.
  36. Selective address translation in coherent memory replication. Erik Hagersten. 2002.
  37. Skewed finite hashing function. Erik Hagersten. 2002.
  38. Performance of PDE solvers on a self-optimizing NUMA architecture. Sverker Holmgren, Markus Nordén, Jarmo Rantakokko, and Dan Wallin. In Parallel Algorithms and Applications, volume 17, pp 285-299, 2002. (DOI).
  39. Differentiated security in wireless networks. Andreas Johnsson. Information technology, Uppsala University, 2002. (External link).
  40. Testing preorders for probabilistic processes can be characterized by simulations. Bengt Jonsson and Wang Yi. In Theoretical Computer Science, volume 282, number 1, pp 33-51, 2002.
  41. Accessing distributed proxy configurations. Björn Landfeldt, Marius Portmann, Aruna Seneviratne, Sebastien Ardon, and Per Gunningberg. AU, WO, US, 2002. (External link).
  42. Creating distributed proxy configurations. Björn Landfeldt, Aruna Seneviratne, Per Gunningberg, Sebastien Ardon, and Marius Portmann. AU, WO, US, GB, DE, 2002. (External link).
  43. Learning from students: Continous improvement in international collaboration. Mary Last, Mats Daniels, Martha Hause, and Mark Woodroffe. In ACM SIGCSE Bulletin, volume 34, number 3, 2002. (External link).
  44. Dynamic Message Sequence Charts. Martin Leucker, Parthasarahy Madhusudan, and Supratik Mukhopadhyay. In FSTTCS 2002: Foundations of Software Technology and Theoretical Computer Science, 22nd Conference Kanpur, India, December 12-14, 2002, Proceedings., pp 253-264, 2002.
  45. Axiomatising timed automata. Huimin Lin and Wang Yi. In Acta Informatica, volume 38, number 4, pp 277-305, 2002.
  46. Ad hoc Protocol Evaluation and Experiences of Real World Ad Hoc Networking. David Lundberg. Informationsteknologi, Uppsala Universitet, 2002.
  47. A Large-scale Testbed for Reproducible Ad hoc Protocol Evaluations. Henrik Lundgren, David Lundberg, Johan Nielsen, Erik Nordström, and Christian Tschudin. In Proceedings of the 3rd annual IEEE Wireless Communications and Networking Conference, 2002. WCNC2002., volume 1 of IEEE Wireless Communications and Networking, pp 412-418, 2002. (DOI).
  48. Coping with Communication Gray Zones in IEEE 802.11b based Ad hoc Networks. Henrik Lundgren, Erik Nordström, and Christian Tschudin. In Proceedings of the 5th ACM international workshop on Wireless mobile multimedi, 2002.
  49. Implementation and real-world evaluation of routing protocols for wireless ad hoc networks. Henrik Lundgren. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2002-008, Uppsala University, 2002. (fulltext).
  50. The Gray Zone Problem in IEEE 802.11b based Ad hoc Networks. Henrik Lundgren, Erik Nordström, and Christian Tschudin. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 6, number 3, pp 104-105, 2002.
  51. First-Come-First-Served Packet Dispersion and Implications for. Bob Melander, Mats Björkman, and Per Gunningberg. 2002.
  52. Regression-Based Available Bandwidth Measurements. Bob Melander, Mats Björkman, and Per Gunningberg. In Proc of the 2002 International Symposium on Performance Evaluation of Computer and Telecommunications, 2002.
  53. Trace-Driven Network Path Emulation. Bob Melander and Mats Björkman. Technical report / Department of Information Technology, Uppsala University nr 2002-037, Uppsala University, 2002. (fulltext).
  54. Extracting the Process Structure of Erlang Applications. J. Nyström and B. Jonsson. In Erlang Workshop, Firenze, Sept. 2, 2002.
  55. Describing computer science education research: An academic process view. Arnold Pears, Mats Daniels, and Anders Berglund. In SCS 2002, Western multiconference, San Antonio, pp 99-104, 2002. (External link).
  56. The HiPE/x86 Erlang Compiler: System Description and Performance Evaluation.. Mikael Pettersson, Konstantinos Sagonas, and Erik Johansson. In Proceedings of the 6th International Symposium on Functional and Logic Programming, Aizu, Japan, September 2002. Springer, pp 228-244, 2002.
  57. Workshop on Real-Time Tools. Paul Pettersson and Wang Yi. 2002.
  58. Efficient Synchronization for Non-Uniform Communication Architectures. Zoran Radovic and Erik Hagersten. In Proceedings of Supercomputing 2002, Baltimore, Maryland, USA, 2002. (External link).
  59. RH Lock: A Scalable Hierarchical Spin Lock. Zoran Radovic and Erik Hagersten. In Proceedings of the 2nd Annual Workshop on Memory Performance Issues (WMPI 2002), held in conjunction with the 29th International Symposium on Computer Architecture (ISCA29), Anchorage, Alaska, USA, 2002. (External link).
  60. Network Pointers. Christian Tschudin and Richard Gold. In SIGCOMM Communications Review, volume 33, number 1, 2002. (External link).
  61. Adaptive Resource-based Web Server Admission Control. Thiemo Voigt and Per Gunningberg. In 7th IEEE Symposium on Computers and Communication, 2002. (DOI).
  62. Architectures for Service Differentiation in Overloaded Internet Servers. Thiemo Voigt. Ph.D. thesis, DoCS nr 119, SICS dissertation series nr 30, Institutionen för informationsteknologi, Uppsala, 2002. (fulltext).
  63. Handling Multiple Bottlenecks in Web Servers Using Adaptive Inbound Controls. Thiemo Voigt and Per Gunningberg. In Seventh International Workshop on Protocols for High-Speed Networks (PfHSN 2002), 2002.

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