Publikationen

Hier die Ausgabe Ihrer Suche - bereits vorsortiert nach allgemeinen Inhalten, Personen, Projekte und Publikationen - wählen Sie einfach den jeweiligen Reiter an.

2017

A Formal Semantics for Traffic Sequence Charts

Werner Damm and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; Festschrift in honor of Edmund A. Lee; October / 2017

BIB
A functional Test Framework to observe MPSoC Power Management Techniques in Virtual Platforms

Sören Schreiner and Maher Fakih and Kim Grüttner and Wolfgang Nebel and Duncan Graham and Salvador Peiro Frasquet; 20th Euromicro Conference on Digital System Design, DSD 2017, Vienna, Austria, August 30 - September 1, 2017; 2017

BIB
A Model-driven Tool for getting Insights into Car Drivers’ Monitoring Behavior

Sebastian Feuerstack and Bertram Wortelen; Proceedings of the IEEE Intelligent Vehicles Symposium (IV'17) (in press); 2017

BIB
A Tool-based Process for Generating Attention Distribution Predictions

Feuerstack, S. and Wortelen, B.; Proceedings of the 19th European Conference on Eye Movements (in press); 2017

BIB
Adaptive Pump Speed Algorithms to Improve Exercise Capacity in Patients Supported with a Left-Ventricular Assist Device

Thomas Schmidt, Nils Reiss, Ezin Deniz, Christina Feldmann, Andreas Hein, Jan-Dirk Hoffmann, Jenny Inge Röbesaat, Jan Dieter Schmitto, Detlev Willemsen, Frerk Müller-von Aschwege; Health Informatics Meets eHealth: Studies in Health Technology and Informatics; Mai / 2017

All about Acceptability? - Identifying Factors for the Adoption of Data Glasses

Marion Koelle and Abdallah El Ali and Vanessa Cobus and Wilko Heuten and Susanne Boll; To be published in Proc. CHI '17; 2017

BIB
Ambient Water Usage Sensor for the Identification of Daily Activities

Gerka, Alexander and Bayer, Finn and Eichelberg, Marco and Frenken, Melina and Hein, Andreas ; Global Internet of Things Summit; 6 / 2017

BIB
An Improved BLE Indoor Localization with Kalman-Based Fusion: An Experimental Study

Jenny Röbesaat, Peilin Zhang, Mohamed Abdelaal, Oliver Theel ; Sensors; April / 2017

An Integrated Research Infrastructure for Validating Cyber-Physical Energy Systems

T. I. Strasser , C. Moyo , R. Bründlinger, S. Lehnhoff , M. Blank ,P. Palensky, A. A. van der Meer , K. Heussen, O. Gehrke, J. E. Rodriguez ,J. Merino , C. Sandroni , M. Verga , M. Calin , A. Khavari , M. Sosnina ,E. de Jong , S. Rohjans , A. Kulmala, K. Mäki , R. Brandl, F. Coffele ,G. M. Burt, P. Kotsampopoulos, and N. Hatziargyriou; 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems; August / 2017

BIB
Analysis of LVAD log files for the early detection of pump thrombosis

J. I. Röbesaat, F. M. v. Aschwege, N. Reiss, T. Schmidt, C. Feldmann, E. Deniz, J. D. Schmitto, A. Hein; 2017 IEEE Symposium on Computers and Communications (ISCC); July / 2017

AwareKit: Exploring a Tangible Interaction Paradigm for Digital Calendars

Matviienko, Andrii and Ananthanarayan, Swamy and Heuten, Wilko and Boll, Susanne; Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems; 2017

BIB
Centralized Versus Distributed State Estimation for Hybrid AC/HVDC Grid

Grahn, Pontus and Briggner, Viktor and Johansson, Linus and Babazadeh, Davood and Nordström, Lars; IEEE International Conference on Innovative Smart Grid Technologies, (ISGT Europe 2017); 2017

BIB
Challenges For Designing Tangible Systems

Wallbaum, Torben and Matviienko, Andrii and Heuten, Wilko and Boll, Susanne; Proceedings of the 3rd European Tangible Interaction Studio (ETIS 2017) Esch/Alzette, Luxembourg, June 19-23, 2017; 2017

BIB
Coaching of Body Awareness Through an App-Guide: The HealthNavigator

Wilko HeutenHermie HermensJan-Dirk HoffmannMonique TabakJanko TimmermannDetlev WillemsenAnke WorkowskiJohannes Technau; 2017

Comparing Shape-Changing and Vibro-Tactile Steering Wheels for Take-Over Requests in Highly Automated Driving

Borojeni, Shadan Sadeghian and Wallbaum, Torben and Heuten, Wilko and Boll, Susanne; Proceedings of the 9th International Conference on Automotive User Interfaces and Interactive Vehicular Applications; 2017

Comparing the Input Validity of Model-based Visual Attention Predictions based on presenting Exemplary Situations either as Videos or Static Images

Bertram Wortelen and Sebastian Feuerstack; ICCM - 15th International Conference on Cognitive Modelling; 2017

BIB
Constraint-Solving Techniques for the Analysis of Probabilistic Hybrid Systems

Martin Fränzle and Yang Gao and Sebastian Gerwinn; Provably Correct Systems; 2017

CONTREX: Design of embedded mixed-criticality CONTRol systems under consideration of EXtra-functional properties

Kim Grüttner and Ralph Görgen and Sören Schreiner and Fernando Herrera and Pablo Penil and Julio Medina and Eugenio Villar and Gianluca Palermo and William Fornaciari and Carlo Brandolese and Davide Gadioli and Emanuele Vitali and Davide Zoni and Sara Bocchio and Luca Ceva and Paolo Azzoni and Massimo Poncino and Sara Vinco and Enrico Macii and Salvatore Cusenza and John Favaro and Raúl Valencia and Ingo Sander and Kathrin Rosvall and Nima Khalilzad and Davide Quaglia; Microprocessors and Microsystems - Embedded Hardware Design; 2017

Control Transition Workshop: Handover and Takeover Procedures in Highly Automated Driving

Borojeni, Shadan Sadeghian and Meschtscherjakov, Alexander and Mirnig, Alexander G. and Boll, Susanne and Naujoks, Frederik and Politis, Ioannis and Alverez, Ignacio; Proceedings of the 9th International Conference on Automotive User Interfaces and Interactive Vehicular Applications Adjunct; 2017

Cyber-Physical Energy Systems Modeling, Test Specification, and Co-Simulation Based Testing

A. A. van der Meer, P. Palensky, K. Heussen, D. E. Morales Bondy, O. Gehrke, C. Steinbrink,M. Blank, S. Lehnhoff, E. Widl, C. Moyo, T. I. Strasser, V. H. Nguyen, N. Akroud, M. H. Syed,A. Emhemed, S. Rohjans, R. BrandlA. M. Khavari; 2017 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems; August / 2017

BIB
Design Paradigms for Multi-Layer Time Coherency in ADAS and Automated Driving (MULTIC)

Eckard Böde and Matthias Büker and Werner Damm and Günter Ehmen and Martin Fränzle and Sebastian Gerwinn and Thomas Goodfellow and Kim Grüttner and Bernhard Josko and Björn Koopmann and Thomas Peikenkamp and Frank Poppen and Philipp Reinkemeier and Michael Siegel and Ingo Stierand; October / 2017

Determining failure probabilities with qualitative characteristics for risk estimation in the SGAM

Marie van Amelsvoort; 24 th International Conference on Electricity Distribution (CIRED); 6 / 2017

BIB
DiDiER – Digitized Services in Dietary Counselling for People with Increased Health Risks Related to Malnutrition and Food Allergies

Elfert, Patrick and Eichelberg, Marco and Tröger, Johannes and Britz, Jochen and Alexandersson, Jan and Bieber, Daniel and Bauer, Jürgen and Teichmann, Susanne and Kuhn, Ludwig Kuhn and Thielen, Martin, and Sauer, Janina and Münzberg, Alexander and Rösch, Norbert and Hein, Andreas; IEEE Symposium on Computers and Communications; Juli / 2017

BIB
Disease-Free and Relapse-Free Cancer Survival Analysis with CARESS

Stefan Gudenkauf, David Korfkamp, Kolja Blohm, Joachim Kieschke; 62. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie e.V. (GMDS); September / 2017

Distributed Two-stage Network Topology Processor For HVDC Grid Operation

Babazadeh, Davood and Nordström, Lars and Wu, Yiming and Hohn, Fabian; IEEE PES PowerTech Conference; 2017

BIB
Dynamic Portfolio Optimization for Distributed Energy Resources in Virtual Power Plants

Balduin, Stephan and Brauer, Dierk and Elend, Lars and Holly, Stefanie and Korte, Jan and Krüger, Carsten and Meier, Almuth and Oest, Frauke and Sanders-Sjuts, Immo and Sauer, Torben and Schnieders, Marco and Zilke, Robert and Hinrichs, Christian and Sonnenschein, Michael; Advances and New Trends in Environmental Informatics: Stability, Continuity, Innovation; 2017

Effects of Location and Fade-In Time of (Audio-)Visual Cues on Response Times and Success-Rates in a Dual-Task Experiment

Andreas Löcken, Sarah Blum, Tim Claudius Stratmann, Uwe Gruenefeld, Wilko Heuten, Steven van de Par, Susanne Boll; Proceedings of the ACM Symposium on Applied Perception; 09 / 2017

Energetic Data Centre Design Considering Energy Efficiency Improvements during Operation

Stefan Janacek, Wolfgang Nebel; Engineering and Management of Data Centers: An IT Service Management Approach; 12 / 2017

Extending Energetic Potential of Data Centers to Participate in Smart Grid Networks

Alexander Borgerding, Sven Rosinger; International Conference on Smart Energy Research; September / 2017

EyeSee360: Designing a Visualization Technique for Out-of-view Objects in Head-mounted Augmented Reality

Uwe Gruenefeld, Dag Ennenga, Abdallah El Ali, Wilko Heuten, Susanne Boll; Proceedings of the 5th Symposium on Spatial User Interaction; 10 / 2017

EyeSee: Beyond Reality with Microsoft Hololens

Uwe Gruenefeld, Dana Hsiao, Wilko Heuten, and Susanne Boll; Proceedings of the 5th Symposium on Spatial User Interaction; 10 / 2017

Face2Emoji: Using Facial Emotional Expressions to Filter Emojis

Abdallah El Ali and Torben Wallbaum and Merlin Wasmann and Wilko Heuten and Susanne Boll; In Proc. CHI '17 EA; 2017

BIB
GBE-Stat 2.0 – Interaktive und plattformübergreifende Gesundheitsberichterstattung in Nordrhein-Westfalen

Martin Rohde, Stefan Gudenkauf, Brigitte Borrmann, Rolf Annuß; 62. Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemiologie e.V. (GMDS); September / 2017

Gesture controlled hospital beds for home care

Fudickar, Sebastian and Flessner, Jannik and Volkening, Nils and Steen, Enno-Edzard and Isken, Melvin and Hein, Andreas; Ambient Assisted Living - 9. AAL-Kongress, Frankfurt/M, Germany, April 20 - 21, 2016; 2017

HeartBeat: Tactile Support for Keeping a Target Heart Rate

Janko TimmermannBenjamin PoppingaWilko HeutenSusanne Boll; EAI Endorsed Transactions on Pervasive Health and Technology; 07 / 2017

How to Tackle Key Challenges in the Promotion of Physical Activity among Older Adults (65+): The AEQUIPA Network Approach

Forberger, Sarah and Bammann, Karin and Bauer, Jürgen and Boll, Susanne and Bolte, Gabriele and Brand, Tilman and Hein, Andreas and Koppelin, Frauke and Lippke, Sonia and Meyer, Jochen and Pischke, Claudia R and Voelcker-Rehage, Claudia and Zeeb, Hajo; International Journal of Environmental Research and Public Health; 2017

BIB
Identification and Classification of Usage Patterns in Long-Term Activity Tracking

Meyer, Jochen and Wasmann, Merlin and Heuten, Wilko and El Ali, Abdallah and Boll, Susanne C.J.; Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems; 2017

Identification and Classification of Usage Patterns in Long-Term Activity Tracking

Jochen Meyer and Merlin Wasmann and Wilko Heuten and Abdallah El Ali and Susanne Boll; Proc. CHI '17; 2017

BIB
Identification-based Simplified Model of Large Container Ships Using Support Vector Machines and Artificial Bee Colony Algorithm

Man Zhu, Axel Hahn, Yuan-Qiao Wen, André Bolles; Applied Ocean Research; October / 2017

Knowledge-based Short-Term Load Forecasting for Maritime Container Terminals

Norman Ihle and Axel Hahn; International Data Science Conference IDSC; 06 / 2017

BIB
Leakage models for high level power estimation

Domenik Helms ; Reef Eilers ; Malte Metzdorf ; Wolfgang Nebel; IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems; 11 / 2017

Learning from Automotive: Testing Maritime Assistance Systems up to Autonomous Vessels.

M. Brinkmann, E. Böde, A. Lamm, S. Vander Maelen and A. Hahn; Proceedings of Oceans 2017; 2017

BIB
M2DC: Modular Microserver Datacentre with Heterogeneous Hardware

Ariel Oleksiak, Michal Kierzynka, Wojciech Piatek, Micha Vor Dem Berge, Wolfgang Christmann, Stefan Krupop, Mario Porrmann, Jens Hagemeyer, René Griessl, Meysam Peykanu, Lennart Tigges, Sven Rosinger, Daniel Schlitt, Christian Pieper, Udo Janssen, Giovanni Agosta, Carlo Brandolese, William Fornaciari, Gerardo Pelosi, Mariano Cecowski, Robert Plestenjak, Justin Cinkelj, Loïc Cudennec, Thierry Goubier, Jean-Marc Philippe, Chris Adeniyi-Jones, Luca Ceva and Holm Rauchfuss; Microprocessors and Microsystems Volume 52; July / 2017

Memristor Device Characterization by Scanning Microwave Microscopy

G. Sassine, N. Najjari, N. Defrance, O. C. Haenssler , D. Theron, F. Alibart, K. Haddadi; Int. Conf. on Manipulation, Automation and Robotics at Small Scales (MARSS), 2017; 07 / 2017

BIB
Modelling Workload of a Virtual Driver

Jan-Patrick Osterloh and Jochem W. Rieger and Andreas Lüdtke; Proceedings of the 15th International Conference on Cognitive Modeling; 2017

BIB
Multimodal Head-mounted Display for Multimodal Alarms in Intensive Care Units

Cobus, Vanessa and Heuten, Wilko and Boll, Susanne; Proceedings of the 6th ACM International Symposium on Pervasive Displays; 2017

Near-Field Scanning Millimeter-wave Microscope Combined with a Scanning Electron Microscope

K. Haddadi, O.C. Haenssler, C. Boyaval, G. Dambrine, D. Theron; International Microwave Symposium (IMS), 2017; 06 / 2017

BIB
New concepts for remote monitoring and flow control in left ventricular assist device patients - The Medolution project

Nils Reiss, Thomas Schmidt, Jan-Dirk Hoffmann, Detlev Willemsen, Frerk Müller-von Aschwege, Jenny Inge Röbesaat, Jan Dieter Schmitto, Christina Feldmann; European Journal of Heart Failure; 2017

Nummernschilder für Drohnen

Thorsten Euler and Vanessa Cobus and Marion Koelle; Datenschutz und Datensicherheit; 2017

Parameter Identification of ship maneuvering models using recursive least square method based on support vector machines

Man Zhu, Axel Hahn, Yuan-Quiao Wen, André Bolles; TransNav : International journal on marine navigation and safety of sea transportation; Octobre / 2017

BIB
PeriMR - A Prototyping Tool for Head-mounted Peripheral Light Displays in Mixed Reality

Uwe Gruenefeld, Tim Claudius Stratmann, Wilko Heuten, Susanne Boll; Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services; 09 / 2017

Power and Execution Time Measurement Methodology for SDF Applications on FPGA-based MPSoCs

Christof Schlaak and Maher Fakih and Ralf Stemmer; HIP3ES 2017; 1 / 2017

Respektvolle tragbare Kameras?

Marion Koelle and Yvonne Brück and Vanessa Cobus and Wilko Heuten and Susanne Boll; Datenschutz und Datensicherheit; 2017

SAFEPOWER project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems

Maher Fakih, Alina Lenz, Mikel Azkarate-Askasua, Javier Coronel, Alfons Crespo, Simon Davidmann, Juan Carlos Diaz Garcia, Nera González Romero, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Roman Obermaisser, Adele Maleki, Johnny Öberg, Mohamed Tagelsir Mohammadat, Jon Pérez-Cerrolaza, Ingo Sander, Ingemar Söderquist; Microprocessors and Microsystems; May / 2017

SafeTRANS Working Group “Highly automated Systems:Test, Safety, and Development Processes”

Damm, Werner and Heidl, Peter; Recommendations on Actions and Research Challenges; 2017

BIB
Seeking Rare Events in a Simulated System using Risk Distances

Gollücke, Volker and Hahn, Axel; SIMUL 2017, The Ninth International Conference on Advances in System Simulation; Oktober / 2017

Simulation-based Validation of Smart Grids – Status Quo and Future Research Trends

C. Steinbrink , S. Lehnhoff , S. Rohjans , T. I. Strasser , E. Widl , C. Moyo ,G. Lauss , F. Lehfuss , M. Faschang , P. Palensky , A. A. van der Meer ,K. Heussen , O. Gehrke , E. Guillo-Sansano , M. H. Syed , A. Emhemed ,R. Brandl , V. H. Nguyen , A. Khavari , Q. T. Tran , P. Kotsampopoulos ,N. Hatziargyriou , N. Akroud , E. Rikos , M. Z. Degefa; 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems; August / 2017

BIB
SMALLCAR: A Scaled Model for Ambient Light Display Creation and Review of In-Vehicle Light Patterns

Spieker, Jannik and Löcken, Andreas and Heuten, Wilko and Boll, Susanne; Proceedings of the 9th International Conference on Automotive User Interfaces and Interactive Vehicular Applications Adjunct; 09 / 2017

Smart Grid Co-Simulation with MOSAIK and HLA: A Comparison Study

Cornelius Steinbrink, Arjen A. van der Meer, Milos Cvetkovic, Davood Babazadeh, Sebastian Rohjans, Peter Palensky, Sebastian Lehnhoff; 6th D-A-CH+ Conference on Energy Informatics; Oktober / 2017

BIB
Smart Grid Interoperability Profiles Development

Matthias Frohner, Marion Gottschalk, Gerald Franzl, Richard Pasteka, Mathias Uslar, Stefan Sauermann; IEEE International Conference on Smart Grid Communications; 10 / 2017

BIB
Statistical Model Checking for Scenario-based verification of ADAS

Sebastian Gerwinn and Eike Möhlmann and Anja Sieper; Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions; 2017

BIB
Strategies to Improve the Voltage Quality in Active Low-Voltage Distribution Networks Using DSO's Assets

Armendariz, Mikel and Babazadeh, Davood and Broden, Daniel and Nordström, Lars; IET Generation, Transmission and Distribution; 2017

BIB
Telemonitoring and Medical Care of Heart Failure Patients Supported by Left Ventricular Assist Devices - The Medolution Project.

Nils Reiss, Thomas Schmidt, Frerk Müller-von Aschwege, Wolfgang Thronicke, Jan-Dirk Hoffmann, Jenny Inge Röbesaat, Ezin Deniz, Andreas Hein, Heiko Krumm, Franz-Josef Stewing, Detlev Willemsen, Jan Dieter Schmitto, Christina Feldmann; Studies in Health Technology and Informatics: Volume 236: Health Informatics Meets eHealth; Mai / 2017

Test standard for Light, Electron and Microwave Microscopy to enable robotic processes

O.C. Haenssler, A. Kostopoulos, G. Doundoulakis, E. Aperathitis, S. Fatikow, G. Kiriakidis; Int. Conf. on Manipulation, Automation and Robotics at Small Scales (MARSS), 2017; 07 / 2017

The Human Efficiency Evaluator - A tool to predict and analyse monitoring behaviour;

Sebastian Feuerstack and Bertram Wortelen; Kognitive Systeme; 2017

Towards a Minimized Unsupervised Technical Assessment of Physical Performance in Domestic Environments

Hellmers, Sandra and Steen, Enno-Edzard and Dasenbrock, Lena and Heinks, Andrea and Bauer, Jürgen M. and Fudickar, Sebastian and Hein, Andreas; Proceedings of the 11th EAI Conference on Pervasive Computing Technologies for Healthcare; 2017

BIB
Towards a Model-Based Safety and Security Analysis

Thomas Strathmann and Sibylle Fröschle; Model-Based Development of Embedded Systems (MBEES); 2017

Towards Adaptive Ambient In-Vehicle Displays and Interactions: Insights and Design Guidelines from the 2015 AutomotiveUI Dedicated Workshop

Löcken, Andreas and Sadeghian Borojeni, Shadan and Müller, Heiko and Gable, Thomas M. and Triberti, Stefano and Diels, Cyriel and Glatz, Christiane and Alvarez, Ignacio and Chuang, Lewis and Boll, Susanne; Automotive User Interfaces: Creating Interactive Experiences in the Car; 2017

Towards an Integrated Sustainability Evaluation of Energy Scenarios with Automated Information Exchange

Jan Sören Schwarz, Tobias Witt, Astrid Nieße, Jutta Geldermann, Sebastian Lehnhoff, Michael Sonnenschein; Proceedings of the 6th International Conference on Smart Cities and Green ICT Systems; April / 2017

Towards Designing Affect-Aware Systems for Mitigating the Effects of In-Vehicle Frustration

Löcken, Andreas and Ihme, Klas and Unni, Anirudh; Proceedings of the 9th International Conference on Automotive User Interfaces and Interactive Vehicular Applications Adjunct; 09 / 2017

Towards State-Based RT Analysis of FSM-SADFGs on MPSoCs with Shared Memory Communication

Ralf Stemmer and Maher Fakih and Kim Grüttner and Wolfgang Nebel; 9th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools (RAPIDO); 1 / 2017

BIB
Towards Virtual Prototyping of Synchronous Real-time Systems on NoC-based MPSoCs

Razi Seyyedi, M. T. Mohammadat, Maher Fakih, Kim Grüttner, Johnny Öberg and Duncan Graham; 12th IEEE International Symposium on Industrial Embedded Systems (SIES); 6 / 2017

BIB
Traffic Sequence Charts - From Visualization to Semantics

Werner Damm and Stephanie Kemper and Eike Möhlmann and Thomas Peikenkamp and Astrid Rakow; 10 / 2017

BIB
UCARE-Cards: Schaffung von Usability-Bewusstsein für die Entwicklung von Software in der Pflege

Erika Root, Simon Timmermanns, Britta Gräfe, Wilko Heuten, Susanne Boll-Westermann; Wissenschaft trifft Praxis; 2017

BIB
Uncertainty Quantification for Modular Co-Simulation

Cornelius Steinbrink; Juli / 2017

BIB
Validating Intelligent Power and Energy Systems – A Discussion of Educational Needs

P. Kotsampopoulos , N. Hatziargyriou , T. I. Strasser , C. Moyo ,S. Rohjans , C. Steinbrink , S. Lehnhoff , P. Palensky , A. A. van der Meer ,D. E. Morales Bondy , K. Heussen, M. Calin , A. Khavari , M. Sosnina ,J. E. Rodriguez , G. M. Burt; 8th International Conference on Industrial Applications of Holonic and Multi-Agent Systems; August / 2017

BIB
Validation of a Motion Capture Suit for Clinical Gait Analysis

Hellmers, Sandra and Fudickar, Sebastian and Lange, Eugen and Lins, Christian and Hein, Andreas; 11th EAI Conference on Pervasive Computing Technologies for Healthcare, Barcelona; 2017

BIB
Verification of linear hybrid systems with large discrete state spaces using counterexample-guided abstraction refinement

Ernst Althaus and Björn Beber and Werner Damm and Stefan Disch and Willem Hagemann and Astrid Rakow and Christoph Scholl and Uwe Waldmann and Boris Wirtz; Science of Computer Programming; 2017

Verifying a PI Controller using SoapBox and Stabhyli

Eike Möhlmann and Willem Hagemann and Astrid Rakow; ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems; 2017

Visualizing Out-of-view Objects in Head-mounted Augmented Reality

Uwe Gruenefeld, Dag Ennenga, Abdallah El Ali, Wilko Heuten, Susanne Boll; Proceedings of the 19th International Conference on Human-Computer Interaction with Mobile Devices and Services; 09 / 2017

Zustandserkennung von Beatmungsgeräten durch zentrale Messung des Stromverbrauchs

Gerka, Alexander; Lins, Christian; Lüpkes, Christian; Hein, Andreas; German Medical Science GMS Publishing House; 09 / 2017