Division of Computer Systems: Publications from 2009
-
Approximated Context-Sensitive Analysis for Parameterized Verification
. 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
).
-
Approximated parameterized verification of infinite-state processes with global conditions
. In Formal methods in system design, volume 34, number 2, pp 126-156, 2009. (DOI
).
-
Automatic Verification of Directory-Based Consistency Protocols
. 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
).
-
Monotonic Abstraction: on Efficient Verification of Parameterized Systems
. In International Journal of Foundations of Computer Science, volume 20, number 5, pp 779-801, 2009. (DOI
).
-
A uniform (bi-)simulation-based framework for reducing tree automata
. In Electronic Notes in Theoretical Computer Science, volume 251, pp 27-48, 2009. (DOI
).
-
Composed bisimulation for tree automata
. In International Journal of Foundations of Computer Science, volume 20, number 4, pp 685-700, 2009. (DOI
).
-
Universality of R-automata with value copying
. In Electronic Notes in Theoretical Computer Science, volume 239, pp 131-141, 2009. (DOI
).
-
Learning computer science: Perceptions, actions and roles
. In European Journal of Engineering Education, volume 34, pp 327-338, 2009. (DOI
).
-
Regular Inference for Communication Protocol Entities
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 605, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext
).
-
Introducing an external mentor in an international open ended group project
. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp T2D-1-6, IEEE, Piscataway, NJ, 2009. (DOI
).
-
Students analyzing their collaboration in an international open ended group project
. In Proc. 39th ASEE/IEEE Frontiers in Education Conference, pp M1D-1-6, IEEE, Piscataway, NJ, 2009. (DOI
).
-
A global software project: Developing a tablet PC capture platform for explanograms
. 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
).
-
Reflections on trustworthiness in phenomenographic research: Recognising purpose, context and change in the process of research
. In Education as Change, volume 13, number 2, pp 339-355, 2009. (DOI
, fulltext:postprint
).
-
Detailed simulation of heterogeneous wireless sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2009-001, Uppsala University, 2009. (fulltext
).
-
Managing cross layer information in OMNeT++ simulations
. 6th Swedish National Computer Networking Workshop (SNCNW'09), Uppsala, May 4-5, 2009, 2009. (fulltext
).
-
Dynamic structural symmetry breaking for constraint satisfaction problems
. In Constraints, volume 14, number 4, pp 506-538, 2009. (DOI
).
-
Solving necklace constraint problems
. In Journal of Algorithms, volume 64, number 2-3, pp 61-73, 2009. (DOI
).
-
Static and dynamic structural symmetry breaking
. In Annals of Mathematics and Artificial Intelligence, volume 57, number 1, pp 37-57, 2009. (DOI
).
-
Cache-aware scheduling and analysis for multicores
. In Proc. 9th ACM International Conference on Embedded Software, pp 245-254, ACM Press, New York, 2009. (DOI
).
-
Improving scalability of model-checking for minimizing buffer requirements of synchronous dataflow graphs
. In Proc. 14th Asia and South Pacific Design Automation Conference, pp 715-720, IEEE, Piscataway, NJ, 2009. (DOI
).
-
New Response Time Bounds for Fixed Priority Multiprocessor Scheduling
. In Proc. Real-Time Systems Symposium: RTSS 2009, pp 387-397, IEEE, Piscataway, NJ, 2009. (DOI
).
-
Dynamic demand-capacity balancing for air traffic management using constraint-based local search: First results
. 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
).
-
Toward an <em>automaton</em> constraint for local search
. 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
).
-
Design and Verification of Component Based Real-Time Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 87, Acta Universitatis Upsaliensis, Uppsala, 2009.
-
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
. In Proc. 14th International Conference on Engineering of Complex Computer Systems, pp 154-161, IEEE, Piscataway, NJ, 2009. (DOI
).
-
Using SPIN to model check concurrent algorithms, using a translation from C to Promela
. In Proc. 2nd Swedish Workshop on Multi-Core Computing, pp 67-69, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2009. (fulltext
).
-
Infinite Structures in Timed Systems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 633, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext
).
-
Evolution of an international collaborative student project
. In Australian Computer Science Communications, volume 31, number 5, pp 111-118, 2009. (External link
).
-
WCET Analysis of the ?C/OS-II Real-Time Kernel
. In Proc. 12th International Conference on Computational Science and Engineering: Vol. 2, pp 270-276, IEEE, Piscataway, NJ, 2009. (DOI
).
-
Helping students debug concurrent programs
. 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
).
-
How students develop concurrent programs
. In Australian Computer Science Communications, volume 31, number 5, pp 129-138, 2009. (External link
).
-
Constrained optimisation over massive databases
. 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
).
-
Protecting Receiver Privacy in Routing for Wireless Sensor Networks
. In Mobile and Wireless Network Security: MWNS 2009, pp 63-74, Shaker Verlag, Aachen, Germany, 2009.
-
An adaptive delay-minimized route design for wireless sensor–actuator networks
. In IEEE Transactions on Vehicular Technology, volume 58, number 9, pp 5083-5094, 2009. (DOI
).
-
Information-Aware Traffic Reduction for Wireless Sensor Networks
. In Proc. 34th Conference on Local Computer Networks, pp 451-458, IEEE, Piscataway, NJ, 2009. (DOI
).
-
On Providing Location Privacy for Mobile Sinks in Wireless Sensor Networks
. 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
).
-
On Providing Sink Anonymity for Sensor Networks
. In Proc. 5th International Wireless Communications and Mobile Computing Conference, pp 269-273, ACM Press, New York, 2009. (DOI
).
-
A Search-based Network Architecture for Mobile Devices
. Technical report / Department of Information Technology, Uppsala University nr 2009-003, 2009. (External link
, fulltext
).
-
Haggle: A Data-centric Network Architecture for Mobile Devices
. 10th ACM International Symposium on Mobile Ad Hoc Networking and Computing: Mobihoc Wireless S3 Workshop (Invited talk), 2009. (fulltext
).
-
Search-Based Picture Sharing With Mobile Phones: Demo
. In ACM MobiHoc, New Orleans, 2009.
-
Using Search to Enhance Picture Sharing with Mobile Phones: Demo
. In ACM MobiSys, ACM, Krakow, 2009.
-
Analysing Fault Tolerance for Erlang Applications
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 86, Acta Universitatis Upsaliensis, Uppsala, 2009. (fulltext
).
-
Proc. 8th International Conference on Computing Education Research: Koli Calling
. Volume 2009-004 of Technical report / Department of Information Technology, Uppsala University, 2009. (External link
).
-
Values and Objectives in Computing Education Research
. In ACM Transactions on Computing Education, volume 9, number 3, pp 15:1-6, 2009. (DOI
, fulltext:postprint
).
-
Sensei-UU: a flexible testbed for heterogeneous wireless sensor networks
. 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
).
-
A study of the message complexity for integrity preserving aggregation schemes used in wireless sensor networks
. 6th Swedish National Computer Networking Workshop, Uppsala, Sweden, 2009.
-
Efficient detection of communication in multi-cores
. In Proc. 2nd Swedish Workshop on Multi-Core Computing, pp 119-121, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2009. (fulltext:postprint
).
-
Reconsidering algorithms for iterative solvers in the multicore era
. In International Journal of Computational Science and Engineering, volume 4, pp 270-282, 2009. (DOI
).
-
Bridges and problem solving: Swedish engineering students' conceptions of engineering in 2007
. 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.
-
Modeling and analysis of thread-pools in an industrial communication platform
. In Formal Methods and Software Engineering, volume 5885 of Lecture Notes in Computer Science, pp 367-386, Springer-Verlag, Berlin, 2009. (DOI
).
-
Revisiting constraint-directed search
. In Information and Computation, volume 207, number 3, pp 438-457, 2009. (DOI
).