ProFuN Publications and Technical Reports

2015

ProFuN TG: Programming Sensornets with Task Graphs for Increased Reliability and Energy-Efficiency. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, and Konstantinos Sagonas. In , IEEE Computer Society, 2015. (External link, fulltext:postprint).
ProFuN TG: A tool for programming and managing performance-aware sensor network applications. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, and Konstantinos Sagonas. In IEEE 40th Local Computer Networks Conference Workshops (LCN Workshops), pp 751-759, IEEE Computer Society, 2015. (DOI, fulltext:preprint).
Verification of buffered dynamic register automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, and Othmane Rezine. In Networked Systems: NETYS 2015, volume 9466 of Lecture Notes in Computer Science, pp 15-31, Springer, 2015. (DOI).
Modelling and analysing a WSN secure aggregation protocol: A comparison of languages and tool support. Volkan Cambazoglu, Ramunas Gutkovas, Johannes Åman Pohjola, and Björn Victor. Technical report / Department of Information Technology, Uppsala University nr 2015-033, 2015. (fulltext).
Security in Visible Light Communication: Novel Challenges and Opportunities. Christian Rohner, Shahid Raza, Daniele Puccinelli, and Thiemo Voigt. In Sensors & Transducers Journal, volume 192, number 9, pp 9-15, 2015. (External link, fulltext:print).
A closed loop stability condition of switched systems applied to NCSs with packet loss. Johannes Nygren and Kristiaan Pelckmans. In Proc. 5th IFAC Workshop on Distributed Estimation and Control in Networked Systems, International Federation of Automatic Control, 2015.
Conditions for input-output stability of discrete-time Luré systems with time-varying delays. Johannes Nygren and Kristiaan Pelckmans. In Proc. 54th Conference on Decision and Control, pp 7707-7714, IEEE, Piscataway, NJ, 2015.
Property-Based Testing of Sensor Networks. Andreas Löscher, Konstantinos Sagonas, and Thiemo Voigt. In Proc. 12th International Conference on Sensing, Communication, and Networking, pp 100-108, IEEE Communications Society, 2015.
A survey on mobile social networks: Applications, platforms, system architectures, and future research directions. Xiping Hu, Terry H. S. Chu, Victor C. M. Leung, Edith C.-H. Ngai, Philippe Kruchten, and Henry C. B. Chan. In IEEE Communications Surveys and Tutorials, volume 17, number 3, pp 1557-1581, 2015. (DOI).
Stability analysis of an adaptively sampled controller for SISO systems with nonlinear feedback. Johannes Nygren and Kristiaan Pelckmans. In Proc. American Control Conference: ACC 2015, pp 5353-5358, American Automatic Control Council, 2015. (DOI, fulltext:postprint).
Enabling design of performance-controlled sensor network applications through task allocation and reallocation. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, and Konstantinos Sagonas. In Proc. 11th International Conference on Distributed Computing in Sensor Systems, pp 248-253, IEEE Computer Society, 2015. (DOI, fulltext:postprint).
Optimal Task Allocation in Sensor and Actuator Networks. Atis Elsts. In Proc. 11th Swedish National Computer Networking Workshop, 2015.
ProFuN TG: A Tool Using Abstract Task Graphs to Facilitate the Development, Deployment and Maintenance of Wireless Sensor Network Applications. Atis Elsts, Farshid Hassani Bijarbooneh, Martin Jacobsson, and Konstantinos Sagonas. In Proc. Poster/Demo Session: 12th European Conference on Wireless Sensor Networks, pp 19-20, 2015.
Energy-efficient fault-tolerant dynamic event region detection in wireless sensor networks. Hans-Jacob Enemark, Yue Zhang, Nicola Dragoni, and Charalampos Orfanidis. In Proc. 81st IEEE Vehicular Technology Conference, IEEE Vehicular Technology Conference Proceedings, IEEE conference proceedings, 2015. (fulltext:postprint).
Using software-defined networking principles for wireless sensor networks. Martin Jacobsson and Charalampos Orfanidis. In Proc. 11th Swedish National Computer Networking Workshop, 2015. (External link, fulltext:print).
Estimating packet delivery ratio for arbitrary packet sizes over wireless links. Martin Jacobsson and Christian Rohner. In IEEE Communications Letters, volume 19, number 4, pp 609-612, 2015. (DOI).
Constraint Programming for Wireless Sensor Networks. Farshid Hassani Bijarbooneh. Ph.D. thesis, Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology nr 1219, Acta Universitatis Upsaliensis, Uppsala, 2015. (fulltext, preview image).
MPass: An efficient tool for the analysis of message-passing programs. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jonathan Cederberg, Subham Modi, Othmane Rezine, and Gaurav Saini. In Formal Aspects of Component Software, volume 8997 of Lecture Notes in Computer Science, pp 198-206, Springer, 2015. (DOI).
The Psi-Calculi Workbench: A Generic Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor. In ACM Transactions on Embedded Computing Systems, volume 14, number 1, 2015. (DOI, fulltext:postprint).
Broadcast psi-calculi with an application to wireless protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software and Systems Modeling, volume 14, number 1, pp 201-216, Springer, 2015. (DOI, fulltext:postprint).

