Find Research Outputs

Search in all content

Filters for Research Outputs

Search concepts
Selected filters

Publication Year

  • 2019
  • 2018
  • 2017
  • 2016
  • 2014
  • 2013
  • 2011
  • 2010

Author

  • Kay Uwe Römer
Abstract

Simulation-based Verification of Automotive Safety-Critical Systems based on UML

Weissnegger, R. P., Pistauer, M., Römer, K. U. & Steger, C., 29 Apr 2016, (Accepted/In press) p. 32.

Research output: Contribution to conferenceAbstract

Anthology

2010 ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA 2010)

Geihs, K. (ed.), Gruner, S. (ed.) & Römer, K. U. (ed.), 2010, .

Research output: Book/ReportAnthology

Architecture of Computing Systems - ARCS 2014 - 27th International Conference

Maehle, E. (ed.), Römer, K. U. (ed.), Karl, W. (ed.) & Tovar, E. (ed.), 2014, Heidelberg: Springer Verlag.

Research output: Book/ReportAnthology

IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2014

Liu, M. (ed.), Thiele, L. (ed.), Aberer, K. (ed.), Chiasserini, C-F. (ed.), Römer, K. U. (ed.) & Vosoughi, A. (ed.), 2014, IEEE Computer Soc.

Research output: Book/ReportAnthology

IEEE International Conference on Pervasive Computing and Communications, PerCom 2014

Roussos, G. (ed.), Hengartner, U. (ed.), Konomi, S. (ed.) & Römer, K. U. (ed.), 2014, IEEE Computer Soc.

Research output: Book/ReportAnthology

Proceedings of the 12th International Conference on Information Processing in Sensor Networks

Abdelzaher, T. F. (ed.), Römer, K. U. (ed.) & Rajkumar, R. (ed.), 2013, New York, NY: Association of Computing Machinery.

Research output: Book/ReportAnthology

Open Access

SenSys - Proceedings of the 9th ACM Conference on Embedded Networked Sensor Systems

Liu, J. (ed.), Levis, P. (ed.) & Römer, K. U. (ed.), 2011, New York, NY: Association of Computing Machinery.

Research output: Book/ReportAnthology

Article

An Efficient and Secure Automotive Wireless Software Update Framework

Steger, M., Boano, C. A., Niedermayr, T., Romer, K., Karner, M., Hillebrand, J. & Rom, W., 2017, In : IEEE Transactions on Industrial Informatics.

Research output: Contribution to journalArticle

A P2P Semantic Query Framework for the Internet of Things

Mietz, R., Groppe, S., Kleine, O., Bimschas, D., Fischer, S., Römer, K. U. & Pfisterer, D., 2013, In : Praxis der Informationsverarbeitung und Kommunikation. 36, 2, p. 73-79

Research output: Contribution to journalArticle

Drahtlose Überwachung per Infrarotsenso

Römer, K. U. & Boano, C. A., 2013, In : Medical sports network. 2, p. ---

Research output: Contribution to journalArticle

makeSense: Simplifying the Integration of Wireless Sensor Networks into Business Processes

Mottola, L., Picco, G. P., Opperman, F. J., Eriksson, J., Finne, N., Fuchs, H., Gaglione, A., Karnouskos, S., Moreno Montero, P., Oertel, N., Romer, K., Spiess, P., Tranquillini, S. & Voigt, T., 2017, In : IEEE Transactions on Software Engineering.

Research output: Contribution to journalArticle

Online energy assessment with supercapacitors and energy harvesters

Renner, C., Turau, V. & Römer, K. U., 2014, In : Sustainable Computing: Informatics and Systems. 4, 1, p. 10-23

Research output: Contribution to journalArticle

Perpetual Data Collection with Energy-Harvesting Sensor Networks

Renner, C., Unterschütz, S., Turau, V. & Römer, K. U., 2014, In : ACM Transactions on Sensor Networks . 11, 1, 12.

Research output: Contribution to journalArticle

Real-Time Search for Real-World Entities: A Survey

Römer, K. U., Ostermaier, B., Mattern, F., Fahrmair, M. & Kellerer, W., 2010, In : Proceedings of the IEEE. 98, 11, p. 1887-1902

Research output: Contribution to journalArticle

Report about 1st ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA 2010)

Geihs, K., Gruner, S. & Römer, K. U., 2010, In : ACM SIGSOFT Software Engineering Notes. 35, 5, p. 34-37

Research output: Contribution to journalArticle

SAVESOC - Safety aware virtual prototype generation and evaluation of a system on chip

