| MONPOLY: Monitoring usage-control policies D Basin, M Harvan, F Klaedtke, E Zălinescu Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 116 | 2012 |
| SNMP traffic analysis: approaches, tools, and first results J Schonwalder, A Pras, M Harvan, J Schippers, R van de Meent 2007 10th IFIP/IEEE International Symposium on Integrated Network Management …, 2007 | 79 | 2007 |
| State-based usage control enforcement with data flow tracking using system call interposition M Harvan, A Pretschner 2009 Third International Conference on Network and System Security, 373-380, 2009 | 75 | 2009 |
| Connecting wireless sensor networks to the internet-a 6lowpan implementation for tinyos 2.0 M Harvan Jacobs University Bremen, Germany, 2007 | 50 | 2007 |
| Scalable offline monitoring D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel Runtime Verification: 5th International Conference, RV 2014, Toronto, ON …, 2014 | 46 | 2014 |
| Usage control enforcement with data flow tracking for x11 A Pretschner, M Büchler, M Harvan, C Schaefer, T Walter 5th Intl. Workshop on Security and Trust Management (STM), 2009 | 40 | 2009 |
| Scalable offline monitoring of temporal specifications D Basin, G Caronni, S Ereth, M Harvan, F Klaedtke, H Mantel Formal Methods in System Design 49, 75-108, 2016 | 39 | 2016 |
| Monitoring data usage in distributed systems D Basin, M Harvan, F Klaedtke, E Zalinescu IEEE Transactions on Software Engineering 39 (10), 1403-1426, 2013 | 38 | 2013 |
| Monitoring usage-control policies in distributed systems D Basin, M Harvan, F Klaedtke, E Zalinescu 2011 Eighteenth International Symposium on Temporal Representation and …, 2011 | 29 | 2011 |
| Prefix-and lexicographical-order-preserving ip address anonymization M Harvan, J Schonwalder 2006 IEEE/IFIP Network Operations and Management Symposium NOMS 2006, 519-526, 2006 | 23 | 2006 |
| TinyOS Motes on the Internet: IPv6 over 802.15. 4 (6lowpan) M Harvan, J Schönwälder Walter de Gruyter GmbH & Co. KG 31 (4), 244-251, 2008 | 19 | 2008 |
| A 6lowpan Implementation for TinyOS 2.0 M Harvan 6. Fachgespräch Sensornetzwerke 802, 109, 2007 | 11 | 2007 |
| SNMP trace analysis definitions G van den Broek, J Schönwälder, A Pras, M Harvan Resilient Networks and Services: Second International Conference on …, 2008 | 9 | 2008 |
| Usage Control Policy Enforcement in OpenOffice. org and Information Flow. C Schaefer, T Walter, M Harvan, A Pretschner ISSA, 393-406, 2009 | 5 | 2009 |
| Processing encrypted and compressed time series data M Harvan, S Kimoto, T Locher, YA Pignolet, J Schneider 2017 IEEE 37th International Conference on Distributed Computing Systems …, 2017 | 4 | 2017 |
| Xen Live Migration M Harvan Networks and Distributed Systems Seminar, 2006 | 3 | 2006 |
| Wireless sensor networks: Motes, nesC, and TinyOS J Schönwälder, M Harvan EECS seminar, 2007 | 2 | 2007 |
| Checking System Compliance by Slicing and Monitoring Logs M Harvan, DA Basin, G Caronni, S Ereth, F Klaedtke, H Mantel Technical report/Department of Computer Science 791, 2013 | 1 | 2013 |
| Protocol Enhancements for Disruption Tolerant Mobile Networking S Schütz, M Harvan, L Eggert, S Schmid, M Brunner the 25th IEEE Conference on Computer Communications (INFOCOM 2006) 222, 2006 | 1 | 2006 |
| Scalable Monitoring of Concurrent Systems M Harvan ETH Zurich, 2013 | | 2013 |
David BasinProfessor of Computer Science, ETH Zurich在 inf.ethz.ch 的电子邮件经过验证
