Mikael Asplund
ABOUT
PUBLICATIONS
RESEARCH PROJECTS
STUDENT PROJECTS
SUPERVISION
TEACHING
SERVICE

Publications

Peer-reviewed articles in journals, books, conferences and workshops

2017
  • M.Asplund, J. Lövhall, E.Villani, Specification, Implementation and Verification of Dynamic Group Membership for Vehicle Coordination, in proceedings of the 22nd IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2017)
2016 2015 2014 2013
  • S. Zhang, M. Asplund, V. Cahill Reliable Broadcast in Vehicular Ad-Hoc Networks in Proceedings of The 9th IEEE International Wireless Communications & Mobile Computing Conference (IWCMC 2013), July 2013. doi: 10.1109/IWCMC.2013.6583802

2012 2011 2010 2009 2008 2007 2006

Theses

  • M. Asplund Disconnected Discoveries: Availability Studies in Partitioned Networks Doctoral thesis, Linköping University, 2010. URI: urn:nbn:se:liu:diva-60553.

  • M. Asplund Restoring Consistency after Network Partitions Licentiate thesis, Linköping University, 2007. URI: urn:nbn:se:liu:diva-9913

  • M. Asplund An optimising SMV to CLP(B) compiler Master's thesis, Linköping University, 2005. URI: urn:nbn:se:liu:diva-2805.

Other publications

External links



Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Last modified September 2016 by Mikael Asplund