Weissnegger, R., Pistauer, M., Schachner, M., Kreiner, C., Römer, K. & Steger, C., 2017, In : Simulation Series. 49, 7, p. 68-79 12 p.

Research output: Contribution to journalArticle

Semantic Models for Scalable Search in the Internet of Things

Mietz, R., Groppe, S., Römer, K. U. & Pfisterer, D., 2013, In : Journal of Sensor and Actuator Networks . 2, 2, p. 172-195

Research output: Contribution to journalArticle

Semantic-Service Provisioning for the Internet of Things

Bimschas, D., Hasemann, H., Hauswirth, M., Karnstedt, M., Kleine, O., Kröller, A., Leggieri, M., Mietz, R., Passant, A., Pfisterer, D., Römer, K. U. & Truong, C., 2011, In : Electronic Communications of the EASST . 10, p. 1-12

Research output: Contribution to journalArticle

Open Access
File

Simple Wireless Sensor Networking Solutions

Dohler, M., Pister, K. S. J., Heinzelman, W., Srivastava, M. B., Stojmenovic, I., Römer, K. U. & Steenstrup, M., 2010, In : IEEE journal on selected areas in communications. 28, 7, p. 969-972

Research output: Contribution to journalArticle

SPITFIRE: Toward a Semantic Web of Things

Pfisterer, D., Römer, K. U., Bimschas, D., Hasemann, H., Hauswirth, M., Karnstedt, M., Kleine, O., Kröller, A., Leggieri, M., Mietz, R., Pagel, M., Passant, A., Richardson, R. & Truong, C., 2011, In : IEEE communications magazine. 49, 11, p. 40-48

Research output: Contribution to journalArticle

Book

Radio Link Quality Estimation in Low-Power Wireless Networks

Baccour, N., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Boano, C. A., Römer, K. U., Puccinelli, D., Voigt, T. & Mottola, L., 2013, 1 ed. Heidelberg: Springer. (SpringerBriefs in electrical and computer engineering - cooperating objects)

Research output: Book/ReportBook

Chapter

Adaptation without Anticipation

Römer, K. U. & Mattern, F., 2011, Pervasive adaption. Linz: Inst. for Pervasive Computing, Johannes Kepler Univ., p. 31-32

Research output: Chapter in Book/Report/Conference proceedingChapter

A Decade of Wireless Sensing Applications: Survey and Taxonomy

Oppermann, F. J., Boano, C. A. & Römer, K. U., 2014, The Art of Wireless Sensor Networks. 1 ed. Berlin: Springer, p. 11-50 (Signals and Communication Technology).

Research output: Chapter in Book/Report/Conference proceedingChapter

Characteristics of Low-Power Links

Baccour, N., Puccinelli, D., Voigt, T., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Römer, K. U. & Boano, C. A., 2013, Baccour, Nouha u.a.: Radio Link Quality Estimation in Low-Power Wireless Networks. 1 ed. Berlin [u.a.]: Springer, p. 1-20 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Dependable Wireless Communication and Localization in the Internet of Things

Großwindhager, B., Rath, M., Bakr, M. S. A., Greiner, P., Boano, C. A., Witrisal, K., Gentili, F., Grosinger, J., Bösch, W. & Römer, K. U., 1 Feb 2019, Mission-Oriented Sensor Networks and Systems: Art and Science. Ammari, H. M. (ed.). Springer, Vol. 2. p. 209-256 48 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

External Radio Interference

Baccour, N., Puccinelli, D., Voigt, T., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Römer, K. U. & Boano, C. A., 2013, Baccour, Nouha u.a.: Radio Link Quality Estimation in Low-Power Wireless Networks. 1 ed. Berlin [u.a.]: Springer, p. 21-63 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive Domain

Weissnegger, R. P., Schachner, M., Pistauer, M., Kreiner, C. J., Römer, K. U. & Steger, C., Jul 2017, Solutions for Cyber-Physical Systems Ubiquity. Druml, N., Genser, A., Krieg, A., Menghin, M. & Höller, A. (eds.). IGI Global Publishing, p. 195 28 p. Chapter 8

Research output: Chapter in Book/Report/Conference proceedingChapter

No Dependability, No Internet of Things

Boano, C. A. & Römer, K. U., 2014, net-Xperiment future. ., p. 23-23

Research output: Chapter in Book/Report/Conference proceedingChapter

On the Use of Link Quality Estimation for Improving Higher Layer Protocols and Mechanisms

