Ulrich Ultes-Nitsche

Stammet, C. and Dotti, P. and Ultes-Nitsche, U. and Fischer, A. , arXiv (2022) | Autre

Allred, Joel D. and Ultes-Nitsche, Ulrich, New York, NY, USA: Association for Computing Machinery (2018) | 颁辞苍蹿茅谤别苍肠别

Allred, Joel and Ultes-Nitsche, Ulrich (糖心Volg: 2015) | Chapitre de livre

Nayla Sokhn and Richard Baltensperger and Louis-F茅lix Bersier and Ulrich Ultes-Nitsche and Jean Hennebert, Complex Networks V - Proceedings of the 5th Workshop on Complex Networks CompleNet 2014, Bologna, Italy, March 12-14, 2014: (2014) | 颁辞苍蹿茅谤别苍肠别

Nayla Sokhn and Richard Baltensperger and Louis-F茅lix Bersier and Ulrich Ultes-Nitsche and Jean Hennebert, International Conference on Signal-Image Technology & Internet-Based Systems, SITIS 2013, Kyoto, Japan, December 2-5, 2013: (2013) | 颁辞苍蹿茅谤别苍肠别

Structure analysis of niche-overlap graphs: NetSci2013
Sokhn, Nayla and Baltensperger, Richard and Hennebert, Jean and Ultes-Nitsche, Ulrich and Bersier, Louis-F茅lix, NetSci2013: (2013) | 颁辞苍蹿茅谤别苍肠别

Nayla Sokhn and Richard Baltensperger and Louis-Felix Bersier and Jean Hennebert and Ulrich Ultes-Nitsche, COMPLEX 2012: (2012) | 颁辞苍蹿茅谤别苍肠别

k-Counting Automata
Rairo Journal of Theoretical Informatics and Applications (2012) | Article

Proceedings of the 4th International Workshop on Non-Classical Models of Automata and Applications (NCMA 2012)
Freund, Rudolf, Holzer, Markus, Truthe, Biance, Ultes-Nitsche, Ulrich (2012) | Livre

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) | 颁辞苍蹿茅谤别苍肠别

k-Counting Automata
Allred, Jo毛l, Ultes-Nitsche, Ulrich, Proceedings of the 3rd International Workshop on Non-Classical Models of Automata and Applications (NCMA 2011): (2011) | 颁辞苍蹿茅谤别苍肠别

A Proof of Concept Implementation and Evaluation of a Zero Configuration Authentication Option for EAP-TLS
Latze, Carolin and Ultes-Nitsche, Ulrich, Essen, Germany: (2010) | 颁辞苍蹿茅谤别苍肠别

Latze, Carolin, Ultes-Nitsche, Ulrich, Baumgartner Florian (2009) | Livre

Standtke, R. and Ultes-Nitsche, U., ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies: (2008) | 颁辞苍蹿茅谤别苍肠别

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) | 颁辞苍蹿茅谤别苍肠别

Weakly Continuation Closed Homomorphisms on Automata
Nicola, Thierry and Ultes-Nitsche, Ulrich, Barcelona, Spain: INSTICC Press (2008) | 颁辞苍蹿茅谤别苍肠别

Checking Inherently Fair Linear-Time Properties in a Non-Na茂ve Way
Nicola, Thierry and Nie脽ner, Frank and Ultes-Nitsche, Ulrich, Barcelona, Spain: INSTICC Press (2008) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the 6th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2008)
Ultes-Nitsche, Ulrich, Moldt, Daniel, Augusto, Juan Carlos, 茅d. par Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos (Barcelona, Spain: INSTICC Press, 2008) | Livre

Immune System Based Intrusion Detection
Christoph Ehret and Ulrich Ultes-Nitsche, Johannesburg, South Africa: (2008) | 颁辞苍蹿茅谤别苍肠别

Carolin Latze, Ulrich Ultes-Nitsche, Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008): (2008) | 颁辞苍蹿茅谤别苍肠别

Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner, Montreal, Canada: (2008) | 颁辞苍蹿茅谤别苍肠别

Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner, Split, Dubrovnik, Croatia: (2008) | 颁辞苍蹿茅谤别苍肠别

Visual Correlation in the Context of Post-Mortem Analysis
Michael Hayoz and Ulrich Ultes-Nitsche, Johannesburg, South Africa: (2008) | 颁辞苍蹿茅谤别苍肠别

