Search results for "Validierung"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
100	Monika Müllerburg	Validierung Software-intensiver eingebetteter Systeme.	Inform. Forsch. Entwickl.	2000	DBLP DOI BibTeX RDF	Eingebettete Systeme, Echtzeit-Systeme, Verläßlichkeit, Validierung, Verifikation, Test
70	Jens N. Kaftan, Annemarie Bakai, Florian Maier, Til Aach	Halbautomatische Segmentierung von Pulmonalgefäßen in CT Daten als Referenz zur Validierung automatischer Verfahren.	Bildverarbeitung für die Medizin	2008	DBLP DOI BibTeX RDF
43	André Pflüger	Modellgetriebene Validierung von System-Architekturen gegen architekturrelevante Anforderungen: ein Ansatz zur Validierung mit Hilfe von Simulationen.		2014	RDF
31	Volker Linnemann, Martin Kempa	Sprachen und Werkzeuge zur Generierung von HTML- und XML-Dokumenten.	Inform. Spektrum	2002	DBLP DOI BibTeX RDF	Webanwendungen, XML-Generierung, HTML-Generierung, statische Validierung, XML, HTML
31	Jens Krinke, Torsten Robschink, Gregor Snelting	Software-Sicherheitsprüfung mit VALSOFT.	Inform. Forsch. Entwickl.	1999	DBLP DOI BibTeX RDF	Meßgeräte, Software-Validierung, Pfadbedingung, Program-Slicing, Constraint-Solving
24	Stefan Sackmann, Martin Kähmer	ExPDT: Ein Policy-basierter Ansatz zur Automatisierung von Compliance.	Wirtschaftsinf.	2008	DBLP DOI BibTeX RDF	Automatisierung von Compliance, Policy-Sprache, Risikomanagement, flexibles Geschäftsprozessmanagement
24	Stephan Frohnhoff	Große Softwareprojekte.	Inform. Spektrum	2008	DBLP DOI BibTeX RDF
24	Daniel Baumgarten, Axel Doering, Michael Trost	Registrierung von Aufnahmen des Augenhintergrundes zur Erstellung großflächiger Kompositionsaufnahmen.	Bildverarbeitung für die Medizin	2007	DBLP DOI BibTeX RDF
24	Gert Wollny, Heiko Lippmann, Thomas Hierl, Jörg Hendricks	Zur Vereinheitlichung und dem Vergleich nichtlinearer Registrierung.	Bildverarbeitung für die Medizin	2005	DBLP DOI BibTeX RDF
24	Stefanie Mehl, Timna E. Schneider, Dietrich Meyer-Ebrecht, Alfred Böcking	Formalisierung und Quantifizierung verbaler Beschreibungen von Zellanordnungen für die computergestützte zytologische Krebsdiagnose.	Bildverarbeitung für die Medizin	2005	DBLP DOI BibTeX RDF
22	Oliver Linne	Konzeption und Umsetzung einer mobilen Applikation zur Validierung von fälschungssicheren Produktlabeln.	CoRR	2023	DBLP DOI BibTeX RDF
22	Christian Remfert	Das IT-Service-Konzept - Rekonstruktion, Validierung und Implikationen für die IT-Organisation im Digitalzeitalter.		2023	RDF
22	Jennifer Brings	Spezifikation und Validierung von Zielen für Systems-of-Systems.		2023	RDF
22	Karsten Meinecke, Kathrin Land, Ulrich Jumar, Birgit Vogel-Heuser, Martin Reider, Simon Ziegltrum	Anforderungsbasierter Test für die Validierung komplexer Automatisierungssysteme.	Autom.	2021	DBLP DOI BibTeX RDF
22	Jürgen Schedlbauer	Anforderungsorientierte Optimierung, Evaluation und Validierung der praktischen Inhalte der Lehre in der Medizinischen Informatik in Hochschulen für Angewandte Wissenschaften (HAW).		2021	RDF
22	Björn Heling	Einsatz und Validierung virtueller Absicherungsmethoden für abweichungsbehaftete Mechanismen im Kontext des Robust Design (Use and validation of virtual validation methods for deviation-afflicted mechanisms in the context of robust design) (PDF / PS)		2021	RDF
22	Florian Kitzler, Lukas Rapberger, Andreas Gronauer, Norbert Barta	Validierung eines Objektlokalisierungs-Algorithmus zur Detektion von Rundballenmodellen.	GIL Jahrestagung	2020	DBLP BibTeX RDF
22	Franz Stübler, Florian Kitzler, Martin Seiringer, Johannes Landrichinger, Andreas Gronauer, Norbert Barta	Entwicklung und Validierung einer belastungsabhängigen Positionskorrektur eines Heukrans.	GIL Jahrestagung	2020	DBLP BibTeX RDF
22	Ibrahim Alagöz	Development of a Methodology for the efficient Validation of Safety-Critical Systems using Machine Learning Optimization Techniques (Entwicklung einer Methodik zur effizienten Validierung sicherheitskritischer Systeme durch Einsatz und Optimierung von maschinellen Lerntechniken) (PDF / PS)		2020	RDF
22	Elisabeth Quendler, Ursula Freisler, Sophie Schaffernicht, Christoph Winckler, Thomas Bauer	Validierung der Accelerometer- und GPS-gestützten Erfassung des Verhaltens sowie des Aufenthaltsbereichs von Pferden in Offenlaufställen.	GIL Jahrestagung	2019	DBLP BibTeX RDF
22	Jennifer Brings, Marian Daun, Markus Kempe, Thorsten Weyer	Validierung und Verifikation von emergentem Verhalten im Software Engineering - Ergebnisse eines Vergleichs unterschiedlicher Suchmethoden.	SE/SWM	2019	DBLP DOI BibTeX RDF
22	Daniel Baumann	Validierung einer App als Hilfsmittel zur Medikamentendosierung in der präklinischen Notfallmedizin.		2019	RDF
22	Christian Schnitzler	Multilinguale Validierung der ItchApp©.		2019	RDF
22	Shantheya Balasupramaniam	Validierung der Leistungsfähigkeit von Bewertungsfunktionen zur Vorhersage von Bindungsaffinitätsdifferenzen auf Basis von Ligand-Paar-Datensätzen.		2019	RDF
22	Fabian Schrumpf	Konzeption eines Verfahrens zur ähnlichkeitsbasierten Cluster-Analyse von Vitaldaten und dessen Validierung am Beispiel von Schmerzmittelgaben nach herzchirurgischen Eingriffen		2019	RDF
22	Victoria Böhm, Andrea Langer, Christian Wolff 0001	Validierung von Web-Usability-Heuristiken für eine ältere Zielgruppe.	MuC (Workshopband)	2018	DBLP DOI BibTeX RDF
22	Marian Daun	Integrierte Validierung der interaktionsbasierten Verhaltensanforderungen und des funktionalen Entwurfs.		2018	RDF
22	Dennis Obermann	Two-way-compiler: Beitrag zur Modellierung, Implementierung und Bewertung eines Konzepts zur Übersetzung und Validierung sicherheitsgerichteter Software.		2018	RDF
22	Manfred Smieschek, André Stollenwerk, Stefan Kowalewski, Thorsten Orlikowsky, Mark Schoberer	Unterstützte Handerkennung in Thermographiebildern zur Validierung der hygienischen Händedesinfektion.	Bildverarbeitung für die Medizin	2017	DBLP DOI BibTeX RDF
22	Catherine Alberola, Henning Brau	Messung der User Experience von Services mithilfe des UEQ: Validierung des User Experience Questionnaire zur Anwendung auf Dienstleistungen.	UP	2017	DBLP DOI BibTeX RDF
22	Philipp Luithardt	Formale Validierung eines Verfahrens zur konsistenten Master/Shadow-Festlegung in einem verteilten, nicht uhrensynchronen Avioniksystem.		2017	RDF
22	Katinka Weissenfeld, Jérôme Brugger, Angelina Dungga, Thomas Selzam, Reinhard Riedl	Entwicklung und Validierung eines eID-Ökosystem-Modells - Fallbeispiel Schweiz.	FTVI/FTRI	2016	DBLP BibTeX RDF
22	Laura Ohrndorf	Entwicklung und Validierung eines Instruments zur Messung des Wissens über Fehlvorstellungen in der Informatik.		2016	RDF
22	Philipp Puntel Schmidt, Alexander Fay, Willi Riediger, Thomas Schulte, Fabian Köslin, Stephan Diehl 0002	Validierung von Steuerungscode mit Hilfe automatisch generierter Simulationsmodelle.	Autom.	2015	DBLP BibTeX RDF
22	Christoph Wiedekind, Stefan Wiemann, Pierre Karrasch	Entwicklung eines GDI-basierten Ansatzes zur Validierung klassifizierter Fernerkundungsdaten mithilfe von Crowdsourcing.	AGIT Journal Angew. Geoinformatik	2015	DBLP DOI BibTeX RDF
22	Gernot Paulus, Karl-Heinrich Anders, Melanie Regenfelder, Bernhard Kosar, Alexsandra Rieger, Klaus Michor, Wolfgang Werth, Christoph Ungermanns, Hermann Sterner, Gerhard Hohenwarter, Christian Stefan, Rainer Gaggl, Heinz Stanek, Kurt Wagner	RPAMSS - Entwicklung, Anwendung und quantitative Validierung eines unbemannten fliegenden Multisensorsystems zur hochauflösenden Erfassung von Umweltdaten.	AGIT Journal Angew. Geoinformatik	2015	DBLP DOI BibTeX RDF
22	Vanessa Petrausch, Christian Schild	Empirische Validierung von Gestaltungsmustern.	MuC	2015	DBLP BibTeX RDF
22	Herlind Megges, Torsten Grewe, Oliver Peters	VODINO - Validierung und Optimierung des individuellen Nutzens von Ortungssystemen bei Demenz.	MuC (Workshopband)	2015	DBLP BibTeX RDF
22	Niko Rossner, Rudibert King	Experimentelle Validierung von robuster Prozessplanung und -regelung mit Gauß'schen Mischdichten.	Autom.	2014	DBLP DOI BibTeX RDF
22	Eva Rügenhagen, Ludwig Fichte	Usability-Validierung auf der Überholspur? Workshop zur Grenze zwischen dynamischem Vorgehen und Bleifuß.	UP	2014	DBLP BibTeX RDF
22	Rainer Kiesel	Simulative Leistungsbewertung für Fahrerassistenzsysteme zur Fußgängerdetektion: Modellierung, Kalibrierung, Validierung.		2014	RDF
22	Marc Hildebrandt	Development, Evaluation and Validation of a Stereo Camera Underwater SLAM Algorithm (Entwicklung, Evaluation und Validierung eines Stereokamerabasierten Unterwasser-SLAM-Algorithmus)		2014	RDF
22	Doaa Soliman, Georg Frey	Verifikation und Validierung sicherheitsgerichteter SPS-Programme.	Echtzeit	2013	DBLP DOI BibTeX RDF
22	Doaa Soliman	Verification and Validation of Logic Control Safety Applications: Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen.		2013	RDF
22	Mirko Caspar	Lastgetriebene Validierung dienstbereitstellender Systeme.		2013	RDF
22	Dennis Klassen	Spezifikation, Simulation und Validierung von Prozessoren.		2013	RDF
22	Jörg Hofmann	Interoperabilität bei IT-Systemen im hochschulübergreifenden Kontext: Entwicklung und Validierung eines Referenzmodells für hochschulübergreifendes elektronisches Prüfungsmanagement (Interoperability of inter-university information systems: Development and validation of a reference model for shared grading and examination management)		2013	RDF
22	Christian Sonntag, Stephan Fischer 0003, Sebastian Engell	Systematischer Entwurf, formale Modellierung und modellbasierte Validierung von Steuerungen in Ablaufsprache.	Softwaretechnik-Trends	2012	DBLP BibTeX RDF
22	Harry M. Sneed	Validierung der funktionalen Äquivalenz konvertierter JAVA Programme durch einen dynamischen Source-Abgleich.	Softwaretechnik-Trends	2012	DBLP BibTeX RDF
22	Aileen Cordes, Yulia M. Levakhina, Thorsten M. Buzug	Mikro-CT basierte Validierung digitaler Tomosynthese Rekonstruktion.	Bildverarbeitung für die Medizin	2012	DBLP DOI BibTeX RDF
22	Sebastian Eulenstein, Martin Jentsch, Peter M. Schlag	Präklinische Validierung für das US-gestützte Navigationssystem LiverTrack.	CURAC	2012	DBLP BibTeX RDF
22	Karsten Kozempel	Entwicklung und Validierung eines Gesamtsystems zur Verkehrserfassung basierend auf Luftbildsequenzen. (PDF / PS)		2012	RDF
22	Amalinda Post, Andreas Podelski	Automatische Validierung von Anforderungen.	Softwaretechnik-Trends	2011	DBLP BibTeX RDF
22	Marlitt Erbe, Tobias Knopp 0001, Sven Biederer, Timo Sattel, Thorsten M. Buzug	Experimentelle Validierung des Konzeptes einer feldfreie Linie für Magnetic-Particle-Imaging anhand von Magnetfeldmessungen.	Bildverarbeitung für die Medizin	2011	DBLP DOI BibTeX RDF
22	André Pflüger, Wolfgang Golubski, Stefan Queins	Modellgetriebene Validierung von System-Architekturen.	Software Engineering (Workshops)	2011	DBLP BibTeX RDF
22	Frederic Bleck, David Wittstruck, Frank Teuteberg	Entwicklung und Validierung eines Reifegradmodells für das Sustainable Supply Chain Management.	GI-Jahrestagung	2011	DBLP BibTeX RDF
22	Christoph Edeler	Modellierung und Validierung der Krafterzeugung mit Stick-Slip-Antrieben für nanorobotische Anwendungen.		2011	RDF
22	Sven Feja	Validierung von MultiView-basierten Prozessmodellen mit grafischen Validierungsregeln.		2011	RDF
22	Mirko Pawlikowski	Pathologische Internetnutzung - Modifizierung und Validierung eines Screening-Instruments, Erfassung differentieller Prädiktoren spezifischer Nutzungsfacetten sowie neuropsychologischer Korrelate am Beispiel des exzessiven Internet-Computerspielens.		2011	RDF
22	Christoph Knieke	Modellierung und Validierung von ausführbaren Anforderungsspezifikationen mit erweiterten UML Aktivitätsdiagrammen.		2011	RDF
22	Armin Metzger	Erfahrungen mit modellzentriertem Testen in der Validierung komplexer, sicherheitskritischer Systeme.	Softwaretechnik-Trends	2010	DBLP BibTeX RDF
22	Stefan Hauser	Entwurf eines generischen, applikationsspezifischen, transportgesteuerten Prozessor-Modells in VHDL und Validierung auf einem FPGA.	Informatiktage	2010	DBLP BibTeX RDF
22	Sven Ahlheid, Gernot Gräfe, Alexander Krebs, Jan-Philipp Müller, Florian Kuhlmann	Ansätze zur Validierung semantischer Informationstripel auf einer Web 2.0-Wissensplattform.	GeNeMe	2010	DBLP BibTeX RDF
22	Lars Hamann, Martin Gogolla, Mirco Kuhlmann	Zur Validierung von Kompositionsstrukturen in UML mit USE.	Modellierung	2010	DBLP BibTeX RDF
22	Sven Feja, Sören Witt, Andreas Brosche, Andreas Speck, Christian Prietz	Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen.	FTVI/FTRI	2010	DBLP BibTeX RDF
22	Andreas Ratzka	Patternbasiertes User Interface Design für multimodale Interaktion: Identifikation und Validierung von Patterns auf Basis einer Analyse der Forschungsliteratur und explorativer Benutzertests an Systemprototypen.		2010	RDF
22	Lasse Lehmann	Lebenszyklusinformationen von Wissensdokumenten: Erfassung, Verwaltung und Validierung.		2010	RDF
22	Martin Rost, Andreas Speck	Modellgestützte Validierung von WebService-Ketten.	Datenschutz und Datensicherheit	2009	DBLP DOI BibTeX RDF
22	Stephan Aier, Bettina Gleichauf, Christian Riege, Jan Saat	Empirische Validierung von Integrationstypen am Beispiel unternehmensübergreifender Integration.	Wirtschaftsinformatik (1)	2009	DBLP BibTeX RDF
22	Thomas Gloe	Die "Dresden Image Database" für die Entwicklung und Validierung von Methoden der digitalen Bildforensik.	GI Jahrestagung	2009	DBLP BibTeX RDF
22	Jesper Zedlitz, Norbert Luttenberger	Strombasierte Struktur-Validierung von simple content in XML-Dokumenten.	KiVS	2009	DBLP DOI BibTeX RDF
22	Michael Gaude	Ein Modell der Technologiediffusion der elektronischen Signatur: Erstellung und empirische Validierung.		2009	RDF
22	Markus Rabe 0001, Sven Spieckermann, Sigrid Wenzel	Verifikation und Validierung für die Simulation in Produktion und Logistik - Vorgehensmodelle und Techniken.		2008	DOI RDF
22	Markus Rabe 0001, Sven Spieckermann, Sigrid Wenzel	Vorgehenmodell zur Verifikation und Validierung für die Simulation in Produktion und Logistik.	SimVis	2008	DBLP BibTeX RDF
22	Volker Gruhn, Ralf Laue 0001, Heiko Kern, Stefan Kühne	EPK-Validierung zur Modellierungszeit in der bflow* Toolbox.	MobIS	2008	DBLP BibTeX RDF
22	Sven Schlarb	Unscharfe Validierung strukturierter Daten: ein Modell auf der Basis unscharfer Logik.		2008	RDF
22	Ursina Mögerle	Bericht zur Jahrestagung der FG "Methoden" der Deutschen Gesellschaft für Publizistik- und Kommunikationswissenschaft (DGPuK) zum Thema "Die Brücke zwischen Theorie und Empirie: Operationalisierung, Messung und Validierung in der Kommunikationswissenschaft", Zürich 2006.	Z. für Medienpsychologie	2007	DBLP DOI BibTeX RDF
22	Juergen Ehret	Validation of Safety-Critical Distributed Real-Time Systems (Validierung von sicherheitskritischen verteilten Realzeitsystemen) (PDF / PS)		2007	RDF
22	Volker Nissen	Integration von ITIL und Computer-validierung in der Pharmabranche am Beispiel Change Management.	HMD Prax. Wirtsch.	2006	DBLP BibTeX RDF
22	Eva Geisberger, Bernhard Schätz	Szenariobasierte Modellkonstruktion und Validierung mit dem RM-Werkzeug AutoRAID.	Softwaretechnik-Trends	2006	DBLP BibTeX RDF
22	Bernd Holzmüller	Validierung des Bereichsdatencompilers für die Linienzugbeeinflussung LZB L72 CE mit Hilfe eines diversitären Ansatzes.	Softwaretechnik-Trends	2006	DBLP BibTeX RDF
22	Alexander Kriz, Wolfgang Müllner	Validierung von EMV-Emissionsmessplätzen im Frequenzbereich 1GHz bis 18GHz nach dem Site VSWR-Verfahren.	Elektrotech. Informationstechnik	2006	DBLP DOI BibTeX RDF
22	Volker Gruhn, Ralf Laue 0001	Validierung syntaktischer und anderer EPK-Eigenschaften mit PROLOG.	EPK	2006	DBLP BibTeX RDF
22	Diemo Landmann, Dirk Plettemeier, Karl-Heinz Gonschorek	Messtechnische Validierung von Computersimulationen zur Lösung von inversen Strahlungskopplungsproblemen bei Antennen über geschichteten Untergrundstrukturen - Ein Beitrag zum Transmissionexperiment CONSERT der Kometenmission Rosetta.	EMV	2006	DBLP BibTeX RDF
22	Dorothea Kretschmer, Marc Hümmer, Britta Hofmann	Ein Ansatz zur Erhebung, Validierung und Gewichtung kontextabhängigerAnforderungen an Internet-Auftritte.	UP	2005	DBLP BibTeX RDF
22	Meike Klettke, Tobias Tiedt	XML-Schemaevolution und inkrementelle Validierung.	Berliner XML Tage	2005	DBLP BibTeX RDF
22	Henrik Behrens	Validierung von Softwareanforderungen mit Hilfe ausführbarer Aktivitätsmodelle.		2005	RDF
22	Vladimir Monossov	Extraktion von regelbasiertem Wissen aus Genexpressionsdaten und dessen Validierung.		2005	RDF
22	Christoph Petz, Detlev Stalling, Leonid Goubergrits, Klaus Affeld, Andreas Spuler	Validierung von Strömungssimulationen in kardiovaskulären Anwendungen.	Bildverarbeitung für die Medizin	2004	DBLP BibTeX RDF
22	Frank Ollermann	Verhaltensbasierte Validierung von Usability-Fragebögen.	MuC	2004	DBLP BibTeX RDF
22	Martin Gogolla, Mark Richters, Jörn Bohling, Arne Lindow, Fabian Büttner, Paul Ziemann	Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durch automatische Snapshot-Generierung.	Modellierung	2004	DBLP BibTeX RDF
22	Uwe Thaden, Tobias Buchloh, Friedrich Steimann	iMOL: Ein experimentelles Werkzeug zur interaktiven Validierung von Softwaremodellen.	Modellierung	2004	DBLP BibTeX RDF
22	Christian Ferdinand, Daniel Kästner, Florian Martin 0001, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt 0007, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm	Validierung des Zeitverhaltens von kritischer Echtzeit-Software.	GI Jahrestagung (1)	2003	DBLP BibTeX RDF
22	Thomas Töller	Bioinformatik-Strategien zur Analyse regulatorischer RNA-Motive und ihre experimentelle Validierung.		2003	RDF
22	Wolfgang Fleisch	Validierung komponentenbasierter Software für Echtzeitsysteme.		2003	RDF
22	Henning Jansen	Implementierung eines EDV gestützten Leistungserfassungssytems im Bereich der Anästhesie eines Hauses der Grundversorgung und Validierung eines Systems der externen Qualitätssicherung.		2003	RDF
22	Katrin Lehmann	Auswahl von Mitgliedern virtueller Teams: Entwicklung und Validierung eines Online-Testverfahrens.		2003	RDF
22	Thorsten Lörch, André Fitzke	Validierung einer integrierenden Software-Plattform für sicherheitskritische Bahnsysteme.	PEARL	2002	DBLP DOI BibTeX RDF
22	Jörg Desel	Tutorium: Validierung und Verifikation von Prozessmodellen.	Promise	2002	DBLP BibTeX RDF
22	Georg Fröhlich	Modellierung, Realisierung und Validierung eines offenen Managementsystems für agrarmeteorologische Messdaten.		2002	RDF