Division of Computer Systems: Publications from 2012
-
Regular model checking for LTL(MSO)
. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 223-241, Springer, 2012. (DOI
).
-
Adding time to pushdown automata
. In Quantities in Formal Methods: QFM 2012, volume 103 of Electronic Proceedings in Theoretical Computer Science, pp 1-16, 2012. (DOI
).
-
Automatic fence insertion in integer programs via predicate abstraction
. In Static Analysis, volume 7460 of Lecture Notes in Computer Science, pp 164-180, Springer-Verlag, Berlin, 2012. (DOI
).
-
Counter-Example Guided Fence Insertion under TSO
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 7214 of Lecture Notes in Computer Science, pp 204-219, Springer-Verlag, Berlin, 2012. (DOI
, fulltext:preprint
).
-
Dense-Timed Pushdown Automata
. In Proc. 27th ACM/IEEE Symposium on Logic in Computer Science, pp 35-44, IEEE Computer Society, 2012. (DOI
).
-
Multi-Pushdown Systems with Budgets
. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link
).
-
Petri Nets with Time and Cost
. INFINITY 2012, 14th International Workshop on Verification of Infinite-State Systems, 2012.
-
Regular model checking
. In International Journal on Software Tools for Technology Transfer, volume 14, number 2, pp 109-118, 2012. (DOI
).
-
The minimal cost reachability problem in priced timed pushdown systems
. In Language and Automata Theory and Applications: 6th International Conference, LATA 2012, A Coruña, Spain, March 5-9, 2012, volume 7183 of Lecture Notes in Computer Science, pp 58-69, Springer-Verlag, Berlin, 2012. (DOI
).
-
Timed lossy channel systems
. In IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science: FSTTCS 2012, volume 18 of Leibniz International Proceedings in Informatics, pp 374-386, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2012. (DOI
).
-
Constraint programming for air traffic management: a survey
. In Knowledge engineering review (Print), volume 27, number 3, pp 361-392, 2012. (DOI
).
-
Detecting fair non-termination in multithreaded programs
. In Computer Aided Verification, volume 7358 of Lecture Notes in Computer Science, pp 210-227, Springer-Verlag, Berlin, 2012. (fulltext
).
-
Linear-Time Model-Checking for Multithreaded Programs under Scope-Bounding
. In Automated Technology for Verification and Analysis: ATVA 2012, volume 7561 of Lecture Notes in Computer Science, pp 152-166, Springer Berlin/Heidelberg, 2012. (DOI
).
-
Model-Checking of Ordered Multi-Pushdown Automata
. In Logical Methods in Computer Science, volume 8, number 3, p 20, 2012. (DOI
).
-
What's decidable about weak memory models?
. In Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pp 26-46, Springer Berlin/Heidelberg, 2012. (DOI
).
-
A social node model for realising information dissemination strategies in delay tolerant networks
. In Proceedings of the 15th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, pp 79-88, ACM Press, New york, 2012. (DOI
, fulltext:postprint
).
-
Intercultural competence in global collaboration courses in computer engineering
. In Advances in Design for Cross-Cultural Activities: Part I, pp 351-361, CRC Press, Boca Raton, FL, 2012.
-
Measurements in opportunistic networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-002, Uppsala University, 2012. (fulltext
).
-
Categorizing how students use collaborative technologies in a globally distributed project
. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 1325-1330, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Managing international student collaborations: An experience report
. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 355-360, IEEE, Piscataway, NJ, 2012. (DOI
).
-
On valuing peers: theories of learning and intercultural competence
. In Computer Science Education, volume 22, pp 319-342, 2012. (DOI
).
-
Professionella kompetenser i projektkurser
. In Proc. 3:e Utvecklingskonferensen för Sveriges ingenjörsutbildningar, volume 75 of Linköping Electronic Conference Proceedings, pp 123-128, Linköping University Electronic Press, 2012. (External link
).
-
The impact of trace and adversary models on location privacy provided by K-anonymity
. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI
).
-
Towards business processes orchestrating the physical enterprise with wireless sensor networks
. In ICSE, pp 1357-1360, 2012.
-
A succinct canonical register automaton model for data domains with binary relations
. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 57-71, Springer, 2012. (DOI
).
-
A Compositional Specification Theory for Component Behaviours
. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012,, Lecture Notes in Computer Science, pp 148-168, 2012. (DOI
).
-
A Compositional Specification Theory for Component Behaviours
. 2012. (External link
).
-
Assume-Guarantee Reasoning for Safe Component Behaviours
. In Proc. FACS: Formal Aspects of Component Software, 9th Int. Symp., volume 7684 of Lecture Notes in Computer Science, pp 92-109, Springer, 2012. (DOI
, External link
).
-
Models and methods for computing education research
. In Australian Computer Science Communications, volume 34, number 2, pp 95-102, 2012. (External link
).
-
Bounding and shaping the demand of mixed-criticality sporadic tasks
. In Proc. 24th Euromicro Conference on Real-Time Systems, pp 135-144, IEEE Computer Society, 2012. (DOI
).
-
A Profiling Method for Analyzing Scalability Bottlenecks on Multicores
. 2012.
-
Bandwidth bandit: Quantitative characterization of memory contention
. In Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT, pp 457-458, 2012. (DOI
).
-
Profiling Methods for Memory Centric Software Performance Analysis
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1000, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext
).
-
Quantitative Characterization of Memory Contention
. Technical report / Department of Information Technology, Uppsala University nr 2012-029, Uppsala universitet, Uppsala, 2012. (on department web
, fulltext
).
-
Poster Abstract: A Testbed for Measuring Battery Discharge Behavior
. In Proc. of 7th ACM Int’l Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization (WiNTECH’12), 2012.
-
Poster Abstract: Using batteries wisely
. In , 2012.
-
Towards trustworthy simulation of wireless MAC/PHY layers: A comparison framework
. In Proc. of 15th ACM Int’l Conf. on Modeling, Analysis and Simulation of Wireless and Mobile Systems (MSWiM’12), 2012.
-
Constraint Programming for Air Traffic Management: Preface
. In Knowledge engineering review (Print), volume 27, number 3, pp 287-289, 2012. (DOI
).
-
Timed Model Checking with Abstractions: Towards Worst-Case Response Time Analysis in Resource-Sharing Manycore Systems
. In Proc. International Conference on Embedded Software (EMSOFT), pp 63-72, ACM Press, 2012.
-
Fixed-Priority Multiprocessor Scheduling: Critical Instant, Response Time and Utilization Bound
. In 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), IEEE International Symposium on Parallel and Distributed Processing Workshops and PhD Forum-IPDPSW, pp 2470-2473, 2012. (DOI
).
-
Parametric Utilization Bounds for Fixed-Priority Multiprocessor Scheduling
. In 2012 IEEE 26th International Parallel and Distributed Processing Symposium (IPDPS), International Parallel and Distributed Processing Symposium IPDPS, pp 261-272, 2012. (DOI
).
-
WCET analysis with MRU caches: Challenging LRU for predictability
. In Proc. 18th Real-Time and Embedded Technology and Applications Symposium, pp 55-64, IEEE Computer Society, 2012. (DOI
).
-
Designing a flexible and low-cost testbed for Wireless Sensor Networks
. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI
).
-
Forest automata for verification of heap manipulation
. In Formal methods in system design, volume 41, number 1, pp 83-106, 2012. (DOI
).
-
An optimisation-based approach for wireless sensor deployment in mobile sensing environments
. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI
).
-
Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving
. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
-
Do Sensor Networks need Mobile MAC Protocols
. In Proc. of Third International Workshop on Networks of Cooperating Objects (CONET 2012), held in conjunction with IPSN 2012, April 2012, Beijing, China., 2012.
-
Ef?cient Mobile Data Collection with Mobile Collect
. In Proceedings of the 8th IEEE International Conference on Distributed Computing in Sensor Systems (DCOSS), pp 25-32, IEEE Computer Society, 2012. (DOI
).
-
A Lightweight Approach to Online Detection and Classification of Interference in 802.15.4-based Sensor Networks
. In ACM SIGBED Review, volume 9, number 3, pp 11-20, 2012. (DOI
).
-
Global Source Mobility in the Content-Centric Networking Architecture
. In Proc. 1st ACM Workshop on Emerging Name-Oriented Mobile Networking Design: Architecture, Algorithms, and Applications, pp 13-18, ACM Press, New York, 2012. (DOI
).
-
Accelerating interpolants
. In Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings, volume 7561 of Lecture Notes in Computer Science, pp 187-202, 2012. (DOI
).
-
A verification toolkit for numerical transition systems
. In FM 2012: Formal Methods, volume 7436 of Lecture Notes in Computer Science, pp 247-251, Springer Berlin/Heidelberg, 2012. (DOI
).
-
Inferring semantic interfaces of data structures
. In Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I, volume 7609 of Lecture Notes in Computer Science, pp 554-571, 2012. (DOI
).
-
Inferring Canonical Register Automata
. In Verification, Model Checking, and Abstract Interpretation - 13th International Conference,, volume 7148 of Lecture Notes in Computer Science, pp 251-266, Springer, 2012. (DOI
).
-
A location-based publish/subscribe framework for wireless sensors and mobile phones
. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI
).
-
Technological systems across contexts: Designing and exploring learning possibilities in Swedish compulsory technology education
. In Proc. PATT 26 Conference: Technology Education in the 21st Century, volume 73 of Linköping Electronic Conference Proceedings, pp 232-238, Linköping University Electronic Press, 2012. (Free fulltext available
).
-
Using refinement calculus techniques to prove linearizability
. In Formal Aspects of Computing, volume 24, number 4-6, pp 537-554, 2012. (DOI
).
-
Trace-based performance analysis of opportunistic forwarding under imperfect node cooperation
. In Proceedings of the 31st Annual IEEE International Conference on Computer Communications (IEEE INFOCOM 2012), IEEE Communications Society, Orlando, 2012.
-
Low Overhead Instruction-Cache Modeling Using Instruction Reuse Profiles
. In International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'12), Computer Architecture and High Performance Computing, pp 260-269, IEEE Computer Society, 2012. (DOI
).
-
Report on the Model Checking Contest at Petri Nets 2011
. In Transactions on Petri Nets and Other Models of Concurrency: VI, volume 7400 of Lecture Notes in Computer Science, pp 169-196, Springer Berlin/Heidelberg, 2012. (DOI
, fulltext:postprint
).
-
A Hybrid Approach to Cyber-Physical Systems Verification
. In Proc. 49th Design Automation Conference, pp 688-696, Association for Computing Machinery (ACM), 2012. (fulltext:postprint
).
-
Seasonal Affective Disorder Monitoring System
. 8th Swedish National Computer Networking Workshop (SNCNW), Stockholm, Sweden, 2012.
-
A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios
. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Student reflections on collaborative technology in a globally distributed student project
. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 365-370, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Mining Conversations of Geographically Changing Users
. In Proceedings of the World Wide Web 2012 Workshop on Social Web for Disaster (SWDM2012), Lion, 2012.
-
On Resilience in Opportunistic Networks
. In 8th Swedish National Computer Networking Workshop SNCNW 2012, 2012.
-
Demonstrating Learning of Register Automata
. In Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference,, volume 7214 of Lecture Notes in Computer Science, pp 466-471, Springer Berlin/Heidelberg, Berlin, 2012. (DOI
, External link
).
-
Context-aware sensor data dissemination for mobile users in remote areas
. In Proc. 31st International Conference on Computer Communications: Mini-Conference, pp 2711-2715, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Quality-of-Information aware data collection for mobile sensor networks
. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI
).
-
Predicting the Cost of Lock Contention in Parallel Applications on Multicores using Analytic Modeling
. In Proc. 5th Swedish Workshop on Multi-Core Computing, 2012.
-
Challenges in Developing Global Collaborative Project Courses
. In Proc. 1st Forum on International Collaborative Academic Programs, BrownWalker Press, 2012.
-
Harnessing theory in the service of engineering education research
. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 391-395, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Hur ser Teknisk-naturvetenskapliga fakultetens lärare på undervisning och lärande
. In Universitetspedagogisk utveckling och kvalitet - i praktiken!, pp 21-44, 2012.
-
Investigating Swedish Teacher's Approaches to Their Teaching Practice
. In , San Antonio, TX, 2012.
-
Teachers' conceptions of teaching practice
. In Improving Student Learning through Research and Scholarship (ISL 2012), Lund University, Sweden, 2012. (Abstract
).
-
Students' experiences and attitudes towards learning Computer Science
. In Proc. 42nd ASEE/IEEE Frontiers in Education Conference, pp 88-93, IEEE, Piscataway, NJ, 2012. (DOI
).
-
Experimental Challenges in Wireless Sensor Networks — Environment, Mobility, and Interference
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 965, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext
).
-
SoNIC: Classifying and Surviving Interference in 802.15.4-based Sensor Networks
. Technical report / Department of Information Technology, Uppsala University nr 2012-022, 2012. (fulltext
).
-
On location privacy and quality of information in participatory sensing
. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI
).
-
Secure and Privacy-Aware Data Collection in Wireless Sensor Networks
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 968, Acta Universitatis Upsaliensis, Uppsala, 2012. (fulltext
).
-
Making the Most of Your Contacts: Transfer Ordering in Data-Centric Opportunistic Networks
. In Proceedings of the 2012 ACM MobiOpp Workshop on Mobile Opportunistic Networks, ACM Press, Zürich, 2012.
-
Complexity-effective multicore coherence
. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 241-251, ACM Press, New York, 2012. (DOI
).
-
E-matching with free variables
. In Logic for Programming, Artificial Intelligence, and Reasoning, volume 7180 of Lecture Notes in Computer Science, pp 359-374, Springer Berlin/Heidelberg, 2012. (DOI
).
-
Efficient techniques for predicting cache sharing and throughput
. In Proc. 21st International Conference on Parallel Architectures and Compilation Techniques, pp 305-314, ACM Press, New York, 2012. (DOI
, fulltext:postprint
).
-
Topic 14: Mobile and Ubiquitous Computing
. In Euro-Par, 2012.
-
Computer Science at School / CS Teacher Education: Koli working-group report on CS at school
. In Proc. 12th International Conference on Computing Education Research: Koli Calling, pp 29-38, ACM Press, New York, 2012. (DOI
).
-
Efficient techniques for detecting and exploiting runtime phases
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2012-009, Uppsala University, 2012. (fulltext
).
-
Phase Behavior in Serial and Parallel Applications
. In International Symposium on Workload Characterization (IISWC'12), IEEE Computer Society, 2012.
-
Phase Guided Profiling for Fast Cache Modeling
. In International Symposium on Code Generation and Optimization (CGO'12), pp 175-185, ACM Press, 2012. (DOI
).
-
Power-Sleuth: A Tool for Investigating your Program's Power Behavior
. In International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS'12), pp 241-250, 2012. (DOI
).
-
Hardness Results for Static Priority Real-Time Scheduling
. In Proceedings Of The 24th Euromicro Conference On Real-Time Systems (Ecrts 2012), Euromicro Workshop on Real-Time Systems-Proceedings, pp 189-198, 2012. (DOI
, External link
).
-
Illustration of paradigm pluralism in computing education research
. In Australian Computer Science Communications, volume 34, number 2, pp 103-112, 2012. (External link
, fulltext:print
).
-
A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules
. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI
).
-
An analytical energy consumption model for packet transfer over wireless links
. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI
).
-
A Long-Term Study on the Effects of Meteorological Conditions on 802.15.4 Links
. In 8th Swedish National Computer Networking Workshop, Stockholm, June 7-8, 2012.
-
Conformance testing for cyber-physical systems
. In ACM Transactions on Embedded Computing Systems, volume 11, number 4, pp 84:1-23, Association for Computing Machinery (ACM), New York, 2012. (DOI
).
-
An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks
. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI
).
-
Bifurcation phenomena in an impulsive model of non-basal testosterone regulation
. In Chaos, volume 22, number 1, p 013121, 2012. (DOI
).