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