Baccour, N., Puccinelli, D., Voigt, T., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Römer, K. U. & Boano, C. A., 2013, Baccour, Nouha u.a.: Radio Link Quality Estimation in Low-Power Wireless Networks. 1 ed. Berlin [u.a.]: Springer, p. 117-145 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Overview of Link Quality Estimation

Baccour, N., Puccinelli, D., Voigt, T., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Römer, K. U. & Boano, C. A., 2013, Baccour, Nouha u.a.: Radio Link Quality Estimation in Low-Power Wireless Networks. 1 ed. Berlin [u.a.]: Springer, p. 65-68 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Performance Evaluation of Link Quality Estimators

Baccour, N., Puccinelli, D., Voigt, T., Koubaa, A., Noda, C., Fotouhi, H., Alves, M., Youssef, H., Zuniga, M. A., Römer, K. U. & Boano, C. A., 2013, Baccour, Nouha u.a.: Radio Link Quality Estimation in Low-Power Wireless Networks. 1 ed. Berlin [u.a.]: Springer, p. 87-116 (SpringerBriefs in Electrical and Computer Engineering).

Research output: Chapter in Book/Report/Conference proceedingChapter

Real-Time Search in the Sensor Internet

Mietz, R. & Römer, K. U., 2013, Building sensor networks : from design to applications. 1 ed. CRC Press, p. 73-100

Research output: Chapter in Book/Report/Conference proceedingChapter

The Use of Body Sensor Networks in Clinical Settings and Medical Research

Boano, C. A., Oppermann, F. J. & Römer, K. U., 2013, The Use of Body Sensor Networks in Clinical Settings and Medical Research. 1 ed. CRC Press, p. 1-528

Research output: Chapter in Book/Report/Conference proceedingChapter

Conference contribution

Accurate Monitoring of Circardian Rhythms Using Wearable Body Sensor Networks

Boano, C. A., Lasagni, M., Römer, K. U. & Lange, T., 2011, International Conference on Information Processing in Sensor Networks. Piscataway, N´J: Institute of Electrical and Electronics Engineers, p. 169-170

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Accurate Temperature Measurements for Medical Research using Body Sensor Networks

Boano, C. A., Lasagni, M., Römer, K. U. & Lange, T., 2011, IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops. Los Alamitos, CA: IEEE Computer Soc., p. 189-198

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge

Schuß, M., Boano, C. A., Weber, M. & Römer, K. U., 22 Feb 2017, A Competition to Push the Dependability of Low-Power Wireless Protocols to the Edge.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A comprehensive compiler-assisted thread abstraction for resource-constrained systems

Bernauer, A. & Römer, K. U., 2013, IPSN' 13. New York, NY: Association of Computing Machinery, p. 167-178

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

Adige: An efficient smart water network based on long-range wireless technology

Cattani, M., Boano, C. A., Steffelbauer, D., Kaltenbacher, S., Günther, M., Römer, K., Fuchs-Hanusch, D. & Horn, M., 21 Apr 2017, CySWATER: Proceedings of the 3rd International Workshop on Cyber-Physical Systems for Smart Water Networks . Association of Computing Machinery, p. 3-6 4 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud

Weissnegger, R. P., Schuß, M., Schachner, M., Römer, K. U., Pistauer, M. & Steger, C., 7 Jun 2016, Proceedings.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

A Real-Time Search Engine for the Web of Things

Ostermaier, B., Römer, K. U., Mattern, F., Fahrmair, M. & Kellerer, W., 2010, International Conference on the Internet of Things. ., p. ---

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File

A Security Metric for Structured Security Analysis of Cyber-Physical Systems Supporting SAE J3061

Steger, M., Karner, M., Hillebrand, J., Rom, W. & Römer, K. U., 11 Apr 2016, CPS Data – Second International Workshop on modeling, analysis and control of complex Cyber-Physical Systems. p. 1-6 6 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Automatic Testbench Generation for Simulation-based Verification of Safety- Critical Systems in UML

Weissnegger, R. P., Schuß, M., Kreiner, C. J., Pistauer, M., Römer, K. U. & Steger, C., 2016, Proceedings of the 6th International Conference on Pervasive and Embedded Computing and Communication Systems.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Balancing Visibility and Resource Consumption for Long-Term Monitoring of Sensornets

Ma, J. & Römer, K. U., 2010, ACM Conference on Embedded Networked Sensor Systems. ., p. 435-436

Research output: Chapter in Book/Report/Conference proceedingConference contribution