Publications on Google Scholar

Books and Book Chapters

  1. [BRRW2009] Jan Beutel and Kay Roemer and Matthias Woehrle and Matthias Ringwald : Deployment Techniques for Sensor Networks, Sensor Networks - Where Theory Meets Practice, pages 219--248, Springer, 2010 [bib] [pdf]
  2. [WBT2009] Matthias Woehrle and Jan Beutel and Lothar Thiele : Wireless Sensor Networks Test and Validation, Chapter in Handbook of Networked Embedded Systems, pages 11-1 -- 11-27, CRC Press/Taylor & Francis, 2009 [bib]

Journal publications

  1. [BW2012] Niels Brouwers and Matthias Woehrle : Dwelling in the canyons: Dwelling detection in Urban Environments Using GPS, Wi-Fi, and Geolocation, Pervasive and Mobile Computing, pages (accepted for publication), 2012 [bib]
  2. [WLT2012a] Matthias Woehrle and Kai Lampka and Lothar Thiele : Conformance Testing for Cyber-Physical Systems, ACM Transactions on Embedded Computing Systems, Volume 11, Issue 6, 2012/13 [bib]

Conference and workshop proceedings

  1. [LWGP2012] A. Loukas and M. Woehrle and P. Glatz and K.G. Langendoen : On Distributed Computation of Information Potentials, 8th ACM Int.\ Workshop on Foundations of Mobile Computing, pages (to appear), July, 2012 [bib]
  2. [WBL2012b] M. Woehrle and M. Bor and K.G. Langendoen : 868 MHz: a noiseless environment, but no free lunch for protocol design, Proc. 9th Int'l Conf. on Networked Sensing Systems (INSS 2012), pages 1--8, June, 2012 [bib] [pdf]
  3. [Woehrle2012a] Matthias Woehrle : Search-based Stress Testing of Wireless Network Protocol Stacks, Software Testing, Verification and Validation Workshops (ICSTW), IEEE 4th Int'l Conf. on, pages 794--803, April, 2012 -- Best Paper Award [bib] [pdf]
  4. [WBM2012a] Matthias Woehrle and Rena Bakhshi and Mohammad Reza Mousavi : Mechanized extraction of topology anti-patterns in wireless networks, Proceedings of the 9th international conference on Integrated formal methods, pages 158--173, 2012 [bib] [pdf]
  5. [BW2011a] Niels Brouwers and Matthias Woehrle : Detecting Dwelling in Urban Environments Using GPS, WiFi, and Geolocation Measurements, Proc. 2nd Int'l Workshop on Sensing Applications on Mobile Phones (PhoneSense 2011), pages 1--5, November, 2011 [bib] [pdf]
  6. [KWLBT2011] Matthias Keller and Matthias Woehrle and Roman Lim and Jan Beutel and Lothar Thiele : Comparative Performance Analysis of the PermaDozer Protocol in Diverse Deployments, 36th IEEE Conf. on Local Computer Networks (SenseApp Workshop), pages 969--977, October, 2011 [bib] [pdf]
  7. [WLT2011] Matthias Woehrle and Kai Lampka and Lothar Thiele : Segmented State Space Traversal for Conformance Testing of Cyber-Physical Systems, 9th Int'l Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS 2011), pages 193--208, September, 2011 [bib] [pdf]
  8. [IWL2011a] Venkatraman Iyer and Matthias Woehrle and Koen Langendoen : Chrysso -- A Multi-channel Approach to Mitigate External Interference, Proc. 8th Annual IEEE Communications Society Conference on Sensor, Mesh, and Ad Hoc Communications and Networks (SECON 2011), pages 422--430, June, 2011 [bib] [pdf]
  9. [LWL2011a] Andreas Loukas and Matthias Woehrle and Koen Langendoen : On Mining Sensor Network Software Repositories, Proc. 2nd Int'l Workshop on Software Engineering for Sensor Network Applications (SESENA 2011), pages 25--30, May, 2011 [bib] [pdf]
  10. [WPT2010a] Matthias Woehrle and Christian Plessl and Lothar Thiele : Rupeas: Ruby Powered Event Analysis DSL, Proc. 7th Int'l Conf. on Networked Sensing Systems (INSS 2010), pages 245--248, IEEE, June, 2010 [bib] [pdf]
  11. [IWL2010a] Venkatraman Iyer and Matthias Woehrle and Koen Langendoen : Chamaeleon: Exploiting Multiple Channels to Mitigate Interference, Proc. 7th Int'l Conf. on Networked Sensing Systems (INSS 2010), pages 65--68, IEEE, June, 2010 [bib] [pdf]
  12. [MWZ2010a] Andreas Meier and Matthias Woehrle and Marco Zimmerling and Lothar Thiele : Zerocal: Automatic MAC Protocol Calibration, Proc. 6th IEEE Int'l Conference on Distributed Computing in Sensor Systems (DCOSS 2010), pages 31--44, Santa Barbara, CA, USA, IEEE, June, 2010 [bib] [pdf]
  13. [WML2010] Matthias Woehrle and Andreas Meier and Koen Langendoen : On the Potential of Software Rejuvenation for Long-Running Sensor Network Deployments (position paper), Proc. 1st Int'l Workshop on Software Engineering for Sensor Network Applications (SESENA 2010), pages 44--48, 2010 [bib] [pdf]
  14. [JWK2009] Adriaan de Jong and Matthias Woehrle and Koen Langendoen : MoMi - Model-Based Diagnosis Middleware for Sensor Networks, Proc. 4th Int'l Conf. Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks (MidSens 2009), pages 19--24, Urbana Champaign, IL, USA, Springer, December, 2009 [bib] [pdf]
  15. [WLT2009a] Matthias Woehrle and Kai Lampka and Lothar Thiele : Exploiting timed automata for conformance testing of power measurements, 7th Int'l Conf. on Formal Modelling and Analysis of Timed Systems (FORMATS 2009), pages 275--290, Budapest, Hungary, Springer, September, 2009 [bib] [pdf]
  16. [MWWBT2009] Andreas Meier and Matthias Woehrle and Mischa Weise and Jan Beutel and Lothar Thiele : NoSE: Efficient Maintenance and Initialization of Wireless Sensor Networks., Proc. 6th Annual IEEE Communications Society Conference on Sensor, Mesh, and Ad Hoc Communications and Networks (SECON 2009), pages 1--9, Rome, Italy, IEEE, June, 2009 [bib] [pdf]
  17. [Beutel2009a] Jan Beutel and Stephan Gruber and Andreas Hasler and Roman Lim and Andreas Meier and Christian Plessl and Igor Talzi and Lothar Thiele and Christian Tschudin and Matthias Woehrle and Mustafa Yuecel : PermaDAQ: A scientific instrument for precision sensing and data recovery in environmental extremes, Proc. 8th ACM/IEEE Int'l Conf. on Information Processing in Sensor Networks (IPSN 2009), pages 265--276, San Francisco, CA, USA, ACM/IEEE, April, 2009 [bib] [pdf]
  18. [WPLBT2008a] Matthias Woehrle and Christian Plessl and Roman Lim and Jan Beutel and Lothar Thiele : EvAnT: Analysis and Checking of event traces for Wireless Sensor Networks, Proc. IEEE Int'l Conf. on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), pages 201--208, IEEE, June, 2008 [bib] [pdf]
  19. [WBLT2008a] Matthias Woehrle and Jan Beutel and Roman Lim and Lothar Thiele : Power monitoring and testing in Wireless Sensor Network Development, Workshop on Energy in Wireless Sensor Networks, Adj. Proc. DCOSS 2008, pages IV-3--IV-9, June, 2008 [bib] [pdf]
  20. [WBHB2008a] Matthias Woehrle and Dimo Brockhoff and Tim Hohm and Stefan Bleuler : Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs, 19th Int'l Conf. on Multiple Criteria Decision Making (MCDM 2008), pages 211--221, 2008 [bib] [pdf]
  21. [WPBT2007a] Matthias Woehrle and Christian Plessl and Jan Beutel and Lothar Thiele : Increasing the Reliability of Wireless Sensor Networks with a Distributed Testing Framework, Proc. 4th Workshop on Embedded Networked Sensors (EmNets 2007), pages 93--97, Cork, Ireland, ACM Press, New York, June, 2007 [bib] [pdf]