Augusto, J.C. and Barjis, J. and Ultes-Nitsche, U., Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007: (2007) | 颁辞苍蹿茅谤别苍肠别

Latze, C. and Ultes-Nitsche, U., Proceedings of the IASTED International Conference on Communication Systems, Networks, and Applications, CSNA 2007: (2007) | 颁辞苍蹿茅谤别苍肠别

Using a Trusted Platform Module to enable a Secure Usage of Nodes in Company Networks. An extension of the AEGIS approach
Carolin Latze and Ulrich Ultes-Nitsche, Bern, Switzerland: (2007) | 颁辞苍蹿茅谤别苍肠别

RVS Retreat at Quarten
Torsten Braun, Ulrich Ultes-Nitsche, Marc Brogle, Dragan Milic, Patrick Lauer, Thomas Staub, Gerald Wagenknecht, Markus Anwander, Markus Waelchli, Markus Wulff, Carolin Latze, Michael Hayoz, Christoph Ehret, Thierry Nicola, (2007) | Working paper

Information Processing Letters (IPL) (2007) | Article

Theoretical Computer Science (TCS) (2007) | Article

A role model to cope with the complexity of network configuration
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche, Spa, Belgium: (2007) | 颁辞苍蹿茅谤别苍肠别

David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche, La Rochelle, France: (2007) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the 5th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2007)
Augusto, Juan Carlos, Barjis, Joseph, Ulrich Ultes-Nitsche, 茅d. par Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (Funchal, Madeira, Portugal: INSTICC Press, 2007) | Livre

Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner, Split, Dubrovnik, Croatia: (2007) | 颁辞苍蹿茅谤别苍肠别

Science of Computer Programming (2007) | Article

Jungo, D. and Buchmann, D. and Ultes-Nitsche, U., Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07: (2007) | 颁辞苍蹿茅谤别苍肠别

Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-learning Project
Aurelius Baier and Thomas Bernoulli and Torsten Braun and Christoph Graf and Ulrich Ultes-Nitsche, Sandton, South Africa: (2006) | 颁辞苍蹿茅谤别苍肠别

Buchmann, D. and Jungo, D. and Ultes-Nitsche, U., WINSYS 2006 - International Conference on Wireless Information Networks and Systems, Proceedings: (2006) | 颁辞苍蹿茅谤别苍肠别

Barjis, J. and Ultes-Nitsche, U. and Augusto, J.C., Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006 - In Conjunction with ICEIS 2006: (2006) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the 4th International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2006)
Barjis, Joseph, Ulrich Ultes-Nitsche, Augusto, Juan Carlos, 茅d. par Barjis, Joseph and Ulrich Ultes-Nitsche and Augusto, Juan Carlos (Paphos, Cyprus: INSTICC Press, 2006) | Livre

Non-Signature Based Virus Detection: Towards Establishing Unknown Virus Detection Technique Using SOM
Journal in Computer Virology (2006) | Article

Testing of Semantic Properties in XML Documents
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche, Paphos, Cyprus: (2006) | 颁辞苍蹿茅谤别苍肠别

Journal in Computer Virology (2006) | Article

Model-checking Inherently Fair Linear-time Properties
Thierry Nicola and Fank Nie脽ner and Ulrich Ultes-Nitsche, Miami, Florida, USA: (2005) | 颁辞苍蹿茅谤别苍肠别

Ultes-Nitsche, U. and Augusto, J.C. and Barjis, J., Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005: (2005) | 颁辞苍蹿茅谤别苍肠别

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) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification, and Validation of Enterprise Information Systems (MSVVEIS 2005)
Augusto, Juan Carlos, Barjis, Joseph, Ulrich Ultes-Nitsche, 茅d. par Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (Miami, Florida, USA: INSTICC Press, 2005) | Livre

A Unit Testing Framework for Network Configurations
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche, Miami, Florida, USA: (2005) | 颁辞苍蹿茅谤别苍肠别

How to Predict Email Viruses under Uncertainty
InSeon Yoo and Ulrich Ultes-Nitsche, Phoenix, Arizona, USA: (2004) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
Augusto, Juan Carlos, Ulrich Ultes-Nitsche, 茅d. par Augusto, Juan Carlos and Ulrich Ultes-Nitsche (Porto, Portugal: INSTICC Press, 2004) | Livre

