GRK 1103:  Eingebettete Mikrosysteme

• Fachliche Zuordnung: Systemtechnik ; Informatik
• Förderung: Förderung von 2005 bis 2014
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 455518

• Erstellungsjahr: 2015

Zusammenfassung der Projektergebnisse

In eingebetteten Mikrosystemen verschmelzen Komponenten der Mikrosystemtechnik (Mikrosensoren und -aktoren) und mikroelektronische Komponenten (Mikrokontroller, integrierte Analogschaltungen und Kommunikationsblöcke) mit den Methoden und Algorithmen der Informatik zu kompakten, leistungsfähigen Einheiten. Mehr noch als eingebettete Systeme sind eingebettete Mikrosysteme starken Ressourcenlimitierungen unterworfen. Ungeachtet der Einschränkungen bezüglich Gewicht, Speichervolumen, Rechenleistung und verfügbarer Energie müssen sie etwa als autonome Systeme in der Lage sein, anspruchsvolle Aufgaben der Datenerfassung, -verarbeitung und -fusion sowie der Kommunikation und Steuerung wahrzunehmen und je nach Anwendung auch innerhalb vorgegebener Zeitschranken zu erledigen. Hieraus ergeben sich neue technische und methodische Fragestellungen an Low-Voltage/Low-Power-Schaltungen, optimierte Aufweckstrategien, flexible Protokolle sowie ressourcenbewusste und -sparende Algorithmen, die einen stark interdisziplinären Ansatz zwischen Mikrosystemtechnik und Informatik erfordern. Dieser wurde im Graduiertenkolleg „Embedded Microsystems“ in den vier Forschungsbereichen „Modellierung und Entwurf“, „Diagnose, Test und Zuverlässigkeit“, „Lokalisation von Mikrosystemen“ und „Kommunikation zwischen Mikrosystemen“ in vorher nicht dagewesener Systematik verfolgt. Herausragende Ergebnisse im Bereich „Modellierung und Entwurf“ waren neuartige Ansätze für rekonfigurierbare analoge Front-Ends (Field Programmable Analog Arrays, FPAAs) zur Nutzbarmachung im Rapid Prototyping von Sensorschnittstellen, wesentliche Fortschritte bei der Steigerung der Zuverlässigkeit von Digitalschaltungen mit extrem niedrigen Versorgungsspannungen und neue, praxistaugliche Herstellungsverfahren für die Chip-Integration von Mikrotransformatoren zur Energieversorgung der Systeme. Softwareseitig wurde der Energiebedarf durch die direkte Berücksichtigung von DFS/DVS in Schedulingverfahren von Betriebssystemen erfolgreich reduziert. Für die Bewahrung der Datenkonsistenz in verteilten Systemen eingebetteter Mikrosysteme wurde ein neuer, effizienter Ansatz auf Basis von Transaktionen entwickelt. Die Forschungen im Bereich „Diagnose, Test und Zuverlässigkeit“ führten zu einer signifikanten Verbesserung der Erkennung resistiver Unterbrechungen, wie sie in mechanisch belasteten Mikrosystemen häufig vorkommen. Die Robustheit von Algorithmen gegenüber Soft Errors, wie sie z.B. beim Einsatz eingebetteter Mikrosysteme in Rescue-Szenarien auftreten, konnte erheblich gesteigert werden. Des Weiteren wurde eine Verallgemeinerung der van der Pauw-Methode, die eine grundlegende Messmethode der Halbleitertechnik darstellt, entwickelt, die z.B. die Kalibration von Hall-Sensoren signifikant vereinfacht. Im Forschungsbereich „Lokalisation von Mikrosystemen“ wurden zwei innovative Sensorprinzipien für die Navigation erstmals demonstriert: ein neuartiges, extrem hochauflösendes, resonantes Sensorkonzept für Magnetfelder und eine Messmethode für hochsensitive Strömungssensoren, die erstmals medienunabhängige Messungen erlaubt. Für die Indoor-Navigation wurde erfolgreich ein Ultraschall-Ortungssystem entwickelt, das die sonst notwendige Einmessung von Referenzpunkten vermeidet und inzwischen kommerziell weiterentwickelt wird. Die Ergebnisse der Forschungen auf algorithmischer Seite erlauben eine Implementierung landmarkenbasierter Navigation auf den begrenzten Rechenkapazitäten mobiler Systeme. Die Effizienz der Kartierung wurde darüber hinaus durch neuartige Kartentypen wesentlich verbessert. Bemerkenswerte Ergebnisse aus dem Bereich „Kommunikation zwischen Mikrosystemen“ sind sowohl die Erforschung von Algorithmen zur Vermeidung unnötiger Mehrfachsendungen und zur optimalen Regelung der Kommunikationsgeschwindigkeit, als auch neue Konzepte für Aufweckempfänger, die den Trade-Off zwischen hoher Aufweckreichweite und geringem Energiebedarf wesentlich verbessern. Zur bereichs- und fächerübergreifenden Verbindung der entwickelten Ansätze wurde ein Luftschiff (Blimp) als Demonstratorplattform entwickelt. Die Ergebnisse zahlreicher Einzelprojekte wurden in diese Plattform integriert (Sensoren, IMUs, Lokalisierungs- und Navigationsalgorithmen, Reinforcement Learning) und belegen eindrucksvoll die Innovationskraft des Graduiertenkollegs „Embedded Microsystems“.

Projektbezogene Publikationen (Auswahl)

• “An Efficient Extension of Elevation Maps for Outdoor Terrain Mapping”. In Proceedings of the International Conference on Field and Service Robotics (FSR). Port Douglas, QLD, Australia, 2005, pp. 165–176
  P. Pfaff and W. Burgard
  
• “Implementierung eines verlustleistungsoptimierten Dezimators für kaskadierte Sigma-Delta Analog Digital Umsetzer”. Advances in Radio Science, vol. 3, pp. 389–393, 2005
  M. Becker, N. Lotze, J. Becker, M. Ortmanns, and Y. Manoli
  
• “On the Analysis of the Approximation Capability of Simple Evolutionary Algorithms on Scheduling Problems”. In Proceedings of the Genetic and Evolutionary Computation Conference (GECCO). Washington, DC, USA, 2005, pp. 571–578
  C. Gunia
  
• “Rekonfigurationstechniken und Anwendungsgebiete für ein programmierbares Gm -C Analog-Filter”. In Kleinheubacher Berichte - Advances in Radio Science. Miltenberg, Germany, October 2005
  J. Becker, F. Henrici, and Y. Manoli
  
• “Semantic Labeling of Places”. In International Symposium of Robotics Research (ISRR). San Francisco, CA, USA, 2005
  C. Stachniss, O. Martínez-Mozos, A. Rottmann, and W. Burgard
  
• “System-level analog simulation of a mixed-signal continuoustime field programmable analog array”. In Proceedings of IEEE International Workshop System-on- Chip for Real-Time Applications (IWSOC). Banff, AB, Canada, July 2005, pp. 434–438
  J. Becker, F. Henrici, and Y. Manoli
  
• “A GPS aided Full Linear Accelerometer Based Gyroscope-free Navigation System”. In Proceedings of the 16th IEEE/ION Position, Location and Navigation Symposium (PLANS 2006). San Diego, CA, USA, 2006, pp. 622–629
  A. Buhmann, C. Peters, M. Cornils, and Y. Manoli
  
• “A System for Electro-Mechanical Reliability Testing of MEMS Devices”. In Proceedings of “32nd International Symposium for Testing and Failure Analysis”. Austin, TX, USA, 2006, pp. 147–152
  S. Spinner, I. Polian, B. Becker, M. Doelle, P. Ruther, and O. Paul
  
• “Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors”. In 18th VDI GI/ITG/GMM Workshop “Testmehtoden und Zuverlässigkeit von Schaltungen und Systemen”. Titisee, Germany, 2006, pp. 111–112
  S. Spinner, J. Barholomeyczik, B. Becker, M. Doelle, O. Paul, I. Polian, R. Roth, K. Seitz, and P. Ruther
  
• “Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors”. In Proceedings of “Design, Test, Integration and Packaging of MEMS/MOEMS 2006”. Stresa, Italy, 2006, pp. 77–82
  S. Spinner, J. Barholomeyczik, B. Becker, M. Doelle, O. Paul, I. Polian, R. Roth, K. Seitz, and P. Ruther
  
• “Energy-Efficient Broadcast Scheduling for Speed-Controlled Transmission Channels”. In Proceedings of the International Symposium on Algorithms and Computation (ISAAC). Kolkata, India, 2006, pp. 670–679
  P. Briest and C. Gunia
  
• “Field Concentrator Based Resonant Magnetic Sensor”. In Proceedings of the 5th IEEE Sensors 2006 Conference. Daegu, South Korea, 2006, pp. 1016–1019
  S. Brugger, P. Simon, and O. Paul
  
• “Implementation and Analysis of Power Consumption for a Power Optimized Decimator Designed for Cascaded Sigma-Delta A/D Converters”. In Proceedings of the IEEE International Midwest Symposium on Circuits and Systems (MWSCAS). San Juan, Puerto Rico, 2006, pp. 654–658
  M. Becker, N. Lotze, M. Ortmanns, and Y. Manoli
  
• “Mapping with an Autonomous Car”. In Workshop on Safe Navigation in Open and Dynamic Environments at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Beijing, China, 2006
  P. Lamon, C. Stachniss, R. Triebel, P. Pfaff, C. Plagemann, G. Grisetti, S. Kolski, W. Burgard, and R. Siegwart
  
• “Multi Level Surface Maps for Outdoor Terrain Mapping and Loop Closing”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Beijing, China, 2006, pp. 2276–2282
  R. Triebel, P. Pfaff, and W. Burgard
  
• “Netzwerkblockgeräte in neuen Missionen”. Linux-Magazin, vol. 7, 2006
  D. von Suchodoletz and T. Zitterell
  
• “On Broadcast Scheduling with Limited Energy”. In Proceedings of the International Conference on Algorithms and Complexity (CIAC). Rome, Italy, 2006, pp. 151–162
  C. Gunia
  
• “Robust Monte-Carlo Localization using Adaptive Likelihood Models”. In European Robotics Symposium 2006. Palermo, Italy, 2006, pp. 181–194
  P. Pfaff, W. Burgard, and D. Fox
  
• “Semantic Labeling of Places using Information Extracted from Laser and Vision Sensor Data”. In Workshop on From sensors to human spatial concept at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Beijing, China, 2006
  O. Martínez Mozos, A. Rottmann, R. Triebel, P. Jensfelt, and W. Burgard
  
• “Simulation eines rekonfigurierbaren Gm -C Filter Arrays”. In Kleinheubacher Berichte - Advances in Radio Science. Miltenberg, Germany, October 2006
  F. Henrici, J. Becker, and Y. Manoli
  
• “Simulation of a reconfigurable mixed-signal Field Programmable Analog Array”. In Technical talk at Cadence CDNLive! EMEA. Nice, France, June 2006
  F. Henrici, J. Becker, and Y. Manoli
  
• “Simultaneous Localization and Mapping in Unmodified Environments using Stereo Vision”. In Proceedings of the International Conference on Informatics in Control, Automation and Robotics (ICINCO). Setúbal, Portugal, 2006, pp. 302–309
  A. Gil, O. Reinoso, C. Fernández, M. Vicente, A. Rottmann, and O. Martínez Mozos
  
• “Übersetzen und Optimieren von Simulink Modellen”. In GI Softwaretechnik-Trends Band. Vol. 26, no. 2, 2006
  M. Degen
  
