Division of Computer Systems: Publications from 2008
-
Monotonic Abstraction in Parameterized Verification
. In Electronic Notes in Theoretical Computer Science, volume 223, pp 3-14, 2008. (DOI
).
-
Composed Bisimulation for Tree Automata
. In Implementation and Application of Automata, volume 5148 of Lecture Notes in Computer Science, pp 212-222, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 93-108, Springer Berlin/Heidelberg, 2008. (DOI
).
-
Handling parameterized systems with non-atomic global conditions
. In Verification, Model Checking, and Abstract Interpretation, volume 4905 of Lecture Notes in Computer Science, pp 22-36, Springer-Verlag, Berlin, 2008. (DOI
).
-
Model Checking Race-Freeness
. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 89-96, 2008.
-
Model checking race-freeness
. In SIGARCH Computer Architecture News, volume 36, number 5, pp 72-79, 2008. (DOI
).
-
Monotonic abstraction for programs with dynamic memory heaps
. In Computer Aided Verification, volume 5123 of Lecture Notes in Computer Science, pp 341-354, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic abstraction in action: Automatic verification of distributed mutex algorithms
. In Theoretical Aspects of Computing - ICTAC 2008, volume 5160 of Lecture Notes in Computer Science, pp 50-65, Springer-Verlag, Berlin, 2008. (DOI
).
-
Monotonic and downward closed games
. In Journal of logic and computation (Print), volume 18, number 1, pp 153-169, 2008. (DOI
).
-
Parameterized tree systems
. In Formal Techniques for Networked and Distributed Systems: FORTE 2008?, volume 5048 of Lecture Notes in Computer Science, pp 69-83, Springer-Verlag, Berlin, 2008. (DOI
).
-
R-automata
. In CONCUR 2008 - Concurrency Theory, volume 5201 of Lecture Notes in Computer Science, pp 67-81, Springer-Verlag, Berlin, 2008. (DOI
).
-
Stochastic games with lossy channels
. In Foundations of Software Science and Computational Structures: Proceedings, volume 4962 of Lecture Notes in Computer Science, pp 35-49, Springer-Verlag, Berlin, 2008. (DOI
).
-
Universality Analysis for One-Clock Timed Automata
. In Fundamenta Informaticae, volume 89, number 4, pp 419-450, 2008.
-
Presentation of the VINN Excellence Center for Wireless Sensor Networks (WISENET)
. In Conference on Radio Science (RVK08), Växjö, 2008.
-
Infinite-state Stochastic and Parameterized Systems
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 76, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Re?nement Types for Secure Implementations
. In Proc. 21st IEEE Computer Security Foundations Symposium, pp 17-32, IEEE, Piscataway, NJ, 2008. (DOI
, fulltext
).
-
Regular Inference for State Machines Using Domains with Equality Tests
. In Fundamental Approaches to Software Engineering, volume 4961 of Lecture Notes in Computer Science, pp 317-331, Springer-Verlag, Berlin, 2008. (DOI
).
-
Disseminating phenomenography: Workshops for the computing education research community
. In Proc. EARLI SIG 9 Workshop on Phenomenography and Variation Theory: Implications of Phenomenography and Variation Theory in Practice, pp 17-18, Kristianstad Academic Press, Sweden, 2008. (Proceedings
).
-
Learning educational research methods through collaborative research: the PhICER initiative
. In Australian Computer Science Communications, volume 30, number 5, pp 35-42, 2008. (External link
).
-
Students learn CS in different ways: Insights from an empirical study: (Invited talk)
. Australian Computer Society, 2008. (External link
).
-
Three Ways of Globalizing IT Engineering Education: Experiences from Two European Universities
. In International Conference on Science, Technology and Education Policy: Engineering Education, Innovation and Globalization, pp 63-67, Hangzhou, China, 2008. (fulltext:print
).
-
A Testbed for Evaluating Delay Tolerant Network Protocol Implementations
. In Proceedings 5th Swedish National Computer Networking Workshop, 2008.
-
Regular Inference for Communication Protocol Entities
. Technical report / Department of Information Technology, Uppsala University nr 2008-024, 2008. (fulltext
).
-
On-line placement of real-time tasks on 2D partially run-time reconfigurable FPGAs
. In Proc. 5th IEEE International Symposium on Embedded Computing, pp 20-25, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Timed Automata Patterns
. In IEEE Transactions on Software Engineering, volume 34, number 6, pp 844-859, 2008. (DOI
).
-
Exploring semantic interference in heterogeneous sensor networks
. In , pp 45-51, ACM Press, New York, 2008. (DOI
).
-
Solving necklace constraint problems
. In Proc. 18th European Conference on Artificial Intelligence, pp 520-524, IOS Press, Amsterdam, The Netherlands, 2008.
-
Adaptive QoS Routing for Significant Events in Wireless Sensor Networks
. In Proc. 5th International Conference on Mobile Ad Hoc and Sensor Systems, pp 410-415, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Inference of Event-Recording Automata using Timed Decision Trees
. Technical report / Department of Information Technology, Uppsala University nr 2008-014, 2008. (fulltext
).
-
Learning of Event-Recording Automata
. Technical report / Department of Information Technology, Uppsala University nr 2008-013, 2008. (fulltext
).
-
Learning of Timed Systems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 434, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
, cover
).
-
Network invariants for real-time systems
. In Formal Aspects of Computing, volume 20, number 6, pp 619-635, 2008. (DOI
).
-
New schedulability test conditions for non-preemptive scheduling on multiprocessor platforms
. In Proc. Real-Time Systems Symposium: RTSS 2008, pp 137-146, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Improving cache utilization using Acumem VPE
. In Tools for High Performance Computing, pp 115-135, Springer-Verlag, Berlin, 2008. (DOI
).
-
A Learning Theory Perspective on Running Open Ended Group Projects (OEGPs)
. In Australian Computer Science Communications, volume 30, number 5, pp 85-92, 2008. (
).
-
Extended pi-Calculi
. In Automata, Languages and Programming, PT 2: Proceedings of ICALP 2008, volume 5126 of Lecture Notes in Computer Science, pp 87-98, 2008. (DOI
).
-
Cyclic dependencies in modular performance analysis
. In Proc. 8th ACM International Conference on Embedded Software, pp 179-188, ACM Press, New York, 2008. (DOI
).
-
State-Space Exploration for Concurrent Algorithms under Weak Memory Orderings
. In Proc. 1st Swedish Workshop on Multi-Core Computing, volume 2008:07 of Research report / Blekinge Institute of Technology, pp 82-88, 2008.
-
State-space exploration for concurrent algorithms under weak memory orderings
. In SIGARCH Computer Architecture News, volume 36, number 5, pp 65-71, 2008. (DOI
).
-
Reduction Techniques for Finite (Tree) Automata
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 562, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Challenged Networking: An Experimental Study of new Protocols and Architectures
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 450, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Stepping Stones: Capacity building in engineering education
. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 307-312, IEEE, Piscataway, NJ, 2008. (DOI
).
-
An Interactive Test-bed for Heterogeneous Wireless Sensor Networks.
. In DCOSS demo proceedings, volume 5067 of Lecture Notes in Computer Science, Springer Verlag, 2008.
-
Parameterized Systems: Generalizing and Simplifying Automatic Verification
. Ph.D. thesis, Uppsala Dissertations from the Faculty of Science and Technology nr 72, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
Query authentication and data confidentiality in wireless sensor networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-002, Uppsala University, 2008. (fulltext
).
-
n-LDA: n-Layers Data Aggregation in Sensor Networks
. In Proc. 28th International Conference on Distributed Computing Systems Workshops, pp 400-405, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
. In Tools and Algorithms for the Construction and Analysis of Systems, volume 4963 of Lecture Notes in Computer Science, pp 18-32, Springer-Verlag, Berlin, 2008. (DOI
).
-
Verifying Absence of ? Loops in Parameterized Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 419, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
).
-
A bound on the overlap of same-sized subsets
. In Annals of Combinatorics, volume 12, number 3, pp 347-352, 2008. (DOI
).
-
Model-based validation of QoS properties of biomedical sensor networks
. In Proc. 8th ACM International Conference on Embedded Software, pp 69-78, ACM Press, New York, 2008. (DOI
).
-
Creating Correct Network Protocols
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 571, Acta Universitatis Upsaliensis, Uppsala, 2008. (fulltext
, errata
).
-
Reflecting on running large scale student collaboration projects
. In Proc. 38th ASEE/IEEE Frontiers in Education Conference, pp 1464-1468, IEEE, Piscataway, NJ, 2008. (DOI
).
-
Unwinding processes in Computer Science student projects
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2008-001, Uppsala University, 2008. (fulltext
).
-
Information Quality Aware Sensor Network Services
. In Proc. 42nd Asilomar Conference on Signals, Systems and Computers, pp 1155-1159, IEEE, Piscataway, NJ, 2008. (DOI
).