Run-time Protocol-Conformance Verification in Firewalls
Ulrich Ultes-Nitsche and InSeon Yoo, Johannesburg, South Africa: (2004) | 颁辞苍蹿茅谤别苍肠别

Towards Run-time Protocol Anomaly Detection and Verification
InSeon Yoo and Ulrich Ultes-Nitsche, Setubal, Portugal: (2004) | 颁辞苍蹿茅谤别苍肠别

The Role of Simulation in a Network Configuration Engineering Approach
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche, Cairo, Egypt: (2004) | 颁辞苍蹿茅谤别苍肠别

Editors of Special issue on Verification and Computational Logic
Theory and Practice of Logic Programming (TPLP) (2004) | Article

Editors of the Special Issue on the Second International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
Journal of Universal Computer Science (J.UCS) (2004) | Article

Theory and Practice of Logic Programming (2004) | Article

Steps towards an Intelligent Firewall --- A Basic Model
Ulrich Ultes-Nitsche and InSeon Yoo, Sandton, Johannesburg, South Africa: (2003) | 颁辞苍蹿茅谤别苍肠别

Adaptive Detection of Worms/Viruses in Firewalls
InSeon Yoo and Ulrich Ultes-Nitsche, New York, USA): (2003) | 颁辞苍蹿茅谤别苍肠别

New Technologies for Information Systems, Proceedings of NDDL 2003 and VVEIS 2003
Pedro Isa铆as, Florence Sedes, Augusto, Juan Carlos, Ulrich Ultes-Nitsche, 茅d. par Pedro Isa铆as and Florence Sedes and Augusto, Juan Carlos and Ulrich Ultes-Nitsche (Set煤bal, Portugal: ICEIS Press, 2003) | Livre

Improved Verification of Linear-time Properties within Fairness --- Weakly Continuation-closed Behaviour Abstractions Computed from Trace Reductions
Software Testing, Verification and Reliability (STVR) (2003) | Article

Software Testing Verification and Reliability (2003) | Article

Simulation and Implementation of an E-Commerce Network Infrastructure using XML Specifications
Simon Chudley and Ulrich Ultes-Nitsche, Poznan, Poland: (2002) | 颁辞苍蹿茅谤别苍肠别

Intelligent Firewall: Packet-Based Recognition Against Internet-Scale Virus Attacks
InSeon Yoo and Ulrich Ultes-Nitsche, Proc. Conference on Communications and Computer Networks (CCN 2002): (2002) | 颁辞苍蹿茅谤别苍肠别

Proc. SOFSEM Conference, SOFSEM 2002 Student Research Forum
InSeon Yoo and Ulrich Ultes-Nitsche, (2002) | 颁辞苍蹿茅谤别苍肠别

An Integrated Network Security Approach --- Pairing Detecting Malicious Patterns with Anomaly Detection
Ulrich Ultes-Nitsche and InSeon Yoo, Misty Hills, Muldersdrift, South Africa: (2002) | 颁辞苍蹿茅谤别苍肠别

Configuring Firewalls --- An XML-based Approach to Modelling and Implementing Firewall Configurations
Simon Chudley and Ulrich Ultes-Nitsche, Misty Hills, Muldersdrift, South Africa: (2002) | 颁辞苍蹿茅谤别苍肠别

Secure Internet-Access to Medical Data
Ulrich Ultes-Nitsche and Stephanie Teufel, Hershey, PA, USA: Idea Group (2002) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2002)
Michael Leuschel, Ulrich Ultes-Nitsche, 茅d. par Michael Leuschel and Ulrich Ultes-Nitsche (Pittsburgh, PA, USA: 2002) | Livre

Ulrich Ultes-Nitsche, Milovy, Czech Republic: Springer Verlag (2002) | 颁辞苍蹿茅谤别苍肠别

St. James, Simon and Ultes-Nitsche, Ulrich, New York, NY, USA: Association for Computing Machinery (2001) | 颁辞苍蹿茅谤别苍肠别

