Universality of Büchi Automata: Analysis With Graph Neural Networks
Stammet, Christophe and Ultes-Nitsche, Ulrich and Fischer, Andreas,
IEEE Access
11
(2023), 140993–141007
| Article
Analyzing Büchi Automata with Graph Neural Networks
Stammet, C. and Dotti, P. and Ultes-Nitsche, U. and Fischer, A.,
arXiv
(2022)
| Article
A Simple and Optimal Complementation Algorithm for BüChi Automata
in Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
Allred, Joel D. and Ultes-Nitsche, Ulrich
(New York, NY, USA:
Association for Computing Machinery,
2018), 46–55
ISBN: 9781450355834
| Chapter
Complementing Büchi Automata with a Subset-tuple Construction
Allred, Joel and Ultes-Nitsche, Ulrich,
Department of Informatics, University of Fribourg,
(2015)
| Misc
Structure Comparison of Binary and Weighted Niche-Overlap Graphs
in Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014
Nayla Sokhn and Richard Baltensperger and Louis-Félix Bersier and Ulrich Ultes-Nitsche and Jean Hennebert
(
2014), 119–127
| Chapter
Structure analysis of niche-overlap graphs: NetSci2013
in NetSci2013
Sokhn, Nayla and Baltensperger, Richard and Hennebert, Jean and Ultes-Nitsche, Ulrich and Bersier, Louis-Félix
(
2013)
| Chapter
Structural Network Properties of Niche-Overlap Graphs
in International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2013, Kyoto, Japan, December 2-5, 2013
Nayla Sokhn and Richard Baltensperger and Louis-Félix Bersier and Ulrich Ultes-Nitsche and Jean Hennebert
(
2013), 478–482
| Chapter
Proceedings of the 4th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2012)
, ed. by Freund, Rudolf and Holzer, Markus and Truthe, Biance and Ultes-Nitsche, Ulrich
(
Austrian Computer Society,
2012)
| Book
$k$-Counting Automata
Allred, Joël and Ultes-Nitsche, Ulrich,
Rairo Journal of Theoretical Informatics and Applications
46.4
(2012), 461–478
| Article
Identification of Chordless Cycles in Ecological Networks
Nayla Sokhn and Richard Baltensperger and Louis-Felix Bersier and Jean Hennebert and Ulrich Ultes-Nitsche
(
2012)
| Conference
cPLC - A cryptographic programming language and compiler
Bangerter, E. and Krenn, S. and Seifriz, M. and Ultes-Nitsche, U.,
2011 Information Security for South Africa - Proceedings of the ISSA 2011 Conference
(2011)
| Article
$k$-Counting Automata
in Proceedings of the 3rd International Workshop on Non-Classical Models of Automata and Applications (NCMA 2011)
Allred, Joël and Ultes-Nitsche, Ulrich
(
2011)
| Chapter
A Proof of Concept Implementation and Evaluation of a Zero Configuration Authentication Option for EAP-TLS
in Essener Workshop zur Netzsicherheit
Latze, Carolin and Ultes-Nitsche, Ulrich
(Essen, Germany:
2010)
| Chapter
Transport Layer Security (TLS) Extensions for the Trusted Platform Module (TPM)
Latze, Carolin and Ultes-Nitsche, Ulrich and Baumgartner Florian,
(2009)
| Misc
Extensible Authentication Protocol Method for Trusted Computing Groups (TCG) Trusted Platform Modules
Latze, Carolin and Ultes-Nitsche, Ulrich and Baumgartner Florian,
(2009)
| Misc
Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Proceedings of the 6th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2008; In Conjunction with ICEIS 2008: Foreword
Ultes-Nitsche, U. and Moldt, D. and Augusto, J.C.,
Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS)- Proc. 6th Int. Workshop on MSVVEIS 2008; In Conjunction with ICEIS 2008
(2008)
| Article
Immune System Based Intrusion Detection
in Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
Christoph Ehret and Ulrich Ultes-Nitsche
(Johannesburg, South Africa:
2008)
| Chapter
Visual Correlation in the Context of Post-Mortem Analysis
in Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
Michael Hayoz and Ulrich Ultes-Nitsche
(Johannesburg, South Africa:
2008)
| Chapter
Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks
in IEEE Conference on Local Computer Networks (LCN 2008)
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner
(Montreal, Canada:
2008)
| Chapter
Proceedings of the 6th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
, ed. by Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos
(Barcelona, Spain:
INSTICC Press,
2008)
| Book
A Proof-of-Concept Implementation of EAP-TLS with TPM support
in Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008)
Carolin Latze and Ulrich Ultes-Nitsche
(Johannesburg, South Africa:
2008)
| Chapter
Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks
in Proceedings of the IEEE ComSoc 2008 International Conference on Software, Telecommunications and Computer Networks (SoftCom 2008)
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner
(Split, Dubrovnik, Croatia:
2008)
| Chapter
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way
in Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
Nicola, Thierry and Nießner, Frank and Ultes-Nitsche, Ulrich
, ed. by Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos
(Barcelona, Spain:
INSTICC Press,
2008), 49–58
| Chapter
Weakly Continuation Closed Homomorphisms on Automata
in Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
Nicola, Thierry and Ultes-Nitsche, Ulrich
, ed. by Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos
(Barcelona, Spain:
INSTICC Press,
2008), 39–48
| Chapter
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2007)
, ed. by Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche
(Funchal, Madeira, Portugal:
INSTICC Press,
2007)
| Book
Improving Network Reliability by avoiding Misconfiguration
in Proceedings of the 6th International Workshop on Design and Reliable Communication Networks (DRCN 2007)
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche
(La Rochelle, France:
2007)
| Chapter
A role model to cope with the complexity of network configuration
in Proceedings of the International Network Optimization Conference (INOC 2007)
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche
(Spa, Belgium:
2007)
| Chapter
RVS Retreat at Quarten
Torsten Braun and Ulrich Ultes-Nitsche and Marc Brogle and Dragan Milic and Patrick Lauer and Thomas Staub and Gerald Wagenknecht and Markus Anwander and Markus Waelchli and Markus Wulff and Carolin Latze and Michael Hayoz and Christoph Ehret and Thierry Nicola,
(2007)
| Article
A Complete Characterization of Deterministic Regular Liveness Properties
Frank Niessner and Ulrich Ultes-Nitsche,
Theoretical Computer Science (TCS)
387
(2007), 187–195
| Article
Strong Mutual Authentication in a User-Friendly Way in EAP-TLS
in Proceedings of the IEEE ComSoc 2007 International Conference on Software, Telecommunications and Computer Networks (SoftCom 2007)
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner
(Split, Dubrovnik, Croatia:
2007)
| Chapter
Towards more adequate EIS
Barjis, J. and Augusto, J.C. and Ultes-Nitsche, U.,
Science of Computer Programming
65.1
(2007), 1-3
| Article
Using a Trusted Platform Module to enable a Secure Usage of Nodes in Company Networks. An extension of the AEGIS approach
in 15. ITG/GI - Fachtagung Kommunikation in verteilten Systemen (KIVS 2007)
Carolin Latze and Ulrich Ultes-Nitsche
(Bern, Switzerland:
2007)
| Chapter
A power-set construction for reducing Büchi automata to non-determinism degree two
Ulrich Ultes-Nitsche,
Information Processing Letters (IPL)
101.3
(2007), 107–111
| Article
Proceedings of the 4th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)
, ed. by Barjis, Joseph and Ulrich Ultes-Nitsche and Augusto, Juan Carlos
(Paphos, Cyprus:
INSTICC Press,
2006)
| Book
Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-learning Project
in Proceedings of the ISSA 2006 from Insight to Foresight Conference (ISSA 2006)
Aurelius Baier and Thomas Bernoulli and Torsten Braun and Christoph Graf and Ulrich Ultes-Nitsche
, ed. by Jan Eloff and Hein Venter and Les Labuschagne and Mariki Eloff
(Sandton, South Africa:
2006)
| Chapter
Testing of Semantic Properties in XML Documents
in Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche
(Paphos, Cyprus:
2006), 38–46
| Chapter
Non-signature based virus detection: Towards establishing a unknown virus detection technique using SOM
Yoo, I.S. and Ultes-Nitsche, U.,
Journal in Computer Virology
2.3
(2006), 163-186
| Article
Non-Signature Based Virus Detection: Towards Establishing Unknown Virus Detection Technique Using SOM
InSeon Yoo and Ulrich Ultes-Nitsche,
Journal in Computer Virology
2.3
(2006), 163–186
| Article
Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009: Foreword
Moldt, D. and Augusto, J.C. and Ultes-Nitsche, U.,
Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2009, in Conjunction with ICEIS 2009
(2005)
| Article
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
, ed. by Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche
(Miami, Florida, USA:
INSTICC Press,
2005)
| Book
A Unit Testing Framework for Network Configurations
in Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche
(Miami, Florida, USA:
2005), 77-82
| Chapter
Model-checking Inherently Fair Linear-time Properties
in Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
Thierry Nicola and Fank Nießner and Ulrich Ultes-Nitsche
(Miami, Florida, USA:
2005), 3-8
| Chapter
Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
, ed. by Augusto, Juan Carlos and Ulrich Ultes-Nitsche
(Porto, Portugal:
INSTICC Press,
2004)
| Book
Editors of Special issue on Verification and Computational Logic
Michael Leuschel and Andreas Podelski and Ramakrishnan, C.R. and Ulrich Ultes-Nitsche,
Theory and Practice of Logic Programming (TPLP)
4.5-6
(2004)
| Article
The Role of Simulation in a Network Configuration Engineering Approach
in Proceedings of the ITI 2nd International Conference on Information & Communication Technology (ICICT 2004)
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche
(Cairo, Egypt:
2004)
| Chapter
Run-time Protocol-Conformance Verification in Firewalls
in Proceedings of the 4th Conference on Information Security for South Africa (ISSA 2004)
Ulrich Ultes-Nitsche and InSeon Yoo
(Johannesburg, South Africa:
2004)
| Chapter
Towards Run-time Protocol Anomaly Detection and Verification
in Proceedings of the 1st International Conference on E-Business and Telecommunication Networks (ICETE 2004)
InSeon Yoo and Ulrich Ultes-Nitsche
(Setubal, Portugal:
2004)
| Chapter
How to Predict Email Viruses under Uncertainty
in Proceedings of the 23rd IEEE International Performance, Computing and Communications Conference, IPCCC 2004, Workshop on Information Assurance (WIA 04)
InSeon Yoo and Ulrich Ultes-Nitsche
(Phoenix, Arizona, USA:
2004)
| Chapter
Editors of the Special Issue on the Second International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
Juan Carlos Augusto and Ulrich Ultes-Nitsche,
Journal of Universal Computer Science (J.UCS)
10.11
(2004)
| Article
Introduction to the special issue on Verification and Computational Logic
Leuschel, M. and Podelski, A. and Ramakrishnan, C.R. and Ultes-Nitsche, U.,
Theory and Practice of Logic Programming
4.5-6
(2004), 543-544
| Article
New Technologies for Information Systems, Proceedings of NDDL 2003 and VVEIS 2003
, ed. by Pedro Isaías and Florence Sedes and Augusto, Juan Carlos and Ulrich Ultes-Nitsche
(Setúbal, Portugal:
ICEIS Press,
2003)
| Book
Adaptive Detection of Worms/Viruses in Firewalls
in Proceedings of the IASTED International Conference onCommunication, Network, and Information Security(CNIS 2003)
InSeon Yoo and Ulrich Ultes-Nitsche
(New York, USA):
2003)
| Chapter
Steps towards an Intelligent Firewall — A Basic Model
in Proceedings of the 2nd Conference on Information Security for South Africa (ISSA 2003)
Ulrich Ultes-Nitsche and InSeon Yoo
(Sandton, Johannesburg, South Africa:
2003), 155–167
| Chapter
Improved verification of linear-time properties within fairness: Weakly continuation-closed behaviour abstractions computed from trace reductions
Ultes-Nitsche, U. and St James, S.,
Software Testing Verification and Reliability
13.4
(2003), 241-255
| Article
Improved Verification of Linear-time Properties within Fairness — Weakly Continuation-closed Behaviour Abstractions Computed from Trace Reductions
Ultes-Nitsche, Ulrich and St James, Simon,
Software Testing, Verification and Reliability (STVR)
13.4
(2003), 241–255
| Article
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2002)
, ed. by Michael Leuschel and Ulrich Ultes-Nitsche
(Pittsburgh, PA, USA:
2002)
| Book
Simulation and Implementation of an E-Commerce Network Infrastructure using XML Specifications
in Proceedings of the 5th International Conference on Business Information Systems (BIS 2002)
Simon Chudley and Ulrich Ultes-Nitsche
(Poznan, Poland:
2002)
| Chapter
Configuring Firewalls — An XML-based Approach to Modelling and Implementing Firewall Configurations
in Proceedings of the 2nd Conference on Information Security for South Africa (ISSA 2002)
Simon Chudley and Ulrich Ultes-Nitsche
(Misty Hills, Muldersdrift, South Africa:
2002)
| Chapter
An Integrated Network Security Approach — Pairing Detecting Malicious Patterns with Anomaly Detection
in Proceedings of the 2nd Conference on Information Security for South Africa (ISSA 2002)
Ulrich Ultes-Nitsche and InSeon Yoo
(Misty Hills, Muldersdrift, South Africa:
2002)
| Chapter
Intelligent Firewall: Packet-Based Recognition Against Internet-Scale Virus Attacks
in Proc. Conference on Communications and Computer Networks (CCN 2002)
InSeon Yoo and Ulrich Ultes-Nitsche
(
2002)
| Chapter
in Proc. SOFSEM Conference, SOFSEM 2002 Student Research Forum
InSeon Yoo and Ulrich Ultes-Nitsche
(
2002), 59-64
| Chapter
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
in Proceedings of the 29th Annual Conference on Current Trends in Theory and Practice of Informatics (SOFSEM 2002)
Ulrich Ultes-Nitsche
(Milovy, Czech Republic:
Springer Verlag,
2002)
| Chapter
Secure Internet-Access to Medical Data
in Knowledge Media in Health Care — Opportunities & Challenges
Ulrich Ultes-Nitsche and Stephanie Teufel
, ed. by Rolf Grütter
(Hershey, PA, USA:
Idea Group,
2002)
| Chapter
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2001)
, ed. by Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich
(Florence, Italy:
2001)
| Book
Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
, ed. by Stefania Gnesi and Ulrich Ultes-Nitsche
(Paris, France:
INRIA Press, Rhône-Alpes, France,
2001)
| Book
Acceso Seguro por Internet a datos médicos
Ulrich Ultes-Nitsche and Stephanie Teufel,
CEPIS Upgrade Novatica
(2001), 49-53
| Article
Secure Internet-Access to Medical Data
Ulrich Ultes-Nitsche and Stephanie Teufel,
Informatik — Journal of the Swiss Chapter of the ACM
Special Issue on the ECIS 2000 Health Care Track
(2001), 23–26
| Article
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties
in Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21$^{\mbox{st}}$ International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea
Ulrich Ultes-Nitsche and St James, Simon
, ed. by Myungchul Kim and Byoungmoon Chin and Sungwon Kang and Danhyung Lee
(
Kluwer,
2001), 369–376
| Chapter
Computing Property-Preserving Behaviour Abstractions from Trace Reductions: Abstraction-Based Verification of Linear-Time Properties under Fairness
in Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing
St. James, Simon and Ultes-Nitsche, Ulrich
(New York, NY, USA:
Association for Computing Machinery,
2001), 238–245
ISBN: 1581133839
| Chapter
Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000)
, ed. by Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich
(London, UK:
2000)
| Book
Secure Access to Medical Data over the Internet
in Trends in Information and Communication Systems for the 21st Century — Proceedings of the 8th European Conference on Information Systems
Ulrich Ultes-Nitsche and Stephanie Teufel
(Vienna, Austria:
2000)
| Chapter
Secure Server-Side Java Applications
Ulrich Ultes-Nitsche,
Informatik — Journal of the Swiss Chapter of the ACM
Invited Contribution to the Special Issue on Privacy in the Net
(2000), 30-32
| Article
Servidor Seguro para aplicaciones Java
Ulrich Ultes-Nitsche,
CEPIS Upgrade Novatica
(2000), 39-41
| Article
Weakly Continuation-Closed Abstractions can be Defined on Trace Reductions
in Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000)
Ulrich Ultes-Nitsche and St James, Simon
, ed. by Michael Leuschel and Andreas Podelski and C.R. Ramakrishnan and Ulrich Ultes-Nitsche
(
2000), 11 pages
| Chapter
Satisfaction up to Liveness — Automatic Verification based on Exhaustive Testing
Ulrich Ultes-Nitsche
(Pisa, Italy:
Springer Verlag,
2000), 237–248
| Chapter
Security of a Java-Servlet-Based Web-Hosted E-Mail System
in Proceedings of the 7th IFIP Working Conference on Information Security Management & Small Systems Security
Eleanor Hepworth and Ulrich Ultes-Nitsche
, ed. by J.H.P. Eloff and L. Labuschagne and R. von Solms and J. Verschuren
(Amsterdam, The Netherlands:
Kluwer Academic Press,
1999), 117–130
| Chapter
A Persistent-Set Approach to Abstract State-Space Construction in Verification
in SOFSEM'99 Theory and Practice of Informatics
Ulrich Ultes-Nitsche
, ed. by Jan Pavelka and Gerard Tel and Miroslav Bartosek
(Milovy, Czech Republic:
Springer Verlag,
1999), 463–470
| Chapter
Questions and Answers about Ten Formal Methods
in Proceedings of the 4th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'99)
Pieter Hartel and Michael Butler and Andrew Currie and Peter Henderson and Michael Leuschel and Andrew Martin and Adrian Smith and Ulrich Ultes-Nitsche and Robert Walters
, ed. by S.Gnesi and D. Latella
(Trento, Italy:
STAR/CNR,
1999), 179-203
| Chapter
The SH-Verification Tool — Abstraction-based Verification of Co-operating Systems
Peter Ochsenschläger and Jürgen Repp and Roland Rieke and Ulrich Nitsche,
Formal Aspects of Computing
10
(1998), 381–404
| Article
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Ulrich Ultes-Nitsche,
Electronic Notes in Theoretical Computer Science
18
(1998), 1–17
| Article
Privacy and Efficiency in Patient Focused Health Care Processes
in Proceedings of the 9th World Congress on Medical Informatics (MedInfo'98)
Othmar Morger and Ulrich Nitsche and Stephanie Teufel
(Seoul, Korea:
1998), 1–10
| Chapter
Deterministic $\omega$-Regular Liveness Properties
in Proceedings of the 3rd International Conference on Developments in Language Theory (DLT'97)
Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger
, ed. by Symeon Bozapalidis
(Thessaloniki, Greece:
1998), 237–247
| Chapter
On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets
in Proceedings of the International Colloquium on Universal Machines and Computations (MCU'98)
Nitsche, Ulrich
(Metz, France:
1998), 169–181
| Chapter
Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks
Ulrich Nitsche,
Journal of Systems and Software
40.3
(1998), 227–248
| Article
Verification of Co-Operating Systems and Behaviour Abstraction
Ulrich Nitsche
(Sankt Augustin, Germany:
GMD,
1998)
| Book
Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
in Proceedings of the MFCS'98 Workshop on Concurrency — Algorithms and Tools (satellite workshop to the 23rd International Symposium on Mathematical Foundations of Computer Science)
Ulrich Nitsche
, ed. by P. Jancar and M. Kretinsky
(Brno, Czech Republic:
1998)
| Chapter
Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform
in Global IT Security – Proceedings of the 14th International Information Security Conference (IFIP/Sec'98, part of the 15th IFIP World Computer Congress)
Nitsche, Ulrich and Holbein, Ralph and Morger, Othmar and Teufel, Stephanie
(Vienna/Budapest, Austria/Hungary:
Austrian Computer Society,
1998), 160-1-70
| Chapter
The SH-Verification Tool — Abstraction-Based Verification of Co-Operating Systems
Ochsenschläger, P. and Repp, J. and Rieke, R. and Nitsche, U.,
Form. Asp. Comput.
10.4
(1998), 381–404
| Article
The MobiMed Approach to Privacy in Medical Systems
in Proceedings of the 2nd Nordic Workshop on Secure Computer Systems (NORDSEC'97)
Bauknecht, Kurt and Holbein, Ralph and Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie
(Helsinki University of Technology, Finland:
1997)
| Chapter
Datenschutz als Qualitätskriterium für Krankenhausinformationssysteme
in 42.\ Jahrestagung der Deutschen Gesellschaft für Medizinische Informatik, Biometrie und Epidemologie (GMDS) '97
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie
(Ulm, Germany:
1997)
| Chapter
MobiMed—Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)
in Proceedings of the 12th International Workshop on Computing in Clinical Laboratories (CCL'97)
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie
(Lugano, Switzerland:
1997)
| Chapter
Deterministic $\omega$-Regular Liveness Properties
in Preproceedings of the 3rd International Conference on Developments in Language Theory (DLT'97)
Nießner, Frank and Nitsche, Ulrich and Ochsenschläger, Peter
(
1997)
| Chapter
The SH-Verification Tool
in Proceedings of the 2nd International Workshop on Formal Methods for Industrial Critical Systems (FMICS'97)
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland
(Cesena, Italy:
1997)
| Chapter
Security Concerns for Mobile Information Systems in Health Care
in Proceedings of the 8th International Workshop on Database and Expert Systems Applications (DEXA'97)
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie
(Toulouse, France:
IEEE Press,
1997), 312–317
| Chapter
Interpretation of the Full Computation Tree Logic CTL$^*$ on Sets of Infinite Sequences
in Proceedings of the 4th International Symposium on Logical Foundations of Computer Science (LFCS'97)
Nitsche, Ulrich
, ed. by Nerode, Anil and Adian, Sergei
(Yaroslavl, Russia:
Springer Verlag,
1997), 276–282
| Chapter
Relative Liveness and Behavior Abstraction (Extended Abstract)
in Proceedings of the Sixteenth Annual ACM Symposium on Principles of Distributed Computing
Nitsche, Ulrich and Wolper, Pierre
(New York, NY, USA:
Association for Computing Machinery,
1997), 45–52
ISBN: 0897919521
| Chapter
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Ulrich Nitsche and Peter Ochsenschläger,
Information Processing Letters
60
(1996), 201–206
| Article
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
in Proceedings of the 1st International Workshop on Formal Methods for Industrial Critical Systems (FMICS'96)
Nitsche, Ulrich and Ochsenschläger, Peter
(Oxford, U.K.:
1996)
| Chapter
Abschluß bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik – SERVINT2
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Link, Astrid and Nitsche, Ulrich and Noll, Armin and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland,
GMD,
(1996)
| Misc
Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik – SERVINT2
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Nitsche, Ulrich and Ochsenschläger, Peter,
GMD,
(1996)
| Misc
Verification and Behavior Abstraction — Towards a Tractable Verification Technique for Large Distributed Systems
Ulrich Nitsche,
Journal of Systems and Software
33.3
(1996), 273–285
| Article
Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction
in Proceedings of the 1st International Workshop on Advanced Intelligent Networks (AIN'96)
Capellmann, Carla and Demant, Ralph and Galvez-Estrada, Raphael and Nitsche, Ulrich and Ochsenschläger, Peter
, ed. by Tiziana Margaria
(Passau, Germany:
1996), 71–90
| Chapter
A Finitary Language Semantics for Propositional Linear Temporal Logic
in Proceedings of the 2nd International Conference on Developments in Language Theory (DLT'95)
Nitsche, Ulrich
, ed. by Dassow, Jürgen and Rozenberg, Grzegorz and Salomaa, Arto
(Magdeburg, Germany:
World Scientific, Singapore,
1996), 482–489
| Chapter
The SH-Verification Tool
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen,
GMD – Forschungszentrum Informationstechnik,
(1996)
| Misc
Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks
in Proceedings of the 8th International Conference on Computer Aided Verification (CAV'96)
Capellmann, Carla and Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Raphael and Nitsche, Ulrich and Ochsenschläger, Peter
(New Brunswick, NJ:
Springer Verlag,
1996), 466–469
| Chapter
A Finitary Language Semantics for Propositional Linear Temporal Logic (Abstract)
in Preproceedings of the 2nd International Conference on Developments in Language Theory (DLT'95)
Nitsche, Ulrich
(
1995)
| Chapter
Abschluß bericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik – SERVINT
Demant, Ralph and Fatahi-Vanani, Farhad and Galvez-Estrada, Rafael and Nitsche, Ulrich and Ochsenschläger, Peter,
GMD,
(1995)
| Misc
Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik – SERVINT
Nitsche, Ulrich and Ochsenschläger, Peter,
GMD,
(1995)
| Misc
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschläger, Peter,
GMD – Forschungszentrum Informationstechnik,
(1995)
| Misc
A Verification Method Based on Homomorphic Model Abstraction
in Proceedings of the 13th Annual ACM Symposium on Principles of Distributed Computing (PODC'94)
Nitsche, Ulrich
(Los Angeles:
ACM Press,
1994), 393
| Chapter
Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs
in National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge für Petrinetze, AWP'94)
Nitsche, Ulrich
, ed. by Desel, Jörg and Oberweis, Andreas and Reisig, Wolfgang
(
Humboldt Universität Berlin,
1994), 42–47
| Chapter
Simple Homomorphisms and Linear Temporal Logic
Nitsche, Ulrich,
GMD – Forschungszentrum Informationstechnik,
(1994)
| Misc
Propositional Linear Temporal Logic and Language Homomorphisms
in Proceedings of the 3rd International Symposium on Logical Foundations of Computer Science (LFCS'94)
Nitsche, Ulrich
, ed. by Nerode, Anil and Matiyasevich, Yuri V.
(Saint Petersburg, Russia:
Springer Verlag,
1994), 265–277
| Chapter
A Verification Method Based on Homomorphic Model Abstractions (Abstract)
in Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing
Nitsche, Ulrich
(New York, NY, USA:
Association for Computing Machinery,
1994), 393
ISBN: 0897916549
| Chapter
Das Erreichbarkeitsproblem für eingeschränkte Produktnetze
Nitsche, Ulrich,
Diploma dissertation, University of Frankfurt, Germany,
(1991)
| Misc
Erreichbarkeitsanalyse von Produktnetzen
Nitsche, Ulrich,
Gesellschaft für Mathematik und Datenverarbeitung (GMD),
(1991)
| Misc
Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
Nitsche, Ulrich,
Gesellschaft für Mathematik und Datenverarbeitung (GMD),
(1988)
| Misc