TY - JOUR A1 - Ndoumbè Mbonjo Mbonjo, H. A1 - Streckert, J. A1 - Bitz, Andreas A1 - Hansen, V. A1 - Glasmachers, A. A1 - Gencol, S. A1 - Rozic, D. T1 - Generic UMTS test signal for RF bioelectromagnetic studies JF - Bioelectromagnetics Y1 - 2004 U6 - http://dx.doi.org/10.1002/bem.20007 SN - 1521-186X VL - 25 IS - 6 SP - 415 EP - 425 ER - TY - CHAP A1 - Nees, Franz A1 - Stengel, Ingo A1 - Meister, Vera G. A1 - Barton, Thomas A1 - Herrmann, Frank A1 - Müller, Christian A1 - Wolf, Martin T1 - Angewandte Forschung in der Wirtschaftsinformatik 2020 : Tagungsband zur 33. AKWI-Jahrestagung am 14.09.2020, ausgerichtet von der Hochschule Karlsruhe - Wirtschaft und Technik / hrsg. von Franz Nees, Ingo Stengel, Vera G. Meister, Thomas Barton, Frank Herrmann, Christian Müller, Martin R. Wolf N2 - Tagungsbeiträge aus den Bereichen KI, Prozessorganisation und Plattformen für Geschäftsprozesse, Sicherheit und Datenschutz sowie Prototypen und Modelle. Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:526-opus4-13840 SN - 978-3-944330-66-2 PB - mana-Buch CY - Heide ER - TY - CHAP A1 - Neth, Jannik A1 - Schuba, Marko A1 - Brodkorb, Karsten A1 - Neugebauer, Georg A1 - Höner, Tim A1 - Hack, Sacha T1 - Digital forensics triage app for android T2 - ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security N2 - Digital forensics of smartphones is of utmost importance in many criminal cases. As modern smartphones store chats, photos, videos etc. that can be relevant for investigations and as they can have storage capacities of hundreds of gigabytes, they are a primary target for forensic investigators. However, it is exactly this large amount of data that is causing problems: extracting and examining the data from multiple phones seized in the context of a case is taking more and more time. This bears the risk of wasting a lot of time with irrelevant phones while there is not enough time left to analyze a phone which is worth examination. Forensic triage can help in this case: Such a triage is a preselection step based on a subset of data and is performed before fully extracting all the data from the smartphone. Triage can accelerate subsequent investigations and is especially useful in cases where time is essential. The aim of this paper is to determine which and how much data from an Android smartphone can be made directly accessible to the forensic investigator – without tedious investigations. For this purpose, an app has been developed that can be used with extremely limited storage of data in the handset and which outputs the extracted data immediately to the forensic workstation in a human- and machine-readable format. KW - Android KW - Digital triage KW - Triage-app Y1 - 2023 SN - 9798400707728 U6 - http://dx.doi.org/10.1145/3600160.3605017 N1 - ARES 2023: The 18th International Conference on Availability, Reliability and Security. August 29 - September 1, 2023. Benevento, Italy. PB - ACM ER - TY - CHAP A1 - Neugebauer, Georg A1 - Brutschy, Lucas A1 - Meyer, Ulrike A1 - Wetzel, Susanne ED - Garcia-Alfaro, Joaquin ED - Lioudakis, Georgios ED - Cuppens-Boulahia, Nora ED - Foley, Simon ED - Fitzgerald, William M. T1 - Privacy-preserving multi-party reconciliation secure in the malicious model T2 - DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security N2 - The problem of fair and privacy-preserving ordered set reconciliation arises in a variety of applications like auctions, e-voting, and appointment reconciliation. While several multi-party protocols have been proposed that solve this problem in the semi-honest model, there are no multi-party protocols that are secure in the malicious model so far. In this paper, we close this gap. Our newly proposed protocols are shown to be secure in the malicious model based on a variety of novel non-interactive zero-knowledge-proofs. We describe the implementation of our protocols and evaluate their performance in comparison to protocols solving the problem in the semi-honest case. KW - Privacy-enhancing technologies KW - Secure multi-party computation KW - Cryptographic protocols KW - Zero-knowledge proofs KW - Malicious model Y1 - 2014 SN - 978-3-642-54567-2 (Print) SN - 978-3-642-54568-9 (Online) U6 - http://dx.doi.org/10.1007/978-3-642-54568-9_12 N1 - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013. Part of the Lecture Notes in Computer Science book series (LNSC,volume 8247) SP - 178 EP - 193 PB - Springer CY - Berlin ER - TY - CHAP A1 - Neumann, Tobias A1 - Dülberg, Enno A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A rotating platform for swift acquisition of dense 3D point clouds T2 - Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I Y1 - 2016 SN - 978-3-319-43505-3 (Print) SN - 978-3-319-43506-0 (Online) U6 - http://dx.doi.org/10.1007/978-3-319-43506-0_22 N1 - Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) VL - 9834 SP - 257 EP - 268 PB - Springer ER - TY - CHAP A1 - Neumann, Tobias A1 - Ferrein, Alexander A1 - Kallweit, Stephan A1 - Scholl, Ingrid T1 - Towards a mobile mapping robot for underground mines T2 - 7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town Y1 - 2014 SP - 1 EP - 6 ER - TY - CHAP A1 - Niemueller, T. A1 - Lakemeyer, G. A1 - Reuter, S. A1 - Jeschke, S. A1 - Ferrein, Alexander T1 - Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint T2 - Cyber-Physical Systems: Foundations, Principles and Applications N2 - In the future, we expect manufacturing companies to follow a new paradigm that mandates more automation and autonomy in production processes. Such smart factories will offer a variety of production technologies as services that can be combined ad hoc to produce a large number of different product types and variants cost-effectively even in small lot sizes. This is enabled by cyber-physical systems that feature flexible automated planning methods for production scheduling, execution control, and in-factory logistics. During development, testbeds are required to determine the applicability of integrated systems in such scenarios. Furthermore, benchmarks are needed to quantify and compare system performance in these industry-inspired scenarios at a comprehensible and manageable size which is, at the same time, complex enough to yield meaningful results. In this chapter, based on our experience in the RoboCup Logistics League (RCLL) as a specific example, we derive a generic blueprint for how a holistic benchmark can be developed, which combines a specific scenario with a set of key performance indicators as metrics to evaluate the overall integrated system and its components. KW - Smart factory KW - Industry 4.0 KW - Cyber-physical systems KW - Multi-robot systems KW - Autonomous mobile robots Y1 - 2017 U6 - http://dx.doi.org/10.1016/B978-0-12-803801-7.00013-4 SP - 193 EP - 207 PB - Academic Press CY - London ER - TY - CHAP A1 - Niemueller, Tim A1 - Ferrein, Alexander A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark T2 - Proceedings of the IROS 2015 Open forum on evaluation of results, replication of experiments and benchmarking in robotics research N2 - With autonomous mobile robots receiving increased attention in industrial contexts, the need for benchmarks becomes more and more an urgent matter. The RoboCup Logistics League (RCLL) is one specific industry-inspired scenario focusing on production logistics within a Smart Factory. In this paper, we describe how the RCLL allows to assess the performance of a group of robots within the scenario as a whole, focusing specifically on the coordination and cooperation strategies and the methods and components to achieve them. We report on recent efforts to analyze performance of teams in 2014 to understand the implications of the current grading scheme, and derived criteria and metrics for performance assessment based on Key Performance Indicators (KPI) adapted from classic factory evaluation. We reflect on differences and compatibility towards RoCKIn, a recent major benchmarking European project. Y1 - 2015 ER - TY - JOUR A1 - Niemueller, Tim A1 - Karras, Ulrich A1 - Ferrein, Alexander T1 - Meisterschaft der Maschinen: Die Industrial Logistic Liga JF - C´t Magazin für Computertechnik Y1 - 2017 IS - 26 ER - TY - CHAP A1 - Niemueller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander ED - Finzi, Alberto T1 - The RoboCup Logistics League as a Benchmark for Planning in Robotics T2 - Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015 Y1 - 2015 SP - 63 EP - 68 ER - TY - CHAP A1 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Improvements for a robust production in the RoboCup logistics league 2016 T2 - RoboCup 2016: Robot World Cup XX. RoboCup 2016. Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_49 SP - 589 EP - 600 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League T2 - RoboCup 2016: RoboCup 2016: Robot World Cup XX. RoboCup 2016 Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_53 N1 - Lecture Notes in Computer Science, LNCS, Vol 9776 SP - 634 EP - 642 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ewert, Daniel A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014 T2 - RoboCup 2014: Robot World Cup XVIII Y1 - 2015 SN - 978-3-319-18615-3 N1 - Lecture Notes in Computer Science ; 8992 SP - 155 EP - 167 PB - Springer ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ewert, Daniel A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard ED - Almeida, Luis T1 - The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015 T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_4 N1 - Lecture Notes in Computer Science ; 9513 SP - 47 EP - 59 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ferrein, Alexander ED - Almeida, Luis T1 - Fawkes for the RoboCup Logistics League T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_31 N1 - Lecture Notes in Computer Science ; 9513 SP - 365 EP - 373 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard ED - Almeida, Luis T1 - Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_3 N1 - Lecture Notes in Computer Science ; 9513 SP - 31 EP - 43 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Zwilling, Frederik A1 - Lakemeyer, Gerhard A1 - Löbach, Matthias A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Ferrein, Alexander T1 - Cyber-Physical System Intelligence T2 - Industrial Internet of Things N2 - Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure. KW - Smart factory KW - Industry 4.0 KW - Multi-robot systems KW - Autonomous mobile robots KW - RoboCup Y1 - 2017 SN - 978-3-319-42559-7 U6 - http://dx.doi.org/10.1007/978-3-319-42559-7_17 N1 - Springer Series in Wireless Technology SP - 447 EP - 472 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The Carologistics RoboCup Logistics Team 2013 T2 - RoboCup 2013 : Eindhoven Y1 - 2013 SP - 1 EP - 8 ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - RoboCup logistics league sponsored by festo: A competitive factory automation testbed T2 - RoboCup 2013: Robot World Cup XVII : Eindhoven; Netherlands; 1 July 2013 through 1 July 2013. (Lecture notes in computer science ; 8371) N2 - A new trend in automation is to deploy so-called cyber-physical systems (CPS) which combine computation with physical processes. The novel RoboCup Logistics League Sponsored by Festo (LLSF) aims at such CPS logistic scenarios in an automation setting. A team of robots has to produce products from a number of semi-finished products which they have to machine during the game. Different production plans are possible and the robots need to recycle scrap byproducts. This way, the LLSF is a very interesting league offering a number of challenging research questions for planning, coordination, or communication in an application-driven scenario. In this paper, we outline the objectives of the LLSF and present steps for developing the league further towards a benchmark for logistics scenarios for CPS. As a major milestone we present the new automated referee system which helps in governing the game play as well as keeping track of the scored points in a very complex factory scenario. Y1 - 2014 SN - 978-3-662-44467-2 (Print) 978-3-662-44468-9 (Online) SP - 336 EP - 347 PB - Springer CY - Berlin ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Karras, Ulrich A1 - Ferrein, Alexander T1 - Towards benchmarking cyber-physical systems in factory automation scenarios T2 - KI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 ; proceedings / Ingo J. Timm ... (ed.). (Lecture notes in computer science ; 8077) Y1 - 2013 SN - 978-3-642-40941-7 SP - 296 EP - 299 PB - Springer CY - Berlin [u.a.] ER -