Testing Liveness Properties: Approximating Liveness Properties by Safety Properties
Ulrich Ultes-Nitsche and St James, Simon, Formal Techniques for Networked and Distributed Systems, FORTE 2001, IFIP TC6/WG6.1 - 21$^\mboxst$ International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 2001, Cheju Island, Korea: Kluwer (2001) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2001)
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, 茅d. par Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (Florence, Italy: 2001) | Livre

Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
Stefania Gnesi, Ulrich Ultes-Nitsche, 茅d. par Stefania Gnesi and Ulrich Ultes-Nitsche (Paris, France: INRIA Press, Rhone-Alpes, France, 2001) | Livre

Acceso Seguro por Internet a datos m茅dicos
CEPIS Upgrade Novatica (2001) | Article

Secure Internet-Access to Medical Data
Informatik 鈥� Journal of the Swiss Chapter of the ACM (2001) | Article

Secure Access to Medical Data over the Internet
Ulrich Ultes-Nitsche and Stephanie Teufel, Vienna, Austria: (2000) | 颁辞苍蹿茅谤别苍肠别

Satisfaction up to Liveness --- Automatic Verification based on Exhaustive Testing
Ulrich Ultes-Nitsche, Pisa, Italy: Springer Verlag (2000) | 颁辞苍蹿茅谤别苍肠别

Weakly Continuation-Closed Abstractions can be Defined on Trace Reductions
Ulrich Ultes-Nitsche and St James, Simon, Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000): (2000) | 颁辞苍蹿茅谤别苍肠别

Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000)
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, 茅d. par Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (London, UK: 2000) | Livre

Servidor Seguro para aplicaciones Java
CEPIS Upgrade Novatica (2000) | Article

Secure Server-Side Java Applications
Informatik 鈥� Journal of the Swiss Chapter of the ACM (2000) | Article

Ulrich Ultes-Nitsche, Milovy, Czech Republic: Springer Verlag (1999) | 颁辞苍蹿茅谤别苍肠别

Security of a Java-Servlet-Based Web-Hosted E-Mail System
Eleanor Hepworth and Ulrich Ultes-Nitsche, Amsterdam, The Netherlands: Kluwer Academic Press (1999) | 颁辞苍蹿茅谤别苍肠别

Questions and Answers about Ten Formal Methods
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, Trento, Italy: STAR/CNR (1999) | 颁辞苍蹿茅谤别苍肠别

Form. Asp. Comput. (1998) | Article

Privacy and Efficiency in Patient Focused Health Care Processes
Othmar Morger and Ulrich Nitsche and Stephanie Teufel, Seoul, Korea: (1998) | 颁辞苍蹿茅谤别苍肠别

On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets
Nitsche, Ulrich, Metz, France: (1998) | 颁辞苍蹿茅谤别苍肠别

Realization of a Context-Dependent Access Control Mechanism on a Commercial Platform
Nitsche, Ulrich and Holbein, Ralph and Morger, Othmar and Teufel, Stephanie, Vienna/Budapest, Austria/Hungary: Austrian Computer Society (1998) | 颁辞苍蹿茅谤别苍肠别

Deterministic $蠅$-Regular Liveness Properties
Frank Nie脽ner and Ulrich Nitsche and Peter Ochsenschl盲ger, Thessaloniki, Greece: (1998) | 颁辞苍蹿茅谤别苍肠别

Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Ulrich Nitsche, Brno, Czech Republic: (1998) | 颁辞苍蹿茅谤别苍肠别

Verification of Co-Operating Systems and Behaviour Abstraction
Ulrich Nitsche (Sankt Augustin, Germany: GMD, 1998) | Livre

The SH-Verification Tool --- Abstraction-based Verification of Co-operating Systems
Formal Aspects of Computing (1998) | Article

Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks
Journal of Systems and Software (1998) | Article

Electronic Notes in Theoretical Computer Science (1998) | Article

Nitsche, Ulrich and Wolper, Pierre, New York, NY, USA: Association for Computing Machinery (1997) | 颁辞苍蹿茅谤别苍肠别

Security Concerns for Mobile Information Systems in Health Care
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie, Toulouse, France: IEEE Press (1997) | 颁辞苍蹿茅谤别苍肠别

Interpretation of the Full Computation Tree Logic CTL$^*$ on Sets of Infinite Sequences
Nitsche, Ulrich, Yaroslavl, Russia: Springer Verlag (1997) | 颁辞苍蹿茅谤别苍肠别