• Algorithms for Sensor and Ad Hoc Networks. ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2007, vol. 4621, ch. Minimal Range Assignment for Broadcasts, pp. 215–236
  C. Gunia
  
• Neue Medien als strategische Schrittmacher an der Universität Freiburg. Verlag Universitätsbibliothek, 2007, ch. Spicy VOLTsim, pp. 323–332
  J. Becker, S. Trendelenburg (u.a.)
  
• Robotics Research: Results of the 12th International Symposium ISRR. ser. STAR Springer tracts in advanced robotics. Springer-Verlag Berlin Heidelberg, Germany, 2007, vol. 28, ch. Using AdaBoost for Place Labeling and Topological Map Building., pp. 453–472
  O. Martínez-Mozos, C. Stachniss, A. Rottmann, and W. Burgard
  
• S. Brugger and O. Paul. “Miniaturization of a Resonant Magnetic Sensor Using Optimized Planar Magnetic Concentrators”. In Proceedings of the 2nd MikroSystemTechnik Kongress 2007. Dresden, Germany, 2007, pp. 963–966
  S. Brugger and O. Paul
  
• “A Continuous-Time Field Programmable Analog Array Using Parasitic Capacitance Gm-C Filters”. In Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS). New Orleans, LA, USA, May 2007
  F. Henrici, J. Becker, and Y. Manoli
  
• “A Study on Self-Timed Asynchronous Subthreshold Logic”. In Proceedings of the International Conference on Computer Design. Lake Tahoe, NV, USA, 2007, pp. 533–540
  N. Lotze, M. Ortmanns, and Y. Manoli
  
• “A System for Calibration and Reliability Testing of MEMS Devices Under Mechanical Stress”. In Proceedings of the 2nd MikroSystemTechnik Kongress 2007. Dresden, Germany, 2007, pp. 861–864
  S. Spinner, P. Ruther, I. Polian, B. Becker, and O. Paul
  
• “A field programmable Gm-C filter array (FPAA) for online adaptation to environmental changes.” In Adaptive Hardware and Systems, 2007. AHS 2007. Second NASA/ESA Conference on. Aug 2007, pp. 547–553
  J. Becker, S. Trendelenburg, F. Henrici, and Y. Manoli
  
• “A field programmable Gm-C filter array for online adaptation to environmental changes”. In Proceedings of NASA/ESA Conference on Adaptive Hardware and Systems (AHS). Edinburgh, UK, August 2007
  J. Becker, S. Trendelenburg, F. Henrici, and Y. Manoli
  
• “Active Monte Carlo Localization in Outdoor Terrains using Multi-Level Surface Maps”. In Fachgespräch Autonome Mobile Systeme (AMS). Kaiserslautern, Germany, October 2007
  R. Kümmerle, P. Pfaff, R. Triebel, and W. Burgard
  
• “An Efficient Extension to Elevation Maps for Outdoor Terrain Mapping and Loop Closing”. International Journal of Robotics Research, vol. 26, no. 2, pp. 217–230, 2007
  P. Pfaff, R. Triebel, and W. Burgard
  
• “Autonomous Blimp Control using Modelfree Reinforcement Learning in a Continuous State and Action Space”. In Proceedings of the IE- EE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007, pp. 1895–1900
  A. Rottmann, C. Plagemann, P. Hilgers, and W. Burgard
  
• “Autonomous Exploration for 3D Map Learning”. In Autonome Mobile Systeme (AMS). Kaiserslautern, Germany, 2007, pp. 22–28
  D. Joho, C. Stachniss, P. Pfaff, and W. Burgard
  
• “Autonomous Navigation for Small Flying Vehicles”. In Workshop on Micro Aerial Vehicles Design, Control and Navigation at the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007
  S. Steder, A. Rottmann, G. Grisetti, C. Stachniss, and W. Burgard
  
• “Cantilever-Based Tactile Sensor with Improved Sensitivity for Dimensional Metrology of Deep Narrow Drillings”. In Digest of Technical Papers of the 14th International Solid-State Sensors, Actuators and Microsystems Conference (Transducers 2007). Lyon, France, 2007, pp. 1469–1472
  P. Ruther, S. Spinner, M. Cornils, and O. Paul
  
• “Cantilever-Based Tactile Sensor with Improved Sensitivity for Dimensional Metrology of Microcomponents”. In Proceedings of the 2nd MikroSystemTechnik Kongress 2007. Dresden, Germany, 2007, pp. 747–750
  S. Spinner, M. Cornils, O. Paul, and P. Ruther
  
• “CMOS Integrated Highly Efficient Full Wave Rectifier”. In Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS). New Orleans, LA, USA, May 2007
  C. Peters, O. Kessling, F. Henrici, M. Ortmanns, and Y. Manoli
  
• “CMOS-Integrated Silicon 3D Force Sensor System for Micro Component Coordinate Measurement Machines”. In Technical Digest MEMS 2007. Kobe, Japan, 2007, pp. 611–614
  B. Levey, P. Gieschke, M. Doelle, S. Spinner, A. Trautmann, P. Ruther, and O. Paul
  
• “Control in Digital Sensor-Actuator-Networks”. In Proceedings of the 52nd IWK - Internationales Wissenschaftliche Kolloquium. Ilmenau, Germany, 2007, pp. 275–280
  P. Hilgers and C. Ament
  
• “Design-by-Contract für funktionale Sprachen mit verzögerter Auswertung”. In Tagungsband zum 24. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, May 2007
  S. Wehr, M. Degen, and P. Thiemann
  
• “Efficient Estimation of Accurate Maximum Likelihood Maps in 3D”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007, pp. 3472–3478
  G. Grisetti, S. Grzonka, C. Stachniss, P. Pfaff, and W. Burgard
  
• “Frame Based Memory Access Interpolation for A Digital Communication Modulator”. In Proceedings of the IEEE International Conference on Electronics, Circuits and Systems (ICECS). Marrakech, Morocco, 2007, pp. 779–782
  R. Huang, M. Becker, N. Lotze, and Y. Manoli
  
• “Gaussian Beam Processes: A Nonparametric Bayesian Measurement Model for Range Finders”. In Robotics: Science and Systems (RSS). Atlanta, GA, USA, August 2007
  C. Plagemann, K. Kersting, P. Pfaff, and W. Burgard
  
• “Geometric Optimization and Microstructuring of Magnetic Concentrators for a Resonant Magnetic Sensor”. In Digest of Technical Papers. Transducers’07. Lyon, France, 2007, pp. 2377–2380
  S. Brugger and O. Paul
  
• “Heteroscedastic Gaussian Process Regression for Modeling Range Sensors in Mobile Robotics”. In Snowbird Learning Workshop. San Juan, Puerto Rico, June 2007
  C. Plagemann, K. Kersting, P. Pfaff, and W. Burgard
  
• “Improved Likelihood Models for Probabilistic Localization based on Range Scans”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007, pp. 2192–2197
  P. Pfaff, C. Plagemann, and W. Burgard
  
• “Konzepte zur ereignisdiskreten Regelung verteilter Prozesse”. In Proceedings of the 2nd MikroSystemTechnik Kongress 2007. Dresden, Germany, 2007, pp. 793–796
  P. Hilgers and C. Ament
  
• “Learning Maps in 3D using Attitude and Noisy Vision Sensors”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007, pp. 644–649
  S. Steder, G. Grisetti, C. Stachniss, S. Grzonka, A. Rottmann, and W. Burgard
  
• “Messwerterfassung und Sensordatenfusion auf autonomen Flugkörpern”. In Prox. XXI. Messtechnisches Symposium des AHMT. Paderborn, 2007, pp. 34–39
  M. Sippel and L. Reindl
  
• “Monte Carlo Localization in Outdoor Terrains using Multi-Level Surface Maps”. In Proceedings of the International Conference on Field and Service Robobtics (FSR). Chamonix, France, July 2007
  R. Kümmerle, R. Triebel, P. Pfaff, and W. Burgard
  
• “Most Likely Heteroscedastic Gaussian Process Regression”. In Proceedings of the International Conference on Machine Learning (ICML). Corvallis, OR, USA, 2007, pp. 393–400
  K. Kersting, C. Plagemann, P. Pfaff, and W. Burgard
  
• “Navigation in Combined Outdoor and Indoor Environments using Multi-Level Surface Maps”. In Workshop on Safe Navigation in Open and Dynamic Environments at the IEEE International Conference on Intelligent Robots and Systems (IROS). San Diego, CA, USA, 2007
  P. Pfaff, R. Kümmerle, D. Joho, C. Stachniss, R. Triebel, and W. Burgard
  
• “Novel Fabrication Process for the Integration of MEMS Devices with Thick Amorphous Soft Magnetic Field Concentrators”. In Materials Research Society Symposium Proceedings. Vol. 1052, no. DD07–11, Boston, MA, USA, 2007
  S. Brugger, W. Pfleging, and O. Paul
  
• “Reduction of Power Consumption in Wireless Sensor Networks through Utilization of Wake up Strategies”. In Proc. 11 th WSEAS. Vol. 6, no. 12, 2007, p. 255258
  T. M. Wendt and L. M. Reindl
  
• “RINSO goes Random”. In Tagungsband zum 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS’ 07). Timmendorfer Strand Niendorf, Germany, 2007, pp. 6–11
  A. Bieniusa
  
• “Sensor Calibration of Planar Four-Contact Devices with up to Two Extended Contacts”. In Proceedings of the 2nd MikroSystemTechnik Kongress 2007. Dresden, Germany, 2007, pp. 893–896
  M. Cornils and O. Paul
  
• “Sensor Calibration of Planar Four-Contact Devices with up to Two Extended Contacts”. In Technical Digest of the 6th IEEE Conference on Sensors (Sensors 2007). Atlanta, GA, USA, 2007, pp. 1259–1262
  M. Cornils and O. Paul
  
• “Sheet Resistance Determination Using Symmetric Structures with Contacts of Finite Size”. IEEE Transactions on Electron Devices, vol. 54, no. 10, pp. 2756–2761, October 2007
  M. Cornils, M. Doelle, and O. Paul
  
• “Simulating Open-Via Defects”. In Proceedings of the 16th Asian Test Symposium 2007. Beijing, China, 2007, pp. 265–270
  S. Spinner, J. Jiang, I. Polian, P. Engelke, and B. Becker
  
• “Supervised semantic labeling of places using information extracted from sensor data”. Robotics and Autonomous Systems, vol. 55, no. 5, pp. 391–402, 2007
  O. Martínez Mozos, R. Triebel, P. Jensfelt, A. Rottmann, and W. Burgard
  
• “Synthesis of analog filters on an evolvable hardware platform using a genetic algorithm”. In Proceedings of Genetic and Evolutionary Computation Conference (GECCO). London, UK, July 2007
  J. Becker, S. Trendelenburg, F. Henrici, and Y. Manoli
  
• “Towards an Experimental Autonomous Blimp Platform”. In Proceedings of the 3rd European Conference on Mobile Robots (ECMR). Freiburg, Germany, 2007, pp. 19–24
  A. Rottmann, M. Sippel, T. Zitterell, W. Burgard, L. Reindl, and C. Scholl
  
• “Towards Mapping of Citites”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Rome, Italy, 2007, pp. 4807–4813
  P. Pfaff, R. Triebel, C. Stachniss, P. Lamon, W. Burgard, and R. Siegwart
  
• “Tracking Linear and Affine Resources with Java(X)”. In Proceedings of the 21st European Conference on Object-Oriented Programming. ser. Lecture Notes in Computer Science. Berlin, Germany: Springer, 2007, pp. 550–574
  M. Degen, P. Thiemann, and S. Wehr
  
