| | |
|---|
| 2020 | Industrial grade methodology for firewall simulation and requirements verification
Barakat, Ramon; Catal, Faruk; Tcholtchev, Nikolay; Rebahi, Yacine; Schieferdecker, Ina | Konferenzbeitrag |
| 2020 | Secure IT without vulnerabilities and back doors
Weber, Arnd; Heiser, Gernot; Kuhlmann, Dirk; Schallbruch, Martin; Chattopadhyay, Anupam; Guilley, Sylvain; Kasper, Michael; Krauß, Christoph; Krüger, Philipp S.; Reith, Steffen; Seifert, Jean-Pierre | Zeitschriftenaufsatz |
| 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 |