Conference and workshop posters and demos

  1. [Hasenfratz2010b] David Hasenfratz and Andreas Meier and Matthias Woehrle and Marco Zimmerling and Lothar Thiele : Poster Abstract: If You Have Time, Save Energy with Pull, Proceedings of the 8th ACM Conference on Embedded Networked Sensor Systems (SenSys 2010), pages 423--424, Zurich, Switzerland, November, 2010 [bib] [pdf]
  2. [ZFWT2010] Marco Zimmerling and Federico Ferrari and Matthias Woehrle and Lothar Thiele : Poster Abstract: Exploiting Protocol Models for Generating Feasible Communication Stack Configurations, Proc. ACM/IEEE Int'l Conf. on Information Processing in Sensor Networks (IPSN 2010), pages 380--381, April, 2010 [bib] [pdf]
  3. [BLMWWTY2009a] Jan Beutel and Roman Lim and Andreas Meier and Lothar Thiele and Christoph Walser and Matthias Woehrle and Mustafa Yuecel : Poster Abstract: The FlockLab Testbed Architecture, Proc. 7th ACM Conf. Embedded Networked Sensor Systems (SenSys 2009), pages 415--416, Berkeley, CA, USA, November, 2009 -- Best Poster Award [bib] [pdf]
  4. [Beutel2009b] Jan Beutel and Stephan Gruber and Andreas Hasler and Roman Lim and Andreas Meier and Christian Plessl and Igor Talzi and Lothar Thiele and Christian Tschudin and Matthias Woehrle and Mustafa Yuecel : Demo Abstract: Operating a Sensor Network at 3500m Above Sea Level, Proc. 8th ACM/IEEE Int'l Conf. on Information Processing in Sensor Networks (IPSN 2009)ACM/IEEE Int. Conf. on Information Processing in Sensor Networks (IPSN 2009), pages 405--406, Washington, DC, USA, IEEE Computer Society, April, 2009 [bib] [pdf]
  5. [WPT2009a] Matthias Woehrle and Christian Plessl and Lothar Thiele : Poster Abstract: Rupeas - An Event Analysis Language for Wireless Sensor Network Traces, Adjunct Proc. 6th European Workshop on Sensor Networks (EWSN 2009), pages 19--20, Cork, Ireland, February, 2009 [bib] [pdf]
  6. [LWMB2009] Roman Lim and Matthias Woehrle and Andreas Meier and Jan Beutel : Poster Abstract: Harvester - Energy Savings Through Synchronized Low-power Listening, Adjunct Proc. 6th European Workshop on Sensor Networks (EWSN 2009), pages 29--30, Cork, Ireland, Springer, February, 2009 [bib] [pdf]
  7. [BDLPWYT2007a] Jan Beutel and Matthias Dyer and Roman Lim and Christian Plessl and Matthias Woehrle and Mustafa Yuecel and Lothar Thiele : Demo Abstract: Automated Wireless Sensor Network Testing, Proc. 4th Int'l Conf. on Networked Sensing Systems (INSS 2007), pages 303, IEEE, June, 2007 [bib] [pdf]