• “Tracking Linear and Affine Resources with Java(X)”. In Tagungsband zum 14. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS). Timmendorf, Germany, 2007, pp. 30–35
  M. Degen, P. Thiemann, and S. Wehr
  
• “Untersuchung von asynchronen Timing-Strategien für digitale Subthreshold-Schaltungen”. In Kleinheubacher Berichte - Advances in Radio Science. Miltenberg, Germany, 2007, pp. 253–258
  N. Lotze, M. Ortmanns, and Y. Manoli
  
• “A Continuous-Time Hexagonal Field-Programmable Analog Array in 0.13 um CMOS with 186MHz GBW”. In Solid-State Circuits Conference, 2008. ISSCC 2008. Digest of Technical Papers. IEEE International. Feb 2008, pp. 70–596
  J. Becker, F. Henrici, S. Trendelenburg, M. Ortmanns, and Y. Manoli
  
• “A Field-Programmable Analog Array of 55 Digitally Tunable OTAs in a Hexagonal Lattice”. Solid-State Circuits, IEEE Journal of, vol. 43, no. 12, pp. 2759–2768, Dec 2008
  J. Becker, F. Henrici, S. Trendelenburg, M. Ortmanns, and Y. Manoli
  
• “A GP Algorithm for Efficient Synthesis of Gm -C Filters on a Hexagonal FPAA Structure”. In Genetic and Evolutionary Computation Conference (GECCO). Atlanta, GA, USA, 2008
  S. Trendelenburg, J. Becker, F. Henrici, and Y. Manoli
  
• “A GP Algorithm for Efficient Synthesis of Gm-C Filters on a Hexagonal FPAA Structure”. In Proceedings of the Genetic and Evolutionary Computation Conference. 2008, pp. 295–296
  S. Trendelenburg, J. Becker, F. Henrici, and Y. Manoli
  
• “A hexagonal Field Programmable Analog Array consisting of 55 tunable OTAs with 186 MHz GBW”. In Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS). Seattle, WA, USA, May 2008
  J. Becker, F. Henrici, S. Trendelenburg, M. Ortmanns, and Y. Manoli
  
• “A high-bandwidth field programmable analog array for reconfigurable communication front-ends”. In Proceedings of Reconfigurable Architectures Workshop (RAW). Miami, FL, USA, April 2008
  J. Becker, F. Henrici, S. Trendelenburg, M. Ortmanns, and Y. Manoli
  
• “A rapid prototyping environment for highspeed reconfigurable analog signal processing”. In Parallel and Distributed Processing, 2008. IPDPS 2008. IEEE International Symposium on. April 2008, pp. 1–4
  J. Becker, F. Henrici, S. Trendelenburg, and Y. Manoli
  
• “A Switchable Folded-Cascode OTA without Transmission Gates in the Signal Path”. In NORCHIP, 2008. Nov 2008, pp. 180–183
  F. Henrici, J. Becker, M. Ortmanns, and Y. Manoli
  
• “Automatic Test Pattern Generation for Interconnect Open Defects”. In 20th VDI GI/ITG/GMM Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”. Viena, Austria, 2008, pp. 47–52
  S. Spinner, I. Polian, P. Engelke, B. Becker, M. Keim, and W.-T. Cheng
  
• “Automatic Test Pattern Generation for Interconnect Open Defects”. In Proceedings of 26th VLSI Test Symposium 2008. San Diego, CA, USA, 2008, pp. 181–186
  S. Spinner, I. Polian, P. Engelke, B. Becker, M. Keim, and W.-T. Cheng
  
• “Beyond van der Pauw: Sheet Resistance Determination from Arbitrarily Shaped Planar Four-Terminal Devices with Extended Contacts”. In Proceedings of the 21st IEEE International Conference on Microelectronic Test Structures (ICMTS 2008). Edinburgh, United Kingdom, 2008, pp. 23–28
  M. Cornils and O. Paul
  
• “Contract Monitoring and Call-by-name Evaluation (extended abstract)”. In 20th Nordic Workshop on Programming Theory. Tallinn, Estonia, November 2008
  M. Degen, P. Thiemann, and S. Wehr
  
• “Diagnose realistischer Defekte mit Hilfe des X-Fehlermodells”. In Proc. GMM/GI/ITG Reliability and Design Conf. 2008, pp. 155–156
  I. Polian, Y. Nakamura, P. Engelke, S. Hillebrecht, K. Miyase, S. Kajihara, B. Becker, and X. Wen
  
• “Diagnosis of Realistic Defects Based on the X-Fault Model”. In Proceedings of the 11th IEEE International Workshop on Design & Diagnostics of Electronic Circuits & Systems. Bratislava, Slovakia, 2008
  I. Polian, Y. Nakamura, P. Engelke, S. Spinner, K. Miyase, S. Kayihara, B. Becker, and X. Wen
  
• “Efficiently Learning High-dimensional Observation Models for Monte-Carlo Localization using Gaussian Mixtures”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Nice, France, 2008
  P. Pfaff, C. Stachniss, C. Plagemann, and W. Burgard
  
• “Energiesparen durch den Einsatz von Aufweckstrategien in drahtlosen Sensor Netzwerken”. In Sensoren und Messysteme. Ludwigsburg, 2008
  T. Wendt and L. Reindl
  
• “Energy-Efficient Windows Scheduling”. In Proceedings of the Internation Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM). Novy Smokovec, Slovakia, 2008, pp. 304–315
  C. Gunia
  
• “Enhancing accuracy of an indoor radar by the implementation of a quaternion-and unscented kalman filter-based lightweight, planar, strapdown IMU”. In Proc. of the European Navigation Conf. (ENC-GNSS). 2008
  M. Sippel, A. Abduhl-Majeed, W. Kuntz, and L. Reindl
  
• “Evaluation of wake up methods in battery powered wireless sensor network”. In Proc. ICT-MobileSummit. Stockholm, 2008
  T. Wendt and L. Reindl
  
• “Extraction, Simulation and Test Generation for Interconnect Open Defects Based on Enhanced Aggressor-Victim Model”. In Proceedings of International Test Conference. Santa Clara, CA, USA, 2008
  S. Hillebrecht, I. Polian, P. Engelke, B. Becker, M. Keim, and W.-T. Cheng
  
• “Gaussian Mixture Models for Probabilistic Localization”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Pasadena, CA, USA, 2008, pp. 467–472
  P. Pfaff, C. Plagemann, and W. Burgard
  
• “GNSS augmented with precise laser tracking”. In Position, Location and Navigation Symposium, 2008 IEEE/ION. May 2008, pp. 886–891
  M. Sippel, W. Kuntz, and L. Reindl
  
• “High-Bandwidth Floating Gate CMOS Rectifiers with Reduced Voltage Drop”. In Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS). Seattle, WA, USA, May 2008
  C. Peters, F. Henrici, M. Ortmanns, and Y. Manoli
  
• “How to CPS Transform a Monad”. In Tagungsband zu Trends in Functional Programming (TFP’ 08). Gennep, Netherlands, 2008, pp. 270–284
  A. Bieniusa and P. Thiemann
  
• “Improving Energy-Efficient Real-Time Scheduling by Exploiting Code Instrumentation”. In Proceedings of the International Multiconference on Computer Science and Information Technology. 2008
  T. Zitterell and C. Scholl
  
• “Instantiation of higher order filters on a continuous-time field-programmable analog array”. In Circuits and Systems, 2008. MWSCAS 2008. 51st Midwest Symposium on. Aug 2008, pp. 294–297
  S. Trendelenburg, D. De Dorigo, F. Henrici, J. Becker, and Y. Manoli
  
• “Low-Power Electronics in Autonomous Systems”. In Proceedings of the GMM-Workshop Energieautarke Sensorik. November 2008
  D. Maurath, C. Peters, T. Hehn, N. Lotze, S. Mohamed, D. Mintenbeck, P. Becker, and Y. Manoli
  
• “Monte Carlo Localization in Outdoor Terrains using Multilevel Surface Maps”. Journal of Field Robotics (JFR), vol. 25, pp. 346–359, 2008
  R. Kümmerle, R. Triebel, P. Pfaff, and W. Burgard
  
• “Multiple Access Methods utilized to extend Operational Life Time of Wireless Sensor Nodes”. In Systems Conference, 2008 2nd Annual IEEE. April 2008, pp. 1–6
  T. Wendt and L. Reindl
  
• “Multisensor-Navigation für autonome Flugroboter”. In Sensoren und Messsysteme 2008. ser. VDI-Berichte 2011, Ludwigsburg, Germany, 2008, pp. 667–676
  M. Sippel, A. Rottmann, T. Zitterell, B. Steder, C. Scholl, W. Burgard, and L. Reindl
  
• “New Approach in Precise Laser Tracking”. In Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE. May 2008, pp. 446–451
  M. Sippel, W. Kuntz, and L. Reindl
  
• “On Design a High Speed Sigma Delta DAC Modulator for a Digital Communication Transceiver on Chip”. In Proceedings of the Euromicro Conference on Digital System Design (DSD). Parma, Italy, September 2008
  R. Huang, L. N., and Y. Manoli
  
• “Optimized Scheme for Powerof-Two Coefficient Approximation for Low Power Decimation Filters in Sigma Delta ADCs”. In Proceedings of the IEEE International Midwest Symposium on Circuits and Systems (MWSCAS). Knoxville, TN, USA, August 2008
  A. Shahein, M. Becker, N. Lotze, M. Ortmanns, and Y. Manoli
  
• “Reliability Study of Single-Poly Floating Gates in 0.13 µm CMOS for use in Field Programmable Analog Arrays”. In IEEE International Midwest Symposium on Circuits and Systems (MWCAS). Knoxville, TN, USA, August 2008
  F. Henrici, C. Peters, J. Becker, M. Ortmanns, and Y. Manoli
  
• “Resonant Magnetic Microsensor with µT Resolution”. In Technical Digest of the 21st IEEE MEMS 2008 Conference. Tucson, AZ, USA, 2008, pp. 944–947
  S. Brugger and O. Paul
  
• “Reverse-Magnetic-Field Reciprocity in Conductive Samples with Extended Contacts”. Journal of Applied Physics, vol. 104, no. 2, pp. 024 505/1–024 505/7, 2008
  M. Cornils and O. Paul
  
• “Sensitivity-maximizing and error-reducing design of a flow and thermal property sensor”. In Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Micro-Systems, 2008. EuroSimE 2008. International Conference on. 2008, pp. 1–6
  A. S. Çubukçu and G. A. Urban
  
• “Sheet Resistance Determination of Electrically Symmetric Planar Four-Terminal Devices with Extended Contacts”. Journal of Applied Physics, vol. 104, no. 2, pp. 024 503/1–024 503/10, 2008
  M. Cornils and O. Paul
  
• “Synthese von analogen Filtern auf einer rekonfigurierbaren Hardware-Architektur mittels eines Genetischen Algorithmus”. Advances in Radio Science - Kleinheubacher Berichte, vol. 6, pp. 195–199, 2008
  S. Trendelenburg, J. Becker, F. Henrici, and Y. Manoli
  
• “Talk at the ISSCC Student Forum”. In International Solid State Circuits Conference (ISSCC) Student-Forum. San Francisco, CA, USA, February 2008
  F. Henrici and Y. Manoli
  
• “The Magnetic Calibration and Optimization of Symmetric Hall Plates May Be Accomplished Even in the Absence of a Magnetic Field”. In Technical Digest of the 21st IEEE International Conference on Micro Electro Mechanical Systems (MEMS 2008). Tucson, AZ, USA, 2008, pp. 940–943
  M. Cornils and O. Paul
  
