| | |
---|
2018 | Hough-space-based hypothesis generation and hypothesis verification for 3D object recognition and 6D pose estimation Zhou, Wei; Ma, Caiwen; Kuijper, Arjan | Zeitschriftenaufsatz |
2018 | Semi-automated unsupervised learning from system traces Salvi, Aniket | Vortrag |
2017 | A conceptual safety supervisor definition and evaluation framework for autonomous systems Feth, Patrik; Schneider, Daniel; Adler, Rasmus | Konferenzbeitrag |
2017 | Neighbor distance ratios and dynamic weighting in multi-biometric fusion Damer, Naser; Alkhatib, Wael; Braun, Andreas; Kuijper, Arjan | Konferenzbeitrag |
2016 | Dynamic fault injection library approach for SystemC AMS Markwirth, Thomas; Ehrlich, Paul; Matter, Dominik | Konferenzbeitrag |
2016 | OC5 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 |
2015 | Compositional analysis using component-oriented interpolation Nguyen, Viet Yen; Bittner, Benjamin; Katoen, Joost-Pieter; Noll, Thomas | Konferenzbeitrag |
2015 | A large-scale technology evaluation study: Effects of model-based analysis and testing Kläs, Michael; Bauer, Thomas; Dereani, Andreas; Soederqvist, Thomas; Helle, Philipp | Konferenzbeitrag |
2015 | On-site performance verification to reduce yield prediction uncertainities Reich, N.; Zenke, J.; Müller, B.; Kiefer, K.; Farnung, B. | Konferenzbeitrag |
2015 | Robust 2D face recognition under different illuminations using binarized partial face features: Towards protecting ID documents Butt, Moazzam; Alkhatib, Wael | Konferenzbeitrag |
2014 | Funktionale Prüfung von Aspekten der Nutzerzufriedenheit Holl, Konstantin; Maier, Andreas; Klaus, Alexander | Bericht |
2014 | Funktionale Prüfung von Aspekten der Nutzerzufriedenheit Holl, Konstantin; Maier, Andreas; Klaus, Alexander | Konferenzbeitrag |
2014 | MoUnit - A framework for automatic Modelica model testing Samlaus, R.; Strach, M.; Hillmann, C.; Fritzson, P. | Konferenzbeitrag |
2014 | Multi-biometric Score-Level Fusion and the Integration of the Neighbors Distance Ratio Damer, Naser; Opel, Alexander | Konferenzbeitrag |
2014 | Sixth sense - air traffic control prediction scenario augmented by sensors Silva, Nelson; Settgast, Volker; Eggeling, Eva; Grill, Florian; Zeh, Theodor; Fellner, Dieter W. | Konferenzbeitrag |
2014 | UVM-SystemC based hardware in the loop simulations for accelerated Co-Verification Ehrlich, Paul; Vörtler, Thilo; Nguyen, Thang | Konferenzbeitrag |
2014 | Very fast road database verification using textured 3D city models obtained from airborne imagery Bulatov, Dimitri; Ziems, Marcel; Rottensteiner, Franz; Pohl, Melanie | Konferenzbeitrag |
2013 | Engineering autonomous systems Serbedzija, Nikola; Bures, Tomas; Keznikl, Jaroslav | Konferenzbeitrag |
2012 | Computational verification of C protocol implementations by symbolic execution Aizatulin, M.; Gordon, D.; Jürjens, J. | Konferenzbeitrag |
2012 | PIM-Simulation und Verifizierung fasergefüllter keramischer Massen Ahlhelm, Matthias; Müller-Köhn, Axel; Mannschatz, Anne; Moritz, Tassilo | Vortrag |
2011 | Model-based security verification and testing for smart-cards Fourneret, E.; Ochoa, M.; Bouquet, F.; Botella, J.; Jürjens, J.; Yousefi, P. | Konferenzbeitrag |
2011 | Optimizing cost and quality by integrating inspection and test processes Elberzhager, Frank; Münch, Jürgen; Rombach, H. Dieter; Freimut, Bernd | Bericht |
2011 | Optimizing cost and quality by integrating inspection and test processes Elberzhager, Frank; Münch, Jürgen; Rombach, H. Dieter; Freimut, Bernd | Konferenzbeitrag |
2010 | Component-based modeling and verification of dynamic adaptation in safety-critical embedded systems Adler, Rasmus; Schäfer, Ina; Trapp, Mario; Poetzsch-Heffter, Arnd | Zeitschriftenaufsatz |
2010 | Methodology of virtual testing of trimmable analog circuits Sobe, U.; Böhme, E.; Rooch, K.-H. | Konferenzbeitrag |
2009 | From architecture to source code Knodel, Jens | Bericht |
2009 | From architecture to source code Knodel, Jens; Muthig, Dirk | Bericht |
2009 | From architecture to source code - how to ensure architecture compliance in the implemented system Knodel, Jens | Zeitschriftenaufsatz |
2009 | Multi-algorithm fusion with template protection Kelkboom, Emile; Zhou, Xuebing; Breebaart, Jeroen; Veldhuis, Raymond; Busch, Christoph | Konferenzbeitrag |
2009 | Security inspection scenarios - a facet of security Klaus, Alexander; Elberzhager, Frank | Konferenzbeitrag |
2009 | Security inspection scenarios - a facet of security Klaus, Alexander; Elberzhager, Frank | Bericht |
2008 | Konzeption 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 |
2007 | From model-based design to formal verification of adaptive embedded systems Adler, Rasmus; Schäfer, Ina; Schüle, Tobias; Vecchié, Eric | Konferenzbeitrag |
2007 | Template protection and its implementation in 3D face recognition systems Zhou, Xuebing | Konferenzbeitrag |
2005 | Generating optimal distinguishing sequences with a model checker Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U. | Zeitschriftenaufsatz |
2005 | Generating Optimal Distinguishing Sequences with a Model Checker Robinson-Mallett, C.; Liggesmeyer, P.; Mücke, T.; Goltz, U. | Konferenzbeitrag |
2005 | Methoden und technische Integration von Werkzeugen zur Software-Inspektion Schilling, M. : Rombach, H.D.; Snoek, B.; Denger, C.; Nick, M. | Bericht |
2003 | Large 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 |
2002 | Evaluating evolutionary software systems Punter, T.; Trendowicz, A.; Kaiser, P. | Konferenzbeitrag |
2001 | Investigating the Cost-Effectiveness of Reinspections in Software Development Biffl, S.; Freimut, B.; Laitenberger, O. | Konferenzbeitrag |
2001 | Model checking ASM: the MDG approach Winter, K. | Studie |
2001 | Tailoring a COTS Group Support System for Software Requirements Inspection Halling, M.; Grünbacher, P.; Biffl, S. | Konferenzbeitrag |
2000 | 5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems 2000 : Gnesi, S.; Schieferdecker, I.; Rennoch, A. | Tagungsband |
2000 | Binding telecooperation. A formal model for electronic commerce Grimm, R.; Ochsenschläger, P. | Bericht |
1998 | Distributed algorithms for networks of agents Reisig, W.; Kindler, E.; Vesper, T.; Völzer, H.; Walter, R. | Aufsatz in Buch |
1998 | Numerical 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 |
1998 | Der schnellere Weg zum funktionsfähigen System. Hardwarebeschleuniger verkürzen die Verifikationsphase Mayer, F. | Zeitschriftenaufsatz |
1997 | The asynchronous stack revisited Walter, R. | Aufsatz in Buch |
1997 | DAWN: 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 |
1997 | Invariantenverifikation in DAWN Völzer, H.; Walter, R. | Konferenzbeitrag |
1997 | Model checking for abstract state machines Winter, K. | Zeitschriftenaufsatz |
1997 | Verifikation im Vorgehensmodell anhand eines Beispiels Fricke, O.; Borusan, A.; Vesper, T.; Kindler, E. | Konferenzbeitrag |
1996 | Ein hochflexibler Interpreter zur Analyse und Reduktion von Netzlisten Pelz, G. | Konferenzbeitrag |
1994 | A modular verification of complex real-time systems Borusan, A. | Konferenzbeitrag |
1991 | Circuit comparison by hierarchical pattern matching Pelz, G.DT Conference | Konferenzbeitrag |