2014

Verification of Dynamic Register Automata. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Ahmet Kara, and Othmane Rezine. In Leibniz International Proceedings in Informatics: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2014), 2014. (fulltext:postprint).
Advancing concurrent system verification: Type based approach and tools. Ramunas Gutkovas. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-007, Uppsala University, 2014. (fulltext).
Multidimensional context-aware social network architecture for mobile crowdsensing. Xiping Hu, Xitong Li, Edith C.-H. Ngai, Victor C. M. Leung, and Philippe Kruchten. In IEEE Communications Magazine, volume 52, number 6, pp 78-87, 2014. (DOI).
Information-centric collaborative data collection for mobile devices in wireless sensor networks. Gang Xu, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. International Conference on Communications: ICC 2014, pp 36-41, IEEE Communications Society, 2014. (DOI).
Session types for broadcasting. Dimitrios Kouzapas, Ramunas Gutkovas, and Simon J. Gay. In Proc. 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, volume 155 of Electronic Proceedings in Theoretical Computer Science, pp 25-31, 2014. (DOI, fulltext:print).
On the stability and optimality of an output feedback control law. Johannes Nygren and Kristiaan Pelckmans. 2014.
A Case for Node-Local Runtime Parameter Adaptation in Wireless Sensor Networks. Atis Elsts and Edith C.-H. Ngai. In Proc. 10th Swedish National Computer Networking Workshop, 2014.
Energy-efficient sensor selection for data quality and load balancing in wireless sensor networks. Farshid Hassani Bijarbooneh, Wei Du, Edith Ngai, and Xiaoming Fu. In Proc. 22nd International Symposium on Quality of Service, pp 338-343, IEEE Communications Society, 2014. (DOI).
A novel incentive negotiation mechanism for participatory sensing under budget constraints. Zheng Song, Edith Ngai, Jian Ma, and Wendong Wang. In Proc. 22nd International Symposium on Quality of Service, pp 326-331, IEEE Communications Society, 2014. (DOI).
SADSense: Personalized Mobile Sensing for Seasonal Effects on Health. Kamyar Niroumand, Liam McNamara, Kiril Goguev, and Edith Ngai. In Proc. 13th International Symposium on Information Processing in Sensor Networks, pp 295-296, IEEE Press, Piscataway, NJ, 2014. (DOI).
Incentive mechanism for participatory sensing under budget constraints. Zheng Song, Edith Ngai, Jian Ma, Xiangyang Gong, Yazhi Liu, and Wendong Wang. In Proc. Wireless Communications and Networking Conference 2014, pp 3361-3366, IEEE Communications Society, 2014. (DOI).
Energy-efficient automatic location-triggered applications on smartphones. Yemao Man and Edith C.-H. Ngai. In Computer Communications, volume 50, pp 29-40, 2014. (DOI).
Output feedback control: Some methods and applications. Johannes Nygren. Licentiate thesis, IT licentiate theses / Uppsala University, Department of Information Technology nr 2014-002, Uppsala University, 2014. (fulltext).
A Sorted Semantic Framework for Applied Process Calculi (extended abstract). Johannes Borgström, Ramunas Gutkovas, Joachim Parrow, Björn Victor, and Johannes Åman Pohjola. In Trustworthy Global Computing: TGC 2013, volume 8358 of Lecture Notes in Computer Science, pp 103-118, Springer Berlin/Heidelberg, 2014. (DOI).
Ubiquitous sensor data collection with mobile users. Brendan Mumey, Gang Xu, and Edith C.-H. Ngai. In Proc. 3rd International Conference on Computing, Networking and Communications, pp 561-566, IEEE Press, Piscataway, NJ, 2014. (DOI).
Optimal dynamic partial order reduction. Parosh Abdulla, Stavros Aronis, Bengt Jonsson, and Konstantinos Sagonas. In Proc. 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, volume 49:1 of ACM SIGPLAN NOTICES, pp 373-384, ACM Press, New York, 2014. (DOI).
A constraint programming approach for managing end-to-end requirements in sensor network macroprogramming. Farshid Hassani Bijarbooneh, Animesh Pathak, Justin Pearson, Valérie Issarny, and Bengt Jonsson. In Proc. 3rd International Conference on Sensor Networks, pp 28-40, SciTePress, Setúbal, Portugal, 2014. (DOI).
Approximate adjoint-based iterative learning control. Johannes Nygren, Kristiaan Pelckmans, and Bengt Carlsson. In International Journal of Control, volume 87, number 5, pp 1028-1046, 2014. (DOI).
All is not lost: Understanding and exploiting packet corruption in outdoor sensor networks. Frederik Hermans, Hjalmar Wennerström, Liam McNamara, Christian Rohner, and Per Gunningberg. In Wireless Sensor Networks: EWSN 2014, volume 8354 of Lecture Notes in Computer Science, pp 116-132, Springer Berlin/Heidelberg, 2014. (DOI).
Efficient and Flexible Sensornet Checkpointing. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt, and Vlado Handziski. In Wireless Sensor Networks, volume 8354, pp -65, 2014. (DOI, Conference website).
Quality-of-information-aware data collection for mobile sensor networks. Edith C.-H. Ngai and Per Gunningberg. In Pervasive and Mobile Computing, volume 11, pp 203-215, 2014. (DOI).
Higher-order psi-calculi. Joachim Parrow, Johannes Borgström, Palle Raabjerg, and Johannes Åman Pohjola. In Mathematical Structures in Computer Science, volume 24, number 2, Cambridge University Press, 2014. (DOI, fulltext:postprint).

