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) | Conférence
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) | Conférence
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) | Conférence
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
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) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
Weakly Continuation Closed Homomorphisms on Automata
Nicola, Thierry and Ultes-Nitsche, Ulrich,
Barcelona, Spain: INSTICC Press
(2008) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
Towards a Zero Configuration Authentication Scheme for 802.11 Based Networks
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Montreal, Canada:
(2008) | Conférence
Roaming, Accounting and Seamless Handover in EAP-TLS Authenticated Networks
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Split, Dubrovnik, Croatia:
(2008) | Conférence
Visual Correlation in the Context of Post-Mortem Analysis
Michael Hayoz and Ulrich Ultes-Nitsche,
Johannesburg, South Africa:
(2008) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
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) | Article
A Complete Characterization of Deterministic Regular Liveness Properties
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) | Conférence
Improving Network Reliability by avoiding Misconfiguration
David Buchmann and Dominik Jungo and Ulrich Ultes-Nitsche,
La Rochelle, France:
(2007) | Conférence
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
Strong Mutual Authentication in a User-Friendly Way in EAP-TLS
Carolin Latze and Ulrich Ultes-Nitsche and Florian Baumgartner,
Split, Dubrovnik, Croatia:
(2007) | Conférence
Towards more adequate EIS
Science of Computer Programming (2007) | 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) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
Non-signature based virus detection: Towards establishing a unknown virus detection technique using SOM
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) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
How to Predict Email Viruses under Uncertainty
InSeon Yoo and Ulrich Ultes-Nitsche,
Phoenix, Arizona, USA:
(2004) | Conférence
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) | Conférence
Towards Run-time Protocol Anomaly Detection and Verification
InSeon Yoo and Ulrich Ultes-Nitsche,
Setubal, Portugal:
(2004) | Conférence
The Role of Simulation in a Network Configuration Engineering Approach
Dominik Jungo and David Buchmann and Ulrich Ultes-Nitsche,
Cairo, Egypt:
(2004) | Conférence
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
Introduction to the special issue on Verification and Computational Logic
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) | Conférence
Adaptive Detection of Worms/Viruses in Firewalls
InSeon Yoo and Ulrich Ultes-Nitsche,
New York, USA):
(2003) | Conférence
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
Improved verification of linear-time properties within fairness: Weakly continuation-closed behaviour abstractions computed from trace reductions
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) | Conférence
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) | Conférence
Proc. SOFSEM Conference, SOFSEM 2002 Student Research Forum
InSeon Yoo and Ulrich Ultes-Nitsche,
(2002) | Conférence
An Integrated Network Security Approach --- Pairing Detecting Malicious Patterns with Anomaly Detection
Ulrich Ultes-Nitsche and InSeon Yoo,
Misty Hills, Muldersdrift, South Africa:
(2002) | Conférence
Configuring Firewalls --- An XML-based Approach to Modelling and Implementing Firewall Configurations
Simon Chudley and Ulrich Ultes-Nitsche,
Misty Hills, Muldersdrift, South Africa:
(2002) | Conférence
Secure Internet-Access to Medical Data
Ulrich Ultes-Nitsche and Stephanie Teufel,
Hershey, PA, USA: Idea Group
(2002) | Conférence
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
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties
Ulrich Ultes-Nitsche,
Milovy, Czech Republic: Springer Verlag
(2002) | Conférence
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) | Conférence
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) | Conférence
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) | Conférence
Satisfaction up to Liveness --- Automatic Verification based on Exhaustive Testing
Ulrich Ultes-Nitsche,
Pisa, Italy: Springer Verlag
(2000) | Conférence
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) | Conférence
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
A Persistent-Set Approach to Abstract State-Space Construction in Verification
Ulrich Ultes-Nitsche,
Milovy, Czech Republic: Springer Verlag
(1999) | Conférence
Security of a Java-Servlet-Based Web-Hosted E-Mail System
Eleanor Hepworth and Ulrich Ultes-Nitsche,
Amsterdam, The Netherlands: Kluwer Academic Press
(1999) | Conférence
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) | Conférence
The SH-Verification Tool — Abstraction-Based Verification of Co-Operating Systems
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) | Conférence
On the Border of Universality/Non-Universality in Restricted High-Level Petri Nets
Nitsche, Ulrich,
Metz, France:
(1998) | Conférence
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) | Conférence
Deterministic $ω$-Regular Liveness Properties
Frank Nießner and Ulrich Nitsche and Peter Ochsenschläger,
Thessaloniki, Greece:
(1998) | Conférence
Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Ulrich Nitsche,
Brno, Czech Republic:
(1998) | Conférence
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
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One
Electronic Notes in Theoretical Computer Science (1998) | Article
Relative Liveness and Behavior Abstraction (Extended Abstract)
Nitsche, Ulrich and Wolper, Pierre,
New York, NY, USA: Association for Computing Machinery
(1997) | Conférence
Security Concerns for Mobile Information Systems in Health Care
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
Toulouse, France: IEEE Press
(1997) | Conférence
Interpretation of the Full Computation Tree Logic CTL$^*$ on Sets of Infinite Sequences
Nitsche, Ulrich,
Yaroslavl, Russia: Springer Verlag
(1997) | Conférence
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) | Conférence
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) | Conférence
MobiMed---Privacy and Efficiency in Mobile Medical Systems (Abstract to the Poster Session)
Morger, Othmar and Nitsche, Ulrich and Teufel, Stephanie,
Lugano, Switzerland:
(1997) | Conférence
The SH-Verification Tool
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen and Rieke, Roland,
Cesena, Italy:
(1997) | Conférence
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) | Conférence
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) | Autre
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) | Conférence
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) | Conférence
Approximately Satisfied Properties of Systems and Simple Language Homomorphisms
Nitsche, Ulrich and Ochsenschläger, Peter,
Oxford, U.K.:
(1996) | Conférence
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) | Autre
The SH-Verification Tool
Nitsche, Ulrich and Ochsenschläger, Peter and Repp, Jürgen
, GMD – Forschungszentrum Informationstechnik
(1996) | Autre
A Finitary Language Semantics for Propositional Linear Temporal Logic
Nitsche, Ulrich,
Magdeburg, Germany: World Scientific, Singapore
(1996) | Conférence
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
, GMD – Forschungszentrum Informationstechnik
(1995) | Autre
Zwischenbericht des GMD-/Telekom-Projekts Formale Spezifikations- und Verifikationsmethoden zur Behandlung der Service-Interaction-Problematik -- SERVINT
Nitsche, Ulrich and Ochsenschläger, Peter
, GMD
(1995) | Autre
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) | Conférence
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) | Autre
Simple Homomorphisms and Linear Temporal Logic
Nitsche, Ulrich
, GMD – Forschungszentrum Informationstechnik
(1994) | Autre
A Verification Method Based on Homomorphic Model Abstractions (Abstract)
Nitsche, Ulrich,
New York, NY, USA: Association for Computing Machinery
(1994) | Conférence
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) | Conférence
A Verification Method Based on Homomorphic Model Abstraction
Nitsche, Ulrich,
Los Angeles: ACM Press
(1994) | Conférence
Propositional Linear Temporal Logic and Language Homomorphisms
Nitsche, Ulrich,
Saint Petersburg, Russia: Springer Verlag
(1994) | Conférence
Erreichbarkeitsanalyse von Produktnetzen
Nitsche, Ulrich
, Gesellschaft für Mathematik und Datenverarbeitung (GMD)
(1991) | Autre
Das Erreichbarkeitsproblem für eingeschränkte Produktnetze
Nitsche, Ulrich
(1991) | Autre
Erreichbarkeitsgraphen von Produktnetzen und ihre Auswertung in PROLOG
Nitsche, Ulrich
, Gesellschaft für Mathematik und Datenverarbeitung (GMD)
(1988) | Autre