Theses

  1. [woehrle2010a] Matthias Woehrle : Testing of Wireless Sensor Networks, Phd Thesis, Nr. 19230, ETH Zurich, 2010 [bib] [pdf]

Technical reports

  1. [WPT2009b] Matthias Woehrle and Christian Plessl and Lothar Thiele : Rupeas: Ruby Powered Event Analysis DSL, Technical Report Nr. 290, Computer Engineering and Networks Laboratory, ETH Zurich, February, 2009 [bib] [pdf]
  2. [WBHB2008b] Matthias Woehrle and Dimo Brockhoff and Tim Hohm and Stefan Bleuler : Investigating Coverage and Connectivity Trade-offs in Wireless Sensor Networks: The Benefits of MOEAs, Technical Report Nr. 294, Computer Engineering and Networks Laboratory, ETH Zurich, October, 2008 [bib] [pdf]
  3. [WBYT2008a] Matthias Woehrle and Jan Beutel and Mustafa Yuecel and Lothar Thiele : Approaching Wireless Sensor Networks Using Systematic Testing Strategies, Technical Report Nr. 284, Computer Engineering and Networks Laboratory, ETH Zurich, May, 2008 [bib] [pdf]
  4. [WBT2008a] Matthias Woehrle and Jan Beutel and Lothar Thiele : The System Development Lifecycle -- Learning from a Sensornet Review, Technical Report Nr. 283, Computer Engineering and Networks Laboratory, ETH Zurich, May, 2008 [bib] [pdf]
  5. [WBH2007a] Matthias Woehrle and Dimo Brockhoff and Tim Hohm : A new model for deployment coverage and connectivity of Wireless Sensor Networks, Technical Report Nr. 278, Computer Engineering and Networks Laboratory, ETH Zurich, September, 2007 [bib] [pdf]
  6. [BPW2007] Jan Beutel and Christian Plessl and Matthias Woehrle : Increasing the Reliability of Wireless Sensor Networks with a Unit Testing Framework, Technical Report Nr. 272, Computer Engineering and Networks Laboratory, ETH Zurich, March, 2007 [bib] [pdf]

Other publications

  1. [WLT2009c] Matthias Woehrle and Kai Lampka and Lothar Thiele : Power Trace Testing (PTT) for Wireless Sensor Networks, MICS Workshop, Lausanne, Switzerland, 2010 [bib] [pdf]
  2. [WLT2009b] Matthias Woehrle and Kai Lampka and Lothar Thiele : Power Trace Testing: Exploiting timed automata for conformance testing of power measurements, MICS Workshop, Lausanne, Switzerland, 2009 [bib] [pdf]
  3. [BMZ2009a] Johannes Bader and Matthias Woehrle and Eckhart Zitzler : Design Space Exploration for Wireless Sensor Networks, Indo Swiss Joint Research Programme (ISJRP), Jaipur, India, 2008 [bib]
  4. [WBT2008b] Matthias Woehrle and Jan Beutel and Lothar Thiele : Wireless Sensor Networks: Development Tools, MICS Workshop, Zurich, Switzerland, 2008 [bib] [pdf]
  5. [WPT2008a] Matthias Woehrle and Christian Plessl and Lothar Thiele : Power Trace Testing: Exploiting timed automata for conformance testing of power measurements, MICS Site Visit, Lausanne, Switzerland, 2008 [bib] [pdf]
  6. [BDLPWYT2007b] Jan Beutel and Matthias Dyer and Roman Lim and Christian Plessl and Matthias Woehrle and Mustafa Yuecel and Lothar Thiele : Automated Wireless Sensor Network Testing, MICS Workshop, Neuchatel, Switzerland, 2007 [bib] [pdf]