• “The Relation of Version Control to Concurrent Programming”. In International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 3: Grid Computing / Distributed and Parallel Computing / Information Security. Wuhan, China, December 2008, pp. 461–464
  A. Bieniusa, P. Thiemann, and S. Wehr
  
• “Typinferenz für Java(X)”. In Tagungsband zum 25. Workshop der GI-Fachgruppe Programmiersprachen und Rechenkonzepte. Bad Honnef, Germany, 2008
  M. Degen, P. Thiemann, and S. Wehr
  
• “Untersuchung von asynchronen Timing-Strategien für digitale Subthreshold-Schaltungen”. Advances in Radio Science, vol. 6, pp. 253–258, 2008
  N. Lotze, M. Ortmanns, and Y. Manoli
  
• “Variability of Flip-Flop Timing at Sub-Threshold Voltages”. In Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED). Bangalore, India, August 2008
  N. Lotze, M. Ortmanns, and Y. Manoli
  
• “Wake-Up Methods to Extend Battery Life Time of Wireless Sensor Nodes”. In Instrumentation and Measurement Technology Conference Proceedings, 2008. IMTC 2008. IEEE. May 2008, pp. 1407–1412
  T. Wendt and L. Reindl
  
• Sensor Fusion Algorithm and Calibration for a Gyroscope-Free IMU”. In Proc. Eurosensors XXIII Conf. Sep. 2009, pp. 1323–1326
  P. Schopp, L. Klingbeil, C. Peters, A. Buhmann, and Y. Manoli
  
• “A 5/3-Approximation Algorithm for Joint Replenishment with Deadlines”. In Proceedings of the 3rd Annual International Conference on Combinatorial Optimization and Applications (COCOA’09). Vol. LNCS 5573. Springer, 2009, pp. 24–35
  T. Nonner and A. Souza
  
• “A Field Programmable Analog Array using floating gates for high resolution tuning”. In Circuits and Systems, 2009. ISCAS 2009. IEEE International Symposium on. May 2009, pp. 265–268
  F. Henrici, J. Becker, S. Trendelenburg, D. De Dorigo, M. Ortmanns, and Y. Manoli
  
• “A Probabilistic Sonar Sensor Model for Robust Localization of a Small-size Blimp in Indoor Environments using a Particle Filter”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Kobe, Japan, 2009, pp. 3589–3594
  J. Müller, A. Rottmann, L. Reindl, and W. Burgard
  
• “Adaptive autonomous control using online value iteration with gaussian processes”. In Robotics and Automation, 2009. ICRA ’09. IEEE International Conference on. May 2009, pp. 2106–2111
  A. Rottmann and W. Burgard
  
• “Approximating the Joint Replenishment Problem with Deadlines”. Discrete Mathematics, Algorithms and Applications, vol. 1, no. 2, pp. 153–173, 2009
  T. Nonner and A. Souza
  
• “Distributed approximation algorithms for finding 2-edge-connected subgraphs”. In Proceeding of the 11th International Conference on Principles of Distributed Systems (OPODIS’07). Vol. LNCS 4878. Springer, 2009, pp. 159–173.
  S. O. Krumke, P. Merz, T. Nonner, and K. G. nee Rupp
  
• “Dynamische Verwaltung Vituellen Speichers für Echtzeitsysteme”. In: Halang W.A., Holleczek P. (eds) Aktuelle Anwendungen in Technik und Wirtschaft. Informatik aktuell. Springer, Berlin, Heidelberg, 2009. S. 101-110. - 978-3-540-85323-7. Conference paper
  M. Böhnert, T. Zitterell, and C. Scholl
  
• “Energiesparende Elektronik für selbstversorgende autarke Systeme”. tm - Technisches Messen, vol. 76, no. 12, pp. 560–567, December 2009
  D. Maurath, C. Peters, T. Hehn, N. Lotze, S. A. Mohammed, and Y. Manoli
  
• “Experimental results on power efficient single-poly floating gate rectifiers”. In Circuits and Systems, 2009. ISCAS 2009. IEEE International Symposium on. May 2009, pp. 1097–1100
  C. Peters, J. Handwerker, F. Henrici, M. Ortmanns, and Y. Manoli
  
• “Explicit connection between sample geometry and Hall response”. Applied Physics Letters, vol. 95, no. 23, pp. 232 112–232 112–3, Dec 2009
  O. Paul and M. Cornils
  
• “Field-Concentrator-Based Resonant Magnetic Sensor With Integrated Planar Coils”. Microelectromechanical Systems, Journal of, vol. 18, no. 6, pp. 1432–1443, Dec 2009
  S. Brugger and O. Paul
  
• “Frequency response of a 2D flow and thermal property sensor”. In Thermal, Mechanical and Multi-Physics simulation and Experiments in Microelectronics and Microsystems, 2009. EuroSimE 2009. 10th International Conference on. 2009, pp. 1–6
  A. S. Çubukçu and G. A. Urban
  
• “Latency Constrained Aggregation in Chain Networks Admits a PTAS”. In Proceedings of the 5th International Conference on Algorithmic Aspects in Information and Management (AAIM’09). Vol. LNCS 5564. Springer, 2009, pp. 279–291
  T. Nonner and A. Souza
  
• “Multi Target Optical Positioning System - MTOPS”. In Wireless Sensing, Local Positioning, and RFID, 2009. IMWS 2009. IEEE MTT-S International Microwave Workshop on. Sept 2009, pp. 1–4
  J. Haefner, M. Sippel, and L. Reindl
  
• “Multi-robot Range-Only SLAM by Active Sensor Nodes for Urban Search and Rescue”. In RoboCup 2008: Robot Soccer World Cup XII. ser. Lecture Notes in Computer Science, L. Iocchi, H. Matsubara, A. Weitzenfeld, and C. Zhou, Eds. Springer Berlin Heidelberg, 2009, vol. 5399, pp. 318–330
  D. Sun, A. Kleiner, and T. Wendt
  
• “Power aware combination of transposed-form and direct-form FIR polyphase decimators for Sigma-Delta ADCs”. In Circuits and Systems, 2009. MWSCAS ’09. 52nd IEEE International Midwest Symposium on. Aug 2009, pp. 607–610
  A. Shahein, M. Becker, N. Lotze, and Y. Manoli
  
• “Reliability characterization of interconnects in CMOS integrated circuits under mechanical stress”. In Reliability Physics Symposium, 2009 IEEE International. April 2009, pp. 562–567
  S. Hillebrecht, I. Polian, B. Becker, P. Ruther, S. Herwik, and O. Paul
  
• “Simulation and fabrication of a 2D-flow sensor for simultaneous fluid characterization”. Procedia Chemistry, vol. 1, no. 1, pp. 887–890, 2009, proceedings of the Eurosensors XXIII conference
  A. S. Çubukçu and G. A. Urban
  
• “Simulation and fabrication of a 2D-flow sensor for thermal characterization of fluids and for flow speed measurements”. In Solid-State Sensors, Actuators and Microsystems Conference, 2009. TRANSDUCERS 2009. International. 2009, pp. 1126–1129
  A. S. Çubukçu and G. A. Urban
  
• “The Bell is Ringing in Speed-Scaled Multiprocessor Scheduling”. In Proceedings of the 21st Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA’09). 2009, pp. 11–18
  G. Greiner, T. Nonner, and A. Souza
  
• “The magnetic calibration of arbitrarily shaped Hall sensors in the absence of magnetic fields”. In Solid-State Sensors, Actuators and Microsystems Conference, 2009. TRANSDUCERS 2009. International. June 2009, pp. 881–884
  M. Cornils and O. Paul
  
• “True Lies: Lazy Contracts for Lazy Languages (Faithfulness is Better than Laziness)”. In 4. Arbeitstagung Programmiersprachen (ATPS’09). Lübeck, Germany, October 2009
  M. Degen, P. Thiemann, and S. Wehr
  
• “Which landmark is useful? Learning selection policies for navigation in unknown environments”. In Robotics and Automation, 2009. ICRA ’09. IEEE International Conference on. May 2009, pp. 1410–1415
  H. Strasdat, C. Stachniss, and W. Burgard
  
• “A 2D thermal flow sensor with sub-mW power consumption”. Sensors and Actuators A: Physical, vol. 163, no. 2, pp. 449–456, 2010
  A. S. Çubukçu, E. Zernickel, U. Buerklin, and G. A. Urban
  
• “A Probabilistic and energy-efficient scheduling approach for online application in real-time systems”. In Design Automation Conference (DAC), 2010 47th ACM/IEEE. June 2010, pp. 42–47
  T. Zitterell and C. Scholl
  
• “A thermal flow sensor with liquid characterization feature”. In Sensors, 2010 IEEE. 2010, pp. 2455–2459
  A. S. Çubukçu, U. Buerklin, and G. A. Urban
  
• “Adaptive Voltage Over-Scaling for Resilient Applications”. In RASDAT ’10: Proceedings of the 1st IEEE International Workshop on Reliability Aware System Design and Test. 2010, pp. 40–45
  P. K. Krause and I. Polian
  
• “Brief announcement: actions in the twilight - concurrent irrevocable transactions and inconsistency repair.” In Proceedings of the 29th ACM SIGPLAN Symposium on Principles of Distributed Computing. A. W. Richa and R. Guerraoui, Eds. ACM, 2010, pp. 71–72
  A. Bieniusa, A. Middelkoop, and P. Thiemann
  
• “Capacitated max-batching with interval graph compatibilities”. In Proceedings of the 12th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT’10). Vol. LNCS 6139. Springer, 2010, pp. 176–18
  T. Nonner
  
• “Consistency in hindsight: A fully decentralized STM algorithm”. In Parallel Distributed Processing (IPDPS), 2010 IEEE International Symposium on. April 2010, pp. 1–12
  A. Bieniusa and T. Fuhrmann
  
• “Design, Geometry Evaluation, and Calibration of a Gyroscope-Free Inertial Measurement Unit”. Sensors and Actuators A: Physical, vol. 162, no. 2, pp. 379–387, Aug. 2010
  P. Schopp, L. Klingbeil, C. Peters, and Y. Manoli
  
• “DOM Transactions for Testing JavaScript”. In Testing – Practice and Research Techniques. ser. Lecture Notes in Computer Science, L. Bottaci and G. Fraser, Eds. Springer Berlin Heidelberg, 2010, vol. 6303, pp. 211–214
  P. Heidegger, A. Bieniusa, and P. Thiemann
  
• “Eager and Delayed Contract Monitoring for Call-by-value and Call-by-name Evaluation”. Journal of Logic and Algebraic Programming, vol. 79, no. 7, pp. 515–549, October 2010
  M. Degen, P. Thiemann, and S. Wehr
  
• “Energieeffiziente Funksensorknoten durch den Einsatz von Wake-Up Receivern”. In Proc. of EEEfCom - Workshop Hochfrequenzelektronik. Ulm, Germany, Jun. 2010
  G. U. Gamm and L. M. Reindl
  
• “ftc–Floating precision texture compression”. Computers & Graphics, vol. 34, no. 5, pp. 594–601, Oct. 2010
  P. K. Krause
  
• “Gaussian process based state estimation for a gyroscope-free IMU”. In Sensors, 2010 IEEE. Nov 2010, pp. 873–878
  P. Schopp, A. Rottmann, L. Klingbeil, W. Burgard, and Y. Manoli
  
• “How to Extract the Sheet Resistance and Hall Mobility From Arbitrarily Shaped Planar Four-Terminal Devices With Extended Contacts”. Electron Devices, IEEE Transactions on, vol. 57, no. 9, pp. 2087–2097, Sept 2010
  M. Cornils, A. Rottmann, and O. Paul
  
