Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Hough-space-based hypothesis generation and hypothesis verification for 3D object recognition and 6D pose estimation
Zhou, Wei; Ma, Caiwen; Kuijper, Arjan
Zeitschriftenaufsatz
2018Semi-automated unsupervised learning from system traces
Salvi, Aniket
Vortrag
2017A conceptual safety supervisor definition and evaluation framework for autonomous systems
Feth, Patrik; Schneider, Daniel; Adler, Rasmus
Konferenzbeitrag
2017Neighbor distance ratios and dynamic weighting in multi-biometric fusion
Damer, Naser; Alkhatib, Wael; Braun, Andreas; Kuijper, Arjan
Konferenzbeitrag
2016Dynamic fault injection library approach for SystemC AMS
Markwirth, Thomas; Ehrlich, Paul; Matter, Dominik
Konferenzbeitrag
2016OC5 project phase Ib: Validation of hydrodynamic loading on a fixed, flexible cylinder for offshore wind applications
Robertson, Amy N.; Wendt, Fabian; Jonkman, Jason M.; Popko, Wojciech; Borg, Michael; Bredmose, Henrik; Schlutterd, Flemming; Qvist, Jacob; Bergua, Roger; Harries, Rob; Yde, Anders; Nygaard, Tor Anders; Vaal, Jacobus Bernardus de; Oggiano, Luca; Bozonnet, Pauline; Bouy, Ludovic; Barrera Sanchez, Carlos; Guanche García, Raul; Bachynski, Erin E.; Tuml, Ying; Bayati, Ilmas; Borisade, Friedemann; Shin, Hyunkyoung; Zeeq, Tjeerd van der; Guerine, Matthieu
Zeitschriftenaufsatz, Konferenzbeitrag
2015Compositional analysis using component-oriented interpolation
Nguyen, Viet Yen; Bittner, Benjamin; Katoen, Joost-Pieter; Noll, Thomas
Konferenzbeitrag
2015A large-scale technology evaluation study: Effects of model-based analysis and testing
Kläs, Michael; Bauer, Thomas; Dereani, Andreas; Soederqvist, Thomas; Helle, Philipp
Konferenzbeitrag
2015On-site performance verification to reduce yield prediction uncertainities
Reich, N.; Zenke, J.; Müller, B.; Kiefer, K.; Farnung, B.
Konferenzbeitrag
2015Robust 2D face recognition under different illuminations using binarized partial face features: Towards protecting ID documents
Butt, Moazzam; Alkhatib, Wael
Konferenzbeitrag
2014Funktionale Prüfung von Aspekten der Nutzerzufriedenheit
Holl, Konstantin; Maier, Andreas; Klaus, Alexander
Bericht
2014Funktionale Prüfung von Aspekten der Nutzerzufriedenheit
Holl, Konstantin; Maier, Andreas; Klaus, Alexander
Konferenzbeitrag
2014MoUnit - A framework for automatic Modelica model testing
Samlaus, R.; Strach, M.; Hillmann, C.; Fritzson, P.
Konferenzbeitrag
2014Multi-biometric Score-Level Fusion and the Integration of the Neighbors Distance Ratio
Damer, Naser; Opel, Alexander
Konferenzbeitrag
2014Sixth sense - air traffic control prediction scenario augmented by sensors
Silva, Nelson; Settgast, Volker; Eggeling, Eva; Grill, Florian; Zeh, Theodor; Fellner, Dieter W.
Konferenzbeitrag
2014UVM-SystemC based hardware in the loop simulations for accelerated Co-Verification
Ehrlich, Paul; Vörtler, Thilo; Nguyen, Thang
Konferenzbeitrag
2014Very fast road database verification using textured 3D city models obtained from airborne imagery
Bulatov, Dimitri; Ziems, Marcel; Rottensteiner, Franz; Pohl, Melanie
Konferenzbeitrag
2013Engineering autonomous systems
Serbedzija, Nikola; Bures, Tomas; Keznikl, Jaroslav
Konferenzbeitrag
2012Computational verification of C protocol implementations by symbolic execution
Aizatulin, M.; Gordon, D.; Jürjens, J.
Konferenzbeitrag
2012PIM-Simulation und Verifizierung fasergefüllter keramischer Massen
Ahlhelm, Matthias; Müller-Köhn, Axel; Mannschatz, Anne; Moritz, Tassilo
Vortrag
2011Model-based security verification and testing for smart-cards
Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P.
Konferenzbeitrag
2011Optimizing cost and quality by integrating inspection and test processes
Elberzhager, Frank; Münch, Jürgen; Rombach, H. Dieter; Freimut, Bernd
Bericht
2011Optimizing cost and quality by integrating inspection and test processes
Elberzhager, Frank; Münch, Jürgen; Rombach, H. Dieter; Freimut, Bernd
Konferenzbeitrag
2010Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems
Adler, Rasmus; Schäfer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd
Zeitschriftenaufsatz
2010Methodology of virtual testing of trimmable analog circuits
Sobe, U.; Böhme, E.; Rooch, K.-H.
Konferenzbeitrag
2009From architecture to source code
Knodel, Jens
Bericht
2009From architecture to source code
Knodel, Jens; Muthig, Dirk
Bericht
2009From architecture to source code - how to ensure architecture compliance in the implemented system
Knodel, Jens
Zeitschriftenaufsatz
2009Multi-algorithm fusion with template protection
Kelkboom, Emile; Zhou, Xuebing; Breebaart, Jeroen; Veldhuis, Raymond; Busch, Christoph
Konferenzbeitrag
2009Security inspection scenarios - a facet of security
Klaus, Alexander; Elberzhager, Frank
Konferenzbeitrag
2009Security inspection scenarios - a facet of security
Klaus, Alexander; Elberzhager, Frank
Bericht
2008Konzeption und Implementierung eines intelligenten Wartungsleitstands für das erfahrungsbasierte Software-Inspektionswerkzeug ISI
Heltewig, Sebastian
: Rombach, H. Dieter (Supervisor); Snoek, Björn (Supervisor); Nick, Markus (Supervisor)
Bericht
2007From model-based design to formal verification of adaptive embedded systems
Adler, Rasmus; Schäfer, Ina; Schüle, Tobias; Vecchié, Eric
Konferenzbeitrag
2007Template protection and its implementation in 3D face recognition systems
Zhou, Xuebing
Konferenzbeitrag
2005Generating optimal distinguishing sequences with a model checker
Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U.
Zeitschriftenaufsatz
2005Generating Optimal Distinguishing Sequences with a Model Checker
Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U.
Konferenzbeitrag
2005Methoden und technische Integration von Werkzeugen zur Software-Inspektion
Schilling, M.
: Rombach, H.D.; Snoek, B.; Denger, C.; Nick, M.
Bericht
2003Large signal modeling of AlGaN/GaN HEMTs with Psat > 4 W/mm at 30 GHz suitable for broadband power applications
Raay, F. van; Quay, R.; Kiefer, R.; Schlechtweg, M.; Weimann, G.
Konferenzbeitrag
2002Evaluating evolutionary software systems
Punter, T.; Trendowicz, A.; Kaiser, P.
Konferenzbeitrag
2001Investigating the Cost-Effectiveness of Reinspections in Software Development
Biffl, S.; Freimut, B.; Laitenberger, O.
Konferenzbeitrag
2001Model checking ASM: the MDG approach
Winter, K.
Studie
2001Tailoring a COTS Group Support System for Software Requirements Inspection
Halling, M.; Grünbacher, P.; Biffl, S.
Konferenzbeitrag
20005th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000
: Gnesi, S.; Schieferdecker, I.; Rennoch, A.
Tagungsband
2000Binding telecooperation. A formal model for electronic commerce
Grimm, R.; Ochsenschläger, P.
Bericht
1998Distributed algorithms for networks of agents
Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.; Walter, R.
Aufsatz in Buch
1998Numerical analysis of transparency limitations in optical core networks and verification by experiment
Freund, R.; Caspar, C.; Foisel, H.-M.; Hanik, N.; Reimer, W.; Strebel, B.; Weinert, C.M.
Konferenzbeitrag
1998Der schnellere Weg zum funktionsfähigen System. Hardwarebeschleuniger verkürzen die Verifikationsphase
Mayer, F.
Zeitschriftenaufsatz
1997The asynchronous stack revisited
Walter, R.
Aufsatz in Buch
1997DAWN: Petrinetzmodelle zur Verifikation verteilter Algorithmen
Weber, M.; Walter, R.; Völzer, H.; Vesper, T.; Reisig, W.; Peuker, S.; Kindler, E.; Freiheit, J.; Desel, J.
Buch
1997Invariantenverifikation in DAWN
Völzer, H.; Walter, R.
Konferenzbeitrag
1997Model checking for abstract state machines
Winter, K.
Zeitschriftenaufsatz
1997Verifikation im Vorgehensmodell anhand eines Beispiels
Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E.
Konferenzbeitrag
1996Ein hochflexibler Interpreter zur Analyse und Reduktion von Netzlisten
Pelz, G.
Konferenzbeitrag
1994A modular verification of complex real-time systems
Borusan, A.
Konferenzbeitrag
1991Circuit comparison by hierarchical pattern matching
Pelz, G.DT Conference
Konferenzbeitrag