2013

Increasing the number of DO sensors for aeration control in wastewater treatment: how much is gained?. Bengt Carlsson and Johannes Nygren. In 11th IWA conference on Instrumentation, Control and Automation, 2013.
Veri?cation of heap manipulating programs with ordered data by extended forest automata. Parosh Aziz Abdulla, Lukás Holík, Bengt Jonsson, Ondrej Lengál, Cong Quy Trinh, and Tomás Vojnar. In Automated Technology for Verification and Analysis: ATVA 2013, volume 8172 of Lecture Notes in Computer Science, pp 224-239, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
Verification of Directed Acyclic Ad Hoc Networks. Parosh Aziz Abdulla, Mohamed Faouzi Atig, and Othmane Rezine. In Formal Techniques for Distributed Systems: FORTE 2013, volume 7892 of Lecture Notes in Computer Science, pp 193-208, Springer Berlin/Heidelberg, 2013. (DOI, fulltext:postprint).
A cellular-centric service architecture for machine-to-machine (M2M) communications. Anthony Lo, Yee Wei Law, and Martin Jacobsson. In IEEE wireless communications, volume 20, number 5, pp 143-151, IEEE Communications Society, 2013. (DOI).
Optimising quality of information in data collection for mobile sensor networks. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Proc. 21st International Symposium on Quality of Service, pp 163-172, IEEE Communications Society, 2013. (DOI, Fulltext).
Systematic testing for detecting concurrency errors in Erlang programs. Maria Christakis, Alkis Gotovos, and Konstantinos Sagonas. In Proc. 6th International Conference on Software Testing, Verification and Validation, pp 154-163, IEEE Computer Society, 2013. (DOI).
A Parametric Tool for Applied Process Calculi. Johannes Borgström, Ramunas Gutkovas, Ioana Rodhe, and Björn Victor. In 13th International Conference on Application of Concurrency to System Design (ACSD 2013), International Conference on Application of Concurrency to System Design, pp 180-185, IEEE Computer Society, 2013. (DOI).
Comparing wireless flooding protocols using trace-based simulations. Martin Jacobsson and Christian Rohner. In EURASIP Journal on Wireless Communications and Networking, pp 169:1-15, 2013. (DOI, Fulltext, fulltext:print).
Towards adaptive zero-knowledge protocols: A case study with Fiat–Shamir identification protocol. Volkan Cambazoglu and Christian Rohner. In Proc. 9th Swedish National Computer Networking Workshop, pp 67-70, 2013.
SoNIC: Classifying interference in 802.15.4 sensor networks. Frederik Hermans, Olof Rensfelt, Thiemo Voigt, Edith Ngai, Lars-Åke Nordén, and Per Gunningberg. In Proc. 12th International Conference on Information Processing in Sensor Networks, pp 55-66, ACM Press, New York, 2013. (DOI).
Network-Wide Sensornet Checkpointing Made Practical. Andreas Löscher, Nicolas Tsiftes, Thiemo Voigt, and Vlado Handziski. In 10th European Conference on Wireless Sensor Networks, 2013.
On providing location privacy for mobile sinks in wireless sensor networks. Edith C.-H. Ngai and Ioana Rodhe. In Wireless networks, volume 19, number 1, pp 115-130, 2013. (DOI).

