Ellen Munthe-Kaas

Førsteamanuensis - PROG Programmering
Bilde av Ellen Munthe-Kaas
English version of this page
Telefon +47 22852801
Mobiltelefon 41598942
Rom 4428
Brukernavn
Besøksadresse Gaustadalléen 23B 0373 Oslo
Postadresse Postboks 1080 0316 Oslo

Publikasjoner

  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2015). Dynamic clustering in Sparse MANETs. Computer Communications. ISSN 0140-3664. 59, s. 84–97. doi: 10.1016/j.comcom.2014.12.005.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2014). Energy saving for activity recognition through sensor selection, scheduling and sampling rate tuning, 2014 7th IFIP Wireless and Mobile Networking Conference (WMNC). IEEE Press. ISSN 978-1-4799-3060-9. doi: 10.1109/WMNC.2014.6878873.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Quality and energy aware data acquisition for activity and locomotion recognition, Pervasive Computing and Communications Workshops (PERCOM Workshops), 2013 IEEE International Conference on. IEEE Press. ISSN 978-1-4673-5075-4. s. 493–498. doi: 10.1109/PerComW.2013.6529547.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2013). Towards quality and energy aware complex event processing, Wireless and Mobile Computing, Networking and Communications (WiMob), 2013 IEEE 9th International Conference on. IEEE Press. ISSN 9781479904266. s. 352–359. doi: 10.1109/WiMOB.2013.6673384.
  • Hansen, Hans Vatne; Velazquez-Garcia, Francisco Javier; Goebel, Vera Hermine; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Migration of Fine-grained Multimedia Applications. I Wohlstadter, Eric (Red.), Proceedings of the Posters and Demo Track, Middleware '12. Association for Computing Machinery (ACM). ISSN 978-1-4503-1612-5. doi: 10.1145/2405153.2405165.
  • Nguyen, Viet Hoang; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Energy-balanced sensor selection for social context detection. I Giordano, Silvia; Langheinrich, Marc & Schmidt, Albrecht (Red.), 2012 IEEE International Conference on Pervasive Computing and Communications Workshops. IEEE. ISSN 978-1-4673-0905-9. s. 32–37.
  • Rodriguez-Fernandez, Daniel ; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). ILORIN: Identifier-LOcator Resolution for Infrastructure-less Networks. I Pujolle, Guy; Duarte, Otto & Boutaba, Raouf (Red.), Proceedings of the 2012 International Conference on the Network of the Future (NoF'12). IEEE conference proceedings. ISSN 978-1-4673-5265-9. doi: 10.1109/nof.2012.6463992.
  • Rodriguez-Fernandez, Daniel ; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2012). Always best (dis-)connected: challenges to interconnect highly heterogeneous networks. Journal of Internet Engineering. ISSN 1791-177X. 5(1), s. 299–309.
  • Rodriguez-Fernandez, Daniel ; Martinez-Yelmo, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 6649, s. 410–421.
  • Rodriguez-Fernandez, Daniel ; Martinez, Isaias; Munthe-Kaas, Ellen & Plagemann, Thomas Peter (2011). Always Best (dis-)Connected: Challenges to Interconnect Highly Heterogeneous Networks. I Masip-Bruin, Xavier; Verchere, Dominique; Tsaoussidis, Vassilis & Yannuzzi, Marcelo (Red.), Wired/Wireless Internet Communications: 9th IFIP TC 6 International Conference, WWIC 2011, Vilanova i la Geltrú, Spain, June 15-17, 2011, Proceedings. Springer. ISSN 978-3-642-21559-9. s. 410–421. doi: 10.1007/978-3-642-21560-5_34.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2011). Detecting Communities in Sparse MANETs. IEEE/ACM Transactions on Networking. ISSN 1063-6692. 19(5), s. 1434–1447. doi: 10.1109/TNET.2011.2112376.
  • Munthe-Kaas, Ellen; Johannesen, Aslak; Puzar, Matija & Plagemann, Thomas Peter (2009). Information Sharing in Mobile Ad-hoc Networks: Metadata Management in the MIDAS Data Space. I Huang, Jiun-Long (Red.), Tenth international conference on mobile data management: Systems, services and middleware. IEEE conference proceedings. ISSN 978-0-7695-3650-7. s. 252–259.
  • Puzar, Matija; Skjelsvik, Katrine S; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Information Sharing in Mobile Ad-Hoc Networks: Evaluation of the MIDAS Data Space Prototype. I O'Conner, Lisa (Red.), Proceedings of The 29th IEEE International Conference on Distributed Computing Systems Workshops. IEEE conference proceedings. ISSN 978-0-7695-3660-6. s. 418–424.
  • Plagemann, Thomas Peter; Skjelsvik, Katrine S; Puzar, Matija; Johannessen, Aslak; Drugan, Ovidiu Valentin & Goebel, Vera Hermine [Vis alle 7 forfattere av denne artikkelen] (2008). Cross-Layer Overlay Synchronization in Sparse MANETs. I Friedrich, F. & Van de Walle, B. (Red.), Proceedings of the 5th International Conference on Information Systems for Crisis Response and Management (ISCRAM2008). Captus Press Inc.. ISSN 978-0-615-20697-4. s. 546–555.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs. I Raghunathan, Vijay (Red.), Sensor, Mesh and Ad Hoc Communications and Networks, 2007. SECON '07. 4th Annual IEEE Communications Society Conference on Publication. IEEE Sarnoff Symposium. ISSN 1-4244-1268-4.
  • Plagemann, Thomas Peter; Munthe-Kaas, Ellen & Goebel, Vera Hermine (2007). Reconsidering Consistency Management in Shared Data Spaces for Emergency and Rescue Applications. I Jarke, Matthias; Seidl, Thomas; Quix, Christoph; Kensche, David; Conrad, Stefan; Rahm, Erhard; Klamma, Ralf; Kosch, Harald; Granitzer, Michael; Apel, Sven; Rosenmüller, Marko; Saake, Gunter & Spinczyk, Olaf (Red.), Datenbanksysteme in Business, Technologie und Web (BTW 2007), Workshop Proceedings. Verlagshaus Mainz. ISSN 3-86130-929-7. s. 307–316.
  • Plagemann, Thomas Peter; Munthe-Kaas, Ellen; Skjelsvik, Katrine S; Puzar, Matija; Goebel, Vera Hermine & Johansen, Ulrik Albert [Vis alle 8 forfattere av denne artikkelen] (2007). A Data Sharing Facility for Mobile Ad-Hoc Emergency and Rescue Applications. I Liu, Ling (Red.), 27th International Conference on Distributed Computing Systems - Workshops (ICDCS Workshops 2007). IEEE. ISSN 978-0-7695-2838-0.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource Aware Middleware Services Over MANETs. IEEE Infocom. Proceedings. ISSN 0743-166X. doi: 10.1109/INFOCOM.2006.66.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs. Proceedings of the IEEE. ISSN 0018-9219. 2, s. 32–37. doi: 10.1109/SUTC.2006.107.
  • Munthe-Kaas, Ellen; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Plagemann, Thomas Peter; Puzar, Matija & Sanderson, Norun Christine [Vis alle 7 forfattere av denne artikkelen] (2006). Mobile middleware for rescue and emergency scenarios. I Bellavista, Paolo & Corradi, Antonio (Red.), The Handbook of Mobile Middleware. CRC Press. ISSN 0849338336. s. 1291–1320.
  • Skjelsvik, Katrine S; Lekova, Anna; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Plagemann, Thomas Peter & Sanderson, Norun Christine (2006). Supporting Multiple Subscription Languages by a Single Event Notification Overlay in Sparse MANETs. I Chrysanthis, Panos; Jensen, Christian S.; Kumar, Vijay & Labrinidis, Alexandros (Red.), Proceedings of the Fifth ACM International Workshop on Data Engineering for Wireless and Mobile Access. ACM Publications. ISSN 1-59593-436-7. s. 67–74.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios. I Hua, Kien & Kitsuregawa, Masaru (Red.), Proceedings of the 7th International Conference on Mobile Data Management (MDM'06). IEEE. ISSN 0769525261.
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). A Conceptual Service Discovery Architecture for Semantic Web Services in Dynamic Environments. I Liu, Ling; Reuter, Andreas; Whang, Kyu-Young & Zhang, Jianjun (Red.), Proceedings of the 22nd International Conference on Data Engineering. IEEE. ISSN 0-7695-2570-9. s. 74–74.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. LNCS 3761. ISBN 3-540-29738-3. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. s. 1365–1380.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications. Proceedings of the IEEE. ISSN 0018-9219.
  • Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten & Halvorsen, Pål [Vis alle 10 forfattere av denne artikkelen] (2005). Middleware Services for Information Sharing in Mobile Ad-Hoc Networks. I Gayraud, Thierry (Red.), Broadband Satellite Communication Systems and the Challenges of Mobility. Springer Publishing Company. ISSN 0-387-23993-6. s. 225–236.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. Lecture Notes in Computer Science (LNCS). ISSN 0302-9743. 575.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1992). A Top Down Approach to the Formal Specification of SCI Cache Coherence. I Larsen, Kim Guldstrand & Skou, Arne (Red.), Computer Aided Verification. Springer. ISSN 0-387-55179-4. s. 83–91.

