Division of Computer Systems: Publications from 2011
-
Advanced Ramsey-based Büchi automata inclusion testing
. In CONCUR 2011 — Concurrency Theory, volume 6901 of Lecture Notes in Computer Science, pp 187-202, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Automatic verification of directory-based consistency protocols with graph constraints
. In International Journal of Foundations of Computer Science, volume 22, number 4, pp 761-782, 2011. (DOI
).
-
Computing Optimal Coverability Costs in Priced Timed Petri Nets
. In LICS'2011, Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, IEEE Symposium on Logic in Computer Science, pp 399-408, 2011. (DOI
).
-
On the verification of timed ad hoc networks
. In Formal Modeling and Analysis of Timed Systems: FORMATS 2011, volume 6919 of Lecture Notes in Computer Science, pp 256-270, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Approximating Petri net reachability along context-free traces
. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2011, volume 13 of Leibniz International Proceedings in Informatics, pp 152-163, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011. (DOI
, fulltext:postprint
).
-
Context-bounded analysis for concurrent programs with dynamic creation of threads
. In Logical Methods in Computer Science, volume 7, number 4, pp 4:1-48, 2011. (DOI
).
-
Getting rid of store-buffers in TSO analysis
. In Computer Aided Verification: CAV 2011, volume 6806 of Lecture Notes in Computer Science, pp 99-115, Springer-Verlag, Berlin, 2011. (DOI
).
-
On Yen's path logic for Petri nets
. In International Journal of Foundations of Computer Science, volume 22, number 4, pp 783-799, 2011. (DOI
).
-
Developing UPPAAL over 15 years
. In Software, practice & experience, volume 41, number 2, pp 133-142, 2011. (DOI
).
-
How do master level students in Computer Science perceive plagiarism?
. In Proc. 2nd International Conference on Computer Science Education: Innovation and Technology, pp 90-95, Global Science and Technology Forum, Singapore, 2011. (fulltext:print
).
-
Reasoning about the value of cultural awareness in international collaboration
. In Journal of Applied Computing and Information Technology, volume 15, number 1:I2, 2011. (External link
).
-
Congestion Avoidance in a Data-Centric Opportunistic Network
. In Proceedings of the 2011 ACM SIGCOMM Workshop on Information-Centric Networking (ICN-2011), 2011.
-
Haggle Testbed: a Testbed for Opportunistic Networks
. In In Proceedings of the 7th Swedish National Computer Networking Workshop, 2011.
-
JamLab: Augmenting sensornet testbeds with realistic and controlled interference generation
. In IPSN, pp 175-186, 2011.
-
An interpolating sequent calculus for quantifier-free Presburger arithmetic
. In Journal of automated reasoning, volume 47, number 4, pp 341-367, 2011. (DOI
).
-
Beyond quantifier-free interpolation in extensions of Presburger arithmetic
. In Verification, Model Checking, and Abstract Interpretation: VMCAI 2011, volume 6538 of Lecture Notes in Computer Science, pp 88-102, Springer Berlin/Heidelberg, 2011. (DOI
).
-
GINSENG: Performance Control in Wireless Sensor Networks
. In 8th European Conference on Wireless Sensor Networks (EWSN’11), 2011.
-
BurstProbe: Debugging Time-Critical Data Delivery in Wireless Sensor Networks
. In 8th European Conference on Wireless Sensor Networks (EWSN’11), 2011.
-
Assessing professional skills in engineering education
. In Australian Computer Science Communications, volume 33, number 2, pp 145-154, 2011. (External link
).
-
Development of Professional Competencies in Engineering Education
. In Proc. 41st ASEE/IEEE Frontiers in Education Conference, pp S1C-1-5, IEEE, Piscataway, NJ, 2011. (DOI
).
-
A succinct canonical register automaton model
. In Automated Technology for Verification and Analysis: ATVA 2011, volume 6996 of Lecture Notes in Computer Science, pp 366-380, Springer-Verlag, Berlin, 2011. (DOI
, External link
).
-
Leakage-efficient design of value predictors through state and non-state preserving techniques
. In Journal of Supercomputing, volume 55, number 1, pp 28-50, 2011. (DOI
).
-
Power Token Balancing: Adapting CMPs to power constraints for parallel multithreaded workloads
. In Proc. 25th International Parallel and Distributed Processing Symposium, pp 431-442, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Developing and Assessing Professional Competencies: a Pipe Dream?: Experiences from an Open-Ended Group Project Learning Environment
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 808, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).
-
Automatic analysis of DMA races using model checking and k-induction
. In Formal methods in system design, volume 39, number 1, pp 83-113, 2011. (DOI
).
-
SCRATCH: a tool for automatic analysis of DMA races
. In Proc. 16th ACM Symposium on Principles and Practice of Parallel Programming, pp 311-312, ACM Press, New York, 2011. (DOI
).
-
Software verification using <em>k</em>-induction
. In Static Analysis: SAS 2011, volume 6887 of Lecture Notes in Computer Science, pp 351-368, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Tightening test coverage metrics: A case study in equivalence checking using <em>k</em>-induction
. In Formal Methods for Components and Objects: FMCO 2010, volume 6957 of Lecture Notes in Computer Science, pp 297-315, Springer Berlin/Heidelberg, 2011. (DOI
).
-
Computing Systems: Research Challenges Ahead: The HiPEAC Vision 2011/2012
. 2011. (PDF
, fulltext
).
-
A distributed swarm-intelligent localization for sensor networks with mobile nodes
. In Proc. 7th International Wireless Communications and Mobile Computing Conference, pp 83-88, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Cache Pirating: Measuring the curse of the shared cache
. Technical report / Department of Information Technology, Uppsala University nr 2011-001, 2011. (fulltext
).
-
Cache Pirating: Measuring the Curse of the Shared Cache
. In Proc. 40th International Conference on Parallel Processing, pp 165-175, IEEE Computer Society, 2011. (DOI
).
-
Efficient methods for application performance analysis
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-001, Uppsala University, 2011. (fulltext
).
-
Fast modeling of shared caches in multicore systems
. In Proc. 6th International Conference on High Performance and Embedded Architectures and Compilers, pp 147-157, ACM Press, New York, 2011. (DOI
).
-
On the consistency of simulation results
. In , 2011.
-
Self-organizing TDMA for multihop networks
. 2011.
-
Two simple tools for testing wireless communication modules in OMNeT++
. In 4th Int’l Workshop on OMNeT++ in conjunction with 3th Int’l Conf on Simulation Tools and Techniques (Simutools 2011), 2011. (External link
).
-
A Framework for How to Make Use of an Automatic Passenger Counting System
. Student thesis, supervisor: Margaret Hamilton, Georges Couenon, examiner: Arnold Pears, Elisabet Andresdottir, UPTEC STS nr 11033, 2011. (fulltext
).
-
Towards adaptive sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2011-004, Uppsala University, 2011. (fulltext
).
-
Mobile system for establishing the lactate threshold by analysing the respiratory air
. In Proc. 2nd International Conference on Ambulatory Monitoring of Physical Activity and Movement, pp 102-102, Glasgow Caledonian University, Scotland, 2011.
-
Effective and efficient scheduling of certifiable mixed-criticality sporadic task systems
. In Proc. Real-Time Systems Symposium, pp 13-23, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Resource sharing protocols for real-time task graph systems
. In Proc. 23rd Euromicro Conference on Real-Time Systems, pp 272-281, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Schedulability analysis for non-preemptive fixed-priority multiprocessor scheduling
. In Journal of systems architecture, volume 57, number 5, pp 536-546, 2011. (DOI
).
-
Privacy-aware probabilistic sampling for data collection in wireless sensor networks
. In Proc. 7th International Wireless Communications and Mobile Computing Conference, pp 314-319, IEEE conference proceedings, Piscataway, NJ, 2011. (DOI
).
-
Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming
. In Operations Research, Computing, and Homeland Defense, pp 199-209, Institute for Operations Research and the Management Sciences, Hanover, MD, 2011. (DOI
).
-
Test-case generation for embedded Simulink via formal concept analysis
. In Proc. 48th Design Automation Conference, pp 224-229, ACM Press, New York, 2011. (DOI
).
-
Mobile Sources in an Information-Centric Network with Hierarchical Names: An Indirection Approach
. In Proc. 7th Swedish National Computer Networking Workshop, 2011.
-
Sensei-UU — a relocatable WSN testbed supporting repeatable node mobility
. In Testbeds and Research Infrastructures: Development of Networks and Communities, volume 46 of Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, pp 612-614, Springer-Verlag, Berlin, 2011. (DOI
).
-
A simple model for tuning tasks
. In Proc. 4th Swedish Workshop on Multi-Core Computing, pp 45-49, Linköping University, Linköping, Sweden, 2011.
-
Twitter in Disaster Mode: Opportunistic Communication and Distribution of Sensor Data in Emergencies
. In ExtremeCom2011, ACM Press, 2011.
-
Twitter in Disaster Mode: Security Architecture
. In Conference on emerging Networking EXperiments and Technologies (CoNEXT): Special Workshop on the Internet and Disasters (SWID), ACM Press, Tokyo, 2011.
-
Memory access aware mapping for networks-on-chip
. In Proc. 17th International Conference on Embedded and Real-Time Computing Systems and Applications, pp 339-348, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Learning of automata models extended with data
. In Formal Methods for Eternal Networked Software Systems: SFM 2011, Advanced Lectures, volume 6659 of Lecture Notes in Computer Science, pp 327-349, Springer Berlin/Heidelberg, 2011. (DOI
).
-
State of the art in modeling opportunistic networks
. In Mobile Opportunistic Networks: Architectures, Protocols and Applications, pp 25-50, Auerbach Publications, Boca Raton, FL, 2011. (DOI
).
-
Cooperative state estimation for preserving privacy of user behaviors in smart grid
. In Proc. 2nd International Conference on Smart Grid Communications, pp 178-183, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Energy-efficient scheduling for parallel real-time tasks based on level-packing
. In Proc. 26th ACM Symposium on Applied Computing, pp 635-640, ACM Press, New York, 2011. (DOI
).
-
Energy-efficient scheduling of real-time tasks on cluster-based multicores
. In Proc. 14th Conference on Design, Automation and Test in Europe, IEEE, Piscataway, NJ, 2011.
-
Using hardware transactional memory for high-performance computing
. In Proc. 25th International Symposium on Parallel and Distributed Processing Workshops and PhD Forum, pp 1660-1667, IEEE, Piscataway, NJ, 2011. (DOI
).
-
McAiT — a timing analyzer for multicore real-time software
. In Automated Technology for Verification and Analysis, volume 6996 of Lecture Notes in Computer Science, pp 414-417, Springer-Verlag, Berlin, 2011. (DOI
).
-
OppSense: Information sharing for mobile phones in sensing field with data repositories
. In Proc. 8th IEEE Conference on Sensor, Mesh and Ad Hoc Communications and Networks, pp 107-115, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Robust and flexible Internet connectivity for mobile ad hoc networks
. In Ad hoc networks, volume 9, number 1, pp 1-15, Elsevier, 2011. (DOI
).
-
mJeliot: A tool for enhanced interactivity in programming instruction
. In Proc. 11th International Conference on Computing Education Research: Koli Calling, pp 16-22, ACM Press, New York, 2011. (DOI
).
-
mJeliot: ICT Support for Interactive Teaching of Programming
. In Proc. 41st ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, pp T1J-1-4, IEEE conference proceedings, Piscataway, NJ, 2011. (DOI
).
-
Repeatable experiments with mobile nodes in a relocatable WSN testbed
. In Computer journal, volume 54, number 12, pp 1973-1986, 2011. (DOI
).
-
Wireless sensor deployment for collaborative sensing with mobile phones
. In Computer Networks, volume 55, number 15, pp 3224-3245, 2011. (DOI
).
-
A simple statistical cache sharing model for multicores
. In Proc. 4th Swedish Workshop on Multi-Core Computing, pp 31-36, Linköping University, Linköping, Sweden, 2011. (fulltext:postprint
).
-
Efficient software-based online phase classification
. In International Symposium on Workload Characterization (IISWC'11), pp 104-115, IEEE Computer Society, 2011. (DOI
).
-
Green governors: A framework for continuously adaptive DVFS
. In Proc. International Green Computing Conference and Workshops: IGCC 2011, pp 1-8, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Power-performance adaptation in Intel core i7
. In Proc. 2nd Workshop on Computer Architecture and Operating System co-design, p 10, Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, MA, 2011. (Proceedings
).
-
On the tractability of digraph-based task models
. In Proc. 23rd Euromicro Conference on Real-Time Systems, pp 162-171, IEEE, Piscataway, NJ, 2011. (DOI
).
-
The digraph real-time task model
. In 17th Real-Time and Embedded Technology and Applications Symposium, IEEE Real-Time and Embedded Technology and Application Symposium, pp 71-80, IEEE Computer Society, Piscataway, NJ, 2011. (DOI
).
-
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs
. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI
).
-
Repertory grid: Investigating personal constructs of novice programmers
. In Proc. 11th International Conference on Computing Education Research: Koli Calling, pp 23-32, ACM Press, New York, 2011. (DOI
).
-
A method for analyzing learning outcomes in project courses
. In Australian Computer Science Communications, volume 33, number 2, pp 73-78, 2011. (External link
).
-
RealProct: Reliable protocol conformance testing with real nodes for wireless sensor networks
. In Proc. 10th International Conference on Trust, Security and Privacy in Computing and Communications, IEEE Computer Society, 2011.
-
Implementation and empirical comparison of partitioning-based multi-core scheduling
. In Proc. 6th International Symposium on Industrial Embedded Systems, pp 248-255, IEEE, Piscataway, NJ, 2011. (DOI
).
-
Towards the implementation and evaluation of semi-partitioned multi-core scheduling
. In Bringing Theory to Practice: Predictability and Performance in Embedded Systems, volume 18 of OpenAccess Series in Informatics, pp 42-46, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2011. (DOI
).
-
Improving Low-Power Wireless Protocols with Timing-Accurate Simulation
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 866, Acta Universitatis Upsaliensis, Uppsala, 2011. (fulltext
).