TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Steuerung der Versorgung N2 - VORWORT Die Versorgung von Kranken und Verletzten im Rahmen von ambulanter und stationärer Kranken- und Heilbehandlung ist in erster Linie eine Aufgabe von Ärzten, Therapeuten, Pflegern, Apothekern. Die vielfältige Tätigkeit dieser Medizinalpersonen bei Akutbehandlung, Rehabilitation sowie nachfolgender medizinischer Betreuung kann in der Weise gestaltet werden, dass sowohl die ständige Verbesserung der Versorgung in den einzelnen Sektoren des Gesundheitsgeschehens als auch die Koordinierung zwischen diesen Tätigkeitsfeldern analysiert und bei erkennbarem Bedarf so gestaltet wird, dass die in diesen Bereichen vorhandenen Erkenntnisse und Fähigkeiten optimal eingesetzt werden. Diesem Zweck dienen Aktivitäten, die mit unterschiedlichen Bezeichnungen die Versorgung begleiten, „managen“ oder – in der Terminologie dieser Tagung – „steuern“. Dies geschieht mittlerweile in allen Bereichen, in denen die gesundheitliche Versorgung Aufgabe von Institutionen ist (Gesetzliche Krankenversicherung, Unfallversicherung und Rentenversicherung) und/oder in deren Interesse (Private Kranken-Kostenversicherung, private Unfallversicherung, Haftpflichtversicherungen) liegt. Die Deutsch-Österreichischen Sozialrechtsgespräche 2013 haben sich bereichsübergreifend und aus deutsch-österreichischer Perspektive mit diesem Phänomen befasst. Die Tagung 2013 geht von der Überlegung aus, dass angesichts der Gleichartigkeit der Ziele und Probleme von „krankheits- bzw. gesundheitsbezogenem Management“ ein diesbezüglicher Gedanken- und Erfahrungsaustausch zwischen den Akteuren aus den verschiedenen Bereichen, die sich diesen Dingen widmen, aufschlussreich, anregend und für jeden der Beteiligten gewinnbringend sein müsste. Nicht alle Akteure konnten bei der Tagung 2013 einbezogen werden; so ist z. B. die Rentenversicherung hinsichtlich ihrer Leistungen zur gesundheitsbezogenen Prävention und Rehabilitation nicht mit einem Beitrag vertreten. Des Weiteren sind Versicherer der privaten Kranken(kosten)versicherung und aus dem Bereich der Haftpflichtversicherung nicht direkt mit eigenen Beiträgen vertreten; allerdings werden diesbezüglich aufschlussreiche und informative Einblicke gewährt, einerseits durch Informationen aus dem Blickwinkel des Verbandes des privaten Krankenversicherungen, anderseits durch detaillierte Schilderungen von deutschen und österreichischen Unternehmen, die von den Versicherungen mit der Durchführung von „Gesundheits-Management“ beauftragt sind; diese Berichte enthalten auch Informationen über die jeweils verbindlichen Vorgaben und Regelungswerke, die bei diesen Aktivitäten maßgebend sind und aus deren Aktivitäten sich unschwer Rückschlüsse ziehen lassen auf die Überlegungen der jeweiligen Auftraggeber im Hinblick auf die Gestaltung des Versorgungsmanagements. Somit handelt es sich bei den hier abgedruckten Beiträgen um Überlegungen, die in ihren Ansätzen aus institutionellem Blickwinkel sehr unterschiedlich sind. Dabei ist bemerkenswert, dass auch die primären Ziele entsprechender Aktivitäten unterschiedlich akzentuiert sind: Teils wird normorientiert von den einschlägigen Rechtsvorschriften des Leistungsrechts ausgegangen; teils haben die Überlegungen und die darauf aufbauende Gestaltung des Versorgungsmanagements ihren Ausgangspunkt bei den finanziellen Rahmenbedingungen eines Versicherungssystems. Ob aus der Perspektive der Erfüllungsgehilfen der Leistungserbringer Autonomie und Kreativität, Fachwissen und auch geschäftliches Interesse geschildert werden oder ob die klassischen mit breiter Vorbildwirkung maßgebenden Aktivitäten aus dem öffentlich-rechtlichen Bereich – in Erfüllung von entsprechenden Rechtspflichten – im Interesse von Geschädigten, aber durchaus auch mit finanziellem Interessenhintergrund dargelegt werden – im Ergebnis zeigt sich, dass ein weitgehender Gleichklang der gedanklichen Ansätze zu beobachten ist. Damit ist der Weg für einen konstruktiven Austausch von Gedanken und Erfahrungen eröffnet, untereinander innerhalb der Bereiche jeweils der öffentlichen und der privaten Verwaltungen, über die Grenzen von Privaten und Öffentlichen hinweg und zudem im Vergleich der einschlägigen Aktivitäten in Deutschland und in Österreich. INHALTSVERZEICHNIS Otfried Seewald Einführung in das Tagungsthema 1 Andreas Kranig Steuerung der Versorgung in der gesetzlichen Unfallversicherung (Deutschland) 35 Kay Schumacher Steuerung der Versorgung in der deutschen gesetzlichen Unfallversicherung. Neuere Entwicklungen und praktische Beispiele 57 Bernhard Albert Steuerung der Versorgung in der gesetzlichen Unfallversicherung (Österreich) 65 Monika Fröschl Begleitung von Menschen mit chronischer Erkrankung – Vision und Wirklichkeit 73 Marcus Vogel „Rehabilitationsmanagement“ für die deutsche private Unfall- und Haftpflichtversicherung 77 Martin Steidler Steuerung der Versorgung in der deutschen gesetzlichen Krankenversicherung 87 Karl Olzinger Steuerung der Versorgung in der österreichischen gesetzlichen Krankenversicherung 97 Florian Reuther Steuerung der Versorgung aus der Sicht der privaten Krankenversicherung 121 Johannes Polak Steuerung der Versorgung in der österreichischen privaten Krankenversicherung 129 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2013 KW - Deutschland KW - Österreich KW - Unfallversicherung KW - Krankenversicherung KW - Medizinische Versorgung Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3795 SN - 978-3-7747-1762-6 PB - Haarfeld CY - Hürth ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried ED - Jungwirth, Carola T1 - Rechtsschutz und Verfahren im Vertragspartnerrecht N2 - VORWORT Anlass für die Befassung mit dem Thema „Rechtsschutz und Verfahren“ sind Änderungen im österreichischen Verfahrensrecht, und zwar des Verwaltungs- und Gerichtsverfahrens im Bereich des Vertragspartnerrechts der gesetzlichen Krankenversicherung durch die Schaffung von Verwaltungsgerichten in Österreich. Darzustellen ist dabei einerseits das neu geschaffene System der Verwaltungsgerichtsbarkeit an sich (Referat Pabel) und andererseits die konkreten Verfahrensvorschriften für den niedergelassenen Bereich (Referat Raschauer) und den stationären Bereich (Referat Stöger). Ein Bericht aus der bisherigen Praxis des (neuen österreichischen) Bundesverwaltungsgerichts rundet den österreichischen Teil des Programms ab (Referat Parzer). Gemäß dem rechtsvergleichenden Anliegen der Deutsch-Österreichischen Sozialrechtsgespräche wurden des Weiteren die entsprechenden Regelungen und Institutionen in Deuschland dargestellt. Der Überblick über das Verfahren und den Rechtsschutz im Vertragspartenerbereich (Referat Seewald) wurde ergänzt und vertieft durch den Bericht über die Schieds- und Schlichtungsverfahren sowie den Rechtsschutz im Krankenhausbereich (Referat Felix). Weiterhin wurden Verfahren und Rechtsschutz im vertragsärztlichen Schiedswesen, insbesondere auf der Grundlage der höchstrichterlichen Rechtsprechung des Bundessozialgerichts, dargestellt (Referat Düring). Jeder Beitrag ist – für sich betrachtet – aufschlussreich für die Bemühungen der Gestalter sowohl der österreichischen als auch der deutschen Rechtsordnung (in erster Linie die Gesetzgeber und die zur Streitentscheidung berufenen Institutionen), bereichsspezifische Lösungen für ein Gebiet zu finden, das einerseits sozialrechtlich geprägt ist, mit einer ausgeprägten Bevorzugung partnerschaftlicher Lösungen, andererseits dem Wirtschaftsverwaltungsrecht zuzuordnen ist; aus beiden Bereichen stammt offenbar eine gewisse Affinität für das Schiedswesen. Zumindest ebenso interessant ist auch die rechtsvergleichende Analyse auf der Grundlage der Zusammenschau der Beiträge. Sie zeigt Gemeinsamkeiten in den Bemühungen für bereichsadäquate Lösungen, aber auch – in beiden Ländern – deutliche Kritikpunkte; diese betreffen sowohl die Kompliziertheit der jeweils gefundenen Regelungen als auch Schwächen bei ihrem Vollzug. Ein diesbezüglich „gelobtes Land“ hat sich nicht gezeigt. So gesehen dürfen die Ergebnisse dieser Tagung – gemeinsamen Erkenntnisse aus rechtsvergleichender Sicht – auch als eine hilfreiche Grundlage gesehen werden für eine weitere Fortentwicklung in diesem Bereich. INHALTSVERZEICHNIS Univ.-Prof. Dr. Katharina Pabel Die Neuordnung des Rechtsschutzes im Verwaltungsverfahren in Österreich 11 PD Dr. Nicolas Raschauer Rechtsschutz und Verfahren im niedergelassenen Bereich 27 Univ.-Prof. Dr. Otfried Seewald Verfahren und Rechtsschutz im Vertragspartnerbereich in Deutschland – Überblick und Vertragsarztbereich/Kassenarztbereich 51 Univ.-Prof. Dr. Karl Stöger Vertragspartnerrechtliches Verfahren und Rechtsschutz im stationären Bereich in Österreich nach der Verwaltungsgerichtsbarkeitsnovelle 2012 75 Univ.-Prof. Dr. Dagmar Felix Schieds- und Schlichtungsverfahren sowie Rechtsschutz im stationären Bereich in Deutschland 91 Dr. Ruth Düring Verfahren und Rechtsschutz im vertragsärztlichen Schiedswesen in Deutschland 109 Dr. Maria Parzer Praktische Erfahrungen aus der Sicht des Bundesverwaltungsgerichts 129 Hinweis auf die bisherigen Tagungsbände der 1. bis 14. DeutschÖsterreichischen Sozialrechtsgespräche 135 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2015 T3 - Schriftenreihe der Universität Passau - 38 Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3803 N1 - Erscheint in der Schriftenreihe der Universität Passau (Heft Nr. 38, ISSN 1614-3450, Herausgeberin: Die Präsidentin der Universität Passau Professorin Dr. Carola Jungwirth) ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Der Vertragsarzt im Spannungsfeld zwischen gesundheitspolitischer Steuerung und Freiheit der Berufsausübung N2 - VORWORT Der vorliegende Band widmet sich den Rechtsbeziehungen zwischen gesetzlicher Krankenversicherung und Ärzteschaft. Grundrechtliche Positionen wie Erwerbsfreiheit und Berufsausübungsfreiheit stehen ebenso zur Diskussion wie Fragen der Auswahl der Vertragspartner und Fragen der Beendigung der Rechtsbeziehung zwischen Arzt und gesetzlicher Krankenversicherung. Die mit diesen Fragestellungen verbundenen überaus komplexen juristischen Probleme werden im vorliegenden Band einer wissenschaftlichen Analyse unterzogen, wobei vor allem aus dem rechtsvergleichenden Ansatz heraus neue Lösungsmöglichkeiten gesucht werden. Die Beiträge gehen zurück auf Referate im Rahmen einer juristischen Tagung, die am 28. und 29. 1. 1999 unter dem Titel „Deutsch-österreichische Sozialrechtsgespräche" an der Universität Linz stattgefunden hat. Diese Tagung wurde gemeinsam vom Institut für Arbeitsrecht und Sozialrecht der Universität Linz, dem Lehrstuhl für Staats-und Verwaltungsrecht, insbesondere Sozialrecht der Universität Passau und der Oberösterreichischen Gebietskrankenkasse veranstaltet. Die Herausgeber danken der Oberösterreichischen Gebietskrankenkasse für die Mitorganisation und Mitfinanzierung der Tagung sowie des vorliegenden Bandes. INHALTSVERZEICHNIS Ingwer Ebsen Rechtsfragen der vertragsärztlichen Stellenplanung in Deutschland 1 Christian Kopetzki Rechtsfragen der vertragsärztlichen Stellenplanung in Österreich 31 Ulrich Becker Altersgrenze(n) für Vertragsärzte in der deutschen Gesetzlichen Krankenversicherung 59 Christoph Grabenwarter Altersgrenze für Vertragsärzte in Österreich 85 Otfried Seewald Die Auswahl der Vertragspartner durch die Versicherungsträger in Deutschland 101 Reinhard Resch Die Auswahl der Vertragspartner durch den Versicherungsträger in Österreich 149 Dagmar Felix Kündigungsschutz für freiberufliche Vertragsärzte in Deutschland 171 Reinhard Geist Kündigungsschutz für freiberufliche Vertragsärzte in Österreich 195 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 1999 KW - Deutschland KW - Österreich KW - Vertragsarzt KW - Arztrecht KW - Kongress Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3821 SN - 3-214-06215-8 PB - Manz CY - Wien ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Wettbewerb in der gesetzlichen Krankenversicherung N2 - VORWORT Die „Deutsch-Österreichischen Sozialrechtsgespräche" haben sich bei ihrer diesjährigen Tagung, die am 27. und 28. Januar 2000 auf Schloß Neuburg, dem Tagungszentrum der Universität Passau, stattgefunden hat, mit dem Thema „Wettbewerb in der gesetzlichen Krankenversicherung" befasst. Dies ist auch der Titel des Tagungsbandes, mit dem die Beiträge der Referenten einem größeren Interessentenkreis vorgestellt werden. Mit dem Thema der Tagung sowie dieses Tagungsbandes ist ein Teilaspekt des „großen" Themas des Wettbewerbs im Gesundheitswesen angesprochen. Wettbewerb - dieser Begriff setzt Freiheit voraus einschließlich der Autonomie der Freiheit, über Bindungen selbst zu entscheiden. Es ist kein Zufall, dass dieser Begriff in der Zeit der Aufklärung als Leitidee des ökonomischen Idealismus erscheint. Die damaligen Verhältnisse in Staat und den mit ihm eng verbundenen Gesellschaftsschichten waren weitgehend durch ein hohes Maß an persönlicher Unfreiheit und ein umfassendes staatliches Regulierungssystem gekennzeichnet. Adam Smith hat diese Gegebenheiten scharfsinnig analysiert; sein Vorschlag (und praktisch auch der von David Ricardo) war die Forderung nach dem „freien Spiel der Kräfte"; der Staat habe nur bestimmte Rahmenbedingungen zu setzen - und die ökonomischen Probleme würden sich optimal lösen, nicht nur für das Wohlergehen des Staates selbst, sondern auch für jeden Einzelnen; darin steckt die Forderung nach einem im Wesentlichen staatsfreien Wettbewerb. Die Vorstellung, dass damit gleichsam eine Harmonie prästabilisiert werde, hat sich im Laufe des 19. Jahrhunderts nicht verwirklicht. Die soziale Entwicklung im Zeitalter des Liberalismus vor allem gegen Ende des 19. Jahrhunderts, hat zu einer staatlichen Regulierung geführt, die im 20. Jahrhundert sich nicht nur verstetigt, sondern in bemerkenswerter Weise ausgedehnt und verfeinert hat. Zu Beginn des 21. Jahrhunderts stellt sich wiederum die Frage nach dem Maß an Freiheit und Wettbewerb, auch im Bereich des Gesundheitswesen, einerseits und nach der Notwendigkeit staatlicher Regulierung andererseits, verschärft durch ökonomische Faktoren, die nicht zuletzt durch den zusammenwachsenden europäischen Markt und das Zusammenwachsen des Weltmarkts entstanden sind. Gelöst werden müssen diese Probleme (auch) in jedem einzelnen Staat. Die rechtsvergleichende Betrachtungsweise der "Deutsch-Österreichischen Sozialrechtsgespräche" verspricht auch im Hinblick auf die Frage des Wettbewerbs in der gesetzlichen Krankenversicherung Erkenntnisse, die über die Betrachtung nur eines Regelungssystems hinausgehen. Diese Tagung wurde auch in diesem Jahr gemeinsam vorbereitet und veranstaltet durch das Institut für Arbeitsrecht und Sozialrecht der Universität Linz und den Lehrstuhl für Staats- und Verwaltungsrecht, insbesondere Sozialrecht, der Universität Passau; zur Seite gestanden haben in thematisch-inhaltlicher Hinsicht die AOK Bayern - Die Gesundheitskasse - sowie die Fachverlage CW Haarfeld GmbH, Essen, MANZ, Wien und R. S. Schulz, Starnberg. INHALTSVERZEICHNIS Franz Zehetner Wettbewerbsrecht unter besonderer Berücksichtigung der öffentlichen Unternehmen - eine Bestandsaufnahme 1 Armin Jungbluth Wettbewerbsrecht im Gesundheitswesen 25 Melanie Paulus Wettbewerb innerhalb der gesetzlichen Krankenversicherung und im Verhältnis zur privaten Krankenversicherung - Rechtslage in Deutschland 33 Rudolf Mosler Wettbewerb innerhalb der gesetzlichen Krankenversicherung und im Verhältnis zur privaten Krankenversicherung - Rechtslage in Österreich 45 Horst Dieter Schirmer Wettbewerb und ärztliches Berufsrecht in Deutschland 65 Wolfgang Mazal Wettbewerb und ärztliches Berufsrecht 85 Andreas Wagener Wettbewerb und Krankenanstalten in Deutschland 101 Konrad Grillberger Krankenanstalten und Wettbewerb in Österreich 109 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2000 KW - Deutschland KW - Gesetzliche Krankenversicherung KW - Wettbewerbsrecht KW - Österreich Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3835 SN - 3-7962-0577-1 PB - Schulz CY - Starnberg ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Finanzausgleich in der Gesetzlichen Krankenversicherung N2 - VORWORT Ein in mehr oder weniger zahlreiche Versicherungsträger gegliedertes, gesetzlich vorgeschriebenes Versicherungssystem wird wohl stets einen Finanzausgleich vorsehen; denn es dürfte eine nahe liegende und unmittelbar einleuchtende Forderung der Gerechtigkeit sein, dass die in diesem (Gesamt-)System Versicherten einerseits gleiche Leistungen erhalten sollten, andererseits aber auch in gleicher Höhe finanziell belastet werden. In einer Einheitskasse ist das kein grundsätzliches Problem insoweit, als eine einzige Versichertengemeinschaft und somit eine einzige Risikostruktur besteht. Bei mehreren Versicherungsträgern können sich unterschiedliche Risikostrukturen einstellen - mit der Folge einer im Quervergleich zwischen den Versicherungsträgern ungleichen und ungerecht empfundenen Beitragsbelastung. Dieses Problem kann sich verschärfen, wenn den Versicherungsträgern im Hinblick auf die Gewinnung von Mitgliedern der Wettbewerb untereinander eröffnet wird. Das Thema "Wettbewerb in der gesetzlichen Krankenversicherung" war Gegenstand der Deutsch-Österreichischen Sozialrechtsgespräche 2000 (der diesbezügliche Tagungsband ist im Manz-Verlag sowie im Verlag R. S. Schulz erschienen), und nachdem in der Bundesrepublik Deutschland die in der Gesetzlichen Krankenversicherung Versicherten ihren Versicherungsträger nahezu gänzlich ungebunden wählen können, hat sich unter dem Gesichtspunkt der versicherten Risiken eine erhebliche Entmischung ergeben; der Gesetzgeber hat sich veranlasst gesehen, dem traditionellen Finanzausgleich eine neue Dimension zu geben, und zwar durch den so genannten Risikostrukturausgleich. Die Deutsch-Österreichischen Sozialrechtsgespräche 2002 haben sich mit dem "Finanzausgleich in der Gesetzlichen Krankenversicherung" befasst; der vorliegende Tagungsband dokumentiert die Vorträge dieser Veranstaltung aus österreichischer und deutscher (Rechts-)Perspektive, so dass insgesamt wieder ein facettenreicher und rechtsvergleichender Tagungsband entstanden ist. Auch diese Tagung wurde gemeinsam vorbereitet und veranstaltet durch das Institut für Arbeitsrecht und Sozialrecht der Universität Linz und den Lehrstuhl für Staats- und Verwaltungsrecht, insbesondere Sozialrecht, der Universität Passau. Der Dank der Veranstalter geht an die Referenten; zur Seite gestanden haben uns wiederum die AOK Bayern - Die Gesundheitskasse - sowie der Fachverlag CW Haarfeld, Essen, dem wir die Fertigung dieses Bandes verdanken. INHALTSVERZEICHNIS Theo Öhlinger Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung - grundsätzliche Vorgaben der Verfassung und ihre Ausformung in den bisherigen Gesetzen 1 Peter Axer Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung 15 Jürgen Wasem/Stefan Greß Überlegungen zur Beitragsbemessung sowie zum Finanz- und Risikostrukturausgleich aus ökonomischer Sicht 51 Otfried Seewald Ethische Grundlagen von Beitragsbemessung und Finanzausgleich 63 Oskar Meggeneder Reformen der Gesetzlichen Krankenversicherung in ihrer Auswirkung auf die Finanzierung - Länderbericht Österreich 95 Werner Schneider Wettbewerb und Risikostrukturausgleich in der Gesetzlichen Krankenversicherung 121 Wolfgang Nopper Der Risikostrukturausgleich aus der Sicht einer Allgemeinen Ortskrankenkasse 137 Stefan Weber/Hans Unterhuber Der Risikostrukturausgleich aus der Sicht einer Betriebskrankenkasse 155 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2002 KW - Deutschland KW - Gesetzliche Krankenversicherung KW - Risikostrukturausgleich KW - Österreich Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3846 SN - 3-7747-1768-X PB - Haarfeld CY - Essen ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Qualitätssicherung für Leistungen in der gesetzlichen Krankenversicherung N2 - VORWORT Längst wird auch im Zusammenhang mit medizinischen Behandlungen eine Diskussion über Maßnahmen der Qualitätssicherung geführt. Diese geht von der medizinischen Wissenschaft aus, erfasst aber auch die Rechtswissenschaft und dabei auch das Recht der gesetzlichen Krankenversicherung. Der vorliegende Band untersucht ausgehend von medizinischen und rechtlichen Vorgaben die Frage, welche Auswirkungen Maßnahmen der Qualitätssicherung auch auf das Recht der gesetzlichen Krankenversicherung haben. Mit der Einbeziehung von Medizinern und Juristen wird die nötige Ausgangsbasis für die Untersuchung der einschlägigen Vorschriften zur Qualitätssicherung im Krankenversicherungsrecht hergestellt. Der vorliegende Band geht auf die Referate im Rahmen der fünften „deutsch-österreichischen Sozialrechtsgespräche" zurück, welche am 30. und 31. Jänner 2003 an der Universität Linz als Kooperation des Instituts für Arbeitsrecht und Sozialrecht der Universität Linz, des Lehrstuhls für Staats-und Verwaltungsrecht, insbesondere Sozialrecht der Universität Passau und der Oberösterreichischen Gebietskrankenkasse stattgefunden haben. Die Herausgeber schulden der Oberösterreichischen Gebietskrankenkasse Dank für die finanzielle und organisatorische Unterstützung der Tagung. INHALTSVERZEICHNIS Georg Entmayr Rechtliche Überlegungen zur Qualitätssicherung im niedergelassenen Bereich nach §343 Abs5 ASVG 1 Otfried Seewald Definition und Ziele der medizinischen Qualitätssicherung in Deutschland 11 Karl Stöger Qualitätssicherung an der Schnittstelle zwischen Medizin und Recht 35 Roland Benkowitsch Leitlinien und medizinische Standards als Instrument der Qualitätssicherung in Deutschland 65 Gerhard Aigner Leitlinien und medizinische Standards als Instrumente der Qualitätssicherung in Österreich 81 Helmut Platzer Qualitätskontrolle aus kassenrechtlicber Sicht in Deutschland 93 Rudolf Mosler Qualitätskontrolle (insbesondere auch aus kassenrechtlicher Sicht) in Österreich 105 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2003 KW - Österreich KW - Gesetzliche Krankenversicherung KW - Medizinische Versorgung KW - Qualitätssicherung Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3850 SN - 3-214-06328-6 PB - Manz CY - Wien ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Sozialversicherung im Umbruch. Hat die Selbstverwaltung Zukunft? N2 - VORWORT Aktuell wird in vielen Ländern der Europäischen Union über die Organisation der Sozialversicherung diskutiert. Vorteile, Nachteile und Zukunftschancen der Selbstverwaltung zählen dabei zu den Diskussionsfeldern mit hoher emotioneller Beteiligung. Im Rahmen der 7. Deutsch-Österreichischen Sozialrechtsgespräche (27. und 28.1.2005) wurde vor allem aus juristischer und ökonomischer Perspektive geprüft, was an rational nachvollziehbaren Argumenten zur Selbstverwaltung der Sozialversicherung stehen bleibt, wenn die Organisationsstruktur wissenschaftlich betrachtet wird. Die Einbeziehung von Referenten, die aus der täglichen Praxis der Selbstverwaltung kommen, soll helfen, die wissenschaftliche Analyse in umsetzungsrelevante Schlussfolgerungen überzuführen. Der vorliegende Band dokumentiert die Beiträge der Tagung, die von den Referenten mit wissenschaftlichem Anmerkungsapparat schriftlich ausgearbeitet wurden und bringt eine fundierte Aufarbeitung der Problematik. Die Herausgeber schulden der Oberösterreichischen Gebietskrankenkasse für die maßgebende Unterstützung der Tagung und dieses Tagungsbandes Dank. INHALTSVERZEICHNIS Gerhard Kleinhenz Einführender Systemvergleich 1 Gerhard Reber Zentralisation versus Dezentralisation 25 Rainer Fuchs Perspektiven der Selbstverwaltung in der Sozialversicherung 43 Walter Pöltner Probleme der praktischen Ausgestaltung von Selbstverwaltung in Österreich 57 Otfried Seewald Probleme der praktischen Ausgestaltung von Selbstverwaltung in Deutschland 79 Helmut Platzer Zusammenhang Finanzausgleich und Strukturreform 135 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2005 KW - Deutschland KW - Sozialversicherung KW - Selbstverwaltung KW - Österreich Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3861 SN - 3-214-09340-1 PB - Manz CY - Wien ER - TY - BOOK ED - Jabornegg, Peter ED - Resch, Reinhard ED - Seewald, Otfried T1 - Medizinische Rehabilitation N2 - VORWORT Fragen der medizinischen Rehabilitation in der gesetzlichen Krankenversicherung stellen sich an der Schnittstelle von Medizin und Rechtswissenschaft. Bereits die richtige medizinische Einordnung in der Medizin ist nicht immer exakt möglich. Die Einbettung der medizinischen Rehabilitation in das Recht der gesetzlichen Sozialversicherung erwies sich als schwierig, weisen doch verschiedene Sparten der gesetzlichen Sozialversicherung Berührungspunkte zur medizinischen Rehabilitation auf, sodass durchaus verschiedene Träger für die Leistungserbringung zuständig sein könnten. Dem Schnittstellenmanagement zwischen den potentiell zuständigen Trägern kommt damit maßgebliche rechtliche und ökonomische Bedeutung zu. Die 11. Deutsch-Österreichischen Sozialrechtsgespräche (29. und 30. 1. 2009) widmen sich - in dieser Tiefe erstmals - der wissenschaftlichen Durchdringung des Rechts der medizinischen Rehabilitation und bringen dazu den interessanten Rechtsvergleich zwischen Deutschland und Österreich. Die Herausgeber schulden der Oberösterreichischen Gebietskrankenkasse für die maßgebende Unterstützung der Tagung und dieses Tagungsbandes Dank. INHALTSVERZEICHNIS Gottfried Endel (Medizinische) Prozessbeschreibung aus Sicht der österreichischen Sozialversicherung 1 Roland Benkowitsch Prozessbeschreibung der medizinischen Rehabilitation aus deutscher Sicht 21 Johannes Rudda Das System der Rehabilitation in Österreich 33 Otfried Seewald Medizinische Rehabilitation - die Rechtslage im deutschen SV-Recht 57 Anhang Medizinische Rehabilitation im Sozialversicherungsrecht - "Rehabilitationsrecht" - Auszüge aus dem Sozialgesetzbuch (SGB) 105 Reinhard Resch Medizinische Rehabilitation in Österreich: Leistungsrecht und Berührungspunkte zum Arbeitsrecht 137 Hans Peter Spiegl Ausgewählte leistungsrechtliche Probleme im Zusammenhang mit Rehabilitation - ausgewählte leistungsrechtliche Probleme in Deutschland 155 Bernhard Albert Schnittstellenmanagement bei medizinischer Rehabilitation in Österreich 171 Eckart Stevens-Bartol Schnittstellen im Recht der Rehabilitation in Deutschland 179 T3 - Beiträge zu den Deutsch-Österreichischen Sozialrechtsgesprächen - 2009 KW - Deutschland KW - Anschlussheilbehandlung KW - Sozialversicherungsrecht KW - Österreich Y1 - 2016 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3872 SN - 978-3-214-09342-6 PB - Manz CY - Wien ER - TY - JOUR A1 - Hennig, Martin T1 - Krise … continued: Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad N2 - Die zentrale Fragestellung der folgenden Ausführungen wird dementsprechend lauten, durch welche scheinbar extrem populären Merkmale sich BREAKING BAD aufbauend oder abweichend von Gattungskonventionen auszeichnet und inwiefern diese mit dem kulturellen Krisendiskurs des Produktionszeitraumes korrelieren. Dabei wird die Serie als spezifische Form der Krisenartikulation und -bearbeitung analysiert. Dazu werden anfangs einige theoretische Erwägungen zum seriellen Erzählen vorausgeschickt. Im Rahmen der darauf folgenden Handlungsanalyse wird insbesondere auf das vorgeführte Familienmodell, die kausale Weltordnung der Diegese, Identitätskonflikte des Protagonisten, Bürgerlichkeit als Krisenraum sowie das hier propagierte Gegenmodell poetischer Gerechtigkeit einzugehen sein. Abschließend sollen die daraus resultierenden Befunde einer zusammenfassenden Analyse des Krisendiskurses in BREAKING BAD dienen. T3 - Schriften zur Kultur- und Mediensemiotik | Online - 2015.1.4 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2987 ER - TY - THES A1 - Liebig, Jörg T1 - Analysis and Transformation of Configurable Systems N2 - Static analysis tools and transformation engines for source code belong to the standard equipment of a software developer. Their use simplifies a developer's everyday work of maintaining and evolving software systems significantly and, hence, accounts for much of a developer's programming efficiency and programming productivity. This is also beneficial from a financial point of view, as programming errors are early detected and avoided in the the development process, thus the use of static analysis tools reduces the overall software-development costs considerably. In practice, software systems are often developed as configurable systems to account for different requirements of application scenarios and use cases. To implement configurable systems, developers often use compile-time implementation techniques, such as preprocessors, by using #ifdef directives. Configuration options control the inclusion and exclusion of #ifdef-annotated source code and their selection/deselection serve as an input for generating tailor-made system variants on demand. Existing configurable systems, such as the linux kernel, often provide thousands of configuration options, forming a huge configuration space with billions of system variants. Unfortunately, existing tool support cannot handle the myriads of system variants that can typically be derived from a configurable system. Analysis and transformation tools are not prepared for variability in source code, and, hence, they may process it incorrectly with the result of an incomplete and often broken tool support. We challenge the way configurable systems are analyzed and transformed by introducing variability-aware static analysis tools and a variability-aware transformation engine for configurable systems' development. The main idea of such tool support is to exploit commonalities between system variants, reducing the effort of analyzing and transforming a configurable system. In particular, we develop novel analysis approaches for analyzing the myriads of system variants and compare them to state-of-the-art analysis approaches (namely sampling). The comparison shows that variability-aware analysis is complete (with respect to covering the whole configuration space), efficient (it outperforms some of the sampling heuristics), and scales even to large software systems. We demonstrate that variability-aware analysis is even practical when using it with non-trivial case studies, such as the linux kernel. On top of variability-aware analysis, we develop a transformation engine for C, which respects variability induced by the preprocessor. The engine provides three common refactorings (rename identifier, extract function, and inline function) and overcomes shortcomings (completeness, use of heuristics, and scalability issues) of existing engines, while still being semantics-preserving with respect to all variants and being fast, providing an instantaneous user experience. To validate semantics preservation, we extend a standard testing approach for refactoring engines with variability and show in real-world case studies the effectiveness and scalability of our engine. In the end, our analysis and transformation techniques show that configurable systems can efficiently be analyzed and transformed (even for large-scale systems), providing the same guarantees for configurable systems as for standard systems in terms of detecting and avoiding programming errors. KW - Configurable Systems KW - Variability-aware Analysis KW - Variability-aware Refactoring KW - Software Product Lines KW - Refactoring KW - Statische Analyse KW - Präprozessor KW - Softwarewartung KW - C Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2996 ER - TY - THES A1 - Braun, Bastian T1 - Web-based Secure Application Control N2 - The world wide web today serves as a distributed application platform. Its origins, however, go back to a simple delivery network for static hypertexts. The legacy from these days can still be observed in the communication protocol used by increasingly sophisticated clients and applications. This thesis identifies the actual security requirements of modern web applications and shows that HTTP does not fit them: user and application authentication, message integrity and confidentiality, control-flow integrity, and application-to-application authorization. We explore the other protocols in the web stack and work out why they can not fill the gap. Our analysis shows that the underlying problem is the connectionless property of HTTP. However, history shows that a fresh start with web communication is far from realistic. As a consequence, we come up with approaches that contribute to meet the identified requirements. We first present impersonation attack vectors that begin before the actual user authentication, i.e. when secure web interaction and authentication seem to be unnecessary. Session fixation attacks exploit a responsibility mismatch between the web developer and the used web application framework. We describe and compare three countermeasures on different implementation levels: on the source code level, on the framework level, and on the network level as a reverse proxy. Then, we explain how the authentication credentials that are transmitted for the user login, i.e. the password, and for session tracking, i.e. the session cookie, can be complemented by browser-stored and user-based secrets respectively. This way, an attacker can not hijack user accounts only by phishing the user's password because an additional browser-based secret is required for login. Also, the class of well-known session hijacking attacks is mitigated because a secret only known by the user must be provided in order to perform critical actions. In the next step, we explore alternative approaches to static authentication credentials. Our approach implements a trusted UI and a mutually authenticated session using signatures as a means to authenticate requests. This way, it establishes a trusted path between the user and the web application without exchanging reusable authentication credentials. As a downside, this approach requires support on the client side and on the server side in order to provide maximum protection. Another approach avoids client-side support but can not implement a trusted UI and is thus susceptible to phishing and clickjacking attacks. Our approaches described so far increase the security level of all web communication at all time. This is why we investigate adaptive security policies that fit the actual risk instead of permanently restricting all kinds of communication including non-critical requests. We develop a smart browser extension that detects when the user is authenticated on a website meaning that she can be impersonated because all requests carry her identity proof. Uncritical communication, however, is released from restrictions to enable all intended web features. Finally, we focus on attacks targeting a web application's control-flow integrity. We explain them thoroughly, check whether current web application frameworks provide means for protection, and implement two approaches to protect web applications: The first approach is an extension for a web application framework and provides protection based on its configuration by checking all requests for policy conformity. The second approach generates its own policies ad hoc based on the observed web traffic and assuming that regular users only click on links and buttons and fill forms but do not craft requests to protected resources. N2 - Das heutige World Wide Web ist eine verteilte Plattform für Anwendungen aller Art: von einfachen Webseiten über Online Banking, E-Mail, multimediale Unterhaltung bis hin zu intelligenten vernetzten Häusern und Städten. Seine Ursprünge liegen allerdings in einem einfachen Netzwerk zur Übermittlung statischer Inhalte auf der Basis von Hypertexten. Diese Ursprünge lassen sich noch immer im verwendeten Kommunikationsprotokoll HTTP identifizieren. In dieser Arbeit untersuchen wir die Sicherheitsanforderungen moderner Web-Anwendungen und zeigen, dass HTTP diese Anforderungen nicht erfüllen kann. Zu diesen Anforderungen gehören die Authentifikation von Benutzern und Anwendungen, die Integrität und Vertraulichkeit von Nachrichten, Kontrollflussintegrität und die gegenseitige Autorisierung von Anwendungen. Wir untersuchen die Web-Protokolle auf den unteren Netzwerk-Schichten und zeigen, dass auch sie nicht die Sicherheitsanforderungen erfüllen können. Unsere Analyse zeigt, dass das grundlegende Problem in der Verbindungslosigkeit von HTTP zu finden ist. Allerdings hat die Geschichte gezeigt, dass ein Neustart mit einem verbesserten Protokoll keine Option für ein gewachsenes System wie das World Wide Web ist. Aus diesem Grund beschäftigt sich diese Arbeit mit unseren Beiträgen zu sicherer Web-Kommunikation auf der Basis des existierenden verbindungslosen HTTP. Wir beginnen mit der Beschreibung von Session Fixation-Angriffen, die bereits vor der eigentlichen Anmeldung des Benutzers an der Web-Anwendung beginnen und im Erfolgsfall die temporäre Übernahme des Benutzerkontos erlauben. Wir präsentieren drei Gegenmaßnahmen, die je nach Eingriffsmöglichkeiten in die Web-Anwendung umgesetzt werden können. Als nächstes gehen wir auf das Problem ein, dass Zugangsdaten im WWW sowohl zwischen den Teilnehmern zu Authentifikationszwecken kommuniziert werden als auch für jeden, der Kenntnis dieser Daten erlangt, wiederverwendbar sind. Unsere Ansätze binden das Benutzerpasswort an ein im Browser gespeichertes Authentifikationsmerkmal und das sog. Session-Cookie an ein Geheimnis, das nur dem Benutzer und der Web-Anwendung bekannt ist. Auf diese Weise kann ein Angreifer weder ein gestohlenes Passwort noch ein Session-Cookie allein zum Zugriff auf das Benutzerkonto verwenden. Darauffolgend beschreiben wir ein Authentifikationsprotokoll, das vollständig auf die Übermittlung geheimer Zugangsdaten verzichtet. Unser Ansatz implementiert eine vertrauenswürdige Benutzeroberfläche und wirkt so gegen die Manipulation derselben in herkömmlichen Browsern. Während die bisherigen Ansätze die Sicherheit jeglicher Web-Kommunikation erhöhen, widmen wir uns der Frage, inwiefern ein intelligenter Browser den Benutzer - wenn nötig - vor Angriffen bewahren kann und - wenn möglich - eine ungehinderte Kommunikation ermöglichen kann. Damit trägt unser Ansatz zur Akzeptanz von Sicherheitslösungen bei, die ansonsten regelmäßig als lästige Einschränkungen empfunden werden. Schließlich legen wir den Fokus auf die Kontrollflussintegrität von Web-Anwendungen. Bösartige Benutzer können den Zustand von Anwendungen durch speziell präparierte Folgen von Anfragen in ihrem Sinne manipulieren. Unsere Ansätze filtern Benutzeranfragen, die von der Anwendung nicht erwartet wurden, und lassen nur solche Anfragen passieren, die von der Anwendung ordnungsgemäß verarbeitet werden können. KW - Computersicherheit KW - Datensicherung KW - Internet Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3048 ER - TY - THES A1 - Wiemann, Joachim T1 - Diskriminierungsverbote unter Privaten: Rechtsdurchsetzung im deutschen und US-amerikanischen Recht T1 - Antidiscrimination law for private actors: remedies and sanctions in German and U.S. law N2 - Die Arbeit untersucht die Rechtsdurchsetzung von an Private gerichteten Diskriminierungsverboten im deutschen Recht und im US-Bundesrecht. Teil 1 führt in die Fragestellung der Arbeit ein und behandelt rechtssystemübergreifende Grundlagen. Teil 2 stellt den Rahmen des Unionsrechts für nationales Antidiskriminierungsrecht dar. Die Teile 3 und 4 sind der Analyse eines Rechtsfolgensystems gewidmet. Der dritte Teil beschäftigt sich dabei mit der Rechtslage in Deutschland, der vierte Teil mit dem US-Bundesrecht. Teil 5 ist eine vergleichende Analyse deutscher und amerikanischer Konzepte und greift so auf die Teile 3 und 4 zurück. Die Untersuchung geht dabei sowohl grundlegenden Strukturentscheidungen nach (wie z. B. dem fast vollständigen Fehlen kollektiver Rechtsdurchsetzung in Deutschland) als auch der konkreten Ausgestaltung bestimmter Rechtsfolgen im Detail und zeigt Gemeinsamkeiten und Unterschiede auf. Teil 6 abstrahiert von den konkreten nationalen Regelungen und untersucht Rechtsdurchsetzungs- und Rechtsfolgenmodelle für die Verletzung von Diskriminierungsverboten auf ihre Eignung zur Verhaltenssteuerung anhand verschiedener Modelle; dabei wird ein interdisziplinärer Ansatz verfolgt, der insbesondere Erkenntnisse der ökonomischen Analyse des Rechts berücksichtigt. Teil 7 enthält abschließende Bemerkungen. N2 - This paper analyzes remedies and sanctions for the violation of antidiscrimination provisions for private actors in German law and U.S. federal law. Chapter 1 is dedicated to general principles. Chapter 2 sets out the EU framework that applies to German antidiscrimination law. Chapter 3 analyzes German law, chapter 4 focuses on U.S. law. Chapter 5 is a comparative analysis of the German and the U.S. legal systems, based on the findings of the previous two chapters. It covers both fundamental features of the respective legal system (such as the almost complete absence of collective redress in German law) and the more technical features of the different remedies. Chapter 6 goes beyond the concrete national provisions and analyzes different categories of remedies and sanctions as regards their ability to influence behavior; the author uses an interdisciplinary approach and includes considerations of economic analysis of law. Chapter 7 summarizes the results. KW - Antidiskriminierungsrecht KW - antidiscrimination KW - Gleichbehandlungsrecht KW - AGG KW - Rechtsfolgen KW - Diskriminierungsverbot KW - Rechtsnorm KW - Durchsetzung KW - USA KW - Deutschland Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-3162 ER - TY - THES A1 - Sipal, Bilge T1 - Border Basis Schemes N2 - The basic idea of border basis theory is to describe a zero-dimensional ring P/I by an order ideal of terms whose residue classes form a K-vector space basis of P/I. The O-border basis scheme is a scheme that parametrizes all zero-dimensional ideals that have an O-border basis. In general, the O-border basis scheme is not an affine space. Subsequently, in [Huib09] it is proved that if an order ideal with "d" elements is defined in a two-dimensional polynomial ring and it is of some special shapes, then the O-border basis scheme is isomorphic to the affine space of dimension 2d. This thesis is dedicated to find a more general condition for an O-border basis scheme to be isomorphic to an affine space of dimension "nd" that is independent of the shape of the order ideal with "d" elements and "n" is the dimension of the polynomial ring that the order ideal is defined in. We accomplish this in 6 Chapters. In Chapters 2 and 3 we develop the concepts and properties of border basis schemes. In Chapter 4 we transfer the smoothness criterion (see [Huib05]) for the point (0,...,0) in a Hilbert scheme of points to the monomial point of the border basis scheme by employing the tools from border basis theory. In Chapter 5 we explain trace and Jacobi identity syzygies of the defining equations of a O-border basis scheme and characterize them by the arrow grading. In Chapter 6 we give a criterion for the isomorphism between 2d dimensional affine space and O-border basis scheme by using the results from Chapters 3 and Chapter 4. The techniques from other chapters are applied in Chapter 6.1 to segment border basis schemes and in Chapter 6.2 to O-border basis schemes for which O is of the sawtooth form. KW - Border Bases, Border Basis Scheme, Monomial point, Cotangent Space, Hilbert Schemes KW - Polynomring KW - Basis (Mathematik) KW - Kommutative Algebra, Randbasen, Randbasen Schema Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-4702 ER - TY - THES A1 - Fischer, Andreas T1 - An Evaluation Methodology for Virtual Network Embedding N2 - The increasing scale and complexity of computer networks imposes a need for highly flexible management mechanisms. The concept of network virtualization promises to provide this flexibility. Multiple arbitrary virtual networks can be constructed on top of a single substrate network. This allows network operators and service providers to tailor their network topologies to the specific needs of any offered service. However, the assignment of resources proves to be a problem. Each newly defined virtual network must be realized by assigning appropriate physical resources. For a given set of virtual networks, two questions arise: Can all virtual networks be accommodated in the given substrate network? And how should the respective resources be assigned? The underlying problem is commonly known as the Virtual Network Embedding problem. A multitude of algorithms has already been proposed, aiming to provide solutions to that problem under various constraints. For the evaluation of these algorithms typically an empirical approach is adopted, using artificially created random problem instances. However, due to complex effects of random problem generation the obtained results can be hard to interpret correctly. A structured evaluation methodology that can avoid these effects is currently missing. This thesis aims to fill that gap. Based on a thorough understanding of the problem itself, the effects of random problem generation are highlighted. A new simulation architecture is defined, increasing the flexibility for experimentation with embedding algorithms. A novel way of generating embedding problems is presented which migitates the effects of conventional problem generation approaches. An evaluation using these newly defined concepts demonstrates how new insights on algorithm behavior can be gained. The proposed concepts support experimenters in obtaining more precise and tangible evaluation data for embedding algorithms. KW - Virtual Network Embedding KW - Empirical Evaluation KW - Network Virtualization KW - Experimental Algorithmics KW - Virtuelles Netz KW - Virtualisierung KW - Algorithmus KW - Virtuelles Netz KW - Kombinatorische Einbettung Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-4793 ER - TY - THES A1 - Löwe, Stefan T1 - Effective Approaches to Abstraction Refinement for Automatic Software Verification N2 - This thesis presents various techniques that aim at enabling more effective and more efficient approaches for automatic software verification. After a brief motivation why automatic software verification is getting ever more relevant, we continue with detailing the formalism used in this thesis and on the concepts it is built on. We then describe the design and implementation of the value analysis, an analysis for automatic software verification that tracks state information concretely. From a thorough evaluation based on well over 4 000 verification tasks from the latest edition of the International Competition on Software Verification (SV-COMP), we learn that this plain value analysis leads to an efficient verification process for many verification tasks, but at the same time, fails to solve other verification tasks due to state-space explosion. From this insight we infer that some form of abstraction technique must be added to the value analysis in order to also allow the successful verification of large and complex verification tasks. As a solution, we propose to incorporate counterexample-guided abstraction refinement (CEGAR) and interpolation into the value domain. To this end, we design a novel interpolation procedure, that extracts from infeasible counterexamples interpolants for the value domain, allowing to form a precision strong enough to exclude these infeasible counterexamples, and to make progress in the CEGAR loop. We then describe several optimizations and extensions to these concepts, such that the value analysis with CEGAR becomes competitive for automatic software verification. As the next step, we combine the value analysis with CEGAR with a predicate analysis, to obtain a more precise and efficient composite analysis based on CEGAR. This composite analysis is indeed on a par with the world’s leading software verification tools, as witnessed by the results of SV-COMP’13 where this approach achieved the 2 nd place in the overall ranking. After having available competitive CEGAR-based analyses for the value domain, the predicate domain, and the combination thereof, we then turn our attention to techniques that have the goal to make all these CEGAR-based approaches more successful. Our first novel idea in this regard is based on the concept of infeasible sliced prefixes, which allow the computation of different precisions from a single infeasible counterexample. This adds choice to the CEGAR loop, while without this enhancement, no choice for a specific precision, i. e., a specific refinement, is possible. In our evaluation we show, for both the value analysis and the predicate analysis, that choosing different infeasible sliced prefixes during the refinement step leads to major differences in verification effectiveness and verification efficiency. Extending on the concept of infeasible sliced prefixes, we define several heuristics in order to precisely select a single refinement from a set of possible refinements. We make this new concept, which we refer to as guided refinement selection, available to both the value and predicate analysis, and in a large-scale evaluation we try to answer the question which selection technique leads to well suited abstractions and thus, to a more effective verification process. Additionally, we present the idea of inter-analysis refinement selection, where the refinement component of a composite analysis may decide which of its component analyses is best to be refined, and in yet another evaluation we highlight the positive effects of this technique. Finally, we present the results of SV-COMP’16, where the verifier we contributed and which is based on the concepts and ideas presented in this thesis achieved the 1 st place in the category DeviceDriversLinux64. KW - software verification, model checking, counterexample guided abstraction refinement, CEGAR, interpolation, sliced prefixes, refinement selection, value analysis, predicate analysis, CPAchecker, automatic, automated KW - Programmverifikation Y1 - 2017 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-4815 ER - TY - THES A1 - Rottgeri, André T1 - Mano Negra - Historiographie und Analyse im interkulturellen Kontext N2 - Untersuchungsgegenstand dieser Monographie ist die französische Gruppe Mano Negra, die Ende der 1980 Jahre in der Nähe von Paris gegründet wurde. Zu Beginn der Arbeit liegt der Fokus auf der Geschichtsschreibung zur Band, die sich nach einer kurzen aber erfolgreichen Karriere bereits 1994 wieder auflöste. Darüber hinaus steht das Debüt-Album (Patchanka) im Zentrum einer Beispielanalyse. Ziel dieser Analyse war es die interkulturellen Vermischungen in: Sprache, Musik und Artwork der Band aufzudecken. KW - Mano Negra KW - Popmusik KW - Musikalische Analyse KW - Mano Negra / Geschichte Y1 - 2013 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2754 ER - TY - THES A1 - Rosenthal, Kristina T1 - Die Tits-Alternative für eine relevante Klasse endlich präsentierter Gruppen unter besonderer Berücksichtigung computeralgebraischer Aspekte T1 - The Tits alternative for a relevant class of finitely presented groups in special consideration of symbolic computational aspects N2 - Eine Gruppe erfüllt die Tits-Alternative, wenn sie entweder eine nicht-abelsche freie Untergruppe vom Rang 2 enthält oder virtuell auflösbar ist, d. h. eine auflösbare Untergruppe von endlichem Index enthält. Diese Eigenschaft geht auf J. Tits zurück, der sie für endlich erzeugte lineare Gruppen nachwies. Es wird eine relevante Klasse endlich präsentierter Gruppen in Bezug auf die Tits-Alternative untersucht. Die betrachteten Gruppen stellen eine Verallgemeinerung von Pride-Gruppen und der von Vinberg betrachteten Gruppen erzeugt von periodisch gepaarten Relationen für drei Erzeugende dar. Zusätzlich treten diese Gruppen als Fundamentalgruppen hyperbolischer Orbifaltigkeiten auf. Es wird der Nachweis der Tits-Alternative unter bestimmten Voraussetzungen an die Präsentierungen der betrachteten Gruppen erbracht. Für diesen Nachweis werden verschiedene Methoden angewandt: Es werden zum einen homomorphe Bilder der Gruppen betrachtet. Zum anderen wird die Existenz wesentlicher Darstellungen in eine lineare Gruppe nachgewiesen. Basierend auf diesen Darstellungen kann in vielen Fällen der Nachweis der Existenz nicht-abelscher freier Untergruppen erbracht werden. Zusätzlich wird für den Nachweis der Endlichkeit und damit der Tits-Alternative einiger Gruppen eine Methode angewandt, die auf Berechnungen von Gröbner-Basen in nicht-kommutativen Polynomringen basiert. Es wird dabei die Dimension der Gruppenringe betrachtet als Vektorräume berechnet. Für die betrachtete Klasse von Gruppen wird für Relationen der Blocklänge 1 die Tits-Alternative vollständig nachgewiesen. Als Folgerung ergibt sich eine Klassifikation der endlichen unter diesen Gruppen. N2 - A group is said to satisfy the Tits alternative if it contains a non-abelian free subgroup of rank 2 or is virtually solvable, i. e. it contains a solvable subgroup of finite index. This property was established by J. Tits, who proved that it is satisfied by finitely generated linear groups. A relevant class of finitely presented groups is investigated concerning the Tits alternative. These groups are generalizations for the three generator case of the so called Pride groups and the groups defined by periodic paired relations as considered by Vinberg. Furthermore, these groups appear as fundamental groups of hyperbolic orbifolds. The Tits alternative is proved for the considered groups under certain conditions concerning their presentations. Several methods to prove the Tits alternative are used: On the one hand, homomorphic images of the groups are considered. On the other hand, the existence of essential representations in a linear group is proved. Based on these representations, the existence of non-abelian free subgroups is proved in many cases. In addition, a method using Gröbner bases computations in non-commutative polynomial rings is used to prove a group is finite and thus satisfies the Tits alternative. For this purpose, the dimension of the group ring considered as a vector space is investigated. The considered groups with block length 1 are proved to satisfy the Tits alternative. As a conclusion, a classification of the finite considered groups with block length 1 is obtained. KW - Tits-Alternative KW - nicht-kommutative Gröbner-Basis KW - Tits alternative KW - non-commutative Gröbner basis KW - Kombinatorische Gruppentheorie KW - Gröbner-Basis Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2865 ER - TY - THES A1 - Nagel, Volker T1 - Three Essays on Moral Self-Regulation of Honesty and Impression Management N2 - In study 1 an introduction to the research on moral self-regulation is provided alongside with an explanation of the two manifestations of moral self-regulation: moral licensing and moral cleansing. At the core of the first study is an experiment which was designed to identify moral licensing and cleansing in the domain of honesty. The experiment merges relevant studies from social psychology and experimental economics. It assesses the question if moral self-regulation exists within the domain of honesty or more precisely, if the truth and lies are told in such a way as to balance each other out. After manipulating participants’ moral balances (either positively or negatively), rates of truth-telling are compared to a neutral baseline scenario. Since neither moral licensing nor moral cleansing is observed, the results provide no support to the initial hypothesis that moral self-regulation exists within the domain of honesty. Study 2 builds on these results and discusses possible reasons for the absence of moral self-regulation. The research on moral hypocrisy and self-concept maintenance are presented and discussed as possible explanations. In order to shed more light on participants’ behavior, a coding procedure is presented that was used on the dataset from study 1. This approach makes it possible to quantify participants’ handwritten stories that resulted from the moral manipulation in study 1 and gain more insights on how truth-telling and lying affect the moral balance. By analyzing (dis)honesty on a more detailed level, results show that participants tend to act consistent to what they revealed about themselves in their stories. Study 3 links together aspects of moral self-regulation, moral hypocrisy and impression management. The "looting game" is presented which lets participants loot money from a charity box being subject to altruistic punishment from observers. For their punishment decision observers are provided with a history of participants’ past actions. This design allows to assess how misconduct, punishment and the creation of a favorable impression interact and ultimately impact profits. The results indicate that moral cleansing, and not the desire to trick observers, is the reason for manipulation. Participants who loot money from the charity box do not expect to receive less punishment, rather they simply want to present a more favorable picture of themselves. On the other hand, observers fully account for the possibility of manipulation and tend to disregard a manipulated history. The looting game therefore brings the hypothesis into question that impressions are managed and manipulated to increase profits. KW - moral licensing KW - moral cleansing KW - dishonesty KW - self-image KW - altruistic punishment KW - Selbstevaluation KW - Ethik KW - Verhaltensökonomie KW - Theorie Y1 - 2014 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2896 ER - TY - JOUR ED - Nies, Martin T1 - Schriften zur Kultur- und Mediensemiotik | Online. Ausgabe 1 N2 - Inhalt der ersten Ausgabe der Schriften zur Kultur- und Mediensemiotik | Online Martin Nies (Hrsg.) Vorwort zur ersten Ausgabe Martin Siefkes Sturm auf die Zeichen: Was die Semiotik von ihren Kritikern lernen kann Hans Krah German “volkstümliche Musik” of the Early Nineties and ‘Modern Society’: Strategies of De-Individualisation as a Contribution to a Collective Re-Organisation Martin Nies Culture-Clash-Komödien der Gegenwart: Konzeptionen von Transkulturalität, Intrakulturalität und Gender in Türkisch für Anfänger, Fack ju Göhte und Zwei Familien auf der Palme Martin Hennig Krise … continued: Populärkulturelle Funktionen seriellen Krisenerzählens am Beispiel Breaking Bad Impressum T3 - Schriften zur Kultur- und Mediensemiotik | Online - 2015.1.0 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2949 UR - http://www.kultursemiotik.com/forschung/publikationen/schriftenreihe-online/skms-online-no-12015/ SN - 2364-9224 IS - 1 ER - TY - JOUR A1 - Siefkes, Martin T1 - Sturm auf die Zeichen: Was die Semiotik von ihren Kritikern lernen kann N2 - In den letzten Jahren hat sich in der Philosophie, Ästhetik, Kunst- und Bildwissenschaft eine Reihe von Denkern zu Wort gemeldet, die die Semiotik grundlegend kritisieren. Es kann mittlerweile von einer antisemiotischen Bewegung gesprochen werden, die sich mit Namen wie Dieter Mersch, Hans Belting, Gernot Böhme, Hans Ulrich Gumbrecht oder Lambert Wiesing verbindet. Dabei wird mit Begriffen wie „Materialität“, „Präsenz“, „Aura“, „Ereignis“ und „hermeneutischer Widerständigkeit“ argumentiert, um Aspekte zu benennen, die die Semiotik nicht berücksichtigt habe und die in Zukunft anstelle von Zeichenphänomenen verstärkt beachtet werden sollten. Dieser Beitrag setzt sich mit der Kritik auseinander, zeigt die Leistungsfähigkeit und Grenzen semiotischer Theoriebildung auf und diskutiert Konsequenzen für die Semiotik und die Einzelwissenschaften, in denen die Kritik geäußert wird. T3 - Schriften zur Kultur- und Mediensemiotik | Online - 2015.1.1 Y1 - 2015 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:739-opus4-2951 ER -