Se alle arbeider i Cristin

Se alle arbeider i Cristin

  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2007). Non-intrusive Neighbor Prediction in Sparse MANETs.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2006). Ontology Based Dynamic Updates in Sparse Mobile Ad-hoc Networks for Rescue Scenarios in MDM '06: Proceedings of the 7th International Conference on Mobile Data Management (MDM'06), IEEE Computer Society, ISBN 0-7695-2526-1.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Predicting Time Intervals for Resource Availability in MANETs.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2006). Resource aware middleware services over MANET.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2005). Metadata Management for Ad-Hoc InfoWare - A Rescue and Emergency Use Case for Mobile Ad-Hoc Scenarios. In: On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. Lecture Notes in Computer Science 2005(3761):1365-1380. ISBN 3-540-29738-3.
  • Munthe-Kaas, Ellen (2005). Context management in MANETs.
  • Munthe-Kaas, Ellen (2005). The personal health assistant scenario, case: Martijn.
  • Munthe-Kaas, Ellen (2005). Mobile middleware for rescue and emergency scenarios - challenges and approach.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Building resource aware middleware services over MANET for rescue and emergency applications.
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments.
  • Gagnes, Tommy; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2005). Discovering Semantic Web Services in Dynamic Environments.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2004). Knowledge Management in Mobile Ad-hoc Networks for Rescue Scenarios.
  • Plagemann, Thomas Peter; Andersson, Jon; Drugan, Ovidiu Valentin; Goebel, Vera Hermine; Griwodz, Carsten & Halvorsen, Pål [Vis alle 10 forfattere av denne artikkelen] (2004). Middleware Services for Information Sharing in Mobile Ad-hoc Networks - Challenges and Approach.
  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2001). Incremental Fault-Tolerant Design in an Object Oriented Setting.
  • Munthe-Kaas, Ellen (1996). Detecting livelock properties in graphs.
  • Munthe-Kaas, Ellen (1996). The PVS Specification and Verification System.
  • Munthe-Kaas, Ellen (1994). Formal Specification and Verification of Concurrent, Asynchronous Message-Passing Systems: Report from a Major Test Case.
  • Munthe-Kaas, Ellen (1993). A pi-Calculus Formal Definition of Memory Consistency.
  • Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1991). A Top Down Approach to the Formal Specification of SCI Cache Coherence.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). A Linked List Cache Coherence Protocol: Verifying the Bottom Layer.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1991). On Verifying a Linked List System based on Message Passing.
  • Gjessing, Stein; Johansen, Sverre; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Fast Distribution of Information in SCI-like Cache Protocols.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1989). Formal Specification and Verification of SCI Cache Coherence.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1989). Trace Based Verification of Parallel Programs with Shared Variables.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1988). Verification of Parallel Programs with Shared Variables and Critical Regions.
  • Munthe-Kaas, Ellen (2014). A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks. Universitetet i Oslo. ISSN 978-82-7368-406-6. Fulltekst i vitenarkiv
  • Rodriguez-Fernandez, Daniel ; Kristiansen, Stein; Lindeberg, Morten Gunnar Bjørner; Drugan, Ovidiu Valentin; Cabrero, Sergio & Plagemann, Thomas Peter [Vis alle 9 forfattere av denne artikkelen] (2012). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2. Universitetet i Oslo. ISSN 82-7368-382-6. Fulltekst i vitenarkiv
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2009). Non‐intrusive Clustering in Dynamic Networks. Universitetet i Oslo. ISSN 82-7368-342-7.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Omang, Knut & Kamwendo, Kennedy Samuel [Vis alle 8 forfattere av denne artikkelen] (2009). Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues. Universitetet i Oslo. ISSN 82-7368-349-4.
  • Drugan, Ovidiu Valentin; Plagemann, Thomas Peter & Munthe-Kaas, Ellen (2008). A Communication Non-Intrusive Middleware for Resource Management in Sparse Mobile Ad-Hoc Networks. Unipub forlag. ISSN 1501-7710.
  • Sanderson, Norun Christine; Goebel, Vera Hermine & Munthe-Kaas, Ellen (2008). Network Wide Information Sharing in Rescue and Emergency Situations. Unipub forlag. ISSN 1501-7710.
  • Ferreira Pires, Luis & Munthe-Kaas, Ellen (2005). Techniques for describing and manipulating context information. Freeband A-Muse Project.
  • Johnsen, Einar Broch; Owe, Olaf; Munthe-Kaas, Ellen & Vain, Juri (2000). Incremental Design of Dependable Systems in OUN. Institutt for informatikk. ISSN 82-7368-242-0.
  • Munthe-Kaas, Ellen (1996). Detecting livelock properties in protocols. OMI/MACRAME Project.
  • Munthe-Kaas, Ellen (1995). The Larch Prover and the Prototype Verification System. OMI/MACRAME Project.
  • Krogdahl, Stein & Munthe-Kaas, Ellen (1991). Oppgaver og notater til IN 210. Institutt for informatikk.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1991). Formal Specification of Cache Coherence in a Shared Memory Multiprocessor. Research Report 158, Institutt for informatikk, Universitetet i Oslo.
  • Gjessing, Stein; Krogdahl, S & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherence Protocol. Department of Informatics, University of Oslo.
  • Gjessing, Stein & Munthe-Kaas, Ellen (1990). Parallel Composition of Observable Processes with Shared Variables. Research Report 143, Institutt for Informatikk, Universitetet i Oslo.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Formal Specification and Verification of SCI Cache Coherence. Research Report 142, Institutt for Informatikk, Universitetet i Oslo.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). Approaching Verification of the SCI Cache Coherent Protocol. Dep. of Informatics, University of Oslo. ISSN 82-7368-051-7.
  • Gjessing, Stein; Krogdahl, Stein & Munthe-Kaas, Ellen (1990). A Top Down Approach to the Formal Specification of SCI Cache Coherence. ISSN 82-7368-052-5.
  • Munthe-Kaas, Ellen (1986). Rules for Coroutines and Recursive Procedures in Non-Deterministic Goto-Programs. Institutt for informatikk, Universitetet i Oslo.

Se alle arbeider i Cristin

Publisert 4. nov. 2010 14:09 - Sist endret 21. des. 2017 15:33