2012

An investigation of link quality assessment for mobile multi-hop and multi-rate wireless networks. Jinglong Zhou, Martin Jacobsson, Ertan Onur, and Ignas Niemegeers. In Wireless personal communications, volume 65, number 2, pp 405-423, 2012. (DOI).
An analytical energy consumption model for packet transfer over wireless links. Javad Vazifehdan, Venkatesha Prasad, Martin Jacobsson, and Ignas Niemegeers. In IEEE Communications Letters, volume 16, number 1, pp 30-33, 2012. (DOI).
Multi-Pushdown Systems with Budgets. Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman, and Othmane Rezine. In Formal Methods in Computer-Aided Design, pp 24-33, 2012. (External link).
A glimpse of energy-efficient location-triggered mobile application design and implementation in data collection scenarios. Yemao Man, Edith C.-H. Ngai, and Liu Yang. In Proc. 8th International Conference on Mobile Ad Hoc and Sensor Networks, pp 108-115, IEEE, Piscataway, NJ, 2012. (DOI).
Macroprogramming of Wireless Sensor Networks using Task Graphs and Constraint Solving. Farshid Hassani Bijarbooneh and Martin Jacobsson. 8th Swedish National Computer Networking Workshop (SNCNW), 7-8 June, 2012, Stockholm, Sweden, 2012.
A cooperative decentralized PI control strategy: discrete-time analysis and nonlinear feedback. Johannes Nygren and Kristiaan Pelckmans. In Proc. 3rd IFAC Workshop on Distributed Estimation and Control in Networked Systems, pp 103-108, 2012. (fulltext:postprint).
On location privacy and quality of information in participatory sensing. Ioana Rodhe, Christian Rohner, and Edith C.-H. Ngai. In Proc. 8th ACM Symposium on QoS and Security for Wireless and Mobile Networks, pp 55-62, ACM Press, New York, 2012. (DOI).
A ubiquitous publish/subscribe platform for wireless sensor networks with mobile mules. Xiaoyu Tong and Edith C.-H. Ngai. In Proc. 8th International Conference on Distributed Computing in Sensor Systems, pp 99-108, IEEE Computer Society, 2012. (DOI).
A location-based publish/subscribe framework for wireless sensors and mobile phones. He Huang, Edith C.-H. Ngai, and Jiangchuan Liu. In Proc. Wireless Communications and Networking Conference 2012, pp 2173-2178, IEEE Communications Society, 2012. (DOI).
An optimisation-based approach for wireless sensor deployment in mobile sensing environments. Farshid Hassani Bijarbooneh, Pierre Flener, Edith C.-H. Ngai, and Justin Pearson. In Proc. Wireless Communications and Networking Conference 2012, pp 2108-2112, IEEE Communications Society, 2012. (DOI).
Quality-of-Information aware data collection for mobile sensor networks. Edith C.-H. Ngai and Per Gunningberg. In Proc. 10th International Conference on Pervasive Computing and Communications Workshops, pp 38-43, IEEE Communications Society, 2012. (DOI).
The impact of trace and adversary models on location privacy provided by K-anonymity. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In Proc. 1st Workshop on Measurement, Privacy, and Mobility, ACM Press, New York, 2012. (DOI).
Designing a flexible and low-cost testbed for Wireless Sensor Networks. Cheng Guo, Venkatesha Prasad, JiangJie He, Martin Jacobsson, and Ignas Niemegeers. In International Journal of Ad Hoc and Ubiquitous Computing, volume 9, number 2, pp 111-121, InderScience Publishers, 2012. (DOI).
Computing Strong and Weak Bisimulations for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Journal of Logic and Algebraic Programming, volume 81, number 3, pp 162-180, Elsevier, 2012. (DOI).

