ProFuN Publications and Technical Reports
2012
-
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
).
-
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, IEEE Communications Society, 2012.
-
The Impact of Trace and Adversary Models on Location Privacy Provided by K-anonymity
. Volkan Cambazoglu, Christian Rohner, and Björn Victor. In EuroSys 2012 Workshop on Measurement, Privacy, and Mobility (MPM), 2012. (To appear.)
2011
-
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
).
-
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
).
-
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
).
-
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
).
-
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, Berlin, 2011. (DOI
, fulltext
).
-
Formal Verification of Skiplist Algorithms
. Cong Quy Trinh. Student thesis, supervisor: Bengt Jonsson, examiner: Parosh Abdulla, Anders Jansson, IT nr 11 079, 2011. (fulltext
).
-
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
).
-
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. (External link).
-
Benchmark simulation model no. 1 with a wireless sensor network for monitoring and control
. Johannes Nygren and Bengt Carlsson. Nordiwa'11, 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.
2010
-
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
).
-
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
).
-
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
).
-
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
).
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
).
x
Search results appear here...