Division of Computer Systems: Publications from 2010
-
Generating Models of Infinite-State Communication Protocols Using Regular Inference with Abstraction
. In Testing Software and Systems: ICTSS 2010, volume 6435 of Lecture Notes in Computer Science, pp 188-204, Springer-Verlag, Berlin, 2010. (DOI
).
-
Analyzing the security in the GSM radio network using attack jungles
. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 60-74, Springer-Verlag, Berlin, 2010. (DOI
).
-
Constrained monotonic abstraction: A CEGAR for parameterized verification
. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 86-101, Springer-Verlag, Berlin, 2010. (DOI
).
-
Forcing monotonicity in parameterized verification: From multisets to words
. In SOFSEM 2010: Theory and Practice of Computer Science, volume 5901 of Lecture Notes in Computer Science, pp 1-15, Springer-Verlag, Berlin, 2010. (DOI
).
-
Sampled semantics of timed automata
. In Logical Methods in Computer Science, volume 6, number 3, pp 14:1-37, 2010. (DOI
).
-
Simulation subsumption in Ramsey-based Büchi automata universality and inclusion testing
. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 132-147, Springer-Verlag, Berlin, 2010. (DOI
).
-
Well (and better) quasi-ordered transition systems
. In Bulletin of Symbolic Logic, volume 16, number 4, pp 457-515, 2010.
-
When simulation meets antichains: On checking language inclusion of nondeterministic finite (tree) automata
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 6015 of Lecture Notes in Computer Science, pp 158-174, Springer-Verlag, Berlin, 2010. (DOI
).
-
From multi to single stack automata
. In CONCUR 2010 – Concurrency Theory, volume 6269 of Lecture Notes in Computer Science, pp 117-131, Springer-Verlag, Berlin, 2010. (DOI
).
-
Global model checking of ordered multi-pushdown systems
. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2010, volume 8 of Leibniz International Proceedings in Informatics, pp 216-227, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2010. (DOI
).
-
On the verification problem for weak memory models
. In Proc. 37th ACM Symposium on Principles of Programming Languages, pp 7-18, ACM Press, New York, 2010. (DOI
).
-
On matrices, automata, and double counting
. In Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, volume 6140 of Lecture Notes in Computer Science, pp 10-24, Springer-Verlag, Berlin, 2010. (DOI
).
-
Formalising process calculi
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 93, Acta Universitatis Upsaliensis, Uppsala, 2010.
-
Introductory programming and the didactic triangle
. In Australian Computer Science Communications, volume 32, number 2, pp 35-44, 2010. (External link
).
-
Interest dissemination in a searchable data-centric opportunistic network
. In Proc. European Wireless Conference: EW 2010, pp 889-895, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Block-Parallel Programming for Real-time Embedded Applications
. In Proc. 39th International Conference on Parallel Processing, pp 297-306, IEEE, Piscataway, NJ, 2010. (DOI
, fulltext:postprint
).
-
Inferring Compact Models of Communication Protocol Entities
. In Leveraging Applications of Formal Methods, Verification, and Validation: Part I, volume 6415 of Lecture Notes in Computer Science, pp 658-672, Springer-Verlag, Berlin, 2010. (DOI
).
-
Invariant synthesis for programs manipulating lists with unbounded data
. In Computer Aided Verification, volume 6174 of Lecture Notes in Computer Science, pp 72-88, Springer-Verlag, Berlin, 2010. (DOI
).
-
Internationella studentprojekt – en ämnesdidaktisk utmaning
. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 255-269, Uppsala Learning Lab, Uppsala University, 2010.
-
Mode Switch: Adaptive use of delay-sensitive or energy-aware communication in IEEE 802.15.4-based networks
. In Proc. 7th International Conference on Mobile Ad Hoc and Sensor Systems, pp 302-311, IEEE, Piscataway, NJ, 2010. (DOI
).
-
NETWORKING 2010
. Volume 6091 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2010.
-
Constructive controversy as a way to create "true collaboration" in an open ended group project setting
. In Australian Computer Science Communications, volume 32, number 2, pp 73-78, 2010. (External link
).
-
Engineering Education Research in Practice: Evolving use of open ended group projects as a pedagogical strategy for developing skills in global collaboration
. In International journal of engineering education, volume 26, number 4, pp 795-806, 2010.
-
Experiences from using Constructive Controversy in an Open Ended Group Project
. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp S3D-1-5, IEEE, Piscataway, NJ, 2010. (DOI
).
-
The contribution of open ended group projects to international student collaborations
. In ACM Inroads, volume 1, number 3, pp 79-84, 2010. (DOI
).
-
StatCC: a statistical cache contention model
. In Proc. 19th International Conference on Parallel Architectures and Compilation Techniques, pp 551-552, ACM Press, New York, 2010. (DOI
).
-
StatStack: Efficient modeling of LRU caches
. In Proc. International Symposium on Performance Analysis of Systems and Software: ISPASS 2010, pp 55-65, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Energy Framework: An extensible framework for simulating battery consumption in wireless networks
. In Proc. 3rd International ICST Conference on Simulation Tools and Techniques, pp 20:1-4, ICST, Brussels, Belgium, 2010. (DOI
, fulltext
).
-
Proc. 10th International Workshop on Symmetry in Constraint Satisfaction Problems
. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Proceedings
).
-
Adaptive random re-routing for differentiated QoS in sensor networks
. In Computer journal, volume 53, number 7, pp 1052-1061, 2010. (DOI
).
-
Learning of event-recording automata
. In Theoretical Computer Science, volume 411, number 47, pp 4029-4054, 2010. (DOI
).
-
Fixed-Priority Multiprocessor Scheduling with Liu & Layland's Utilization Bound
. In Proc. 16th Real-Time and Embedded Technology and Applications Symposium, pp 165-174, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Handover for a portable communication device between local and wide area wireless networks
. EU, WO, 2010. (External link
).
-
Efficient cache modeling with sparse data
. In Processor and System-on-Chip Simulation, pp 193-209, Springer, New York, 2010. (DOI
).
-
Energy-efficient task-mapping for data-driven sensor network macroprogramming using constraint programming
. In Proc. 9th International Workshop on Constraint Modelling and Reformulation, p 13, Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (fulltext
).
-
Use and analysis of student response systems in two summer courses
. In Att undervisa med vetenskaplig förankring – i praktiken!, volume 8 of Rapportserie från Avdelningen för universitetspedagogisk utveckling, pp 115-128, Uppsala universitet, 2010.
-
On Handling Data in Automata Learning: Considerations from the CONNECT Perspective
. In Leveraging Applications of Formal Methods, Verification, and Validation: Part II, volume 6416 of Lecture Notes in Computer Science, pp 221-235, Springer-Verlag, Berlin, 2010. (DOI
).
-
Quality-of-Information Aware Data Delivery for Wireless Sensor Networks: Description and Experiments
. In Proc. Wireless Communications and Networking Conference 2010, p 6, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Psi-calculi: a framework for mobile process calculi: Cook your own correct process calculus - just add data and logic
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 94, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext
).
-
SARC coherence: Scaling directory cache coherence in performance and power
. In IEEE Micro, volume 30, number 5, pp 54-65, 2010. (DOI
).
-
Interval-based models for run-time DVFS orchestration in superscalar processors
. In Proc. 7th International Conference on Computing Frontiers, pp 287-296, ACM Press, New York, 2010. (DOI
).
-
Where replacement algorithms fail: a thorough analysis
. In Proc. 7th International Conference on Computing Frontiers, pp 141-150, ACM Press, New York, 2010. (DOI
).
-
Minimizing Multi-Resource Energy for Real-Time Systems with Discrete Operation Modes
. In Proc. 22nd Euromicro Conference on Real-Time Systems, pp 113-122, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Design, Implementation, and Evaluation of Wireless Sensor Network Systems
. In EURASIP Journal on Wireless Communications and Networking, pp 439890:1-2, 2010. (DOI
).
-
Combining abstract interpretation with model checking for timing analysis of multicore software
. In Proc. Real-Time Systems Symposium: RTSS 2010, pp 339-349, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Static worst-case execution time analysis of the ?C/OS-II real-time kernel
. In Frontiers of Computer Science in China, volume 4, number 1, pp 17-27, 2010. (DOI
).
-
Local search over relational databases
. In Proc. 7th International Workshop on Local Search Techniques in Constraint Satisfaction, p 15, Department of Computing Science and Engineering, Université catholique de Louvain, Belgium, 2010. (Fulltext
).
-
Proc. 9th International Workshop on Constraint Modelling and Reformulation
. Department of Information Technology, Uppsala University, Uppsala, Sweden, 2010. (Programme
).
-
A delay-aware reliable event reporting framework for wireless sensor–actuator networks
. In Ad hoc networks, volume 8, number 7, pp 694-707, 2010. (DOI
).
-
Conveying Conceptions of Quality through Instruction
. In Proc. 7th International Conference on the Quality of Information and Communications Technology, 2010.
-
Developing Global Teamwork Skills: The Runestone Project
. In Annual Global Engineering Education Conference (EDUCON): The Future of Global Learning in Engineering Education, IEEE, 2010. (fulltext
).
-
Does Quality Assurance Enhance the Quality of Computing Education?
. In Australian Computer Science Communications, volume 32, number 2, pp 9-14, 2010. (External link
, fulltext
).
-
Explanograms
. In Kunskapens nya världar: Mötet mellan pedagogik och teknik vid Uppsala Learning Lab, pp 171-179, Uppsala Learning Lab, Uppsala University, 2010.
-
Should we care about global intercultural collaboration?
. In ACM Inroads, volume 1, number 3, pp 4-7, 2010. (DOI
).
-
Enhancing Student Engagement in an Introductory Programming Course
. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp F1E-1-2, IEEE, Piscataway, NJ, 2010. (DOI
).
-
MLP-aware instruction queue resizing: The key to power-efficient performance
. In Architecture of Computing Systems – ARCS 2010, volume 5974 of Lecture Notes in Computer Science, pp 113-125, Springer-Verlag, Berlin, 2010. (DOI
).
-
An adaptive cross-layer design for prioritized traffic in wireless communications
. In Proc. 6th International Conference on Mobile Ad Hoc and Sensor Networks, pp 203-206, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Repeatable experiments with mobile nodes in a relocatable WSN testbed
. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI
).
-
Sensei-UU: a relocatable sensor network testbed
. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI
).
-
Secure Overlays: Making Static Key Distribution Schemes Work with Mobile Base Stations in WSNs
. In Wired/Wireless Internet Communications, volume 6074 of Lecture Notes in Computer Science, pp 386-397, Springer-Verlag, Berlin, 2010. (DOI
).
-
Wireless sensor network deployment in mobile phones assisted environment
. In Proc. 18th International Workshop on Quality of Service, p 9, IEEE, Piscataway, NJ, 2010. (DOI
).
-
A Software Technique for Reducing Cache Pollution
. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 59-62, Chalmers University of Technology, Göteborg, Sweden, 2010. (fulltext:postprint
).
-
Reducing Cache Pollution Through Detection and Elimination of Non-Temporal Memory Accesses
. In Proc. International Conference for High Performance Computing, Networking, Storage and Analysis: SC 2010, p 11, IEEE, Piscataway, NJ, 2010. (DOI
, fulltext:print
).
-
On realising a strategy for resilience in opportunistic networks
. In Future Network and Mobile Summit, Florence, 2010.
-
Parallelizing multicore cache simulations on GPUs
. In Proc. 3rd Swedish Workshop on Multi-Core Computing, pp 3-8, Chalmers University of Technology, Göteborg, Sweden, 2010.
-
Contingency plans for air traffic flow and capacity management
. In Proc. 9th Innovative Research Workshop and Exhibition, pp 119-126, EUROCONTROL Experimental Centre, Brétigny sur Orge, France, 2010. (fulltext
).
-
Contingency plans for air traffic management
. In Principles and Practice of Constraint Programming – CP 2010, volume 6308 of Lecture Notes in Computer Science, pp 643-657, Springer-Verlag, Berlin, 2010. (DOI
).
-
Holistic approach to learning and teaching introductory object-oriented programming
. In Computer Science Education, volume 20, number 2, pp 103-127, 2010. (DOI
).
-
Verifying parallel programs with dynamic communication structures
. In Theoretical Computer Science, volume 411, pp 3460-3468, 2010. (DOI
).
-
A method for analyzing learning outcomes in project courses
. In Proc. 40th ASEE/IEEE Frontiers in Education Conference, pp T4H-1-2, IEEE, Piscataway, NJ, 2010. (DOI
).
-
Computer Science Project Courses: Contrasting Students’ Experiences with Teachers’ Expectations
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 722, Acta Universitatis Upsaliensis, Uppsala, 2010. (fulltext
).
-
Multicore embedded systems: The timing problem and possible solutions
. In Formal Methods and Software Engineering, volume 6447 of Lecture Notes in Computer Science, pp 22-23, Springer-Verlag, Berlin, 2010. (DOI
).