• “Improved Monte Carlo Localization of Autonomous Robots through Simultaneous Estimation of Motion Model Parameters”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Anchorage, AK, USA, 2010, pp. 2604–2609
  J. Müller, C. Gonsior, and W. Burgard
  
• “Learning Adaptive Navigation Strategies for Resource-constrained Systems”. In Proc. of the Int. Workshop on Evolutionary and Reinforcement Learning for Autonomous Robot Systems. Lisbon, Portugal, 2010
  A. Hornung, M. Bennewitz, C. Stachniss, H. Strasdat, S. Oßwald, and W. Burgard
  
• “Learning Non-stationary System Dynamics Online Using Gaussian Processes”. In Pattern Recognition. ser. Lecture Notes in Computer Science, M. Goesele, S. Roth, A. Kuijper, B. Schiele, and K. Schindler, Eds. Springer Berlin Heidelberg, 2010, vol. 6376, pp. 192– 201
  A. Rottmann and W. Burgard
  
• “Low Power Wake-up Receiver for Wireless Sensor Nodes”. In Proc. IEEE International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP’10). Brisbane, Australia, Dec. 2010
  G. U. Gamm, M. Sippel, M. Kostic, and L. M. Reindl
  
• “Magnetic field amplification by slender cuboid-shaped magnetic concentrators with a single gap ”. Sensors and Actuators A: Physical, vol. 157, no. 1, pp. 135 – 139, 2010
  S. Brugger and O. Paul
  
• “Self-Localization Application for iPhone using only Ambient Sound Signals”. In Proceedings of the 2010 International Conference on Indoor Positioning and Indoor Navigation (IPIN). Nov. 2010, pp. 259–268
  T. Janson, C. Schindelhauer, and J. Wendeberg
  
• “Self-localization Based on Ambient Signals”. In Proceedings of 6th International Workshop on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). 2010
  T. Janson, C. Schindelhauer, and J. Wendeberg
  
• “Sensorknoten mit asynchronem Low-Power Aufweckempfänger”. In Proc. of 15. ITG-/GMA Fachtagung Sensoren und Messsysteme (SENS’10). Nuernberg, Germany, May 2010
  G. U. Gamm, M. Kostic, and L. M. Reindl
  
• “SRPT is 1.86-Competitive for Completion Time Scheduling”. In Proceedings of the 21st Annual ACM-SIAM Symposium on Discrete Algorithms (SODA’10). 2010, pp. 1373–1388
  C. Chung, T. Nonner, and A. Souza
  
• “Timing modeling for digital sub-threshold circuits”. In Design, Automation Test in Europe Conference Exhibition (DATE), 2010. March 2010, pp. 299–302
  N. Lotze, J. Goppert, and Y. Manoli
  
• "Indoor localization using inertial sensors and ultrasonic rangefinder”. In Proc. of International Wireless Communications and Signal Processing (WCSP2011) Conf. Nanjing, China, 2011, pp. 1–5
  R. Zhang, F. Höflinger, O. Gorgis, and L. M. Reindl
  
• Schutzrecht "Electronic Device Comprising an Operating Mode Switching Unit”. WO2011/144320A1, Nov 2011
  G. U. Gamm, L. M. Reindl, T. Ostertag, M. Sippel, T. Wendt, and T. Ungan
  
• “Adaptive Voltage Over-Scaling for Resilient Applications”. In Design, Automation Test in Europe Conference Exhibition (DATE), 2011. March 2011, pp. 1–6
  P. K. Krause and I. Polian
  
• “An FPGA-Based Framework for Run-time Injection and Analysis of Soft Errors in Microprocessors”. In Proceedings of the IEEE International On-Line Testing Symposium (IOLTS). Athens, Greece, 2011, pp. 182–185
  M. Sauer, V. Tomashevich, J. Müller, M. Lewis, A. Spilla, I. Polian, B. Becker, and W. Burgard
  
• “Anchor-free TDOA Self-Localization”. In Proceedings of 2011 International Conference on Indoor Positioning and Indoor Navigation (IPIN). IEEE, 2011, pp. 1–10
  J. Wendeberg, F. Höflinger, C. Schindelhauer, and L. Reindl
  
• “Autonomous Miniature Blimp Navigation with Online Motion Planning and Re-planning”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). San Francisco, CA, USA, 2011, pp. 4941–4946
  J. Müller, N. Kohler, and W. Burgard
  
• “Brief Announcement: Network Synchronization and Localization Based on Stolen Signals”. In Proceedings of 30th Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC). 2011
  C. Schindelhauer, Z. Lotker, and J. Wendeberg
  
• “Clique Clustering Yields a PTAS for max-Coloring Interval Graphs”. In Proceeding of the 38th International Colloquium on Automata, Languages and Programming (ICALP’11). 2011, pp. 183–194
  T. Nonner
  
• “Drivability enhancement of transport buses using an auxiliary system with an IMU”. International Journal of Electrical & Computer Sciences, vol. Vol: 11 Issue: 06, pp. 01–07, 2011
  F. Höflinger, M. Toerk, A. Ojha, and L. Reindl
  
• “Efficient SAT-Based Search for Longest Sensitisable Paths”. In IEEE Asian Test Symp. November 2011, pp. 108–113
  M. Sauer, J. Jiang, A. Czutro, I. Polian, and B. Becker
  
• “Energiesparsamer Funksensorknoten mit Echtzeitverhalten”. In Proc. of EEEfCom - Workshop Hochfrequenzelektronik. Ulm, Germany, May 2011
  G. U. Gamm and L. M. Reindl
  
• “Erhöhung der Fahrsicherheit und die Erfassung des oekonomischen Fahrverhaltens im Busfernverkehr durch Onboard-Unit mit Inertialnavigationssystem (INS)”. In Proc. of EEEfCom - Workshop Hochfrequenzelektronik. Ulm, Germany, 2011
  F. Höflinger and L. M. Reindl
  
• “Estimation of Component Criticality in Early Design Steps”. In IEEE Int’l On-line Testing Symp. July 2011, pp. 104–110
  M. Sauer, A. Czutro, I. Polian, and B. Becker
  
• “Grid-Based Models for Dynamic Environments”. Dept. of Computer Science, University of Freiburg, Tech. Rep., July 2011
  D. Meyer-Delius, M. Beinhofer, and W. Burgard
  
• “IMU based Onboard-Unit to measure the driveability of transport buses”. In Proc. of International Conference on Sensing Technology (ICST2011). Palmerston North, New Zealand, 2011
  F. Höflinger, A. Ojha, and L. M. Reindl
  
• “Indoor-Lokalisierungssysteme fuer den Einsatz in der Intralogistik”. In Proc. of Radio Techniques and Technologies for Commercial Communication and Sensing Applications (RadioTecC) - Workshop. Berlin, Germany, 2011
  F. Höflinger and L. M. Reindl
  
• “Integrated Perception and Navigation in Complex Indoor Environments”. In Proc. of the Humanoids 2011 Workshop on Humanoid Service Robot Navigation in Crowded and Dynamic Environments. 2011
  M. Bennewitz, D. Maier, A. Hornung, and C. Stachniss
  
• “Landmark Placement for Accurate Mobile Robot Navigation”. In Proceedings of the European Conference on Mobile Robots (ECMR). Örebro, Sweden, 2011, pp. 55–60
  M. Beinhofer, J. Müller, and W. Burgard
  
• “Learning Optimal Control Policies for an Autonomous Blimp With Non-stationary System Dynamics”. In Workshop on Micro-UAV Perception and Control at the IEEE International Conference on Robotics & Automation (ICRA). 2011
  A. Rottmann and W. Burgard
  
• “Low Power Wireless Sensor Node for use in building automation”. In Proc. of 12th annual IEEE Wireless and Microwave Technology (WAMI) Conference (WAMICON’11). Clearwater (FL), USA, Apr. 2011
  G. U. Gamm, M. Kostic, M. Sippel, and L. M. Reindl
  
• “Multiple device control via Wireless Access Numerous Destinations (WAND)-Pointer”. In Proc. of International Conference on Intelligent Enviroment (IE11). Nottingham, United Kingdom, 2011
  F. Höflinger, R. Zhang, and L. M. Reindl
  
• “Near-optimal Landmark Selection for Mobile Robot Navigation”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Shanghai, China, 2011, pp. 4744–4749
  M. Beinhofer, J. Müller, and W. Burgard
  
• “Network Synchronization and Localization Based on Stolen Signals”. In Proceedings of 18th International Colloquium on Structural Information and Communication Complexity (SIROCCO). 2011
  C. Schindelhauer, Z. Lotker, and J. Wendeberg
  
• “On the Optimality of K Longest Path Generation”. In Workshop on RTL and High Level Testing. November 2011
  J. Jiang, M. Sauer, A. Czutro, B. Becker, and I. Polian
  
• “Proving Isolation Properties for Software Transactional Memory”. In Programming Languages and Systems. ser. Lecture Notes in Computer Science, G. Barthe, Ed. Springer Berlin Heidelberg, 2011, vol. 6602, pp. 38–56
  A. Bieniusa and P. Thiemann
  
• “Run-time Soft Error Injection and Testing of a Microprocessor using FPGAs”. In Proceedings of the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ). Passau, Germany, 2011
  A. Spilla, I. Polian, J. Müller, M. Lewis, V. Tomashevich, B. Becker, and W. Burgard
  
• “SAT-Based Analysis of Sensitisable Paths”. In IEEE Design and Diagnostics of Electronic Circuits and Systems. April 2011, pp. 93–98, Best Paper Award in the Test Category
  M. Sauer, A. Czutro, T. Schubert, S. Hillebrecht, I. Polian, and B. Becker
  
• “Simultaneous Localization and Dynamic State Estimation in Reconfigurable Environments”. In Proc. of the IEEE/RSJ IROS Workshop on Metrics and Methodologies for Autonomous Robot Teams in Logistics (MMART-LoG). San Francisco, USA, October 2011
  G. Tipaldi, D. Meyer-Delius, M. Beinhofer, and W. Burgard
  
• “Towards a Medium-Independent Flow Sensor”. In Proceedings SENSOR+TEST Conferences 2011. Jun. 2011, pp. 73–77
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Using Artificial Landmarks to Reduce the Ambiguity in the Environment of a Mobile Robot”. In Proc. of the IEEE Int. Conf. on Robotics and Automation (ICRA). Shanghai, China, May 2011
  D. Meyer-Delius, M. Beinhofer, A. Kleiner, and W. Burgard
  
• “Utilizing frequency response for medium-independent flow sensing”. Procedia Engineering, vol. 25, pp. 599–602, Jan. 2011
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Wireless Access to Numerous Destinations (WAND)- Pointer for museums”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2011). Guimarães, Portugal, 2011
  F. Höflinger, R. Zhang, and L. M. Reindl
  
• “#SAT-Based Vulnerability Analysis of Security Components - A Case Study”. In Int’l Symp. on Defect and Fault Tolerance. October 2012, pp. 49–54
  L. Feiten, M. Sauer, T. Schubert, A. Czutro, E. Böhl, I. Polian, and B. Becker
  
• “A 62 mV 0.13 µm CMOS Standard-Cell-Based Design Technique Using Schmitt-Trigger Logic”. Solid-State Circuits, IEEE Journal of, vol. 47, no. 1, pp. 47–60, Jan. 2012
  N. Lotze and Y. Manoli
  
• “A Micro Wireless Inertial Measurement Unit (WIMU) ”. In Proc. of MicRO Alliance Meeting 2012. Freiburg, Germany, 2012
  F. Höflinger and L. M. Reindl
  
