@book{OPUS4-379, title = {Steuerung der Versorgung}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Haarfeld}, address = {H{\"u}rth}, isbn = {978-3-7747-1762-6}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3795}, publisher = {Universit{\"a}t Passau}, pages = {XI, 138 S.}, year = {2014}, abstract = {VORWORT Die Versorgung von Kranken und Verletzten im Rahmen von ambulanter und station{\"a}rer Kranken- und Heilbehandlung ist in erster Linie eine Aufgabe von {\"A}rzten, Therapeuten, Pflegern, Apothekern. Die vielf{\"a}ltige T{\"a}tigkeit dieser Medizinalpersonen bei Akutbehandlung, Rehabilitation sowie nachfolgender medizinischer Betreuung kann in der Weise gestaltet werden, dass sowohl die st{\"a}ndige Verbesserung der Versorgung in den einzelnen Sektoren des Gesundheitsgeschehens als auch die Koordinierung zwischen diesen T{\"a}tigkeitsfeldern analysiert und bei erkennbarem Bedarf so gestaltet wird, dass die in diesen Bereichen vorhandenen Erkenntnisse und F{\"a}higkeiten optimal eingesetzt werden. Diesem Zweck dienen Aktivit{\"a}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-{\"O}sterreichischen Sozialrechtsgespr{\"a}che 2013 haben sich bereichs{\"u}bergreifend und aus deutsch-{\"o}sterreichischer Perspektive mit diesem Ph{\"a}nomen befasst. Die Tagung 2013 geht von der {\"U}berlegung aus, dass angesichts der Gleichartigkeit der Ziele und Probleme von „krankheits- bzw. gesundheitsbezogenem Management" ein diesbez{\"u}glicher Gedanken- und Erfahrungsaustausch zwischen den Akteuren aus den verschiedenen Bereichen, die sich diesen Dingen widmen, aufschlussreich, anregend und f{\"u}r jeden der Beteiligten gewinnbringend sein m{\"u}sste. Nicht alle Akteure konnten bei der Tagung 2013 einbezogen werden; so ist z. B. die Rentenversicherung hinsichtlich ihrer Leistungen zur gesundheitsbezogenen Pr{\"a}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{\"a}gen vertreten; allerdings werden diesbez{\"u}glich aufschlussreiche und informative Einblicke gew{\"a}hrt, einerseits durch Informationen aus dem Blickwinkel des Verbandes des privaten Krankenversicherungen, anderseits durch detaillierte Schilderungen von deutschen und {\"o}sterreichischen Unternehmen, die von den Versicherungen mit der Durchf{\"u}hrung von „Gesundheits-Management" beauftragt sind; diese Berichte enthalten auch Informationen {\"u}ber die jeweils verbindlichen Vorgaben und Regelungswerke, die bei diesen Aktivit{\"a}ten maßgebend sind und aus deren Aktivit{\"a}ten sich unschwer R{\"u}ckschl{\"u}sse ziehen lassen auf die {\"U}berlegungen der jeweiligen Auftraggeber im Hinblick auf die Gestaltung des Versorgungsmanagements. Somit handelt es sich bei den hier abgedruckten Beitr{\"a}gen um {\"U}berlegungen, die in ihren Ans{\"a}tzen aus institutionellem Blickwinkel sehr unterschiedlich sind. Dabei ist bemerkenswert, dass auch die prim{\"a}ren Ziele entsprechender Aktivit{\"a}ten unterschiedlich akzentuiert sind: Teils wird normorientiert von den einschl{\"a}gigen Rechtsvorschriften des Leistungsrechts ausgegangen; teils haben die {\"U}berlegungen und die darauf aufbauende Gestaltung des Versorgungsmanagements ihren Ausgangspunkt bei den finanziellen Rahmenbedingungen eines Versicherungssystems. Ob aus der Perspektive der Erf{\"u}llungsgehilfen der Leistungserbringer Autonomie und Kreativit{\"a}t, Fachwissen und auch gesch{\"a}ftliches Interesse geschildert werden oder ob die klassischen mit breiter Vorbildwirkung maßgebenden Aktivit{\"a}ten aus dem {\"o}ffentlich-rechtlichen Bereich - in Erf{\"u}llung von entsprechenden Rechtspflichten - im Interesse von Gesch{\"a}digten, aber durchaus auch mit finanziellem Interessenhintergrund dargelegt werden - im Ergebnis zeigt sich, dass ein weitgehender Gleichklang der gedanklichen Ans{\"a}tze zu beobachten ist. Damit ist der Weg f{\"u}r einen konstruktiven Austausch von Gedanken und Erfahrungen er{\"o}ffnet, untereinander innerhalb der Bereiche jeweils der {\"o}ffentlichen und der privaten Verwaltungen, {\"u}ber die Grenzen von Privaten und {\"O}ffentlichen hinweg und zudem im Vergleich der einschl{\"a}gigen Aktivit{\"a}ten in Deutschland und in {\"O}sterreich. INHALTSVERZEICHNIS Otfried Seewald Einf{\"u}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 ({\"O}sterreich) 65 Monika Fr{\"o}schl Begleitung von Menschen mit chronischer Erkrankung - Vision und Wirklichkeit 73 Marcus Vogel „Rehabilitationsmanagement" f{\"u}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 {\"o}sterreichischen gesetzlichen Krankenversicherung 97 Florian Reuther Steuerung der Versorgung aus der Sicht der privaten Krankenversicherung 121 Johannes Polak Steuerung der Versorgung in der {\"o}sterreichischen privaten Krankenversicherung 129}, subject = {Deutschland}, language = {de} } @book{OPUS4-380, title = {Rechtsschutz und Verfahren im Vertragspartnerrecht}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried and Jungwirth, Carola}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3803}, publisher = {Universit{\"a}t Passau}, pages = {135 S.}, year = {2016}, abstract = {VORWORT Anlass f{\"u}r die Befassung mit dem Thema „Rechtsschutz und Verfahren" sind {\"A}nderungen im {\"o}sterreichischen Verfahrensrecht, und zwar des Verwaltungs- und Gerichtsverfahrens im Bereich des Vertragspartnerrechts der gesetzlichen Krankenversicherung durch die Schaffung von Verwaltungsgerichten in {\"O}sterreich. Darzustellen ist dabei einerseits das neu geschaffene System der Verwaltungsgerichtsbarkeit an sich (Referat Pabel) und andererseits die konkreten Verfahrensvorschriften f{\"u}r den niedergelassenen Bereich (Referat Raschauer) und den station{\"a}ren Bereich (Referat St{\"o}ger). Ein Bericht aus der bisherigen Praxis des (neuen {\"o}sterreichischen) Bundesverwaltungsgerichts rundet den {\"o}sterreichischen Teil des Programms ab (Referat Parzer). Gem{\"a}ß dem rechtsvergleichenden Anliegen der Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}che wurden des Weiteren die entsprechenden Regelungen und Institutionen in Deuschland dargestellt. Der {\"U}berblick {\"u}ber das Verfahren und den Rechtsschutz im Vertragspartenerbereich (Referat Seewald) wurde erg{\"a}nzt und vertieft durch den Bericht {\"u}ber die Schieds- und Schlichtungsverfahren sowie den Rechtsschutz im Krankenhausbereich (Referat Felix). Weiterhin wurden Verfahren und Rechtsschutz im vertrags{\"a}rztlichen Schiedswesen, insbesondere auf der Grundlage der h{\"o}chstrichterlichen Rechtsprechung des Bundessozialgerichts, dargestellt (Referat D{\"u}ring). Jeder Beitrag ist - f{\"u}r sich betrachtet - aufschlussreich f{\"u}r die Bem{\"u}hungen der Gestalter sowohl der {\"o}sterreichischen als auch der deutschen Rechtsordnung (in erster Linie die Gesetzgeber und die zur Streitentscheidung berufenen Institutionen), bereichsspezifische L{\"o}sungen f{\"u}r ein Gebiet zu finden, das einerseits sozialrechtlich gepr{\"a}gt ist, mit einer ausgepr{\"a}gten Bevorzugung partnerschaftlicher L{\"o}sungen, andererseits dem Wirtschaftsverwaltungsrecht zuzuordnen ist; aus beiden Bereichen stammt offenbar eine gewisse Affinit{\"a}t f{\"u}r das Schiedswesen. Zumindest ebenso interessant ist auch die rechtsvergleichende Analyse auf der Grundlage der Zusammenschau der Beitr{\"a}ge. Sie zeigt Gemeinsamkeiten in den Bem{\"u}hungen f{\"u}r bereichsad{\"a}quate L{\"o}sungen, aber auch - in beiden L{\"a}ndern - deutliche Kritikpunkte; diese betreffen sowohl die Kompliziertheit der jeweils gefundenen Regelungen als auch Schw{\"a}chen bei ihrem Vollzug. Ein diesbez{\"u}glich „gelobtes Land" hat sich nicht gezeigt. So gesehen d{\"u}rfen die Ergebnisse dieser Tagung - gemeinsamen Erkenntnisse aus rechtsvergleichender Sicht - auch als eine hilfreiche Grundlage gesehen werden f{\"u}r eine weitere Fortentwicklung in diesem Bereich. INHALTSVERZEICHNIS Univ.-Prof. Dr. Katharina Pabel Die Neuordnung des Rechtsschutzes im Verwaltungsverfahren in {\"O}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 - {\"U}berblick und Vertragsarztbereich/Kassenarztbereich 51 Univ.-Prof. Dr. Karl St{\"o}ger Vertragspartnerrechtliches Verfahren und Rechtsschutz im station{\"a}ren Bereich in {\"O}sterreich nach der Verwaltungsgerichtsbarkeitsnovelle 2012 75 Univ.-Prof. Dr. Dagmar Felix Schieds- und Schlichtungsverfahren sowie Rechtsschutz im station{\"a}ren Bereich in Deutschland 91 Dr. Ruth D{\"u}ring Verfahren und Rechtsschutz im vertrags{\"a}rztlichen Schiedswesen in Deutschland 109 Dr. Maria Parzer Praktische Erfahrungen aus der Sicht des Bundesverwaltungsgerichts 129 Hinweis auf die bisherigen Tagungsb{\"a}nde der 1. bis 14. Deutsch{\"O}sterreichischen Sozialrechtsgespr{\"a}che 135}, language = {de} } @book{OPUS4-382, title = {Der Vertragsarzt im Spannungsfeld zwischen gesundheitspolitischer Steuerung und Freiheit der Berufsaus{\"u}bung}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Manz}, address = {Wien}, isbn = {3-214-06215-8}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3821}, publisher = {Universit{\"a}t Passau}, pages = {XII, 209 S.}, year = {1999}, abstract = {VORWORT Der vorliegende Band widmet sich den Rechtsbeziehungen zwischen gesetzlicher Krankenversicherung und {\"A}rzteschaft. Grundrechtliche Positionen wie Erwerbsfreiheit und Berufsaus{\"u}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 {\"u}beraus komplexen juristischen Probleme werden im vorliegenden Band einer wissenschaftlichen Analyse unterzogen, wobei vor allem aus dem rechtsvergleichenden Ansatz heraus neue L{\"o}sungsm{\"o}glichkeiten gesucht werden. Die Beitr{\"a}ge gehen zur{\"u}ck auf Referate im Rahmen einer juristischen Tagung, die am 28. und 29. 1. 1999 unter dem Titel „Deutsch-{\"o}sterreichische Sozialrechtsgespr{\"a}che" an der Universit{\"a}t Linz stattgefunden hat. Diese Tagung wurde gemeinsam vom Institut f{\"u}r Arbeitsrecht und Sozialrecht der Universit{\"a}t Linz, dem Lehrstuhl f{\"u}r Staats-und Verwaltungsrecht, insbesondere Sozialrecht der Universit{\"a}t Passau und der Ober{\"o}sterreichischen Gebietskrankenkasse veranstaltet. Die Herausgeber danken der Ober{\"o}sterreichischen Gebietskrankenkasse f{\"u}r die Mitorganisation und Mitfinanzierung der Tagung sowie des vorliegenden Bandes. INHALTSVERZEICHNIS Ingwer Ebsen Rechtsfragen der vertrags{\"a}rztlichen Stellenplanung in Deutschland 1 Christian Kopetzki Rechtsfragen der vertrags{\"a}rztlichen Stellenplanung in {\"O}sterreich 31 Ulrich Becker Altersgrenze(n) f{\"u}r Vertrags{\"a}rzte in der deutschen Gesetzlichen Krankenversicherung 59 Christoph Grabenwarter Altersgrenze f{\"u}r Vertrags{\"a}rzte in {\"O}sterreich 85 Otfried Seewald Die Auswahl der Vertragspartner durch die Versicherungstr{\"a}ger in Deutschland 101 Reinhard Resch Die Auswahl der Vertragspartner durch den Versicherungstr{\"a}ger in {\"O}sterreich 149 Dagmar Felix K{\"u}ndigungsschutz f{\"u}r freiberufliche Vertrags{\"a}rzte in Deutschland 171 Reinhard Geist K{\"u}ndigungsschutz f{\"u}r freiberufliche Vertrags{\"a}rzte in {\"O}sterreich 195}, subject = {Deutschland}, language = {de} } @book{OPUS4-383, title = {Wettbewerb in der gesetzlichen Krankenversicherung}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Schulz}, address = {Starnberg}, isbn = {3-7962-0577-1}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3835}, publisher = {Universit{\"a}t Passau}, pages = {XI, 119 S.}, year = {2000}, abstract = {VORWORT Die „Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}che" haben sich bei ihrer diesj{\"a}hrigen Tagung, die am 27. und 28. Januar 2000 auf Schloß Neuburg, dem Tagungszentrum der Universit{\"a}t Passau, stattgefunden hat, mit dem Thema „Wettbewerb in der gesetzlichen Krankenversicherung" befasst. Dies ist auch der Titel des Tagungsbandes, mit dem die Beitr{\"a}ge der Referenten einem gr{\"o}ß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, {\"u}ber Bindungen selbst zu entscheiden. Es ist kein Zufall, dass dieser Begriff in der Zeit der Aufkl{\"a}rung als Leitidee des {\"o}konomischen Idealismus erscheint. Die damaligen Verh{\"a}ltnisse in Staat und den mit ihm eng verbundenen Gesellschaftsschichten waren weitgehend durch ein hohes Maß an pers{\"o}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{\"a}fte"; der Staat habe nur bestimmte Rahmenbedingungen zu setzen - und die {\"o}konomischen Probleme w{\"u}rden sich optimal l{\"o}sen, nicht nur f{\"u}r das Wohlergehen des Staates selbst, sondern auch f{\"u}r jeden Einzelnen; darin steckt die Forderung nach einem im Wesentlichen staatsfreien Wettbewerb. Die Vorstellung, dass damit gleichsam eine Harmonie pr{\"a}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{\"u}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{\"a}rft durch {\"o}konomische Faktoren, die nicht zuletzt durch den zusammenwachsenden europ{\"a}ischen Markt und das Zusammenwachsen des Weltmarkts entstanden sind. Gel{\"o}st werden m{\"u}ssen diese Probleme (auch) in jedem einzelnen Staat. Die rechtsvergleichende Betrachtungsweise der "Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}che" verspricht auch im Hinblick auf die Frage des Wettbewerbs in der gesetzlichen Krankenversicherung Erkenntnisse, die {\"u}ber die Betrachtung nur eines Regelungssystems hinausgehen. Diese Tagung wurde auch in diesem Jahr gemeinsam vorbereitet und veranstaltet durch das Institut f{\"u}r Arbeitsrecht und Sozialrecht der Universit{\"a}t Linz und den Lehrstuhl f{\"u}r Staats- und Verwaltungsrecht, insbesondere Sozialrecht, der Universit{\"a}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{\"u}cksichtigung der {\"o}ffentlichen Unternehmen - eine Bestandsaufnahme 1 Armin Jungbluth Wettbewerbsrecht im Gesundheitswesen 25 Melanie Paulus Wettbewerb innerhalb der gesetzlichen Krankenversicherung und im Verh{\"a}ltnis zur privaten Krankenversicherung - Rechtslage in Deutschland 33 Rudolf Mosler Wettbewerb innerhalb der gesetzlichen Krankenversicherung und im Verh{\"a}ltnis zur privaten Krankenversicherung - Rechtslage in {\"O}sterreich 45 Horst Dieter Schirmer Wettbewerb und {\"a}rztliches Berufsrecht in Deutschland 65 Wolfgang Mazal Wettbewerb und {\"a}rztliches Berufsrecht 85 Andreas Wagener Wettbewerb und Krankenanstalten in Deutschland 101 Konrad Grillberger Krankenanstalten und Wettbewerb in {\"O}sterreich 109}, subject = {Deutschland}, language = {de} } @book{OPUS4-384, title = {Finanzausgleich in der Gesetzlichen Krankenversicherung}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Haarfeld}, address = {Essen}, isbn = {3-7747-1768-X}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3846}, publisher = {Universit{\"a}t Passau}, pages = {XII, 164 S.}, year = {2002}, abstract = {VORWORT Ein in mehr oder weniger zahlreiche Versicherungstr{\"a}ger gegliedertes, gesetzlich vorgeschriebenes Versicherungssystem wird wohl stets einen Finanzausgleich vorsehen; denn es d{\"u}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{\"o}he finanziell belastet werden. In einer Einheitskasse ist das kein grunds{\"a}tzliches Problem insoweit, als eine einzige Versichertengemeinschaft und somit eine einzige Risikostruktur besteht. Bei mehreren Versicherungstr{\"a}gern k{\"o}nnen sich unterschiedliche Risikostrukturen einstellen - mit der Folge einer im Quervergleich zwischen den Versicherungstr{\"a}gern ungleichen und ungerecht empfundenen Beitragsbelastung. Dieses Problem kann sich versch{\"a}rfen, wenn den Versicherungstr{\"a}gern im Hinblick auf die Gewinnung von Mitgliedern der Wettbewerb untereinander er{\"o}ffnet wird. Das Thema "Wettbewerb in der gesetzlichen Krankenversicherung" war Gegenstand der Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}che 2000 (der diesbez{\"u}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{\"a}ger nahezu g{\"a}nzlich ungebunden w{\"a}hlen k{\"o}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-{\"O}sterreichischen Sozialrechtsgespr{\"a}che 2002 haben sich mit dem "Finanzausgleich in der Gesetzlichen Krankenversicherung" befasst; der vorliegende Tagungsband dokumentiert die Vortr{\"a}ge dieser Veranstaltung aus {\"o}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{\"u}r Arbeitsrecht und Sozialrecht der Universit{\"a}t Linz und den Lehrstuhl f{\"u}r Staats- und Verwaltungsrecht, insbesondere Sozialrecht, der Universit{\"a}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 {\"O}hlinger Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung - grunds{\"a}tzliche Vorgaben der Verfassung und ihre Ausformung in den bisherigen Gesetzen 1 Peter Axer Beitragsbemessung und Finanzausgleich in der Gesetzlichen Krankenversicherung 15 J{\"u}rgen Wasem/Stefan Greß {\"U}berlegungen zur Beitragsbemessung sowie zum Finanz- und Risikostrukturausgleich aus {\"o}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{\"a}nderbericht {\"O}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}, subject = {Deutschland}, language = {de} } @book{OPUS4-385, title = {Qualit{\"a}tssicherung f{\"u}r Leistungen in der gesetzlichen Krankenversicherung}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Manz}, address = {Wien}, isbn = {3-214-06328-6}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3850}, publisher = {Universit{\"a}t Passau}, pages = {XIV, 126 S.}, year = {2003}, abstract = {VORWORT L{\"a}ngst wird auch im Zusammenhang mit medizinischen Behandlungen eine Diskussion {\"u}ber Maßnahmen der Qualit{\"a}tssicherung gef{\"u}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{\"a}tssicherung auch auf das Recht der gesetzlichen Krankenversicherung haben. Mit der Einbeziehung von Medizinern und Juristen wird die n{\"o}tige Ausgangsbasis f{\"u}r die Untersuchung der einschl{\"a}gigen Vorschriften zur Qualit{\"a}tssicherung im Krankenversicherungsrecht hergestellt. Der vorliegende Band geht auf die Referate im Rahmen der f{\"u}nften „deutsch-{\"o}sterreichischen Sozialrechtsgespr{\"a}che" zur{\"u}ck, welche am 30. und 31. J{\"a}nner 2003 an der Universit{\"a}t Linz als Kooperation des Instituts f{\"u}r Arbeitsrecht und Sozialrecht der Universit{\"a}t Linz, des Lehrstuhls f{\"u}r Staats-und Verwaltungsrecht, insbesondere Sozialrecht der Universit{\"a}t Passau und der Ober{\"o}sterreichischen Gebietskrankenkasse stattgefunden haben. Die Herausgeber schulden der Ober{\"o}sterreichischen Gebietskrankenkasse Dank f{\"u}r die finanzielle und organisatorische Unterst{\"u}tzung der Tagung. INHALTSVERZEICHNIS Georg Entmayr Rechtliche {\"U}berlegungen zur Qualit{\"a}tssicherung im niedergelassenen Bereich nach \S343 Abs5 ASVG 1 Otfried Seewald Definition und Ziele der medizinischen Qualit{\"a}tssicherung in Deutschland 11 Karl St{\"o}ger Qualit{\"a}tssicherung an der Schnittstelle zwischen Medizin und Recht 35 Roland Benkowitsch Leitlinien und medizinische Standards als Instrument der Qualit{\"a}tssicherung in Deutschland 65 Gerhard Aigner Leitlinien und medizinische Standards als Instrumente der Qualit{\"a}tssicherung in {\"O}sterreich 81 Helmut Platzer Qualit{\"a}tskontrolle aus kassenrechtlicber Sicht in Deutschland 93 Rudolf Mosler Qualit{\"a}tskontrolle (insbesondere auch aus kassenrechtlicher Sicht) in {\"O}sterreich 105}, subject = {{\"O}sterreich}, language = {de} } @book{OPUS4-386, title = {Sozialversicherung im Umbruch. Hat die Selbstverwaltung Zukunft?}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Manz}, address = {Wien}, isbn = {3-214-09340-1}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3861}, publisher = {Universit{\"a}t Passau}, pages = {XIII, 142 S.}, year = {2005}, abstract = {VORWORT Aktuell wird in vielen L{\"a}ndern der Europ{\"a}ischen Union {\"u}ber die Organisation der Sozialversicherung diskutiert. Vorteile, Nachteile und Zukunftschancen der Selbstverwaltung z{\"a}hlen dabei zu den Diskussionsfeldern mit hoher emotioneller Beteiligung. Im Rahmen der 7. Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}che (27. und 28.1.2005) wurde vor allem aus juristischer und {\"o}konomischer Perspektive gepr{\"u}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{\"a}glichen Praxis der Selbstverwaltung kommen, soll helfen, die wissenschaftliche Analyse in umsetzungsrelevante Schlussfolgerungen {\"u}berzuf{\"u}hren. Der vorliegende Band dokumentiert die Beitr{\"a}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{\"o}sterreichischen Gebietskrankenkasse f{\"u}r die maßgebende Unterst{\"u}tzung der Tagung und dieses Tagungsbandes Dank. INHALTSVERZEICHNIS Gerhard Kleinhenz Einf{\"u}hrender Systemvergleich 1 Gerhard Reber Zentralisation versus Dezentralisation 25 Rainer Fuchs Perspektiven der Selbstverwaltung in der Sozialversicherung 43 Walter P{\"o}ltner Probleme der praktischen Ausgestaltung von Selbstverwaltung in {\"O}sterreich 57 Otfried Seewald Probleme der praktischen Ausgestaltung von Selbstverwaltung in Deutschland 79 Helmut Platzer Zusammenhang Finanzausgleich und Strukturreform 135}, subject = {Deutschland}, language = {de} } @book{OPUS4-387, title = {Medizinische Rehabilitation}, editor = {Jabornegg, Peter and Resch, Reinhard and Seewald, Otfried}, publisher = {Manz}, address = {Wien}, isbn = {978-3-214-09342-6}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3872}, publisher = {Universit{\"a}t Passau}, pages = {XVI, 193 S.}, year = {2009}, abstract = {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{\"o}glich. Die Einbettung der medizinischen Rehabilitation in das Recht der gesetzlichen Sozialversicherung erwies sich als schwierig, weisen doch verschiedene Sparten der gesetzlichen Sozialversicherung Ber{\"u}hrungspunkte zur medizinischen Rehabilitation auf, sodass durchaus verschiedene Tr{\"a}ger f{\"u}r die Leistungserbringung zust{\"a}ndig sein k{\"o}nnten. Dem Schnittstellenmanagement zwischen den potentiell zust{\"a}ndigen Tr{\"a}gern kommt damit maßgebliche rechtliche und {\"o}konomische Bedeutung zu. Die 11. Deutsch-{\"O}sterreichischen Sozialrechtsgespr{\"a}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 {\"O}sterreich. Die Herausgeber schulden der Ober{\"o}sterreichischen Gebietskrankenkasse f{\"u}r die maßgebende Unterst{\"u}tzung der Tagung und dieses Tagungsbandes Dank. INHALTSVERZEICHNIS Gottfried Endel (Medizinische) Prozessbeschreibung aus Sicht der {\"o}sterreichischen Sozialversicherung 1 Roland Benkowitsch Prozessbeschreibung der medizinischen Rehabilitation aus deutscher Sicht 21 Johannes Rudda Das System der Rehabilitation in {\"O}sterreich 33 Otfried Seewald Medizinische Rehabilitation - die Rechtslage im deutschen SV-Recht 57 Anhang Medizinische Rehabilitation im Sozialversicherungsrecht - "Rehabilitationsrecht" - Ausz{\"u}ge aus dem Sozialgesetzbuch (SGB) 105 Reinhard Resch Medizinische Rehabilitation in {\"O}sterreich: Leistungsrecht und Ber{\"u}hrungspunkte zum Arbeitsrecht 137 Hans Peter Spiegl Ausgew{\"a}hlte leistungsrechtliche Probleme im Zusammenhang mit Rehabilitation - ausgew{\"a}hlte leistungsrechtliche Probleme in Deutschland 155 Bernhard Albert Schnittstellenmanagement bei medizinischer Rehabilitation in {\"O}sterreich 171 Eckart Stevens-Bartol Schnittstellen im Recht der Rehabilitation in Deutschland 179}, subject = {Deutschland}, language = {de} } @misc{Hennig2015, author = {Hennig, Martin}, title = {Krise … continued: Popul{\"a}rkulturelle Funktionen seriellen Krisenerz{\"a}hlens am Beispiel Breaking Bad}, doi = {10.15475/skms.2015.1.4}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2987}, pages = {97-120}, year = {2015}, abstract = {Die zentrale Fragestellung der folgenden Ausf{\"u}hrungen wird dementsprechend lauten, durch welche scheinbar extrem popul{\"a}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{\"a}gungen zum seriellen Erz{\"a}hlen vorausgeschickt. Im Rahmen der darauf folgenden Handlungsanalyse wird insbesondere auf das vorgef{\"u}hrte Familienmodell, die kausale Weltordnung der Diegese, Identit{\"a}tskonflikte des Protagonisten, B{\"u}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.}, language = {de} } @phdthesis{Liebig2015, author = {Liebig, J{\"o}rg}, title = {Analysis and Transformation of Configurable Systems}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2996}, school = {Universit{\"a}t Passau}, pages = {160}, year = {2015}, abstract = {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.}, subject = {Refactoring}, language = {en} } @phdthesis{Braun2015, author = {Braun, Bastian}, title = {Web-based Secure Application Control}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3048}, school = {Universit{\"a}t Passau}, year = {2015}, abstract = {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.}, subject = {Computersicherheit}, language = {en} } @phdthesis{Wiemann2015, author = {Wiemann, Joachim}, title = {Diskriminierungsverbote unter Privaten: Rechtsdurchsetzung im deutschen und US-amerikanischen Recht}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-3162}, school = {Universit{\"a}t Passau}, pages = {236}, year = {2015}, abstract = {Die Arbeit untersucht die Rechtsdurchsetzung von an Private gerichteten Diskriminierungsverboten im deutschen Recht und im US-Bundesrecht. Teil 1 f{\"u}hrt in die Fragestellung der Arbeit ein und behandelt rechtssystem{\"u}bergreifende Grundlagen. Teil 2 stellt den Rahmen des Unionsrechts f{\"u}r nationales Antidiskriminierungsrecht dar. Die Teile 3 und 4 sind der Analyse eines Rechtsfolgensystems gewidmet. Der dritte Teil besch{\"a}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{\"u}ck. Die Untersuchung geht dabei sowohl grundlegenden Strukturentscheidungen nach (wie z. B. dem fast vollst{\"a}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{\"u}r die Verletzung von Diskriminierungsverboten auf ihre Eignung zur Verhaltenssteuerung anhand verschiedener Modelle; dabei wird ein interdisziplin{\"a}rer Ansatz verfolgt, der insbesondere Erkenntnisse der {\"o}konomischen Analyse des Rechts ber{\"u}cksichtigt. Teil 7 enth{\"a}lt abschließende Bemerkungen.}, subject = {Diskriminierungsverbot}, language = {de} } @phdthesis{Sipal2017, author = {Sipal, Bilge}, title = {Border Basis Schemes}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-4702}, school = {Universit{\"a}t Passau}, year = {2017}, abstract = {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.}, subject = {Polynomring}, language = {en} } @phdthesis{Fischer2017, author = {Fischer, Andreas}, title = {An Evaluation Methodology for Virtual Network Embedding}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-4793}, school = {Universit{\"a}t Passau}, pages = {XVII, 179 S.}, year = {2017}, abstract = {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.}, subject = {Virtuelles Netz}, language = {en} } @phdthesis{Loewe2017, author = {L{\"o}we, Stefan}, title = {Effective Approaches to Abstraction Refinement for Automatic Software Verification}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-4815}, school = {Universit{\"a}t Passau}, pages = {XXI, 155 S.}, year = {2017}, abstract = {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.}, subject = {Programmverifikation}, language = {en} } @phdthesis{Rottgeri2013, author = {Rottgeri, Andr{\´e}}, title = {Mano Negra - Historiographie und Analyse im interkulturellen Kontext}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2754}, school = {Universit{\"a}t Passau}, pages = {268}, year = {2013}, abstract = {Untersuchungsgegenstand dieser Monographie ist die franz{\"o}sische Gruppe Mano Negra, die Ende der 1980 Jahre in der N{\"a}he von Paris gegr{\"u}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{\"o}ste. Dar{\"u}ber hinaus steht das Deb{\"u}t-Album (Patchanka) im Zentrum einer Beispielanalyse. Ziel dieser Analyse war es die interkulturellen Vermischungen in: Sprache, Musik und Artwork der Band aufzudecken.}, subject = {Popmusik}, language = {de} } @phdthesis{Rosenthal2014, author = {Rosenthal, Kristina}, title = {Die Tits-Alternative f{\"u}r eine relevante Klasse endlich pr{\"a}sentierter Gruppen unter besonderer Ber{\"u}cksichtigung computeralgebraischer Aspekte}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2865}, school = {Universit{\"a}t Passau}, year = {2014}, abstract = {Eine Gruppe erf{\"u}llt die Tits-Alternative, wenn sie entweder eine nicht-abelsche freie Untergruppe vom Rang 2 enth{\"a}lt oder virtuell aufl{\"o}sbar ist, d. h. eine aufl{\"o}sbare Untergruppe von endlichem Index enth{\"a}lt. Diese Eigenschaft geht auf J. Tits zur{\"u}ck, der sie f{\"u}r endlich erzeugte lineare Gruppen nachwies. Es wird eine relevante Klasse endlich pr{\"a}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{\"u}r drei Erzeugende dar. Zus{\"a}tzlich treten diese Gruppen als Fundamentalgruppen hyperbolischer Orbifaltigkeiten auf. Es wird der Nachweis der Tits-Alternative unter bestimmten Voraussetzungen an die Pr{\"a}sentierungen der betrachteten Gruppen erbracht. F{\"u}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{\"a}llen der Nachweis der Existenz nicht-abelscher freier Untergruppen erbracht werden. Zus{\"a}tzlich wird f{\"u}r den Nachweis der Endlichkeit und damit der Tits-Alternative einiger Gruppen eine Methode angewandt, die auf Berechnungen von Gr{\"o}bner-Basen in nicht-kommutativen Polynomringen basiert. Es wird dabei die Dimension der Gruppenringe betrachtet als Vektorr{\"a}ume berechnet. F{\"u}r die betrachtete Klasse von Gruppen wird f{\"u}r Relationen der Blockl{\"a}nge 1 die Tits-Alternative vollst{\"a}ndig nachgewiesen. Als Folgerung ergibt sich eine Klassifikation der endlichen unter diesen Gruppen.}, subject = {Kombinatorische Gruppentheorie}, language = {de} } @phdthesis{Nagel2014, author = {Nagel, Volker}, title = {Three Essays on Moral Self-Regulation of Honesty and Impression Management}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2896}, school = {Universit{\"a}t Passau}, pages = {69}, year = {2014}, abstract = {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.}, subject = {Selbstevaluation}, language = {en} } @misc{OPUS4-294, title = {Schriften zur Kultur- und Mediensemiotik | Online. Ausgabe 1}, number = {1}, editor = {Nies, Martin}, organization = {Virtuelles Zentrum f{\"u}r kultursemiotische Forschung}, issn = {2364-9224}, doi = {10.15475/skms.2015.1}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2949}, pages = {124}, year = {2015}, abstract = {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{\"u}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{\"o}dien der Gegenwart: Konzeptionen von Transkulturalit{\"a}t, Intrakulturalit{\"a}t und Gender in T{\"u}rkisch f{\"u}r Anf{\"a}nger, Fack ju G{\"o}hte und Zwei Familien auf der Palme Martin Hennig Krise … continued: Popul{\"a}rkulturelle Funktionen seriellen Krisenerz{\"a}hlens am Beispiel Breaking Bad Impressum}, language = {de} } @misc{Siefkes2015, author = {Siefkes, Martin}, title = {Sturm auf die Zeichen: Was die Semiotik von ihren Kritikern lernen kann}, doi = {10.15475/skms.2015.1.1}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:739-opus4-2951}, pages = {7-42}, year = {2015}, abstract = {In den letzten Jahren hat sich in der Philosophie, {\"A}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{\"o}hme, Hans Ulrich Gumbrecht oder Lambert Wiesing verbindet. Dabei wird mit Begriffen wie „Materialit{\"a}t", „Pr{\"a}senz", „Aura", „Ereignis" und „hermeneutischer Widerst{\"a}ndigkeit" argumentiert, um Aspekte zu benennen, die die Semiotik nicht ber{\"u}cksichtigt habe und die in Zukunft anstelle von Zeichenph{\"a}nomenen verst{\"a}rkt beachtet werden sollten. Dieser Beitrag setzt sich mit der Kritik auseinander, zeigt die Leistungsf{\"a}higkeit und Grenzen semiotischer Theoriebildung auf und diskutiert Konsequenzen f{\"u}r die Semiotik und die Einzelwissenschaften, in denen die Kritik ge{\"a}ußert wird.}, language = {de} }