%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Ulrich Nitsche", %%% version = "1.02", %%% date = "17 November 2007", %%% time = "11:06:01 MST", %%% filename = "nitsche-ulrich.bib", %%% address = "University of Zurich %%% Department of Computer Science %%% Winterthurer Str. 190 %%% CH-8057 Zurich %%% Switzerland", %%% telephone = "?n/a?", %%% FAX = "?n/a?", %%% URL = "www.ifi.unizh.ch/staff/nitsche", %%% checksum = "18724 677 2537 26942", %%% email = "nitsche at ifi.unizh.ch (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "Formal Methods, Verification,", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications of %%% Ulrich Nitsche. The companion LaTeX file %%% nitsche-ulrich.ltx can be used to typeset %%% this bibliography. %%% %%% At version 1.02, the year coverage looked %%% like this: %%% %%% 1988 ( 1) 1992 ( 0) 1996 ( 11) %%% 1989 ( 0) 1993 ( 0) 1997 ( 11) %%% 1990 ( 0) 1994 ( 6) 1998 ( 3) %%% 1991 ( 2) 1995 ( 3) %%% 19xx ( 1) %%% %%% Article: 3 %%% InProceedings: 17 %%% Misc: 1 %%% PhdThesis: 1 %%% Proceedings: 7 %%% TechReport: 9 %%% %%% Total entries: 38 %%% %%% This file is available as part of the BibNet %%% Project. The master copy is available for %%% public access on ftp.math.utah.edu in the %%% directory tree /pub/bibnet/authors. It is %%% mirrored to netlib.bell-labs.com in the directory %%% tree /netlib/bibnet/authors, from which it is %%% available via anonymous ftp and the Netlib %%% service. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== %======================================================================= % Journal abbreviations: @String{j-INFO-PROC-LETT = "Information Processing Letters"} @String{j-J-SYST-SOFTW = "The Journal of Systems and Software"} %======================================================================= % Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-GMD = "GMD"} @String{pub-GMD:adr = "Bonn, Germany"} @String{pub-IEEE = "IEEE"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-SV = "Springer Verlag"} @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."} @String{pub-WORLD-SCI = "World Scientific Publishing Co. Pte. Ltd."} @String{pub-WORLD-SCI:adr = "P. O. Box 128, Farrer Road, Singapore 9128"} %======================================================================= % Series abbreviations: @String{ser-LNAI = "Lecture Notes in Artificial Intelligence"} @String{ser-LNCS = "Lecture Notes in Computer Science"} %======================================================================= % Bibliography entries: @TechReport{Nitsche:1988:EPI, author = "Ulrich Nitsche", title = "{Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG}", type = "Arbeitspapiere der GMD", number = "330", institution = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung (GMD)", address = "Darmstadt", month = aug, year = "1988", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @Misc{Nitsche:1991:EEP, author = "Ulrich Nitsche", title = "{Das Erreichbarkeitsproblem f{\"u}r eingeschr{\"a}nkte Produktnetze}", howpublished = "Diploma thesis, University of Frankfurt, Germany", month = feb, year = "1991", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", note = "Presented at the ITHEM-Meeting at the \'Ecole Normale Sup\'erieur, Paris, 1991.", } @TechReport{Nitsche:1991:EP, author = "Ulrich Nitsche", title = "{Erreichbarkeitsanalyse von Produktnetzen}", type = "Arbeitspapiere der GMD", number = "521", institution = "Gesellschaft f{\"u}r Mathematik und Datenverarbeitung (GMD)", address = "Darmstadt", month = apr, year = "1991", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Nitsche:1994:PLT, author = "Ulrich Nitsche", title = "Propositional Linear Temporal Logic and Language Homomorphisms", crossref = "Nerode:1994:LFC", pages = "265--277", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Nitsche:1994:SHL, author = "Ulrich Nitsche", title = "Simple Homomorphisms and Linear Temporal Logic", type = "Arbeitspapiere der GMD", number = "889", institution = "GMD --- Forschungszentrum Informationstechnik", address = "Darmstadt", month = dec, year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Nitsche:1994:VMB, author = "Ulrich Nitsche", title = "A Verification Method Based on Homomorphic Model Abstraction", crossref = "ACM:1994:PTA", pages = "393", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Los Angeles, CA, USA", } @InProceedings{Nitsche:1994:VTL, author = "Ulrich Nitsche", editor = "J{\"o}rg Desel and Andreas Oberweis and Wolfgang Reisig", booktitle = "National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge f{\"u}r Petrinetze, AWP'94)", title = "Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs", publisher = "Humboldt Universit{\"a}t Berlin", address = "Berlin, Germany", pages = "42--47", year = "1994", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Demant:1995:ABG, author = "Ralph Demant and Farhad Fatahi-Vanani and Rafael Galvez-Estrada and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "{Abschlu{\ss}bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik --- SERVINT}", type = "Abschlu{\ss}bericht", institution = pub-GMD, address = pub-GMD:adr, month = "Dezember", year = "1995", bibdate = "Mon Dec 15 11:58:42 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Nitsche:1995:ASP, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "Approximately Satisfied Properties of Systems and Simple Language Homomorphisms", type = "Arbeitspapiere der GMD", number = "965", institution = "GMD --- Forschungszentrum Informationstechnik", address = "Darmstadt", month = dec, year = "1995", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Nitsche:1995:ZGT, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "{Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik --- SERVINT}", type = "Zwischenbericht", institution = pub-GMD, address = pub-GMD:adr, month = "Juli", year = "1995", bibdate = "Mon Dec 15 11:58:42 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Capellmann:1996:CSS, author = "Carla Capellmann and Ralph Demant and Raphael Galvez-Estrada and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", editor = "Tiziana Margaria", booktitle = "Proceedings of the 1st International Workshop on Advanced Intelligent Networks (AIN'96)", title = "Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction", publisher = "????", address = "????", pages = "71--90", month = mar, year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Passau, Germany", } @InProceedings{Capellmann:1996:VBA, author = "Carla Capellmann and Ralph Demant and Farhad Fatahi-Vanani and Raphael Galvez-Estrada and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "Verification by Behavior Abstraction: {A} Case Study of Service Interaction Detection in Intelligent Telephone Networks", crossref = "Alur:1996:CAV", volume = "1102", pages = "466--469", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", series = "Lecture Notes in Computer Science", } @TechReport{Demant:1996:ABG, author = "Ralph Demant and Farhad Fatahi-Vanani and Rafael Galvez-Estrada and Astrid Link and Ulrich Nitsche and Armin Noll and Peter Ochsenschl{\"a}ger and J{\"u}rgen Repp and Roland Rieke", title = "{Abschlu{\ss}bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik --- SERVINTII}", type = "Abschlu{\ss}bericht", institution = pub-GMD, address = pub-GMD:adr, month = "Dezember", year = "1996", bibdate = "Mon Dec 15 11:58:42 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Demant:1996:ZGT, author = "Ralph Demant and Farhad Fatahi-Vanani and Rafael Galvez-Estrada and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "{Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik --- SERVINT2}", type = "Zwischenbericht", institution = pub-GMD, address = pub-GMD:adr, month = jul, year = "1996", bibdate = "Mon Dec 15 11:58:42 MST 1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @Article{Nitsche:1996:ASPa, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger", title = "Approximately Satisfied Properties of Systems and Simple Language Homomorphisms", journal = j-INFO-PROC-LETT, volume = "60", pages = "201--206", year = "1996", CODEN = "IFPLAT", ISSN = "0020-0190", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Nitsche:1996:ASPb, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger", booktitle = "Proceedings of the 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS'96)", title = "Approximately Satisfied Properties of Systems and Simple Language Homomorphisms", publisher = "????", address = "????", month = mar, year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Oxford, U.K.", } @InProceedings{Nitsche:1996:FLS, author = "Ulrich Nitsche", title = "A Finitary Language Semantics for Propositional Linear Temporal Logic", crossref = "Dassow:1996:DLT", pages = "482--489", year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @TechReport{Nitsche:1996:SVT, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger and J{\"u}rgen Repp", title = "The {SH-Verification Tool}", type = "Arbeitspapiere der GMD", number = "1007", institution = "GMD --- Forschungszentrum Informationstechnik", address = "Darmstadt", month = jul, year = "1996", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @Article{Nitsche:1996:VBA, author = "Ulrich Nitsche", title = "Verification and Behavior Abstraction --- Towards a Tractable Verification Technique for Large Distributed Systems", journal = j-J-SYST-SOFTW, volume = "33", number = "3", pages = "273--285", month = jun, year = "1996", CODEN = "JSSODM", ISSN = "0164-1212", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Bauknecht:1997:MAP, author = "Kurt Bauknecht and Ralph Holbein and Othmar Morger and Ulrich Nitsche and Stephanie Teufel", booktitle = "Proceedings of the 2nd Nordic Workshop on Secure Computer Systems (NORDSEC'97)", title = "The MobiMed Approach to Privacy in Medical Systems", publisher = "????", address = "????", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", note = "To be published.", confaddress = "Helsinki, Finland", } @InProceedings{Morger:1997:DQK, author = "Othmar Morger and Ulrich Nitsche and Stephanie Teufel", booktitle = "42.\ Jahrestagung der Deutschen Gesellschaft f{\"u}r Medizinische Informatik, Biometrie und Epidemologie (GMDS) '97", title = "{Datenschutz als Qualit{\"a}tskriterium f{\"u}r Krankenhausinformationssysteme}", publisher = "????", address = "????", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Ulm, Germany", } @InProceedings{Morger:1997:MPE, author = "Othmar Morger and Ulrich Nitsche and Stephanie Teufel", booktitle = "Proceedings of the 12th International Workshop on Computing in Clinical Laboratories (CCL'97)", title = "MobiMed---Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)", publisher = "????", address = "????", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Lugano, Switzerland", } @InProceedings{Morger:1997:SCM, author = "Othmar Morger and Ulrich Nitsche and Stephanie Teufel", title = "Security Concerns for Mobile Information Systems in Health Care", crossref = "Wagner:1997:PEI", pages = "312--317", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Toulouse, France", } @InProceedings{Niessner:1997:DRL, author = "Frank Nie{\ss}ner and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", booktitle = "Preproceedings of the 3rd International Conference on Developments in Language Theory (DLT'97)", title = "Deterministic $\omega$-Regular Liveness Properties", organization = "Aristotle University of Thessaloniki, Greece", publisher = "????", address = "????", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", } @InProceedings{Nitsche:1997:IFC, author = "Ulrich Nitsche", title = "Interpretation of the Full Computation Tree Logic {CTL}$^*$ on Sets of Infinite Sequences", crossref = "Adian:1997:LFC", volume = "1234", pages = "276--282", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", series = "Lecture Notes in Computer Science", } @InProceedings{Nitsche:1997:RLB, author = "Ulrich Nitsche and Pierre Wolper", title = "Relative Liveness and Behavior Abstraction (Extended Abstract)", crossref = "ACM:1997:PSA", pages = "45--52", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Santa Barbara, CA", } @InProceedings{Nitsche:1997:SVT, author = "Ulrich Nitsche and Peter Ochsenschl{\"a}ger and J{\"u}rgen Repp and Roland Rieke", booktitle = "Proceedings of the 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS'97)", title = "The {SH}-Verification Tool", publisher = "????", address = "????", year = "1997", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Cesena, Italy", } @InProceedings{Morger:1998:PEP, author = "Othmar Morger and Ulrich Nitsche and Stephanie Teufel", booktitle = "Proceedings of the 9th World Congress on Medical Informatics (MedInfo'98)", title = "Privacy and Efficiency in Patient Focused Health Care Processes", publisher = "????", address = "????", year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", confaddress = "Seoul, Korea", } @InProceedings{Niessner:1998:DRL, author = "Frank Nie{\ss}ner and Ulrich Nitsche and Peter Ochsenschl{\"a}ger", booktitle = "Proceedings of the 3rd International Conference on Developments in Language Theory (DLT'97)", title = "Deterministic $\omega$-Regular Liveness Properties", publisher = "????", address = "????", year = "1998", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", note = "To be published.", confaddress = "Thessaloniki, Greece", } @Article{Nitsche:1998:AFV, author = "Ulrich Nitsche", title = "Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks", journal = j-J-SYST-SOFTW, year = "1998", CODEN = "JSSODM", ISSN = "0164-1212", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", note = "Tentatively accepted for the special issue on Formal Methods Technology Transfer.", } @PhdThesis{Nitsche:19xx:VCO, author = "Ulrich Nitsche", title = "Verification of Co-Operating Systems and Behaviour Abstraction", school = "University of Frankfurt, Germany", year = "19xx", bibsource = "ftp://ftp.math.utah.edu/pub/bibnet/authors/n/nitsche-ulrich.bib", note = "Handed in in 1996.", } %======================================================================= % Cross-referenced entries must come last: @Proceedings{ACM:1994:PTA, editor = "{ACM}", booktitle = "Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing: Los Angeles, California, USA, August 14--17, 1994", title = "Proceedings of the Thirteenth Annual {ACM} Symposium on Principles of Distributed Computing: Los Angeles, California, {USA}, August 14--17, 1994", publisher = pub-ACM, address = pub-ACM:adr, pages = "ix + 406", year = "1994", ISBN = "0-89791-654-9", LCCN = "QA76.9.D5 A33 1994", bibdate = "Mon Dec 15 12:23:09 1997", acknowledgement = ack-nhfb, } @Proceedings{Nerode:1994:LFC, editor = "Anil Nerode and Iu. V. Matiiasevich", booktitle = "Logical foundations of computer science: third international symposium, {LFCS} '94, St. Petersburg, Russia, July 11--14, 1994: proceedings", title = "Logical foundations of computer science: third international symposium, {LFCS} '94, St. Petersburg, Russia, July 11--14, 1994: proceedings", volume = "813", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 392", year = "1994", CODEN = "LNCSD9", ISBN = "3-540-58140-5 (Berlin), 0-387-58140-5 (New York)", ISSN = "0302-9743", LCCN = "QA75.5 .L64 1994", bibdate = "Fri Apr 12 07:15:01 1996", series = ser-LNCS, acknowledgement = ack-nhfb, keywords = "computer science --- congresses; logic, symbolic and mathematical --- congresses", xxvolume = "4004711419", } @Proceedings{Alur:1996:CAV, editor = "Rajeev Alur and T. A. (Thomas A.) Henzinger", booktitle = "Computer aided verification: 8th international conference, {CAV} '96, New Brunswick, {NJ}, {USA}, July {31-August} 3, 1996: proceedings", title = "Computer aided verification: 8th international conference, {CAV} '96, New Brunswick, {NJ}, {USA}, July {31-August} 3, 1996: proceedings", volume = "1102", publisher = pub-SV, address = pub-SV:adr, pages = "xii + 472", year = "1996", ISBN = "3-540-61474-5", ISSN = "0302-9743", LCCN = "QA76.76.V47 C38 1996", bibdate = "Sat Dec 21 16:06:37 MST 1996", series = ser-LNCS, acknowledgement = ack-nhfb, alttitle = "CAV '96", keywords = "Computer software --- Verification --- Congresses.; Electronic digital computers --- Evaluation --- Congresses.", } @Proceedings{Dassow:1996:DLT, editor = "Jurgen Dassow and Grzegorz Rozenberg and Arto Salomaa", booktitle = "Developments in language theory {II}: at the crossroads of mathematics, computer science, and biology : Magdeburg, Germany, 17--21 July 1995", title = "Developments in language theory {II}: at the crossroads of mathematics, computer science, and biology : Magdeburg, Germany, 17--21 July 1995", publisher = pub-WORLD-SCI, address = pub-WORLD-SCI:adr, pages = "x + 491", year = "1996", ISBN = "981-02-2682-9", LCCN = "QA267.3 .D483 1996", bibdate = "Mon Dec 15 12:08:35 1997", acknowledgement = ack-nhfb, } @Proceedings{ACM:1997:PSA, editor = "{ACM}", booktitle = "Proceedings of the Sixteenth ACM Symposium on Principles of Distributed Computing: Santa Barbara, California, August 21--24, 1997", title = "Proceedings of the Sixteenth {ACM} Symposium on Principles of Distributed Computing: Santa Barbara, California, August 21--24, 1997", publisher = pub-ACM, address = pub-ACM:adr, pages = "viii + 297", year = "1997", ISBN = "0-89791-952-1", LCCN = "", bibdate = "Mon Dec 15 12:28:07 1997", note = "ACM order number 536970.", acknowledgement = ack-nhfb, } @Proceedings{Adian:1997:LFC, editor = "Sergei Adian and Anil Nerode", booktitle = "Logical foundations of computer science: 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6--12, 1997", title = "Logical foundations of computer science: 4th international symposium, {LFCS} '97, Yaroslavl, Russia, July 6--12, 1997", publisher = pub-SV, address = pub-SV:adr, pages = "ix + 492", year = "1997", ISBN = "", LCCN = "QA75.5 .L43 1997", bibdate = "Mon Dec 15 12:18:49 1997", acknowledgement = ack-nhfb, } @Proceedings{Wagner:1997:PEI, editor = "Roland R. Wagner", booktitle = "Proceedings: Eighth International Workshop on Database and Expert Systems Applications, September 1--2, 1997, Toulouse, France", title = "Proceedings: Eighth International Workshop on Database and Expert Systems Applications, September 1--2, 1997, Toulouse, France", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "xvii + 770", year = "1997", ISBN = "0-8186-8147-0, 0-8186-8148-9 (case), 0-8186-8149-7 (microfiche)", LCCN = "QA76.9.D3 D15592 1997b", bibdate = "Mon Dec 15 12:16:10 1997", acknowledgement = ack-nhfb, }