Structural Network Properties of Niche-Overlap Graphs
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) | Konferenz
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) | Konferenz
Identification of Chordless Cycles in Ecological Networks
yla Sokhn and Richard Baltensperger and Louis-Felix Bersier and Jean Hennebert and Ulrich Ultes-Nitsche,
COMPLEX 2012:
(2012) | Konferenz
k-Counting Automata
Rairo Journal of Theoretical Informatics and Applications (2012) | Artikel
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)
| Buch
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) | Konferenz
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) | Konferenz
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) | Konferenz
Java NIO framework introducing a high-performance I/O framework for Java
Standtke, R. and Ultes-Nitsche, U.,
ICSOFT 2008 - Proceedings of the 3rd International Conference on Software and Data Technologies:
(2008) | Konferenz
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) | Konferenz
Weakly Continuation Closed Homomorphisms on Automata
Nicola, Thierry and Ultes-Nitsche, Ulrich,
Barcelona, Spain: INSTICC Press
(2008) | Konferenz
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) | Konferenz
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, Hrsg. Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos (Barcelona, Spain: INSTICC Press, 2008)
| Buch
Immune System Based Intrusion Detection
Christoph Ehret and Ulrich Ultes-Nitsche,
Johannesburg, South Africa:
(2008) | Konferenz
A Proof-of-Concept Implementation of EAP-TLS with TPM support
Carolin Latze, Ulrich Ultes-Nitsche,
Proceedings of the ISSA 2008 Innovative Minds Conference (ISSA 2008):
(2008) | Konferenz
Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Montreal, Canada:
(2008) | Konferenz
Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Split, Dubrovnik, Croatia:
(2008) | Konferenz
Visual Correlation in the Context of Post-Mortem Analysis
Michael Hayoz and Ulrich Ultes-Nitsche,
Johannesburg, South Africa:
(2008) | Konferenz
Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2007; In Conjunction with ICEIS 2007: Foreword
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) | Konferenz
Stronger authentication in e-commerce: How to protect even Naïve user against Phishing, pharming, and MITM attacks
Latze, C. and Ultes-Nitsche, U.,
Proceedings of the IASTED International Conference on Communication Systems, Networks, and Applications, CSNA 2007:
(2007) | Konferenz
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) | Konferenz
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
A power-set construction for reducing Büchi automata to non-determinism degree two
Information Processing Letters (IPL) (2007) | Artikel
A Complete Characterization of Deterministic Regular Liveness Properties
Theoretical Computer Science (TCS) (2007) | Artikel
A role model to cope with the complexity of network configuration
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche,
Spa, Belgium:
(2007) | Konferenz
Improving Network Reliability by avoiding Misconfiguration
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche,
La Rochelle, France:
(2007) | Konferenz
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, Hrsg. Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (Funchal, Madeira, Portugal: INSTICC Press, 2007)
| Buch
Strong Mutual Authentication in a User-Friendly Way in EAP-TLS
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Split, Dubrovnik, Croatia:
(2007) | Konferenz
Towards more adequate EIS
Science of Computer Programming (2007) | Artikel
Assessment of code quality through classification of unit tests in VeriNeC
Jungo, D. and Buchmann, D. and Ultes-Nitsche, U.,
Proceedings - 21st International Conference on Advanced Information Networking and Applications Workshops/Symposia, AINAW'07:
(2007) | Konferenz
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) | Konferenz
Environmental acquisition in mobile network simulation
Buchmann, D. and Jungo, D. and Ultes-Nitsche, U.,
WINSYS 2006 - International Conference on Wireless Information Networks and Systems, Proceedings:
(2006) | Konferenz
Foreword
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) | Konferenz
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, Hrsg. Barjis, Joseph and Ulrich Ultes-Nitsche and Augusto, Juan Carlos (Paphos, Cyprus: INSTICC Press, 2006)
| Buch
Non-Signature Based Virus Detection: Towards Establishing Unknown Virus Detection Technique Using SOM
Journal in Computer Virology (2006) | Artikel
Testing of Semantic Properties in XML Documents
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
Paphos, Cyprus:
(2006) | Konferenz
Non-signature based virus detection: Towards establishing a unknown virus detection technique using SOM
Journal in Computer Virology (2006) | Artikel
Model-checking Inherently Fair Linear-time Properties
Thierry Nicola and Fank Nießner and Ulrich Ultes-Nitsche,
Miami, Florida, USA:
(2005) | Konferenz
Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, in Conjunction with ICEIS 2005: Foreword
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) | Konferenz
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) | Konferenz
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, Hrsg. Augusto, Juan Carlos and Barjis, Joseph and Ulrich Ultes-Nitsche (Miami, Florida, USA: INSTICC Press, 2005)
| Buch
A Unit Testing Framework for Network Configurations
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
Miami, Florida, USA:
(2005) | Konferenz
How to Predict Email Viruses under Uncertainty
InSeon Yoo and Ulrich Ultes-Nitsche,
Phoenix, Arizona, USA:
(2004) | Konferenz
Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2004)
Augusto, Juan Carlos, Ulrich Ultes-Nitsche, Hrsg. Augusto, Juan Carlos and Ulrich Ultes-Nitsche (Porto, Portugal: INSTICC Press, 2004)
| Buch
Run-time Protocol-Conformance Verification in Firewalls
Ulrich Ultes-Nitsche and InSeon Yoo,
Johannesburg, South Africa:
(2004) | Konferenz
Towards Run-time Protocol Anomaly Detection and Verification
InSeon Yoo and Ulrich Ultes-Nitsche,
Setubal, Portugal:
(2004) | Konferenz
The Role of Simulation in a Network Configuration Engineering Approach
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
Cairo, Egypt:
(2004) | Konferenz
Editors of Special issue on Verification and Computational Logic
Theory and Practice of Logic Programming (TPLP) (2004) | Artikel
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) | Artikel
Introduction to the special issue on Verification and Computational Logic
Theory and Practice of Logic Programming (2004) | Artikel
Steps towards an Intelligent Firewall --- A Basic Model
Ulrich Ultes-Nitsche and InSeon Yoo,
Sandton, Johannesburg, South Africa:
(2003) | Konferenz
Adaptive Detection of Worms/Viruses in Firewalls
InSeon Yoo and Ulrich Ultes-Nitsche,
New York, USA):
(2003) | Konferenz
New Technologies for Information Systems, Proceedings of NDDL 2003 and VVEIS 2003
Pedro Isaías, Florence Sedes, Augusto, Juan Carlos, Ulrich Ultes-Nitsche, Hrsg. Pedro Isaías and Florence Sedes and Augusto, Juan Carlos and Ulrich Ultes-Nitsche (Setúbal, Portugal: ICEIS Press, 2003)
| Buch
Improved Verification of Linear-time Properties within Fairness --- Weakly Continuation-closed Behaviour Abstractions Computed from Trace Reductions
Software Testing, Verification and Reliability (STVR) (2003) | Artikel
Improved verification of linear-time properties within fairness: Weakly continuation-closed behaviour abstractions computed from trace reductions
Software Testing Verification and Reliability (2003) | Artikel
Simulation and Implementation of an E-Commerce Network Infrastructure using XML Specifications
Simon Chudley and Ulrich Ultes-Nitsche,
Poznan, Poland:
(2002) | Konferenz
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) | Konferenz
Proc. SOFSEM Conference, SOFSEM 2002 Student Research Forum
InSeon Yoo and Ulrich Ultes-Nitsche,
(2002) | Konferenz
An Integrated Network Security Approach --- Pairing Detecting Malicious Patterns with Anomaly Detection
Ulrich Ultes-Nitsche and InSeon Yoo,
Misty Hills, Muldersdrift, South Africa:
(2002) | Konferenz
Configuring Firewalls --- An XML-based Approach to Modelling and Implementing Firewall Configurations
Simon Chudley and Ulrich Ultes-Nitsche,
Misty Hills, Muldersdrift, South Africa:
(2002) | Konferenz
Secure Internet-Access to Medical Data
Ulrich Ultes-Nitsche and Stephanie Teufel,
Hershey, PA, USA: Idea Group
(2002) | Konferenz
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2002)
Michael Leuschel, Ulrich Ultes-Nitsche, Hrsg. Michael Leuschel and Ulrich Ultes-Nitsche (Pittsburgh, PA, USA: 2002)
| Buch
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
Ulrich Ultes-Nitsche,
Milovy, Czech Republic: Springer Verlag
(2002) | Konferenz
Computing Property-Preserving Behaviour Abstractions from Trace Reductions: Abstraction-Based Verification of Linear-Time Properties under Fairness
St. James, Simon and Ultes-Nitsche, Ulrich,
New York, NY, USA: Association for Computing Machinery
(2001) | Konferenz
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) | Konferenz
Proceedings of the ACM Sigplan International Workshop on Verification and Computational Logic (VCL 2001)
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, Hrsg. Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (Florence, Italy: 2001)
| Buch
Proceedings of the 6th Internation Workshop on Formal Methods for Industrial Critical Systems (FMICS 2001)
Stefania Gnesi, Ulrich Ultes-Nitsche, Hrsg. Stefania Gnesi and Ulrich Ultes-Nitsche (Paris, France: INRIA Press, Rhone-Alpes, France, 2001)
| Buch
Acceso Seguro por Internet a datos médicos
CEPIS Upgrade Novatica (2001) | Artikel
Secure Internet-Access to Medical Data
Informatik — Journal of the Swiss Chapter of the ACM (2001) | Artikel
Secure Access to Medical Data over the Internet
Ulrich Ultes-Nitsche and Stephanie Teufel,
Vienna, Austria:
(2000) | Konferenz
Satisfaction up to Liveness --- Automatic Verification based on Exhaustive Testing
Ulrich Ultes-Nitsche,
Pisa, Italy: Springer Verlag
(2000) | Konferenz
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) | Konferenz
Proceedings of the International Workshop on Verification and Computational Logic (VCL 2000)
Leuschel, Michael, Podelski, Andreas, Ramakrishnan, C.R., Ultes-Nitsche, Ulrich, Hrsg. Leuschel, Michael and Podelski, Andreas and Ramakrishnan, C.R. and Ultes-Nitsche, Ulrich (London, UK: 2000)
| Buch
Servidor Seguro para aplicaciones Java
CEPIS Upgrade Novatica (2000) | Artikel
Secure Server-Side Java Applications
Informatik — Journal of the Swiss Chapter of the ACM (2000) | Artikel
A Persistent-Set Approach to Abstract State-Space Construction in Verification
Ulrich Ultes-Nitsche,
Milovy, Czech Republic: Springer Verlag
(1999) | Konferenz
Security of a Java-Servlet-Based Web-Hosted E-Mail System
Eleanor Hepworth and Ulrich Ultes-Nitsche,
Amsterdam, The Netherlands: Kluwer Academic Press
(1999) | Konferenz
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) | Konferenz
The SH-Verification Tool — Abstraction-Based Verification of Co-Operating Systems
Form. Asp. Comput. (1998) | Artikel
Privacy and Efficiency in Patient Focused Health Care Processes
Othmar Morger and Ulrich Nitsche and Stephanie Teufel,
Seoul, Korea:
(1998) | Konferenz
On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets
Nitsche, Ulrich,
Metz, France:
(1998) | Konferenz
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) | Konferenz
Deterministic $ω$-Regular Liveness Properties
Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger,
Thessaloniki, Greece:
(1998) | Konferenz
Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Ulrich Nitsche,
Brno, Czech Republic:
(1998) | Konferenz
Verification of Co-Operating Systems and Behaviour Abstraction
Ulrich Nitsche (Sankt Augustin, Germany: GMD, 1998)
| Buch
The SH-Verification Tool --- Abstraction-based Verification of Co-operating Systems
Formal Aspects of Computing (1998) | Artikel
Application of Formal Verification and Behaviour Abstraction to the Service Interaction Problem in Intelligent Networks
Journal of Systems and Software (1998) | Artikel
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Electronic Notes in Theoretical Computer Science (1998) | Artikel
Relative Liveness and Behavior Abstraction (Extended Abstract)
Nitsche, Ulrich and Wolper, Pierre,
New York, NY, USA: Association for Computing Machinery
(1997) | Konferenz
Security Concerns for Mobile Information Systems in Health Care
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
Toulouse, France: IEEE Press
(1997) | Konferenz
Interpretation of the Full Computation Tree Logic CTL$^*$ on Sets of Infinite Sequences
Nitsche, Ulrich,
Yaroslavl, Russia: Springer Verlag
(1997) | Konferenz
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) | Konferenz
Datenschutz als Qualitätskriterium für Krankenhausinformationssysteme
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
Ulm, Germany:
(1997) | Konferenz
MobiMed---Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
Lugano, Switzerland:
(1997) | Konferenz
The SH-Verification Tool
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland,
Cesena, Italy:
(1997) | Konferenz
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) | Konferenz
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)
| Buchkapitel
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) | Konferenz
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) | Konferenz
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschläger, Peter,
Oxford, U.K.:
(1996) | Konferenz
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)
| Buchkapitel
The SH-Verification Tool
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen (Darmstadt: 1996)
| Buchkapitel
A Finitary Language Semantics for Propositional Linear Temporal Logic
Nitsche, Ulrich,
Magdeburg, Germany: World Scientific, Singapore
(1996) | Konferenz
Verification and Behavior Abstraction --- Towards a Tractable Verification Technique for Large Distributed Systems
Journal of Systems and Software (1996) | Artikel
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Information Processing Letters (1996) | Artikel
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschläger, Peter (Darmstadt: 1995)
| Buchkapitel
Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT
Nitsche, Ulrich and Ochsenschläger, Peter (1995)
| Buchkapitel
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) | Konferenz
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)
| Buchkapitel
Simple Homomorphisms and Linear Temporal Logic
Nitsche, Ulrich (Darmstadt: 1994)
| Buchkapitel
A Verification Method Based on Homomorphic Model Abstractions (Abstract)
Nitsche, Ulrich,
New York, NY, USA: Association for Computing Machinery
(1994) | Konferenz
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) | Konferenz
A Verification Method Based on Homomorphic Model Abstraction
Nitsche, Ulrich,
Los Angeles: ACM Press
(1994) | Konferenz
Propositional Linear Temporal Logic and Language Homomorphisms
Nitsche, Ulrich,
Saint Petersburg, Russia: Springer Verlag
(1994) | Konferenz
Erreichbarkeitsanalyse von Produktnetzen
Nitsche, Ulrich (Darmstadt: 1991)
| Buchkapitel
Das Erreichbarkeitsproblem für eingeschränkte Produktnetze
Nitsche, Ulrich
(1991) | Sonstiges
Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
Nitsche, Ulrich (Darmstadt: 1988)
| Buchkapitel
