Skip to main content
Department of Information Technology

Division of Computer Systems: Publications from 2017

  1. An integrated specification and verification technique for highly concurrent data structures for highly concurrent data structures. Parosh Abdulla, Frédéric Haziza, Lukás Holík, Bengt Jonsson, and Ahmed Rezine. In International Journal on Software Tools for Technology Transfer, volume 19, number 5, pp 549-563, SPRINGER HEIDELBERG, 2017. (DOI).
  2. Comparing source sets and persistent sets for partial order reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, volume 10460 of Lecture Notes in Computer Science, pp 516-536, Springer, 2017. (DOI).
  3. Source Sets: A Foundation for Optimal Dynamic Partial Order Reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Journal of the ACM, volume 64, number 4, Association for Computing Machinery (ACM), 2017. (DOI).
  4. Context-bounded analysis for POWER. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, and Tuan Phong Ngo. In Tools and Algorithms for the Construction and Analysis of Systems: Part II, volume 10206 of Lecture Notes in Computer Science, pp 56-74, Springer, 2017. (DOI, External link).
  5. Flatten and Conquer: A Framework for Efficient Analysis of String Constraints. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Phi Diep Bui, Lukas Hol?k, Ahmed Rezine, and Philipp Rümmer. In SIGPLAN notices, volume 52, number 6, pp 602-617, 2017. (DOI).
  6. Stateless model checking for TSO and PSO. Parosh Aziz Abdulla, Stavros Aronis, Mohamed Faouzi Atig, Bengt Jonsson, Carl Leonardsson, and Konstantinos Sagonas. In Acta Informatica, volume 54, number 8, pp 789-818, 2017. (DOI).
  7. Synthesis of Ada code from graph-based task models. Jakaria Abdullah, Morteza Mohaqeqi, and Wang Yi. In Proc. 32nd ACM Symposium on Applied Computing, pp 1467-1472, ACM Press, New York, 2017. (DOI).
  8. Towards a Tool: TIMES-Pro for Modeling, Analysis, Simulation and Implementation of Cyber-Physical Systems. Jakaria Abdullah, Gaoyang Dai, Nan Guan, Morteza Mohaqeqi, and Yi Wang. In MODELS, ALGORITHMS, LOGICS AND TOOLS: ESSAYS DEDICATED TO KIM GULDSTRAND LARSEN ON THE OCCASION OF HIS 60TH BIRTHDAY, volume 10460 of Lecture Notes in Computer Science, pp 623-639, SPRINGER INTERNATIONAL PUBLISHING AG, 2017. (DOI).
  9. A Taxonomy of Out-of-Order Instruction Commit. Mehdi Alipour, Trevor E. Carlson, and Stefanos Kaxiras. In 2017 Ieee International Symposium On Performance Analysis Of Systems And Software (Ispass), pp 135-136, IEEE Computer Society, Los Alamitos, 2017. (DOI).
  10. Exploring the performance limits of out-of-order commit. Mehdi Alipour, Trevor E. Carlson, and Stefanos Kaxiras. In Proc. 14th Computing Frontiers Conference, pp 211-220, ACM Press, New York, 2017. (DOI, attachment:print).
  11. An Ontology-based Context-aware System for Smart Homes: E-care@ home. Marjan Alirezaie, Jennifer Renoux, Uwe Köckemann, Annica Kristoffersson, Lars Karlsson, Eva Blomqvist, Nicolas Tsiftes, Thiemo Voigt, and Amy Loutfi. In Sensors, volume 17, number 7, 2017.
  12. Addressing energy challenges in filter caches. Ricardo Alves, Nikos Nikoleris, Stefanos Kaxiras, and David Black-Schaffer. In Proc. 29th International Symposium on Computer Architecture and High Performance Computing, pp 49-56, IEEE Computer Society, 2017. (DOI).
  13. Data Packet Transmission through Fat Tissue for Wireless Intra-Body Networks. Noor Badariah Asan, Pérez Penichet Carlos, Syaiful Redzwan, Daniel Noreland, Emadeldeen Hassan, Anders Rydberg, Taco Blokhuis, Thiemo Voigt, and Robin Augustine. In IEEE Journal of Electromagnetics, RF and Microwaves in Medicine and Biology, volume 1, number 2, pp 43-51, 2017. (DOI, fulltext:postprint).
  14. Human fat tissue: A microwave communication channel. Noor Badariah Asan, Syaiful Redzwan, Anders Rydberg, Robin Augustine, Daniel Noreland, Emadeldeen Hassan, and Thiemo Voigt. In Proc. 1st MTT-S International Microwave Bio Conference, IEEE, 2017. (DOI).
  15. Intra-body microwave communication through adipose tissue. Noor Badariah Asan, Daniel Noreland, Emadeldeen Hassan, Syaiful Redzwan, Anders Rydberg, Taco J. Blokhuis, Per-Ola Carlsson, Thiemo Voigt, and Robin Augustine. In Healthcare Technology Letters, volume 4, number 4, pp 115-121, 2017. (DOI, Fulltext, fulltext:print).
  16. Reliability of the fat tissue channel for intra-body microwave communication. Noor Badariah Asan, Jacob Velander, Syaiful Redzwan, Robin Augustine, Emadeldeen Hassan, Daniel Noreland, Thiemo Voigt, and Taco J. Blokhuis. In 2017 IEEE Conference on Antenna Measurements & Applications (CAMA), IEEE Conference on Antenna Measurements & Applications, pp 310-313, IEEE, 2017. (DOI, fulltext:postprint).
  17. Emptiness of Ordered Multi-Pushdown Automata is 2ETIME-Complete. Mohamed Faouzi Atig, Benedikt Bollig, and Peter Habermehl. In International Journal of Foundations of Computer Science, volume 28, number 8, pp 945-975, 2017. (DOI).
  18. On the Upward/Downward Closures of Petri Nets?. Mohamed Faouzi Atig, Roland Meyer, Sebastian Muskalla, and Prakash Saivasan. In 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017), volume 83 of Leibniz International Proceedings in Informatics (LIPIcs), pp 49:1-49:14, Dagstuhl, Germany, 2017. (DOI, External link).
  19. Parity Games on Bounded Phase Multi-pushdown Systems. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In Networked Systems: 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings, volume 10299 of Lecture Notes in Computer Science, pp 272-287, Cham, 2017. (DOI).
  20. Verification of Asynchronous Programs with Nested Locks. Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan. In 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India, volume 93 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-11:14, Dagstuhl, Germany, 2017.
  21. Data Multi-Pushdown Automata. Parosh Aziz Abdulla, C. Aiswarya, and Mohamed Faouzi Atig. In The 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany, volume 85 of Leibniz International Proceedings in Informatics (LIPIcs), pp 38:1-38:17, Dagstuhl, Germany, 2017. (DOI).
  22. Preparing tomorrow's software engineers for work in a global environment. Sarah Beecham, Tony Clear, John Barr, Mats Daniels, Michael Oudshoorn, and John Noll. In IEEE Software, volume 34, number 1, pp 9-12, 2017. (DOI).
  23. Employing attribute-based encryption in systems with resource constrained devices in an information-centric networking context. Joakim Borgh, Edith Ngai, Börje Ohlman, and Adeel Mohammad Malik. In 2017 Global Internet of Things Summit (GIoTS), pp 397-402, IEEE, 2017. (DOI).
  24. Adaptive cache warming for faster simulations. Gustaf Borgström, Andreas Sembrant, and David Black-Schaffer. In Proc. 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools, ACM Press, New York, 2017. (DOI, Fulltext, fulltext:print).
  25. Unexpected student behaviour and learning opportunities: Using the theory of planned behaviour to analyse a critical incident. Åsa Cajander, Mats Daniels, Diane Golay, Jonas Moll, Aletta Nylén, Arnold Pears, Anne-Kathrin Peters, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  26. Transcending hardware limits with software out-of-order processing. Trevor E. Carlson, Kim-Anh Tran, Alexandra Jimborean, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras. In IEEE Computer Architecture Letters, volume 16, number 2, pp 162-165, 2017. (DOI).
  27. Analyzing Graphics Workloads on Tile-based GPUs. Germán Ceballos, Andreas Sembrant, Trevor E. Carlson, and David Black-Schaffer. In Proc. 20th International Symposium on Workload Characterization, pp 108-109, IEEE, 2017. (DOI).
  28. Exploring scheduling effects on task performance with TaskInsight. Germán Ceballos, Andra Hugo, Erik Hagersten, and David Black-Schaffer. In Supercomputing frontiers and innovations, volume 4, number 3, pp 91-98, 2017. (DOI, Fulltext).
  29. How to make tasks faster: Revealing the complex interactions of tasks in the memory system. Germán Ceballos. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 1-3, ACM Press, New York, 2017. (DOI).
  30. Modeling the interactions between tasks and the memory system. Germán Ceballos. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2017-002, Uppsala University, 2017. (fulltext).
  31. TaskInsight: Understanding task schedules effects on memory and performance. Germán Ceballos, Thomas Grass, Andra Hugo, and David Black-Schaffer. In Proc. 8th International Workshop on Programming Models and Applications for Multicores and Manycores, pp 11-20, ACM Press, New York, 2017. (DOI, Fulltext).
  32. Understanding the interplay between task scheduling, memory and performance. Germán Ceballos, Erik Hagersten, and David Black-Schaffer. In Proc. Companion 8th ACM International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, pp 21-23, ACM Press, New York, 2017. (DOI).
  33. A dedicated private-shared cache design for scalable multiprocessors. Juan M. Cebrián, Ricardo Fernández-Pascual, Alexandra Jimborean, Manuel E. Acacio, and Alberto Ros. In Concurrency and Computation, volume 29, number 2, 2017. (DOI).
  34. Learning to prove safety over parameterised concurrent systems. Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, and Philipp Rümmer. In Proceedings of the 17th International Conference on Formal Methods in Computer-Aided Design, pp 76-83, IEEE, 2017. (DOI, fulltext:postprint).
  35. Linguistic markers of a radicalized mind-set among extreme adopters. Katie Cohen, Tim Isbister, Lisa Kaati, and Amendra Shrestha. In Proc. 10th ACM International Conference on Web Search and Data Mining, pp 823-824, ACM Press, New York, 2017. (DOI).
  36. Resource Aggregation for Task-Based Cholesky Factorization on Top of Heterogeneous Machines. T. Cojean, A. Guermouche, Andra Hugo, R. Namyst, and P. A. Wacrenier. In Euro-Par 2016: Parallel processing workshops, volume 10104 of Lecture Notes in Computer Science, pp 56-68, Springer Nature, 2017. (DOI).
  37. The Educator Identity and its Impact. Mats Daniels. In SIGCSE '17 Proceedings of the 2017 ACM SIGCSE Technical Symposium on Computer Science Education, ACM Digital Library, 2017. (DOI).
  38. Advances Towards Data-Race-Free Cache Coherence Through Data Classification. Mahdad Davari. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1521, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  39. Scope-Aware Classification: Taking the hierarchical private/shared data classification to the next level. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. Technical report / Department of Information Technology, Uppsala University nr 2017-008, 2017. (fulltext).
  40. The best of both works: A hybrid data-race-free cache coherence scheme. Mahdad Davari, Erik Hagersten, and Stefanos Kaxiras. 2017.
  41. Analysis and experimental evaluation of IEEE 802.15.4e TSCH CSMA-CA Algorithm. Domenico De Guglielmo, Beshr Al Nahas, Simon Duquennoy, Thiemo Voigt, and Giuseppe Anastasi. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1573-1588, 2017. (DOI).
  42. Systematic predicate abstraction using variable roles. Yulia Demyanova, Philipp Rümmer, and Florian Zuleger. In NASA Formal Methods, volume 10227 of Lecture Notes in Computer Science, pp 265-281, Springer, 2017. (DOI, fulltext:postprint).
  43. Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-hard. Pontus Ekberg and Yi Wang. In 2017 IEEE Real-Time Systems Symposium (RTSS)<em></em>, Real-Time Systems Symposium-Proceedings, pp 139-146, IEEE, 2017. (DOI).
  44. Making batteries a first class element in the design and evaluation of embedded wireless systems. Laura Marie Feeney, Christian Rohner, and Per Gunningberg. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 242-243, ACM Digital Library, 2017.
  45. Towards realistic lifetime estimation in battery-powered IoT devices. Laura Marie Feeney, Robert Hartung, Christian Rohner, Ulf Kulau, Lars Wolf, and Per Gunningberg. In Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems Article No. 67, Association for Computing Machinery (ACM), 2017. (DOI).
  46. Efficient Drone Hijacking Detection using Onboard Motion Sensors. Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, and Yi Wang. In Proceedings Of The 2017 Design, Automation &amp; Test In Europe Conference &amp; Exhibition (DATE), Design Automation and Test in Europe Conference and Exhibition, pp 1414-1419, IEEE, 2017. (DOI).
  47. IoT Data Profiles: The Routines of Your Life Reveals Who You Are. Johan Fernquist, Torbjörn Fängström, and Lisa Kaati. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 61-67, IEEE, 2017. (DOI).
  48. A diversity lens on the last decade of the FIE conference: Role models for the engineering community. Virginia Grande and Mats Daniels. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  49. Experiences of teachers in computing as role models: a phenomenographic study. Virginia Grande, Anders Berglund, and Mats Daniels. In Proc. 17th International Conference on Computing Education Research: Koli Calling, pp 133-137, ACM Press, New York, 2017. (DOI).
  50. Preface to special issue on satisfiability modulo theories. Alberto Griggio and Philipp Rümmer. In Formal methods in system design, volume 51, number 3, pp 431-432, 2017. (DOI).
  51. Introducing Programming and Digital Competence in Swedish K–9 Education. Fredrik Heintz, Linda Mannila, Lars-Åke Nordén, Peter Parnes, and Björn Regnell. In Informatics in Schools: Focus on Learning Programming, pp 117-128, Springer Nature, 2017. (DOI, fulltext:postprint).
  52. Protecting Glossy-based Wireless Networks from Packet Injection Attacks. Kasun Hewage, Shahid Raza, and Thiemo Voigt. In Proceeding of the 2017 IEEE 14th International Conference on Mobile Ad Hoc and Sensor Systems (MASS), IEEE International Conference on Mobile Ad-hoc and Sensor Systems, pp 37-45, IEEE, Orlando, 2017. (DOI).
  53. Deciding and Interpolating Algebraic Data Types by Reduction. Hossein Hojjat and Philipp Rümmer. In 2017 19th international symposium on symbolic and numeric algorithms for scientific computing (SYNASC 2017), International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, pp 145-152, IEEE, New York, 2017. (DOI).
  54. Gender Classification with Data Independent Features in Multiple Languages. Tim Isbister, Lisa Kaati, and Katie Cohen. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 54-60, IEEE, 2017. (DOI).
  55. Resource-Efficient Detection of Elephant Rumbles. Namal Jayasuriya, Tharindu Ranathunga, Kasun Gunawardana, Chamath Silva, Kumarasinghe Kumarasinghe, Asanka Sayakkara, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In SenSys '17 Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017. (DOI).
  56. Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors. Xu Jiang, Nan Guan, Xiang Long, and Wang Yi. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 80-91, IEEE, 2017. (DOI).
  57. Automatic detection of extended data-race-free regions. Alexandra Jimborean, Jonatan Waern, Per Ekemark, Stefanos Kaxiras, and Alberto Ros. In Proc. 15th International Symposium on Code Generation and Optimization, pp 14-26, IEEE Press, Piscataway, NJ, 2017. (Paper, fulltext:postprint).
  58. Author Profiling in the Wild. Lisa Kaati, Elias Lundeqvist, Amendra Shrestha, and Maria Svensson. In 2017 European Intelligence and Security Informatics Conference (EISIC), European Intelligence and Security Informatics Conference, pp 155-158, IEEE, 2017. (DOI).
  59. Quantified heap invariants for object-oriented programs. Temesghen Kahsai, Rody Kersten, Philipp Rümmer, and Martin Schäf. In 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, volume 46 of EPiC Series in Computing, pp 368-384, 2017. (External link, fulltext:postprint).
  60. GECKO: Gamer Experience-Centric Bitrate Control Algorithm for Cloud Gaming. Yihao Ke, Guoqiao Ye, Di Wu, Yipeng Zhou, Edith Ngai, and Han Hu. In Image and Graphics: 9th International Conference, ICIG 2017, Shanghai, China, September 13-15, 2017, Revised Selected Papers, Part II, volume 10667 of Lecture Notes in Computer Science, pp 325-335, Springer, 2017. (DOI).
  61. Generalized Finitary Real-Time Calculus. Kai Lampka, Steffen Bondorf, Jens B. Schmitt, Nan Guan, and Yi Wang. In IEEE INFOCOM 2017 - IEEE Conference on Computer Communications, IEEE INFOCOM, IEEE, 2017. (DOI).
  62. A deep learning approach for optimizing content delivering in cache-enabled HetNet. Lei Lei, Lei You, Gaoyang Dai, Thang Xuan Vu, Di Yuan, and Symeon Chatzinotas. In Proc. 14th International Symposium on Wireless Communication Systems, pp 449-453, IEEE, 2017. (DOI).
  63. Fair termination for parameterized probabilistic concurrent systems. Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, and Philipp Rümmer. In Tools and Algorithms for the Construction and Analysis of Systems: Part I, volume 10205 of Lecture Notes in Computer Science, pp 499-517, Springer, 2017. (DOI, fulltext:postprint).
  64. Subtask scheduling for distributed robots in cloud manufacturing. Wenxiang Li, Chunsheng Zhu, Laurence T. Yang, Lei Shu, Edith C.-H. Ngai, and Yajie Ma. In IEEE Systems Journal, volume 11, number 2, pp 941-950, 2017. (DOI).
  65. Exposing inter-process information for efficient parallel discrete event simulation of spatial stochastic systems. Jonatan Lindén, Pavol Bauer, Stefan Engblom, and Bengt Jonsson. In Proc. 5th ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, pp 53-64, ACM Press, New York, 2017. (DOI).
  66. Cloud-Based Data Fusion in Green IoT for Smart Cities. Xiuming Liu, Abdul Rahman Khankan, Mohamad Alsioufi, Zhitao He, and Edith C.-H. Ngai. In Proc. 14th International Conference on Embedded Wireless Systems and Networks, pp 216-217, ACM Digital Library, 2017.
  67. Path planning for aerial sensor networks with connectivity constraints. Xiuming Liu, Teng Xi, Edith Ngai, and Wendong Wang. In 2017 IEEE International Conference on Communications (ICC), IEEE International Conference on Communications, IEEE, 2017. (DOI).
  68. First year computing students' perceptions of authenticity in assessment. Roger McDermott, Mark Zarb, Mats Daniels, and Ville Isomöttönen. In Proc. 22nd Conference on Innovation and Technology in Computer Science Education, pp 10-15, ACM Press, New York, 2017. (DOI, Fulltext).
  69. The authenticity of 'authentic' assessment: Some faculty perceptions. Roger McDermott, Mark Zarb, Mats Daniels, Aletta Nylén, Arnold Pears, Ville Isomöttönen, and Michael Caspersen. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  70. Run-Time Assurance for the E-care@home System. Uddin Ahmed Mobyen, Hossein Fotouhi, Uwe Köckemann, Maria Linden, Ivan Tomasic, Nicolas Tsiftes, and Thiemo Voigt. In , 2017.
  71. An executable semantics for synchronous task graphs: From SDRT to Ada. Morteza Mohaqeqi, Jakaria Abdullah, and Wang Yi. In Reliable Software Technologies — Ada-Europe 2017, volume 10300 of Lecture Notes in Computer Science, pp 137-152, Springer, 2017. (DOI).
  72. Refinement of workload models for engine controllers by state space partitioning. Morteza Mohaqeqi, Jakaria Abdullah, Pontus Ekberg, and Wang Yi. In 29th Euromicro Conference on Real-Time Systems: ECRTS 2017, volume 76 of Leibniz International Proceedings in Informatics (LIPIcs), pp 11:1-22, Leibniz-Zentrum für Informatik, Dagstuhl, Germany, 2017. (DOI, Fulltext).
  73. Can we make a cake and eat it too?: A discussion of ICN security and privacy. Edith Ngai, Börje Ohlman, Gene Tsudik, Ersin Uzun, Matthias Wählisch, and Christopher A. Wood. In Computer communication review, volume 47, number 1, pp 49-54, 2017. (DOI).
  74. Guest Editorial Special Section on Internet-of-Things for Smart Cities and Urban Informatics. Edith Ngai, Falko Dressler, Victor Leung, and Mo Li. In IEEE Transactions on Industrial Informatics, volume 13, number 2, pp 748-750, Institute of Electrical and Electronics Engineers (IEEE), 2017. (DOI).
  75. Development of a self-efficacy scale for digital competences in schools. Lars-Åke Nordén, Linda Mannila, and Arnold Pears. In 2017 IEEE Frontiers in Education Conference (FIE): Proc. 47th ASEE/IEEE Frontiers in Education Conference, Frontiers in Education Conference, IEEE Press, 2017. (DOI, fulltext:postprint).
  76. Open-ended projects opened up – aspects of openness. Aletta Nylén, Mats Daniels, Ville Isomöttönen, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  77. Why are we here?: Student perspectives on the goal of STEM higher education. Aletta Nylén, Åsa Cajander, Mats Daniels, Arnold Pears, and Roger McDermott. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  78. Investigating interference between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, Martin Jacobsson, and Per Gunningberg. In Proc. 13th International Conference on Wireless and Mobile Computing, Networking and Communications, pp 441-448, IEEE, 2017. (DOI).
  79. Measuring PHY layer interactions between LoRa and IEEE 802.15.4g networks. Charalampos Orfanidis, Laura Marie Feeney, and Martin Jacobsson. In 2017 IFIP Networking Conference (IFIP Networking) and Workshops, International Federation for Information Processing, 2017. (DOI).
  80. The Archetype Learning Method: Scaffolding teamwork competences in the engineering classroom. Arnold Pears, Mats Daniels, and Åsa Cajander. In Proc. 47th ASEE/IEEE Frontiers in Education Conference, IEEE Press, Piscataway, NJ, 2017. (DOI).
  81. Learning Computing at University: Participation and Identity: A Longitudinal Study. Anne-Kathrin Peters. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1577, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  82. Member spotlight part 2. Leo Porter and Mats Daniels. In ACM SIGCSE Bulletin, volume 49, number 2, pp 11-14, 2017. (DOI).
  83. Augmenting WSNs with Interoperable 802.15.4 Sensor Tags. Carlos Pérez-Penichet, Claro Noda, Ambuj Varshney, and Thiemo Voigt. In Proceedings of the 15th ACM Conference on Embedded Networked Sensor Systems, 2017. (DOI).
  84. On Limits of Constructive Interference in Backscatter Systems. Carlos Pérez-Penichet, Frederik Hermans, and Thiemo Voigt. In Global Internet of Things Summit (GIoTS), 2017, pp 178-182, IEEE, 2017. (DOI).
  85. Building the Internet of Things with bluetooth smart. Shahid Raza, Prasant Misra, Zhitao He, and Voigt Thiemo. In Ad hoc networks, volume 57, pp 19-31, 2017. (DOI).
  86. SecureSense: End-to-End Secure Communication Architecture for the Cloud-connected Internet of Things. Shahid Raza, Tomas Helgason, Panos Papadimitratos, and Thiemo Voigt. In Future Generation Computer Systems, volume 77, pp 40-51, 2017. (DOI).
  87. Verification of networks of communicating processes: Reachability problems and decidability issues. Othmane Rezine. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1605, Acta Universitatis Upsaliensis, Uppsala, 2017. (fulltext, preview image).
  88. Efficient Self-Invalidation/Self-Downgrade for Critical Sections with Relaxed Semantics. Alberto Ros, Carl Leonardsson, Christos Sakalis, and Stefanos Kaxiras. In IEEE Transactions on Parallel and Distributed Systems, volume 28, number 12, pp 3413-3425, 2017. (DOI).
  89. Non-speculative load-load reordering in TSO. Alberto Ros, Trevor E. Carlson, Mehdi Alipour, and Stefanos Kaxiras. In Proc. 44th International Symposium on Computer Architecture, pp 187-200, ACM Press, New York, 2017. (DOI).
  90. Profiling energy efficiency and data communications for mobile Internet of Things. Peramanathan Sathyamoorthy, Edith C.-H. Ngai, Xiping Hu, and Victor C. M. Leung. In Wireless Communications & Mobile Computing, volume 17, 2017. (DOI, Fulltext, fulltext:print).
  91. Eloc: Locating Wild Elephants using Low-cost Infrasonic Detectors. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In 2017 13Th International Conference On Distributed Computing In Sensor Systems (DCOSS), IEEE International Conference on Distributed Computing in Sensor Systems, pp 44-52, IEEE, 2017. (DOI).
  92. Poster: A Low-cost Elephant Localization System. Asanka Sayakkara, Namal Jayasuriya, Tharindu Ranathunga, Chathura Suduwella, Nithila Vithanage, Chamath Keppitiyagama, Kasun De Zoysa, Kasun Hewage, and Thiemo Voigt. In , 2017.
  93. A graphics tracing framework for exploring CPU+GPU memory systems. Andreas Sembrant, Trevor E. Carlson, Erik Hagersten, and David Black-Schaffer. In Proc. 20th International Symposium on Workload Characterization, pp 54-65, IEEE, 2017. (DOI).
  94. A split cache hierarchy for enabling data-oriented optimizations. Andreas Sembrant, Erik Hagersten, and David Black-Schaffer. In Proc. 23rd International Symposium on High Performance Computer Architecture, pp 133-144, IEEE Computer Society, 2017. (DOI).
  95. POSTER: Putting the G back into GPU/CPU Systems Research. Andreas Sembrant, Trevor E. Carlson, Erik Hagersten, and David Black-Schaffer. In 2017 26TH INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES (PACT), International Conference on Parallel Architectures and Compilation Techniques, pp 130-131, 2017. (DOI).
  96. <em>Intrusion Detection in the RPL-connected 6LoWPAN Networks</em>. Dharmini Shreenivas, Shahid Raza, and Thiemo Voigt. In , 2017.
  97. A Machine Learning Approach Towards Detecting Extreme Adopters in Digital Communities. Amendra Shrestha, Lisa Kaati, and Katie Cohen. In 2017 28th International Workshop on Database and Expert Systems Applications (DEXA), International Workshop on Database and Expert Systems Applications-DEXA, pp 1-5, IEEE, 2017. (DOI).
  98. Applying Real-Time Scheduling Theory to the Synchronous Data Flow Model of Computation. Abhishek Singh, Pontus Ekberg, and Sanjoy Baruah. In , 2017. (DOI, Fulltext).
  99. Battery-free Visible Light Sensing. Andreas Soleiman, Ambuj Varshney, and Thiemo Voigt. In Proceedings Of The 23rd Annual International Conference On Mobile Computing And Networking (MOBICOM '17), pp 582-584, 2017. (DOI).
  100. Demo: Battery-free Visible Light Sensing. Andreas Soleiman, Ambuj Varshney, Luca Mottola, and Thiemo Voigt. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 35-35, ACM Press, New York, 2017. (DOI).
  101. Enabling Ambient Backscatter Using a Low-Cost Software Defined Radio. Maximilian Stiefel, Elmar van Rijnswou, Carlos Pérez-Penichet, Ambuj Varshney, Christian Rohner, and Thiemo Voigt. In , 2017.
  102. Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks. Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, and Yi Wang. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 92-103, IEEE, 2017. (DOI).
  103. Revisiting GPC and AND Connector in Real-Time Calculus. Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, and Wang Yi. In 2017 IEEE Real-Time Systems Symposium (RTSS), Real-Time Systems Symposium-Proceedings, pp 255-265, IEEE, 2017. (DOI).
  104. Privacy-preserving social tie discovery based on cloaked human trajectories. Ye Tian, Wendong Wang, Jie Wu, Qinli Kou, Zheng Song, and Edith C.-H. Ngai. In IEEE Transactions on Vehicular Technology, volume 66, number 2, pp 1619-1630, 2017. (DOI).
  105. Clairvoyance: Look-ahead compile-time scheduling. Kim-Anh Tran, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, Vasileios Spiliopoulos, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 15th International Symposium on Code Generation and Optimization, pp 171-184, IEEE Press, Piscataway, NJ, 2017. (fulltext:postprint).
  106. Software Architectural Metrics for the Scania Internet of Things Platform: From a Microservice Perspectiv. David Ulander. Student thesis, supervisor: Jakob Palmheden, examiner: Tomas Nyberg, Christian Rohner, UPTEC F nr 17033, 2017. (fulltext).
  107. Battery-free Visible Light Sensing. Ambuj Varshney, Andreas Soleiman, Luca Mottola, and Thiemo Voigt. In Proc. 4th ACM Workshop on Visible Light Communication Systems, pp 3-8, ACM Press, New York, 2017. (DOI).
  108. Demo: LoRea: A backscatter architecture that achieves a long communication range. Ambuj Varshney, Carlos Pérez-Penichet, Christian Rohner, and Thiemo Voigt. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, External link).
  109. LoRea: A backscatter architecture that achieves a long communication range. Ambuj Varshney, Oliver Harms, Carlos Pérez Penichet, Christian Rohner, Frederik Hermans, and Thiemo Voigt. In Proc. 15th ACM Conference on Embedded Network Sensor Systems, ACM Press, New York, 2017. (DOI, External link, fulltext:print).
  110. Towards wide-area backscatter networks. Ambuj Varshney, Carlos Pérez-Penichet, Christian Rohner, and Thiemo Voigt. In Proc. 4th ACM Workshop on Hot Topics in Wireless, pp 49-53, ACM Press, New York, 2017. (DOI).
  111. A perspective from Vietnamese students on teaching of soft skills. Huu-Phuc Vo, Anders Berglund, and Mats Daniels. In Proc. 5th International Conference on Learning and Teaching in Computing and Engineering, International Conference on Teaching and Learning in Computing and Engineering, pp 23-24, IEEE Computer Society, 2017. (DOI).
  112. Mitigating Inter-network Interference in LoRa Networks. Thiemo Voigt, Martin Bor, Utz Roedig, and Juan Alonso. In , 2017. (fulltext:postprint).
  113. Benchmarking OpenMP Programs for Real-Time Scheduling. Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, and Yi Wang. In 2017 IEEE 23Rd International Conference On Embedded And Real-Time Computing Systems And Applications (RTSCA), IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE Computer Society, 2017. (DOI).
  114. Towards Customizable CPS: Composability, Efficiency and Predictability. Yi Wang. In Formal Methods and Software Engineering, volume 10610 of Lecture Notes in Computer Science, pp 3-15, Springer, 2017. (DOI).
  115. Decoupled Access-Execute on ARM big.LITTLE. Anton Weber, Kim-Anh Tran, Stefanos Kaxiras, and Alexandra Jimborean. In Proc. 5th Workshop on High Performance Energy Efficient Embedded Systems, 2017. (External link).
  116. An approximation framework for solvers and decision procedures. Aleksandar Zeljic, Christoph M. Wintersteiger, and Philipp Rümmer. In Journal of automated reasoning, volume 58, number 1, pp 127-147, 2017. (DOI, Fulltext).
  117. On energy-efficient offloading in mobile cloud for real-time video applications. Lei Zhang, Di Fu, Jiangchuan Liu, Edith C.-H. Ngai, and Wenwu Zhu. In IEEE transactions on circuits and systems for video technology (Print), volume 27, number 1, pp 170-181, 2017. (DOI).

Updated  2018-10-26 12:56:38 by Kajsa Örjavik.