The MobiMed Approach to Privacy in Medical Systems
Bauknecht, Kurt and Holbein, Ralph and Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie, Helsinki University of Technology, Finland: (1997) | 颁辞苍蹿茅谤别苍肠别

Datenschutz als Qualit盲tskriterium f眉r Krankenhausinformationssysteme
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie, Ulm, Germany: (1997) | 颁辞苍蹿茅谤别苍肠别

MobiMed---Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie, Lugano, Switzerland: (1997) | 颁辞苍蹿茅谤别苍肠别

The SH-Verification Tool
Nitsche, Ulrich and Ochsenschl盲ger, Peter and Repp, J眉rgen and Rieke, Roland, Cesena, Italy: (1997) | 颁辞苍蹿茅谤别苍肠别

Deterministic $蠅$-Regular Liveness Properties
Nie脽ner, Frank and Nitsche, Ulrich and Ochsenschl盲ger, Peter, Preproceedings of the 3rd International Conference on Developments in Language Theory (DLT'97): (1997) | 颁辞苍蹿茅谤别苍肠别

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 (1996) | Chapitre de livre

Case Study: Service Interaction Detection by Formal Verification under Behaviour Abstraction
Capellmann, Carla and Demant, Ralph and Galvez-Estrada, Raphael and Nitsche, Ulrich and Ochsenschl盲ger, Peter, Passau, Germany: (1996) | 颁辞苍蹿茅谤别苍肠别

Verification by Behavior Abstraction: A Case Study of Service Interaction Detection in Intelligent Telephone Networks
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) | 颁辞苍蹿茅谤别苍肠别

Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschl盲ger, Peter, Oxford, U.K.: (1996) | 颁辞苍蹿茅谤别苍肠别

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 (1996) | Chapitre de livre

The SH-Verification Tool
Nitsche, Ulrich and Ochsenschl盲ger, Peter and Repp, J眉rgen (Darmstadt: 1996) | Chapitre de livre

A Finitary Language Semantics for Propositional Linear Temporal Logic
Nitsche, Ulrich, Magdeburg, Germany: World Scientific, Singapore (1996) | 颁辞苍蹿茅谤别苍肠别

Verification and Behavior Abstraction --- Towards a Tractable Verification Technique for Large Distributed Systems
Journal of Systems and Software (1996) | Article

Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Information Processing Letters (1996) | Article

Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschl盲ger, Peter (Darmstadt: 1995) | Chapitre de livre

Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT
Nitsche, Ulrich and Ochsenschl盲ger, Peter (1995) | Chapitre de livre

A Finitary Language Semantics for Propositional Linear Temporal Logic (Abstract)
Nitsche, Ulrich, Preproceedings of the 2nd International Conference on Developments in Language Theory (DLT'95): (1995) | 颁辞苍蹿茅谤别苍肠别

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 (1995) | Chapitre de livre

Simple Homomorphisms and Linear Temporal Logic
Nitsche, Ulrich (Darmstadt: 1994) | Chapitre de livre

Nitsche, Ulrich, New York, NY, USA: Association for Computing Machinery (1994) | 颁辞苍蹿茅谤别苍肠别

Verifying Temporal Logic Formulas in Abstractions of Large Reachability Graphs
Nitsche, Ulrich, National Workshop on Algorithms and Tools for Petri Nets (Algorithmen und Werkzeuge f眉r Petrinetze, AWP'94): Humboldt Universit盲t Berlin (1994) | 颁辞苍蹿茅谤别苍肠别

A Verification Method Based on Homomorphic Model Abstraction
Nitsche, Ulrich, Los Angeles: ACM Press (1994) | 颁辞苍蹿茅谤别苍肠别

Propositional Linear Temporal Logic and Language Homomorphisms
Nitsche, Ulrich, Saint Petersburg, Russia: Springer Verlag (1994) | 颁辞苍蹿茅谤别苍肠别

Erreichbarkeitsanalyse von Produktnetzen
Nitsche, Ulrich (Darmstadt: 1991) | Chapitre de livre

Das Erreichbarkeitsproblem f眉r eingeschr盲nkte Produktnetze
Nitsche, Ulrich (1991) | Autre

Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
Nitsche, Ulrich (Darmstadt: 1988) | Chapitre de livre

糖心Volg

Recherche et publications

Enseignement et cours