Publications

Export 7 results:
Filters: Author is Lopes, Luis  [Clear All Filters]
2016
Lopes, L., and F. Martins, "A safe-by-design programming language for wireless sensor networks", Journal of Systems Architecture, vol. 63: Elsevier, pp. 16–32, 2016.
2009
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
2008
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
2007
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.