• “A Wireless Micro Inertial Measurement Unit (IMU)”. In Proceedings of the IEEE International Instrumentation and Measurement Technology Conference (I2MTC). Graz, Austria, 2012, pp. 2578–2583
  F. Höflinger, J. Müller, M. Törk, L. Reindl, and W. Burgard
  
• “AC Simulation of a Thermal Flow Sensor in a Microfluidic Channel”. In Procedia Engineering. Vol. 47, Jan. 2012, pp. 1394–1397
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Access permission contracts for scripting languages”. In Proceedings of the 39th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL. Philadelphia, Pennsylvania, USA, January 2012, pp. 111–122
  P. Heidegger, A. Bieniusa, and P. Thiemann
  
• “Accurate Computation of Longest Sensitizable Paths using Answer Set Programming”. In GMM/ITG-Fachtagung “Zuverlässigkeit und Entwurf”. 2012
  B. Andres, M. Sauer, M. Gebser, T. Schubert, B. Becker, and T. Schaub
  
• “Acoustic Receivers for Indoor Smartphone Localization”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2012). Sydney, Australia, 2012
  J. Hoppe, F. Höflinger, J. Wendeberg, L. M. Reindl, and C. Schindelhauer
  
• “Acoustic Self-calibrating System for Indoor Smartphone Tracking (ASSIST)”. In Proceedings of 2012 International Conference on Indoor Positioning and Indoor Navigation (IPIN). 2012
  F. Höflinger, J. Wendeberg, R. Zhang, M. Bührer, J. Hoppe, A. Bannoura, L. M. Reindl, and C. Schindelhauer
  
• “Amplitude and Phase Measurement of a Flow Sensor at High Frequency”. In Procedia Engineering. Vol. 47, Jan. 2012, pp. 562–565
  D. F. Reyes-Romero and G. A. Urban
  
• “Analysis of Reachable Sensitisable Paths in Sequential Circuits with SAT and Craig Interpolation”. In Int’l Conf. on VLSI Design. January 2012, pp. 382–387
  M. Sauer, S. Kupferschmid, A. Czutro, S. M. Reddy, and B. Becker
  
• “Appearance-Based Traversability Classification in Monocular Images Using Iterative Ground Plane Estimation”. In Proc. of the IEEE Int. Conf. on Robotics & Systems (IROS). 2012
  D. Maier and M. Bennewitz
  
• “External Localization System based on Galvanometer- Laser-Scanning for numerous Mobile Tags (GaLocate)”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2012). Sydney, Australia, 2012
  J. Kokert, F. Höflinger, and L. M. Reindl
  
• “Functional Justification in Sequential Circuits using SAT and Craig Interpolation”. In GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”. February 2012
  M. Sauer, S. Kupferschmid, A. Czutro, I. Polian, S. M. Reddy, and B. Becker
  
• “Functional Test of Small-Delay Faults using SAT and Craig Interpolation”. In Int’l Test Conf. November 2012, pp. 1–8
  M. Sauer, S. Kupferschmid, A. Czutro, I. Polian, S. M. Reddy, and B. Becker
  
• “Indoor-Localization system using a Micro Inertial Measurement Unit (IMU)”. In Proc. of European Frequency and Time Forum (EFTF2012). Gothenburg, Sweden, 2012
  F. Höflinger, R. Zhang, and L. M. Reindl
  
• “Intelligent Meter Readout by Use of Wake-up Receivers”. In Proc. of Micro Alliance Symposium. Freiburg, Germany, Jun. 2012
  G. U. Gamm and L. M. Reindl
  
• “Loosely Coupled Transformer Based Wireless Sensing of Open Loop Micro Coils”. In Proc. of European Frequency and Time Forum (EFTF2012). Gothenburg, Sweden, 2012
  A. Yousaf, F. Höflinger, and L. M. Reindl
  
• “Low Power Sensor Node with Addressable Wake-up on Demand Capability”. Int. J. Sensor Networks, vol. 11, no. 1, pp. 48–56, 2012
  G. U. Gamm, M. Kostic, M. Sippel, and L. M. Reindl
  
• “Multi-Conditional ATPG using SAT with Preferences”. In GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”. February 2012
  A. Czutro, M. Sauer, I. Polian, and B. Becker
  
• “Multi-Conditional SAT-ATPG for Power-Droop Testing”. In IEEE European Test Symp. May 2012
  A. Czutro, M. Sauer, I. Polian, and B. Becker
  
• “Occupancy Grid Models for Robot Mapping in Changing Environments”. In Proc. of the AAAI Conf. on Artificial Intelligence (AAAI). Toronto, Canada, July 2012
  D. Meyer-Delius, M. Beinhofer, and W. Burgard
  
• “On the Optimality of K Longest Path Generation Algorithm Under Memory Constraints”. In Conf. on Design, Automation and Test in Europe. March 2012, pp. 418–423
  J. Jiang, M. Sauer, A. Czutro, B. Becker, and I. Polian
  
• “On the Quality of Test Vectors for Post-Silicon Characterization”. In IEEE European Test Symp. May 2012
  M. Sauer, A. Czutro, B. Becker, and I. Polian
  
• “On-chip, MEMS-scale, high-performance, 3D-solenoidal transformers”. In Power MEMS 2012 international conference. Atlanta, 2012, pp. 22–25
  A. Moazenzadeh, N. Spengler, and U. Wallrabe
  
• “Polynomial Time Approximation Algorithms for Localization based on Unknown Signals”. In Proceedings of 8th International Symposium on Algorithms for Sensor Systems, Wireless Ad Hoc Networks and Autonomous Mobile Entities (ALGOSENSORS). 2012
  J. Wendeberg and C. Schindelhauer
  
• “Probabilistic Velocity Estimation for Autonomous Miniature Airships using Thermal Air Flow Sensors”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Saint Paul, MN, USA, 2012, pp. 39–44
  J. Müller, O. Paul, and W. Burgard
  
• “Range Extension for Wireless Wake-up Receivers”. In Proc. IEEE International Conference on Sensors, Circuits and Instrumentation Systems 2012 (SSD-12). Chemnitz, Germany, Mar. 2012
  G. U. Gamm and L. M. Reindl
  
• “Real-Time Navigation in 3D Environments Based on Depth Camera Data”. In Proc. of the IEEE-RAS Int. Conf. on Humanoid Robots (HUMANOIDS). 2012
  D. Maier, A. Hornung, and M. Bennewitz
  
• “Robust Tracking of a Mobile Beacon using Time Differences of Arrival with Simultaneous Calibration of Receiver Positions”. In Proceedings of the International Conference on Indoor Positioning and Indoor Navigation (IPIN). Sydney, Australia, 2012, pp. 1–10
  J. Wendeberg, J. Müller, C. Schindelhauer, and W. Burgard
  
• “SAT-ATPG Using Preferences for Improved Detection of Complex Defect Mechanisms”. In VLSI Test Symp. April 2012, pp. 170–175
  A. Czutro, M. Sauer, T. Schubert, I. Polian, and B. Becker
  
• “Self-Localization based on Ambient Signals”. Theoretical Computer Science, vol. 453, pp. 98–109, 2012
  J. Wendeberg, T. Janson, and C. Schindelhauer
  
• “Simulation of the frequency response of a thermal flow sensor in gaseous media”. In 2012 13th International Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems. IEEE, Apr. 2012, pp. 1/7–7/7
  D. F. Reyes-Romero and G. A. Urban
  
• “Simulation of the Oscillatory Excitation of a Thermal Flow Sensor”. In 1st International Conference on MicroFluidic Handling Systems 2012. J. Lötters, Ed., Enschede, The Netherlands, 2012, pp. 22–25
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Small-Delay-Fault ATPG with Waveform Accuracy”. In Int’l Conf. on CAD. November 2012, pp. 30–36
  M. Sauer, A. Czutro, I. Polian, and B. Becker
  
• “Smart Metering Using Distributed Wake-up Receivers”. In Proc. IEEE International Instrumentation and Measurement Technology Conference (I2MTC12). Graz, Austria, May 2012
  G. U. Gamm and L. M. Reindl
  
• “TDOA based Localization using Interacting Multiple Model Estimator and Ultrasonic Transmitter/Receiver”. In Proc. of International Multi-Conference on Systems, Signals & Devices, Conference on Sensors, Circuits & Instrumentation Systems (SSD’12). Chemnitz, Germany, 2012
  R. Zhang, F. Höflinger, and L. M. Reindl
  
• “The interaction of contracts and laziness”. In Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012. 2012, pp. 97–106
  M. Degen, P. Thiemann, and S. Wehr
  
• “Using Quartz Resonators for Maximizing Wake-up Range in Wireless Wake-up Receivers”. In Proc. of European Frequency and Time Forum (EFTF2012). Gothenburg, Sweden, Apr. 2012
  G. U. Gamm, T. Ungan, and L. M. Reindl
  
• “Variation-Aware Fault Grading”. In IEEE Asian Test Symp. November 2012, pp. 344–349
  A. Czutro, M. Imhof, J. Jiang, A. Mumtaz, M. Sauer, B. Becker, I. Polian, and H.-J. Wunderlich
  
• “#SAT for Vulnerability Analysis of Security Components”. In IEEE European Test Symp. (informal proc.). May 2013
  L. Feiten, M. Sauer, T. Schubert, A. Czutro, V. Tomashevich, E. Böhl, I. Polian, and B. Becker
  
• “A Wireless Micro Inertial Measurement Unit (IMU)”. IEEE Transactions on Instrumentation & Measurement, vol. 62, no. 9, pp. 2583–2595, 2013
  F. Höflinger, J. Müller, R. Zhang, W. Burgard, and L. Reindl
  
• “Accurate Computation of Sensitizable Paths using Answer Set Programming”. In International Conference on Logic Programming and Nonmonotonic Reasoning. 2013, pp. 170–175
  B. Andres, M. Sauer, M. Gebser, T. Schubert, B. Becker, and T. Schaub
  
• “Accurate Multi-Cycle ATPG in Presence of X-Values”. In IEEE Asian Test Symp. Nov 2013, pp. 245–250
  D. Erb, M. Kochte, M. Sauer, H.-J. Wunderlich, and B. Becker
  
• “Acoustic Indoor-Localization System for Smart Phones”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2013). France, Montbeliard, 2013
  F. Höflinger, R. Zhang, A. Ens, J. Wendeberg, L. M. Reindl, and C. Schindelhauer
  
• “Analysis of packaging effects on wire bonder made microtransformer chips”. Journal of Physics: Conference Series, vol. 476, no. 1, p. 2110, Dec. 2013
  A. Moazenzadeh, S. H. Moosavi, N. Spengler, R. Zeiser, and U. Wallrabe
  
• “Analysis of Ring Oscillator PUFs on 60nm FPGAs”. In TRUDEVICE. 2013
  L. Feiten, A. Spilla, M. Sauer, T. Schubert, and B. Becker
  
• “Applying BMC, Craig Interpolation and MAX-SAT to Functional Justification in Sequential Circuits”. In RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. 2013
  M. Sauer, S. Reimer, S. Kupferschmid, T. Schubert, P. Marin, and B. Becker
  
• “Autonomous Biped Navigation Through Clutter”. In Proc. of the RSS Workshop on Robots in Clutter: Preparing Robots for the Real World. 2013
  D. Maier, C. Lutz, and M. Bennewitz
  
• “Autonomous Navigation for Miniature Indoor Airships”. Ph.D. dissertation, Albert- Ludwigs-University of Freiburg, Department of Computer Science, 2013
  J. Müller
  
