@inproceedings{StoebeHoefkenSchubaetal.2013, author = {St{\"o}be, Rolf and H{\"o}fken, Hans-Wilhelm and Schuba, Marko and Breuer, Michael}, title = {Artificial ageing of mobile devices using a simulated GSM/GPRS network}, series = {Eighth International Conference on Availability, Reliability and Security (ARES) : 2-6 Sept. 2013, Regensburg}, booktitle = {Eighth International Conference on Availability, Reliability and Security (ARES) : 2-6 Sept. 2013, Regensburg}, publisher = {IEEE}, pages = {493 -- 497}, year = {2013}, language = {en} } @inproceedings{RekePeterSchulteTiggesetal.2020, author = {Reke, Michael and Peter, Daniel and Schulte-Tigges, Joschua and Schiffer, Stefan and Ferrein, Alexander and Walter, Thomas and Matheis, Dominik}, title = {A Self-Driving Car Architecture in ROS2}, series = {2020 International SAUPEC/RobMech/PRASA Conference, Cape Town, South Africa}, booktitle = {2020 International SAUPEC/RobMech/PRASA Conference, Cape Town, South Africa}, publisher = {IEEE}, address = {New York, NY}, isbn = {978-1-7281-4162-6}, doi = {10.1109/SAUPEC/RobMech/PRASA48453.2020.9041020}, pages = {1 -- 6}, year = {2020}, abstract = {In this paper we report on an architecture for a self-driving car that is based on ROS2. Self-driving cars have to take decisions based on their sensory input in real-time, providing high reliability with a strong demand in functional safety. In principle, self-driving cars are robots. However, typical robot software, in general, and the previous version of the Robot Operating System (ROS), in particular, does not always meet these requirements. With the successor ROS2 the situation has changed and it might be considered as a solution for automated and autonomous driving. Existing robotic software based on ROS was not ready for safety critical applications like self-driving cars. We propose an architecture for using ROS2 for a self-driving car that enables safe and reliable real-time behaviour, but keeping the advantages of ROS such as a distributed architecture and standardised message types. First experiments with an automated real passenger car at lower and higher speed-levels show that our approach seems feasible for autonomous driving under the necessary real-time conditions.}, language = {en} } @inproceedings{SchnellBrandesGligorevicetal.2008, author = {Schnell, Michael and Brandes, Sinja and Gligorevic, Snjezana and Walter, Michael and Rihacek, Christoph and Sajatovic, Miodrag and Haindl, Bernhard}, title = {Interference mitigation for broadband L-DACS}, series = {27th IEEE/AIAA Digital Avionics Systems Conference : DASC 2008 : 26-30 Oct. 2008, St. Paul, Minn.}, booktitle = {27th IEEE/AIAA Digital Avionics Systems Conference : DASC 2008 : 26-30 Oct. 2008, St. Paul, Minn.}, organization = {Institute of Electrical and Electronics Engineers}, isbn = {978-1-4244-2207-4 ; 978-1-4244-2208-1}, pages = {2B2-1 -- 2B2-12}, year = {2008}, language = {en} } @inproceedings{BroennerHoefkenSchuba2016, author = {Broenner, Simon and H{\"o}fken, Hans-Wilhelm and Schuba, Marko}, title = {Streamlining extraction and analysis of android RAM images}, series = {Proceedings of the 2nd international conference on information systems security and privacy}, booktitle = {Proceedings of the 2nd international conference on information systems security and privacy}, organization = {ICISSP International Conference on Information Systems Security and Privacy <2, 2016, Rome, Italy>}, isbn = {978-989-758-167-0}, doi = {10.5220/0005652802550264}, pages = {255 -- 264}, year = {2016}, language = {en} } @inproceedings{LindenlaufHoefkenSchuba2015, author = {Lindenlauf, Simon and H{\"o}fken, Hans-Wilhelm and Schuba, Marko}, title = {Cold Boot Attacks on DDR2 and DDR3 SDRAM}, series = {10th International Conference on Availability, Reliability and Security (ARES) 2015}, booktitle = {10th International Conference on Availability, Reliability and Security (ARES) 2015}, doi = {10.1109/ARES.2015.28}, pages = {287 -- 292}, year = {2015}, language = {en} } @inproceedings{BonneyHoefkenPaffenetal.2015, author = {Bonney, Gregor and H{\"o}fken, Hans-Wilhelm and Paffen, Benedikt and Schuba, Marko}, title = {ICS/SCADA Security - Analysis of a Beckhoff CX5020 PLC}, series = {1st International Conference on Information Systems Security and Privacy : ICISSP 2015}, booktitle = {1st International Conference on Information Systems Security and Privacy : ICISSP 2015}, organization = {International Conference on Information Systems Security and Privacy <1, 2015, Angers>}, pages = {1 -- 6}, year = {2015}, language = {en} } @inproceedings{GranatHoefkenSchuba2017, author = {Granat, Andreas and H{\"o}fken, Hans-Wilhelm and Schuba, Marko}, title = {Intrusion Detection of the ICS Protocol EtherCAT}, pages = {1 -- 5}, year = {2017}, abstract = {Control mechanisms like Industrial Controls Systems (ICS) and its subgroup SCADA (Supervisory Control and Data Acquisition) are a prerequisite to automate industrial processes. While protection of ICS on process management level is relatively straightforward - well known office IT security mechanisms can be used - protection on field bus level is harder to achieve as there are real-time and production requirements like 24x7 to consider. One option to improve security on field bus level is to introduce controls that help to detect and to react on attacks. This paper introduces an initial set of intrusion detection mechanisms for the field bus protocol EtherCAT. To this end existing Ethernet attack vectors including packet injection and man-in-the-middle attacks are tested in an EtherCAT environment, where they could interrupt the EtherCAT network and may even cause physical damage. Based on the signatures of such attacks, a preprocessor and new rule options are defined for the open source intrusion detection system Snort demonstrating the general feasibility of intrusion detection on field bus level.}, language = {en} } @inproceedings{GligorevicJostWalter2009, author = {Gligorevic, Snjezana and Jost, T. and Walter, Michael}, title = {Scatterer based airport surface channel model}, series = {IEEE/AIAA 28th Digital Avionics Systems Conference : DASC '09 ; 23 - 29 [i.e. 25 - 29] Oct. 2009, Orlando, Fla.}, booktitle = {IEEE/AIAA 28th Digital Avionics Systems Conference : DASC '09 ; 23 - 29 [i.e. 25 - 29] Oct. 2009, Orlando, Fla.}, organization = {Institute of Electrical and Electronics Engineers}, isbn = {978-1-4244-4078-8}, pages = {4C2-1 -- 4C2-10}, year = {2009}, language = {en} } @inproceedings{BraunHoefkenSchubaetal.2015, author = {Braun, Sebastian and H{\"o}fken, Hans-Wilhelm and Schuba, Marko and Breuer, Michael}, title = {Forensische Sicherung von DSLRoutern}, series = {Proceedings of D-A-CH Security 2015. St. Augustin 8. und 9. September 2015}, booktitle = {Proceedings of D-A-CH Security 2015. St. Augustin 8. und 9. September 2015}, pages = {11 S.}, year = {2015}, language = {de} } @inproceedings{SchifferFerreinLakemeyer2011, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Fuzzy representations and control for domestic service robots in Golog}, series = {Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102)}, booktitle = {Intelligent robotics and applications : 4th International conference, ICIRA 2011, Aachen, Germany, December 6-8, 2011, proceedings, part I. (Lecture notes in computer science ; 7102)}, publisher = {ACM}, address = {New York}, isbn = {978-3-642-25486-4}, doi = {10.1007/978-3-642-25489-5_24}, pages = {241 -- 250}, year = {2011}, abstract = {In the RoboCup@Home domestic service robot competition, complex tasks such as "get the cup from the kitchen and bring it to the living room" or "find me this and that object in the apartment" have to be accomplished. At these competitions the robots may only be instructed by natural language. As humans use qualitative concepts such as "near" or "far", the robot needs to cope with them, too. For our domestic robot, we use the robot programming and plan language Readylog, our variant of Golog. In previous work we extended the action language Golog, which was developed for the high-level control of agents and robots, with fuzzy concepts and showed how to embed fuzzy controllers in Golog. In this paper, we demonstrate how these notions can be fruitfully applied to two domestic service robotic scenarios. In the first application, we demonstrate how qualitative fluents based on a fuzzy set semantics can be deployed. In the second program, we show an example of a fuzzy controller for a follow-a-person task.}, language = {en} } @inproceedings{LogenHoefkenSchuba2012, author = {Logen, Steffen and H{\"o}fken, Hans-Wilhelm and Schuba, Marko}, title = {Simplifying RAM Forensics : A GUI and Extensions for the Volatility Framework}, series = {2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic}, booktitle = {2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic}, publisher = {IEEE}, address = {New York}, isbn = {978-1-4673-2244-7}, doi = {10.1109/ARES.2012.12}, pages = {620 -- 624}, year = {2012}, abstract = {The Volatility Framework is a collection of tools for the analysis of computer RAM. The framework offers a multitude of analysis options and is used by many investigators worldwide. Volatility currently comes with a command line interface only, which might be a hinderer for some investigators to use the tool. In this paper we present a GUI and extensions for the Volatility Framework, which on the one hand simplify the usage of the tool and on the other hand offer additional functionality like storage of results in a database, shortcuts for long Volatility Framework command sequences, and entirely new commands based on correlation of data stored in the database.}, language = {en} } @inproceedings{SchollBartellaMoluluoetal.2019, author = {Scholl, Ingrid and Bartella, Alexander K. and Moluluo, Cem and Ertural, Berat and Laing, Frederic and Suder, Sebastian}, title = {MedicVR : Acceleration and Enhancement Techniques for Direct Volume Rendering in Virtual Reality}, series = {Bildverarbeitung f{\"u}r die Medizin 2019 : Algorithmen - Systeme - Anwendungen}, booktitle = {Bildverarbeitung f{\"u}r die Medizin 2019 : Algorithmen - Systeme - Anwendungen}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-25326-4}, doi = {10.1007/978-3-658-25326-4_32}, pages = {152 -- 157}, year = {2019}, language = {en} } @inproceedings{Ferrein2010, author = {Ferrein, Alexander}, title = {golog.lua: Towards a non-prolog implementation of Golog for embedded systems}, series = {Dagstuhl Seminar Proceedings, Volume 10081}, booktitle = {Dagstuhl Seminar Proceedings, Volume 10081}, doi = {10.4230/DagSemProc.10081.9}, pages = {1 -- 15}, year = {2010}, abstract = {Among many approaches to address the high-level decision making problem for autonomous robots and agents, the robot program¬ming and plan language Golog follows a logic-based deliberative approach, and its successors were successfully deployed in a number of robotics applications over the past ten years. Usually, Golog interpreter are implemented in Prolog, which is not available for our target plat¬form, the bi-ped robot platform Nao. In this paper we sketch our first approach towards a prototype implementation of a Golog interpreter in the scripting language Lua. With the example of the elevator domain we discuss how the basic action theory is specified and how we implemented fluent regression in Lua. One possible advantage of the availability of a Non-Prolog implementation of Golog could be that Golog becomes avail¬able on a larger number of platforms, and also becomes more attractive for roboticists outside the Cognitive Robotics community.}, language = {en} } @inproceedings{HillgaertnerKappel2006, author = {Hillg{\"a}rtner, Michael and Kappel, U.}, title = {Radiating Impedance of Mains Cabling During Emissions Testing}, series = {Proceedings of EMC Europe 2006 Barcelona : International Symposium on Electromagnetic Compatibility}, booktitle = {Proceedings of EMC Europe 2006 Barcelona : International Symposium on Electromagnetic Compatibility}, address = {Barcelona}, isbn = {84-689-9439-1}, pages = {17 -- 22}, year = {2006}, language = {en} } @inproceedings{NiemuellerFerreinBecketal.2010, author = {Niem{\"u}ller, Tim and Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard}, title = {Design principles of the component-based robot software framework Fawkes}, series = {Simulation, Modeling, and Programming for Autonomous Robots}, booktitle = {Simulation, Modeling, and Programming for Autonomous Robots}, publisher = {Springer}, address = {Berlin}, doi = {10.1007/978-3-642-17319-6_29}, pages = {300 -- 311}, year = {2010}, abstract = {The idea of component-based software engineering was proposed more that 40 years ago, yet only few robotics software frameworks follow these ideas. The main problem with robotics software usually is that it runs on a particular platform and transferring source code to another platform is crucial. In this paper, we present our software framework Fawkes which follows the component-based software design paradigm by featuring a clear component concept with well-defined communication interfaces. We deployed Fawkes on several different robot platforms ranging from service robots to biped soccer robots. Following the component concept with clearly defined communication interfaces shows great benefit when porting robot software from one robot to the other. Fawkes comes with a number of useful plugins for tasks like timing, logging, data visualization, software configuration, and even high-level decision making. These make it particularly easy to create and to debug productive code, shortening the typical development cycle for robot software.}, language = {en} } @inproceedings{NiemuellerFerreinLakemeyer2010, author = {Niem{\"u}ller, Tim and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {A Lua-based behavior engine for controlling the humanoid robot Nao}, series = {RoboCup 2009: Robot Soccer World Cup XIII}, booktitle = {RoboCup 2009: Robot Soccer World Cup XIII}, publisher = {Springer}, address = {Berlin}, doi = {10.1007/978-3-642-11876-0_21}, pages = {240 -- 251}, year = {2010}, abstract = {The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while the bottom layer serves as driver for the hardware. In between is a layer with monitoring and reporting functionality. In this paper we propose a behaviour engine for this middle layer which, based on formalism of hybrid state machines (HSMs), bridges the gap between high-level strategic decision making and low-level actuator control. The behaviour engine has to execute and monitor behaviours and reports status information back to the higher level. To be able to call the behaviours or skills hierarchically, we extend the model of HSMs with dependencies and sub-skills. These Skill-HSMs are implemented in the lightweight but expressive Lua scripting language which is well-suited to implement the behaviour engine on our target platform, the humanoid robot Nao.}, language = {en} } @inproceedings{FerreinSteinbauer2010, author = {Ferrein, Alexander and Steinbauer, Gerald}, title = {On the Way to High-Level Programming for Resource-Limited Embedded Systems with Golog}, series = {Simulation, Modeling, and Programming for Autonomous Robots}, booktitle = {Simulation, Modeling, and Programming for Autonomous Robots}, publisher = {Springer}, address = {Berlin}, doi = {10.1007/978-3-642-17319-6_23}, pages = {229 -- 240}, year = {2010}, abstract = {In order to allow an autonomous robot to perform non-trivial tasks like to explore a foreign planet the robot has to have deliberative capabilities like reasoning or planning. Logic-based approaches like the programming and planing language Golog and it successors has been successfully used for such decision-making problems. A drawback of this particular programing language is that their interpreter usually are written in Prolog and run on a Prolog back-end. Such back-ends are usually not available or feasible on resource-limited robot systems. In this paper we present our ideas and first results of a re-implementation of the interpreter based on the Lua scripting language which is available on a wide range of systems including small embedded systems.}, language = {en} } @inproceedings{RensVarzinczakMeyeretal.2010, author = {Rens, Gavin and Varzinczak, Ivan and Meyer, Thomas and Ferrein, Alexander}, title = {A Logic for Reasoning about Actions and Explicit Observations}, series = {AI 2010: Advances in Artificial Intelligence}, booktitle = {AI 2010: Advances in Artificial Intelligence}, publisher = {Springer}, address = {Berlin}, doi = {10.1007/978-3-642-17432-2_40}, pages = {395 -- 404}, year = {2010}, abstract = {We propose a formalism for reasoning about actions based on multi-modal logic which allows for expressing observations as first-class objects. We introduce a new modal operator, namely [o |α], which allows us to capture the notion of perceiving an observation given that an action has taken place. Formulae of the type [o |α]ϕ mean 'after perceiving observation o, given α was performed, necessarily ϕ'. In this paper, we focus on the challenges concerning sensing with explicit observations, and acting with nondeterministic effects. We present the syntax and semantics, and a correct and decidable tableau calculus for the logic}, language = {en} } @inproceedings{SchollSchubertZieneretal.2010, author = {Scholl, Ingrid and Schubert, Nicole and Ziener, Pascal and Pietrzyk, Uwe}, title = {GPU-basiertes Volumenrendering von multimodalen medizinischen Bilddaten in Echtzeit}, series = {Bildverarbeitung f{\"u}r die Medizin 2010}, booktitle = {Bildverarbeitung f{\"u}r die Medizin 2010}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-11967-5}, pages = {400 -- 404}, year = {2010}, abstract = {Die vorliegende Arbeit zeichnet sich dadurch aus, dass registrierte unsegmentierte Volumina aus multimodalen Bilddatens{\"a}tzen (z.B. MRT, PET) gleichzeitig in einer 3D-Rekonstruktion visualisiert werden und in Echtzeit manipuliert werden k{\"o}nnen. Erm{\"o}glicht wird die Echtzeitf{\"a}higkeit durch die Programmierung der Algorithmen zur direkten Volumenvisualisierung auf der Grafikkarte mittels der neuen CUDA-Technologie. Die Zuordnung der Farbeigenschaften wird {\"u}ber 1D-Transferfunktionen f{\"u}r jedes Volumen getrennt gesteuert. So k{\"o}nnen durch die interaktive Ver{\"a}nderung der 1D-Transferfunktion Detailinformationen aus den zwei Bilddatens{\"a}tzen getrennt kontrolliert werden und die Vorteile der verschiedenen Bildmodalit{\"a}ten in einer Visualisierung genutzt werden. Mittels dieses interaktiven Frameworks k{\"o}nnen neue Erkenntnisse insbesondere {\"u}ber neurodegenerativen Erkrankungen gewonnen werden.}, language = {de} } @inproceedings{SchmittSchollCaietal.2010, author = {Schmitt, Robert and Scholl, Ingrid and Cai, Yu and Xia, Ji and Dziwoki, Paul and Harding, Martin and Pavim, Alberto}, title = {Machine vision system for inline inspection in carbide insert production}, series = {Proceedings of the 36th International MATADOR Conference}, booktitle = {Proceedings of the 36th International MATADOR Conference}, publisher = {Springer}, address = {Berlin}, isbn = {978-1-84996-431-9}, doi = {10.1007/978-1-84996-432-6_77}, pages = {339 -- 342}, year = {2010}, abstract = {In steps of the production chain of carbide inserts, such as unloading or packaging, the conformity test of the insert type is done manually, which causes a statistic increase of errors due to monotony and fatigue of the worker and the wide variety of the insert types. A machine vision system is introduced that captures digital frames of the inserts in the production line, analyses inspects automatically and measures four quality features: coating colour, edge radius, plate shape and chip-former geometry. This new method has been tested on several inserts of different types and has shown that the prevalent insert types can be inspected and robustly classified in real production environment and therefore improves the manufacturing automation.}, language = {en} }