Veröffentlichungen im Rahmen von "Praxis der Forschung"

Im Folgenden sind aus Projekten im Rahmen von "Praxis der Forschung" entstandene Veröffentlichungen aufgelistet:

Lieber chronologisch gruppieren.
Artikel
Matthias Budde, Andrea Schankin, Julien Hoffmann, Marcel Danz, Till Riedel und Michael Beigl
Participatory Sensing or Participatory Nonsense? – Mitigating the Effect of Human Error on Data Quality in Citizen Science
Interactive, Mobile, Wearable and Ubiquitous Technologies (IMWUT) 1(3) (To appear)
Matthias Plappert, Christian Mandery und Tamim Asfour
The KIT Motion-Language Dataset
Big Data 4(4)
Tagungs- und Workshopbeiträge
Christian R. G. Dreher, Nicklas Kulp, Christian Mandery, Mirko Wächter und Tamim Asfour
A Framework for Evaluating Motion Segmentation Algorithms
IEEE-RAS International Conference on Humanoid Robots (Humanoids) (Accepted)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch und Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing
13th International Conference on integrated Formal Methods (iFM 2017) (To appear)
Addis Dittebrandt, Michael König und Felix Neumeister
Towards a Shared Evaluation Environment for Software Defined Networking
Studierendenkonferenz Informatik 2017 (SKILL 2017) (Best Paper Award)
Vincent Diener, Michael Beigl, Matthias Budde und Erik Pescara
VibrationCap: Studying Vibrotactile Localization on the Human Head with an Unobtrusive Wearable Tactile Display
21st International Symposium on Wearable Computers (ISWC 2017) (To appear)
Simon Sudrich, Julio Borges und Michael Beigl
Graph-based Anomaly Detection for Smart Cities: A Survey
First IEEE International Conference on Smart City Innovations (IEEE SCI 2017) (To appear)
Julio Borges, Henrik Hain, Simon Sudrich und Michael Beigl
Event Detection for Smarter Cities
First IEEE International Conference on Smart City Innovations (IEEE SCI 2017) (To appear)
Almut Demel und Michael Kirsten
Formal Fairness Properties in Network Routing Based on a Resource Allocation Model
9th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS 2017)
Niklas Baumstark, Simon Gog, Tobias Heuer und Julian Labeit
The Quantile Index – Succinct Self-Index for Top-k Document Retrieval
16th International Symposium on Experimental Algorithms (SEA 2017)
Julio Borges, Peter Bozsoky, Simon Sudrich und Michael Beigl
Advances in Event Detection
International Symposium on Advances in Smart Big Data Processing (SBDP 2017)
Simon Sudrich, Julio Borges und Michael Beigl
Anomaly Detection in Evolving Heterogeneous Graphs
3rd IEEE International Conference on Smart Data (SmartData 2017)
Niklas Baumstark, Simon Gog, Tobias Heuer und Julian Labeit
Practical Range Minimum Queries Revisited
16th International Symposium on Experimental Algorithms (SEA 2017)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten und Marko Kleine Büning
Combining Graph-Based and Deduction-Based Information-Flow Analysis
5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017)
Timo Bingmann, Michael Axtmann, Emanuel Jöbstl, Sebastian Lamm, Huyen Chau Nguyen, Alexander Noe, Sebastian Schlag, Matthias Stumpp, Tobias Sturm und Peter Sanders
Thrill: High-Performance Algorithmic Distributed Batch Data Processing with C++
IEEE International Conference on Big Data (Big Data 2016)
Anja Exler, Matthias Urschel, Andrea Schankin und Michael Beigl
Smartphone-Based Detection of Location Changes Using WiFi Data
6th EAI International Conference on Wireless Mobile Communication and Healthcare (Mobihealth 2016)
Christian Mandery, Matthias Plappert, Júlia Borrás Sol und Tamim Asfour
Dimensionality Reduction for Whole-Body Human Motion Recognition
19th International Conference on Information Fusion (FUSION 2016)
Anja Exler, Andrea Schankin, Christoph Klebsattel und Michael Beigl
A Wearable System for Mood Assessment Considering Smartphone Features and Data from Mobile ECGs
ACM International Joint Conference on Pervasive and Ubiquitous Computing: Adjunct (UbiComp 2016)
Anja Bachmann, Christoph Klebsattel, Andrea Schankin, Till Riedel, Michael Beigl, Markus Reichert, Philip Santangelo und Ulrich Ebner‑Priemer
Leveraging Smartwatches for Unobtrusive Mobile Ambulatory Mood Assessment
ACM International Joint Conference on Pervasive and Ubiquitous Computing and ACM International Symposium on Wearable Computers (UbiComp 2015)
Sven Leonhardt, Benjamin Hettwer, Johannes Hoor und Michael Langhammer
Integration of Existing Software Artifacts into a View- and Change-Driven Development Approach
Joint MORSE/VAO Workshop on Model-Driven Robot Software Engineering and View-based Software-Engineering (MORSE/VAO 2015)
Markus Scholz, Lukas Kohout, Matthias Horne, Matthias Budde, Michael Beigl und Moustafa A. Youssef
Device-Free Radio-based Low Overhead Identification of Subject Classes
2nd Workshop on Physical Analytics (WPA@MobiSys 2015)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich
Automating Regression Verification
LNI Software Engineering & Management, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW (SE & SWM 2015)
Andrei Miclaus, Till Riedel und Michael Beigl
End-User Installation of Heterogeneous Home Automation Systems Using Pen and Paper Interfaces and Dynamically Generated Documentation
4th International Conference on the Internet of Things (IOT 2014)
Matthias Budde, Julio De Melo Borges, Stefan Tomov, Till Riedel und Michael Beigl
Leveraging Spatio-Temporal Clustering for Participatory Urban Infrastructure Monitoring
First International Conference on IoT in Urban Space (Urb-IoT 2014) (Best Paper Award)
Andrei Miclaus, Till Riedel, Jack Unseld und Michael Beigl
Semantic Web Based Context-Adaptable Generation of Product Specific Documentation
5th International Workshop on Web of Things (WoT 2014)
Dennis Felsing, Sarah Grebing, Vladimir Klebanov, Philipp Rümmer und Mattias Ulbrich
Automating Regression Verification
29th ACM/IEEE International Conference on Automated Software Engineering (ASE 2014)
Matthias Budde, Julio De Melo Borges, Stefan Tomov, Till Riedel und Michael Beigl
Improving Participatory Urban Infrastructure Monitoring through Spatio-Temporal Analytics
3rd International Workshop on Urban Computing (UrbComp 2014)
Michael Hauber, Anja Bachmann, Matthias Budde und Michael Beigl
jActivity: Supporting Mobile Web Developers with HTML5/JavaScript based Human Activity Recognition
12th International Conference on Mobile and Ubiquitous Multimedia (MUM 2013) (Poster)