• “Calibration-Free TDOA Self- Localization”. Journal of Location Based Services, vol. 7, no. 2, pp. 121–144, 2013
  J. Wendeberg, F. Höflinger, C. Schindelhauer, and L. Reindl
  
• “Computing Velocities and Accelerations from a Pose Time Sequence in Three-dimensional Space”. University of Freiburg, Department of Computer Science, Tech. Rep. 272, 2013
  F. Sittel, J. Müller, and W. Burgard
  
• “Controllability of Analysis of Local Switching Activity for Layout Design”. In DETMET. 2013
  K. Miyase, M. Sauer, B. Becker, X. Wen, and S. Kajihara
  
• “Controlling Small-Delay Test Power Consumption using Satisfibility Modulo Theory Solving”. In GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”. 2013
  K. Scheibler, M. Sauer, K. Miyase, and B. Becker
  
• “Deploying Artificial Landmarks to Foster Data Association in Simultaneous Localization and Mapping”. In Proc. of the IEEE Int. Conf. on Robotics & Automation (ICRA). Karlsruhe, Germany, May 2013
  M. Beinhofer, H. Kretzschmar, and W. Burgard
  
• “Detection of Early-Life Failures in High-K Metal-Gate Transistors and Ultra Low-K Inter- Metal Dielectrics”. In Custom Integrated Circuits Conference. Sept 2013, pp. 1–4
  Y. M. Kim, J. Seomun, H.-O. Kim, K.-T. Do, J. Y. Choi, K. S. Kim, M. Sauer, B. Becker, and S. Mitra
  
• “Determination of the thermal conductivity of gases under flow conditions”. In 2013 Transducers & Eurosensors XXVII: The 17th International Conference on Solid-State Sensors, Actuators and Microsystems (TRANSDUCERS & EUROSENSORS XXVII). No. June. IEEE, Jun. 2013, pp. 1867–1870
  D. F. Reyes-Romero, K. Kogan, A. S. Çubukçu, and G. A. Urban
  
• “Early-Life-Failure Detection using SAT-based ATPG”. In Int’l Test Conf. 2013, pp. 1–10
  M. Sauer, Y. M. Kim, J. Seomun, H.-O. Kim, K.-T. Do, J. Y. Choi, K. S. Kim, S. Mitra, and B. Becker
  
• “Effective Fault Tolerance for Robust Robotics under Radiation Exposure”. In Proceedings of the IROS Workshop on Robotics and Automation in Nuclear Facilities. Tokyo, Japan, 2013
  J. Müller, A. Riefert, W. Burgard, G. Sukhatme, and B. Becker
  
• “Effective Landmark Placement for Accurate and Reliable Mobile Robot Navigation”. Robotics & Autonomous Systems, vol. 61, no. 10, pp. 1060–1069, 2013
  M. Beinhofer, J. Müller, and W. Burgard
  
• “Efficient Probabilistic Localization for Autonomous Indoor Airships using Sonar, Air Flow, and IMU Sensors”. Advanced Robotics, vol. 27, no. 9, pp. 711–724, 2013
  J. Müller and W. Burgard
  
• “Efficient SAT-Based Dynamic Compaction and Relaxation for Longest Sensitizable Paths”. In Conf. on Design, Automation and Test in Europe. 2013, pp. 1530–1591
  M. Sauer, S. Reimer, T. Schubert, I. Polian, and B. Becker
  
• “Equivalence Checking for Partial Implementations Revisited”. In GI/ITG/GMM Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”. 2013, pp. 61–70
  K. Gitina, S. Reimer, M. Sauer, R. Wimmer, C. Scholl, and B. Becker
  
• “Equivalence Checking of Partial Designs Using Dependency Quantified Boolean Formulae”. In Int’l Conf. on Computer Design. 2013, pp. 396–403
  K. Gitina, S. Reimer, M. Sauer, R. Wimmer, C. Scholl, and B. Becker
  
• “High-performance, 3D-microtransformers on multilayered magnetic cores”. In IEEE Micro Electro Mechanical Systems (MEMS) 2013. Taipei, 2013, pp. 287–290
  A. Moazenzadeh, N. Spengler, and U. Wallrabe
  
• “Identification of Critical Variables using an FPGA-based Fault Injection Framework”. In GI/ITG Workshop “Testmethoden und Zuverlässigkeit von Schaltungen und Systemen”. 2013
  A. Riefert, J. Müller, M. Sauer, W. Burgard, and B. Becker
  
• “Identification of Critical Variables using an FPGA-based Fault Injection Framework”. In Proceedings of the IEEE VLSI Test Symposium (VTS). Berkeley, CA, USA, 2013, pp. 1–6
  A. Riefert, J. Müller, M. Sauer, W. Burgard, and B. Becker
  
• “Identification of Critical Variables using an FPGA-based Fault Injection Framework”. In Proceedings of the Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ). Dresden, Germany, 2013
  A. Riefert, J. Müller, M. Sauer, W. Burgard, and B. Becker
  
• “Implementation and Analysis of Ring Oscillator PUFs on 60 nm Altera Cyclone FPGAs”. Information Security Journal: A Global Perspective, vol. 22, no. 5-6, pp. 265–273, 2013
  L. Feiten, A. Spilla, M. Sauer, T. Schubert, and B. Becker
  
• “Indoor Localization Using A Smart Phone”. In IEEE Sensors Applications Symposium (SAS 2013). 2013
  R. Zhang, A. Bannoura, F. Höflinger, L. M. Reindl, and C. Schindelhauer
  
• “Indoor Positioning using Ultrasonic Waves with CSS and FSK Modulation for Narrow Band Channel”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2013). France, Montbeliard, 2013
  A. Ens, F. Höflinger, J. Wendeberg, L. M. Reindl, and C. Schindelhauer
  
• “Inertial Sensor based Indoor Localization and Monitoring System for Emergency Responders”. IEEE Sensors Journal, vol. 1, no. 2, pp. 838–848, 2013
  R. Zhang, F. Höflinger, and L. M. Reindl
  
• “Integrated Perception, Mapping, and Footstep Planning for Humanoid Navigation Among 3D Obstacles”. In Proc. of the IEEE Int. Conf. on Robotics & Systems (IROS). 2013
  D. Maier, C. Lutz, and M. Bennewitz
  
• “Measurement and simulation of the frequency response of a thermal flow sensor at different flow speeds”. Sensors and Actuators A: Physical, vol. 189, pp. 168–176, Jan. 2013
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Micro- NMR probe featuring disposable, self-priming sample-inserts, towards high-throughput profiling”. In Solid-State Sensors, Actuators and Microsystems (TRANSDUCERS & EUROSENSORS XXVII), 2013 Transducers & Eurosensors XXVII: The 17th International Conference on. IEEE, 2013, pp. 2118–2121
  N. Spengler, R. C. Meier, A. Moazenzadeh, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “Microfluidic Chip with Integrated Electrical Cell-Impedance Sensing for Monitoring Single Cancer Cell Migration in Three-Dimensional Matrixes”. Analytical Chemistry, vol. 85, no. 22, pp. 11 068–11 076, 2013
  T. A. Nguyen, T.-I. Yin, D. F. Reyes, and G. A. Urban
  
• “Mikro-Helmholtzspule mit austauschbaren, mikrofluidischen Probenbehältern für MRT-Mikroskopie und- Spektroskopie”. In MikroSystemTechnik Kongress. VDE VERLAG GmbH, 2013, pp. 241–244
  N. Spengler, A. Moazenzadeh, R. C. Meier, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “Minimal Solvers for Unsynchronized TDOA Sensor Network Calibration using Far-Field Approximation”. In Proceedings of 9th International Symposium on Algorithms and Experiments for Sensor Systems, Wireless Networks and Distributed Robotics (ALGOSENSORS). 2013
  S. Burgess, Y. Kuang, J. Wendeberg, K. Åström, and C. Schindelhauer
  
• “Multiuse wirebonded Helmholtz probe for nuclear magnetic resonance microscopy and spectroscopy”. In International Conference on Microtechnogoies in Medicine and Biology. 2013, pp. 76–77
  N. Spengler, R. C. Meier, A. Moazenzadeh, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “Novel concept and technology for a self resonant magnetic field sensor”. In Solid-State Sensors, Actuators and Microsystems (TRANSDUCERS EUROSENSORS XXVII), 2013 Transducers Eurosensors XXVII: The 17th International Conference on. June 2013, pp. 1863–1866
  P. Simon and O. Paul
  
• “Online Marker Labeling for Automatic Skeleton Tracking in Optical Motion Capture”. In Proceedings of the ICRA Workshop on Computational Techniques in Natural Motion Analysis and Reconstruction. Karlsruhe, Germany, 2013
  J. Meyer, M. Kuderer, J. Müller, and W. Burgard
  
• “Performance evaluation and comparative analysis of subcarrier modulation wake-up radio systems for energyefficient wireless sensor networks”. Sensors, vol. 14, no. 1, pp. 22–51, 2013
  J. Oller, I. Demirkol, J. Casademont, J. Paradells, G. U. Gamm, and L. M. Reindl
  
• “Poisson-Driven Dirt Maps for Efficient Robot Cleaning”. In Proc. of the IEEE Int. Conf. on Robotics & Automation (ICRA). Karlsruhe, Germany, May 2013
  J. Hess, M. Beinhofer, D. Kuhner, P. Ruchti, and W. Burgard
  
• “Provably Optimal Test Cube Generation Using Quantified Boolean Formula Solving”. In ASP Design Automation Conf. 2013, pp. 533–539
  M. Sauer, S. Reimer, I. Polian, T. Schubert, and B. Becker
  
• “Robust Landmark Selection for Mobile Robot Navigation”. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). Tokyo, Japan, 2013, pp. 2638–2643
  M. Beinhofer, J. Müller, A. Krause, and W. Burgard
  
• “Robust Tracking of a Mobile Receiver using Unsynchonized Time Differences of Arrival”. In Proc. of International Conference on Indoor Positioning and Indoor Navigation (IPIN2013). France, Montbeliard, 2013
  J. Bordoy, P. Hornecker, F. Höflinger, J. Wendeberg, C. Schindelhauer, and L. M. Reindl
  
• “Robust Tracking of a Mobile Receiver using Unsynchronized Time Differences of Arrival”. In Proceedings of 2013 International Conference on Indoor Positioning and Indoor Navigation (IPIN). 2013
  J. Bordoy, P. Hornecker, F. Höflinger, J. Wendeberg, R. Zhang, C. Schindelhauer, and L. Reindl
  
• “S-Trike: A Mobile Robot Platform for Higher Education”. In International Conference on Computer Applications in Industry and Engineering. 2013, pp. 243–248
  T. Schubert, J. Burchard, M. Sauer, and B. Becker
  
• “SAT-based Analysis of Sensitisable Paths”. IEEE Design & Test of Computers, vol. 30, no. 4, pp. 81–88, Aug 2013
  M. Sauer, A. Czutro, T. Schubert, S. Hillebrecht, I. Polian, and B. Becker
  
• “Search Space Reduction for Low-Power Test Generation”. In IEEE Asian Test Symp. Nov 2013, pp. 171–176
  K. Miyase, M. Sauer, B. Becker, X. Wen, and S. Kajihara
  
• “Search-Based Footstep Planning”. In Proc. of the ICRA Workshop on Progress and Open Problems in Motion Planning and Navigation for Humanoids. 2013
  A. Hornung, D. Maier, and M. Bennewitz
  
• “Simultaneous flow and thermal conductivity measurement of gases utilizing a calorimetric flow sensor”. Sensors and Actuators A: Physical, vol. 203, pp. 225–233, Dec. 2013
  D. F. Reyes-Romero, K. Kogan, A. S. Çubukçu, and G. A. Urban
  
