Division of Computer Systems: Publications from 2007
-
Decisive Markov Chains
. In Logical Methods in Computer Science, volume 3, number 4, pp 1-32, 2007. (DOI
).
-
Parameterized Verification of Infinite-state Processes with Global Conditions
. In Computer Aided Verification, Proceedings, volume 4590 of Lecture Notes in Computer Science, pp 145-157, 2007.
-
Zone-Based Universality Analysis for Single-Clock Timed Automata
. In International Symposium on Fundamentals of Software Engineering, Proceedings, volume 4767 of Lecture Notes in Computer Science, pp 98-112, 2007.
-
Bisimulation minimization of tree automata
. In International Journal of Foundations of Computer Science, volume 18, number 4, pp 699-713, 2007. (DOI
).
-
Dense-Timed Petri Nets: Checking Zenoness, Token liveness and Boundedness
. In Logical Methods in Computer Science, volume 3, number 1, pp 1-61, 2007. (DOI
).
-
Regular Model Checking without Transducers
. In TACAS'07, The 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2007. (External link
).
-
Sampled universality of timed automata
. In Foundations of Software Science and Computational Structures, Proceedings, volume 4423 of Lecture Notes in Computer Science, pp 2-16, 2007. (DOI
).
-
Using Forward Reachability Analysis for Verification of Timed Petri Nets
. In Nordic Journal of Computing, volume 14, number 1, pp 1-42, 2007.
-
ARPD: Asynchronous random key predistribution in the LEAP framework for Wireless Sensor Networks
. In 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (External link
).
-
What is the word for "Engineering" in Swedish: Swedish students' conceptions of their discipline
. Technical report / Department of Information Technology, Uppsala University nr 2007-018, 2007. (fulltext
).
-
ExPLoIT: Exploiting Past Location Information and Transitivity for positioning in mobile sensor networks
. In SECOND IEEE/Create-Net/ICST International Conference on COMmunication System softWAre and MiddlewaRE, 2007. (External link
).
-
A doctoral course in research methods in computing education research: How should we teach it?
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 175-178, 2007. (External link
).
-
Debating the OO debate: Where is the problem?
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 171-174, 2007. (External link
).
-
Do we teach well? Insights from Engineering Education Research: Keynote talk at the ReflekTori 2007
. Helsinki University of Technology, TKK, Helsinki, Finland, 2007. (External link
).
-
How do students understand computer network protocols?
. In proceedings of the 20th Annual Conference of the National Advisory Committee on Computing Qualifications (NACCQ), pp 15-29, 2007. (External link
).
-
Learning computer systems in a project course: Aims and approaches: Keynote speech at First Australasian Workshop on Applications of Phenomenography in Engineering, Computing and Science Education
. University Technology, Sydney, Australia, 2007.
-
Phenomenography: A way to study learning from the students' perspective.: Keynote presentation at Researching Phenomena: Three methodologies, three perspectives
. Auckland University of Technology, Auckland, New Zeeland, 2007.
-
Proc. 6th Baltic Sea Conference on Computing Education Research: Koli Calling
. Volume 2007-006 of Technical report / Department of Information Technology, Uppsala University, 2007. (External link
).
-
Why I used phenomenography in "Students learn CS in different ways: Insights from an empirical study"
. In In Annals of Research in Engineering Education, volume 3, number 2, 2007.
-
Testbed and Methodology for Experimental Evaluation of Opportunistic Networks
. In 7th Scandinavian Workshop on Wireless Ad-hoc Networks (ADHOC'07), 2007.
-
Timed calculus of cryptographic communication
. In Formal Aspects in Security and Trust, volume 4691 of Lecture Notes in Computer Science, pp 16-30, Springer-Verlag, Berlin, 2007. (DOI
).
-
Balancing Scaffolding and Complexity in Open Ended Group Projects (OEGPs): A Learning Theory View
. In IEEE Frontiers in Education conference, pp F2G1-F2G2, 2007. (External link
).
-
Ill-structured Problem Solving in Engineering Education
. In IEEE Frontiers in Education conference, pp F3F1-F3F2, 2007. (External link
).
-
Ill-structured problem solving: Invited panel
. In , 2007. (External link
).
-
Seamless Formal Verification of Complex Event Processing Applications
. In Proceedings of the 6th Inaugural International Conference on Distributed Event-Based Systems, 2007.
-
Leveraging a power save protocol to improve performance in ad hoc networks
. In ACM SIGMOBILE Mobile Computing and Communications Review, volume 11, number 2, pp 51-52, 2007. (DOI
).
-
Multi-rate relaying for performance improvement in IEEE 802.11 WLANs
. In , 2007.
-
The impact of wakeup schedule distribution in asynchronous power save protocols on the performance of multihop wireless networks
. In IEEE Wireless Communications and Networking Conference: WCNC 2007, 2007.
-
Task automata: Schedulability, decidability and undecidability
. In Information and Computation, volume 205, number 8, pp 1149-1172, 2007. (DOI
).
-
Air-Traffic Complexity Resolution in Multi-Sector Planning
. Technical reports from the Department of Information Technology nr 2007-003, 2007. (External link
).
-
Air-traffic complexity resolution in multi-sector planning
. In Journal of Air Transport Management, volume 13, number 6, pp 323-328, 2007. (DOI
).
-
Air-traffic complexity resolution in multi-sector planning using constraint programming
. In Proceedings of ATM'07, the 7th USA/Europe R&D Seminar on Air Traffic Management, 2007. (External link
).
-
Design of financial CDO squared transactions using constraint programming
. In Constraints, volume 12, number 2, pp 179-205, 2007. (DOI
).
-
Efficient structural symmetry breaking for constraint satisfaction problems
. In International Symmetry Conference, 2007. (External link
).
-
Structural symmetry breaking for constraint satisfaction problems
. Technical reports from the Department of Information Technology nr 2007-032, 2007. (External link
).
-
Groupoids and conditional symmetry
. In Principles and Practice of Constraint Programming – CP 2007, pp 823-830, 2007. (DOI
).
-
WISENET Wireless Sensor Networks VINN Excellence Center
. 2007. (External link
).
-
A Global Algorithm for Model-Based Test Suite Generation
. In Proc. 3rd Workshop on Model Based Testing: MBT 2007, volume 190:2 of Electronic Notes in Theoretical Computer Science, pp 47-59, Elsevier, 2007. (DOI
).
-
Cover - A Real-Time Test Case Generation Tool
. In 19th IFIP International Conference on Testing of Communicating Systems and 7th International Workshop on Formal Approaches to Testing of Software, 2007.
-
Model-Based Test Case Generation for Real-Time Systems
. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 301, Acta Universitatis Upsaliensis, Uppsala, 2007. (fulltext
, cover
).
-
Model-based Testing of a WAP Gateway: An Industrial Case-Study
. In Formal Methods: Applications and Technology, volume 4346 of LECTURE NOTES IN COMPUTER SCIENCE, pp 116-131, 2007.
-
Testing Real-time systems using UPPAAL
. In Formal Methods and Testing, Springer-Verlag, 2007.
-
Partial Order Reduction for Verification of Real-Time Components
. In Formal Modeling and Analysis of Timed Systems, volume 4763 of Lecture Notes in Computer Science, pp 211-226, 2007.
-
Systematic Acceleration in Regular Model Checking
. In Computer Aided Verification: CAV 2007, volume 4590 of Lecture Notes in Computer Science, pp 131-144, Springer-Verlag, Berlin, 2007. (DOI
).
-
Conserving Memory Bandwidth in Chip Multiprocessors with Runahead Execution.
. In 21st International Parallel and Distributed Processing Symposium, 2007.
-
Towards content distribution in opportunistic networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-003, Uppsala University, 2007. (fulltext
).
-
Multi-processor schedulability analysis of preemptive real-time tasks with variable execution times
. In Formal Modeling and Analysis of Timed Systems: FORMATS 2007, volume 4763 of Lecture Notes in Computer Science, pp 274-289, 2007. (DOI
).
-
Reducing the TCP Acknowledgment Frequency
. In Computer communication review, volume 37, number 3, pp 5-16, 2007. (DOI
).
-
Generating Trace-Sets for Model-based Testing
. In The 18th IEEE International Symposium on Software Reliability (ISSRE '07), pp 171-180, 2007. (DOI
, External link
).
-
Differing Ways that Computing Academics Understand Teaching.
. In Australian Computer Science Communications, volume 29, number 5, pp 97-106, 2007. (External link
).
-
Students' understandings of concurrent programming
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 77-86, 2007. (External link
).
-
A Cross-Environment Study of Routing Protocols for Wireless Multi-hop Networks
. IT Technical Reports nr 2007-016, 2007. (External link
).
-
Evaluating Wireless Multi-hop Networks Using a Combination of Simulation, Emulation, and Real World Experiments
. In Proceedings of the 1st international workshop on System evaluation for mobile platforms (MobiEval'07), pp 29-34, ACM Association for Computing Machinery, New York, 2007. (DOI
).
-
Experiences from measuring human mobility using Bluetooth inquiring devices
. In In Proceedings of the 1st international In Proceedings of the 1stinternational workshop on System evaluation for mobile platforms (MobiEval'07), pp 15-20, ACM Press, New York, 2007. (DOI
, External link
).
-
A Survey of Literature on the Teaching of Introductory Programming
. In SIGCSE Bulletin inroads, volume 39, number 4, pp 204-223, 2007. (DOI
).
-
CeTUSS (Centrum för Teknikutbildning i Studenternas Sammanhang): A national center for pedagogical development in technology education
. In Meeting the Growing Demand for Engineers and Their Educators 2010-2020, 2007. (External link
).
-
What's in a Publication? The Bleeding Edge of Computing Education: Keynote: 2nd Workshop on Computer Science Education
. In 2nd Workshop on Computer Science Education, 2007. (External link
).
-
What’s the problem?: Teachers’ experience of student learning successes and failures
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, volume 88 of CRPIT, pp 207-211, Australian Computer Society, 2007. (External link
).
-
Tools and methods for evaluation of overlay networks
. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2007-004, Uppsala University, 2007. (fulltext
).
-
Vendetta – A Tool for Flexible Monitoring and Management of Distributed Testbeds
. In Proc. 3rd International Conference on Testbeds and Research Infrastructure for the Development of Networks and Communities, p 8, IEEE, Piscataway, NJ, 2007. (DOI
).
-
n-LQA: n-Layers Query Authentication in Sensor Networks
. In 3rd IEEE International Workshop on Wireless and Sensor Networks Security (IEEE WSNS 2007), 2007. (External link
).
-
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols: (Extended Version)
. IT Technical Reports nr 2007-035, 2007. (External link
).
-
Computer system employing bundled prefetching
. US, 2007.
-
Multiprocessing computer system employing capacity prefetching
. US, 2007.
-
Computer Science students' experiences of decision making in project groups
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 137-148, 2007. (External link
).
-
How does internationalisation affect learning and teaching of Computer Science: A study at Tongji University in China
. In Proc. 7th Baltic Sea Conference on Computing Education Research: Koli Calling, pp 221-224, 2007. (External link
).
-
A case for low-complexity MP architectures
. In Proc. Conference on Supercomputing: SC 2007, pp 559-570, ACM Press, New York, 2007. (DOI
).
-
Generic incremental algorithms for local search
. In Constraints, volume 12, number 3, pp 293-324, 2007. (DOI
).
-
On Constraint-Oriented Neighbours for Local Search
. Technical reports from the Department of Information Technology nr 2007-009, 2007. (External link
).
-
Revisiting constraint-directed search
. In Proceedings of LSCS'07, the 4th International Workshop on Local Search Techniques in Constraint Satisfaction, 2007. (External link
).
-
The SAVE Approach to Component-Based Development of Vehicular Systems
. In Journal of Systems and Software, volume 80, number 5, pp 655-667, 2007. (DOI
).