2011

Applications of repetitive control in activated sludge processes. Linda Åmand, Johannes Nygren, and Bengt Carlsson. WaterMatex'11, the 8th IWA Symposium on Systems Analysis and Integrated Assessment, 2011.
Benchmark simulation model no. 1 with a wireless sensor network for monitoring and control. Johannes Nygren and Bengt Carlsson. Nordiwa'11, 2011.
On the verification of timed ad hoc networks. Parosh Aziz Abdulla, Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, and Riccardo Traverso. 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).
Broadcast Psi-calculi with an Application to Wireless Protocols. Johannes Borgström, Shuqin Huang, Magnus Johansson, Palle Raabjerg, Björn Victor, Johannes Åman Pohjola, and Joachim Parrow. In Software Engineering and Formal Methods: SEFM 2011, volume 7041 of Lecture Notes in Computer Science, pp 74-89, Springer Berlin/Heidelberg, 2011. (DOI, fulltext:postprint).
Formal Verification of Skiplist Algorithms. Cong Quy Trinh. Student thesis, supervisor: Bengt Jonsson, examiner: Parosh Abdulla, Anders Jansson, IT nr 11 079, 2011. (fulltext).
Repeatable experiments with mobile nodes in a relocatable WSN testbed. Olof Rensfelt, Frederik Hermans, Per Gunningberg, Lars-Åke Larzon, and Erik Björnemo. In Computer journal, volume 54, number 12, pp 1973-1986, 2011. (DOI).
Benchmark simulation model no. 1 with a wireless sensor network for monitoring and control. Johannes Nygren and Bengt Carlsson. Technical report / Department of Information Technology, Uppsala University nr 2011-002, 2011. (fulltext).
Energy-efficient task mapping for data-driven sensor network macroprogramming using constraint programming. Farshid Hassani Bijarbooneh, Pierre Flener, Edith Ngai, and Justin Pearson. In Operations Research, Computing, and Homeland Defense, pp 199-209, Institute for Operations Research and the Management Sciences, Hanover, MD, 2011. (DOI).
Lower trees with fixed degrees: a recipe for efficient secure hierarchical aggregation in WSNs. Davor Sutic, Ioana Rodhe, Christian Rohner, and Björn Victor. In 2011 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), pp 659-664, IEEE Computer Society, 2011. (DOI).
Psi-calculi: a framework for mobile processes with nominal data and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Logical Methods in Computer Science, volume 7, number 1, p 11, 2011. (DOI).

2010

Sensei-UU: a relocatable sensor network testbed. Olof Rensfelt, Frederik Hermans, Lars-Åke Larzon, and Per Gunningberg. In Proc. 5th ACM International Workshop on Wireless Network Testbeds, Experimental Evaluation and Characterization, pp 63-70, ACM Press, 2010. (DOI).
Repeatable experiments with mobile nodes in a relocatable WSN testbed. Olof Rensfelt, Frederik Hermans, Per Gunningberg, and Lars-Åke Larzon. In Proc. 6th IEEE International Conference on Distributed Computing in Sensor Systems Workshops: DCOSSW 2010, pp 1-6, IEEE Computer Society, 2010. (DOI).
Weak Equivalences in Psi-calculi. Magnus Johansson, Jesper Bengtson, Joachim Parrow, and Björn Victor. In Proc. 25th Symposium on Logic in Computer Science: LICS 2010, pp 322-331, IEEE, Piscataway, NJ, 2010. (DOI).
A Fully Abstract Symbolic Semantics for Psi-Calculi. Magnus Johansson, Björn Victor, and Joachim Parrow. In Proc. 6th Workshop on Structural Operational Semantics: SOS 2009, volume 18 of Electronic Proceedings in Theoretical Computer Science, pp 17-31, 2010. (DOI).

2009

Psi-calculi: Mobile processes, nominal data, and logic. Jesper Bengtson, Magnus Johansson, Joachim Parrow, and Björn Victor. In Proc. 24th Annual IEEE Symposium on Logic in Computer Science, pp 39-48, IEEE, Piscataway, NJ, 2009. (DOI).