• “SmartGate - connecting wireless sensor nodes to the Internet”. Journal of Sensors and Sensor Systems, vol. 2, no. 1, pp. 45–50, 2013
  G. U. Gamm, S. Sester, and L. M. Reindl
  
• “TDOA based Localization using Interacting Multiple Model Estimator and Ultrasonic Transmitter/Receiver”. IEEE Transactions on Instrumentation & Measurement, vol. 62, no. 8, pp. 2205–2214, 2013
  R. Zhang, F. Höflinger, and L. M. Reindl
  
• “Towards Tree Automata-based Success Types”. In Proceedings of the HOPA Workshop 2013. June 2013
  R. Jakob and P. Thiemann
  
• “Vision-Based Humanoid Navigation Using Self- Supervised Obstacle Detection”. Int. Journal of Humanoid Robotics (IJHR), 2013
  D. Maier, M. Bennewitz, and C. Stachniss
  
• “Wake-up radio as an energy-efficient alternative to conventional wireless sensor networks MAC protocols”. In Proceedings of the 16th ACM international conference on Modeling, analysis & simulation of wireless and mobile systems. ACM, 2013, pp. 173–180
  J. Oller, I. Demirkol, J. Casademont, J. Paradells, G. U. Gamm, and L. M. Reindl
  
• “Waveform-Guided Fault Injection by Clock Manipulation”. In TRUDEVICE. 2013
  M. Sauer, J. Burchard, T. Schubert, I. Polian, and B. Becker
  
• “Wire bonded 3D coils render air core microtransformers competitive”. Journal of Micromechanics and Microengineering, vol. 23, no. 11, p. 114020, Nov. 2013
  A. Moazenzadeh, N. Spengler, R. Lausecker, A. Rezvani, M. Mayer, J. G. Korvink, and U. Wallrabe
  
• “Wire bonder made on-chip microtransformers for very high frequency (VHF) regime applications”. In MikroSystemTechnik Kongress. Aachen, 2013
  A. Moazenzadeh, N. Spengler, J. G. Korvink, and U. Wallrabe
  
• “µHelmholtz-probe featuring disposable, self-priming sample inserts for sterile, high throughput screening of volume-limited samples”. In Experimental Nuclear Magnetic Resonance Conference (ENC). 2013, pp. 14–19
  N. Spengler, R. C. Meier, A. Moazenzadeh, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “3-D Microtransformers for DC-DC On-Chip Power Conversion”. IEEE Transactions on Power Electronics, vol. PP, no. 99, p. 1, 2014
  A. Moazenzadeh, F. S. Sandoval, N. Spengler, V. Badilita, and U. Wallrabe
  
• “A dynamic thermal flow sensor for simultaneous measurement of thermal conductivity and flow velocity of gases”. Sensors and Actuators A: Physical, vol. 208, no. 0, pp. 73 – 87, 2014
  A. S. Çubukçu, D. F. Reyes-Romero, and G. A. Urban
  
• “A dynamic virtual memory management under real-time constraints”. In Embedded and Real-Time Computing Systems and Applications (RTCSA), 2014 IEEE 20th International Conference on. Aug 2014, pp. 1–10
  M. Böhnert and C. Scholl
  
• “Acoustic Indoor-Localization System for Smart Phones”. In Proc. of International Multi-Conference on Systems, Signals and Devices(SSD2014). Castelldefels-Barcelona, Spain, 2014
  F. Höflinger, J. Wendeberg, J. Hoppe, R. Zhang, L. M. Reindl, and C. Schindelhauer
  
• “An Approach to Solving Large-Scale SLAM Problems with a Small Memory Footprint”. In Proc. of the IEEE International Conference on Robotics and Automation (ICRA). 2014
  B. Suger, G. D. Tipaldi, L. Spinello, and W. Burgard
  
• “An effective Approach to Automatic Functional Processor Test Generation for Small-Delay Faults”. In Design, Automation & Test in Europe (DATE). 2014, pp. 1–6
  A. Riefert, L. Ciganda, M. Sauer, P. Bernardi, M. Sonza Reorda, and B. Becker
  
• “Circuit Parameter Independent Test Pattern Generation for Interconnect Open Defects”. In Test Symposium (ATS), 2014 IEEE 23rd Asian. Nov 2014, pp. 131–136
  D. Erb, K. Scheibler, M. Sauer, S. M. Reddy, and B. Becker
  
• “Determination of thermal properties of gases under flow conditions”. In SENSORS, 2014 IEEE. 2014, pp. 1644–1647
  D. F. Reyes-Romero, A. S. Çubukçu, and G. A. Urban
  
• “Dynamic Thermal Sensor for Biofilm Monitoring”. Sensors and Actuators A: Physical, vol. 213, pp. 43–51, July 2014
  D. F. Reyes-Romero, O. Behrmann, G. Dame, and G. A. Urban
  
• “Efficient Estimation of Expected Distributions for Mobile Robot Navigation”. In Proc. of the Austrian Robotics Workshop (ARW). Linz, Austria, May 2014
  M. Beinhofer and W. Burgard
  
• “Efficient SAT-based Circuit Initialization for Large Designs”. In Int’l Conf. on VLSI Design. January 2014, pp. 62–67
  M. Sauer, S. Reimer, S. M. Reddy, and B. Becker
  
• “Efficient SMT-based ATPG for Interconnect Open Defects”. In Conf. on Design, Automation and Test in Europe. March 2014, pp. 1–6, Best Paper Award
  D. Erb, K. Scheibler, M. Sauer, and B. Becker
  
• “Energy improved wake-up strategy for wireless sensor networks”. In Sensors and Measuring Systems 2014; 17. ITG/GMA Symposium; Proceedings of. VDE, 2014, pp. 1–6
  T. Kumberg, R. Tannhaeuser, G. U. Gamm, and L. M. Reindl
  
• “Exact Logic and Fault Simulation in Presence of Unknowns”. ACM Trans. Des. Autom. Electron. Syst., vol. 19, no. 3, pp. 28:1–28:17, Jun. 2014
  D. Erb, M. A. Kochte, M. Sauer, S. Hillebrecht, T. Schubert, H.-J. Wunderlich, and B. Becker
  
• “Fully Automatic Skeleton Tracking in Optical Motion Capture”. In Proceedings of the ICRA Workshop on Latest Advances on Natural Motion Understanding and Human Motion Synthesis. Hong Kong, China, May 2014
  T. Schubert, J. Meyer, M. Kuderer, J. Müller, and W. Burgard
  
• “Incremental Encoding and Solving of Cardinality Constraints”. In Automated Technology for Verification and Analysis (ATVA). ser. Lecture Notes in Computer Science, vol. 8837. Springer International Publishing, 2014, pp. 297–313
  S. Reimer, M. Sauer, T. Schubert, and B. Becker
  
• “Landmark Placement for Mobile Robot Navigation”. Ph.D. dissertation, University of Freiburg, Department of Computer Science, September 2014
  M. Beinhofer
  
• “Microfabricated Helmholtz coil featuring disposable microfluidic sample inserts for applications in nuclear magnetic resonance”. Journal of Micromechanics and Microengineering, vol. 24, no. 3, p. 034004, Mar. 2014
  N. Spengler, A. Moazenzadeh, R. C. Meier, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “Monte Carlo Localization for Humanoid Robot Navigation in Complex Indoor Environments”. Int. Journal of Humanoid Robotics (IJHR), vol. 11, no. 2, 2014
  A. Hornung, S. Osswald, D. Maier, and M. Bennewitz
  
• “Observing Relative Motion With Three Accelerometer Triads”. IEEE Trans. Instrum. Meas., vol. 63, no. 12, pp. 3137–3151, Dec. 2014
  P. Schopp, H. Graf, M. Maurer, M. Romanovas, and Y. Manoli
  
• “Online Marker Labeling for Fully Automatic Skeleton Tracking in Optical Motion Capture”. In Proceedings of the IEEE International Conference on Robotics & Automation (ICRA). Hong Kong, China, 2014
  J. Meyer, M. Kuderer, J. Müller, and W. Burgard
  
• “Polynomial-time Approximation Algorithms for Anchor-free TDoA Localization”. Theoretical Computer Science, vol. 553, pp. 27–36, 2014
  J. Wendeberg and C. Schindelhauer
  
• “QBF with Soft Variables”. In International Workshop on Automated Verification of Critical Systems (AVOCS). 2014, pp. 297–313
  S. Reimer, M. Sauer, P. Marin, and B. Becker
  
• “Real-Time Autocalibration of MEMS Accelerometers”. IEEE Trans. Instrum. Meas., vol. 63, no. 1, pp. 96–105, Jan. 2014
  M. Glück, D. Oshinubi, P. Schopp, and Y. Manoli
  
• “Smartphone remote control for home automation applications based on acoustic wake-up receivers”. In Instrumentation and Measurement Technology Conference (I2MTC) Proceedings, 2014 IEEE International. IEEE, 2014, pp. 1580–1583
  F. Höflinger, G. U. Gamm, J. Albesa, and L. M. Reindl
  
• “The Bell Is Ringing in Speed-Scaled Multiprocessor Scheduling”. Theory Comput. Syst., vol. 54, no. 1, pp. 24–44, 2014
  G. Greiner, T. Nonner, and A. Souza
  
• “Using MaxBMC for Pareto-Optimal Circuit Initialization”. In Conf. on Design, Automation and Test in Europe. March 2014, pp. 1–6, Best Paper Award Candidate
  S. Reimer, M. Sauer, T. Schubert, and B. Becker
  
• “Using Visual and Auditory Feedback for Instrument- Playing Humanoids”. In Proc. of the IEEE-RAS Int. Conf. on Humanoid Robots (HUMANOIDS). 2014
  D. Maier, R. Zohouri, and M. Bennewitz
  
• “Variation-Aware Deterministic ATPG”. In IEEE European Test Symp. (ETS). May 2014, pp. 1–6, Best Paper Award
  M. Sauer, I. Polian, M. E. Imhof, A. Mumtazz, E. Schneider, A. Czutro, H.-J. Wunderlich, and B. Becker
  
• “Wake-up receiver operating at 433 MHz”. In Multi-Conference on Systems, Signals & Devices (SSD), 2014 11th International. IEEE, 2014, pp. 1–4
  G. U. Gamm, S. Stoecklin, and L. M. Reindl
  
• “Wire bonded MEMS-scale on-chip transformers”. In 2014 IEEE Applied Power Electronics Conference and Exposition - APEC 2014. IEEE, Mar. 2014, pp. 752–756
  A. Moazenzadeh, N. Spengler, V. Badilita, J. G. Korvink, and U. Wallrabe
  
• “Improving Diagnosis Resolution of a Fault Detection Test Set”. In VLSI Test Symposium (VTS). 2015
  A. Riefert, M. Sauer, S. Reddy, and B. Becker
  
• “On the Automatic Generation of SBST Test Programs for In-Field Test”. In Design, Automation & Test in Europe (DATE). 2015
  A. Riefert, R. Cantoro, M. Sauer, M. S. Reorda, and B. Becker
  
• “On the Automatic Generation of SBST Test Programs for In-Field Test”. In Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen. 2015
  A. Riefert, R. Cantoro, M. Sauer, M. S. Reorda, and B. Becker
  
• “Q-Enhancement of a Low-Power gm-C Bandpass Filter for Closed Loop Sensor Readout Applications ”. In Circuits and Systems, 2015. ISCAS 2015. IEEE International Symposium on. May 2015, pp. 265–268
  D. De Dorigo, S. Rombach, M. Maurer, M. Marx, S. Nessler, and Y. Manoli