| 2008 |
|---|
| 51 | | Ulrich Ultes-Nitsche,
Daniel Moldt,
Juan Carlos Augusto:
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, Barcelona, Spain, June 2008
INSTICC PRESS 2008 |
| 50 | | Ronny Standtke,
Ulrich Ultes-Nitsche:
Java Nio Framework - Introducing a High-Performance I/O Framework for Java.
ICSOFT (PL/DPS/KE) 2008: 206-211 |
| 49 | EE | Carolin Latze,
Ulrich Ultes-Nitsche:
A Proof-of-Concept Implementation of EAP-TLS with TPM Support.
ISSA 2008: 1-12 |
| 48 | EE | Christoph Ehret,
Ulrich Ultes-Nitsche:
Immune System Based Intrusion Detection System.
ISSA 2008: 1-12 |
| 47 | EE | Carolin Latze,
Ulrich Ultes-Nitsche,
Florian Baumgartner:
Towards a zero configuration authentication scheme for 802.11 based networks.
LCN 2008: 367-373 |
| 46 | | Thierry Nicola,
Ulrich Ultes-Nitsche:
Weakly Continuation Closed Homomorphisms on Automata.
MSVVEIS 2008: 39-48 |
| 45 | | Thierry Nicola,
Frank Nießner,
Ulrich Ultes-Nitsche:
Checking Inherently Fair Linear-Time Properties in a Non-Naïve Way.
MSVVEIS 2008: 49-58 |
| 2007 |
|---|
| 44 | | Juan Carlos Augusto,
Joseph Barjis,
Ulrich Ultes-Nitsche:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007, Funchal, Madeira, Portugal, June 2007
INSTICC PRESS 2007 |
| 43 | EE | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
Assessment of Code Quality through Classification of Unit Tests in VeriNeC.
AINA Workshops (1) 2007: 177-182 |
| 42 | EE | Ulrich Ultes-Nitsche:
A power-set construction for reducing Büchi automata to non-determinism degree two.
Inf. Process. Lett. 101(3): 107-111 (2007) |
| 41 | EE | Joseph Barjis,
Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
Towards more adequate EIS.
Sci. Comput. Program. 65(1): 1-3 (2007) |
| 40 | EE | Frank Nießner,
Ulrich Ultes-Nitsche:
A complete characterization of deterministic regular liveness properties.
Theor. Comput. Sci. 387(2): 187-195 (2007) |
| 2006 |
|---|
| 39 | | Joseph Barjis,
Ulrich Ultes-Nitsche,
Juan Carlos Augusto:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 4th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2006, In conjunction with ICEIS 2006, Paphos, Cyprus, May 2006
INSTICC Press 2006 |
| 38 | EE | Torsten Braun,
Christoph Graf,
Ulrich Ultes-Nitsche,
Aurelius Baier,
Thomas Bernoulli:
Case Study of the Usage of an Authentication and Authorization Infrastructure (AAI) in an E-Learning Project.
ISSA 2006: 1-10 |
| 37 | | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
Testing of Semantic Properties in XML Documents.
MSVVEIS 2006: 38-46 |
| 36 | EE | InSeon Yoo,
Ulrich Ultes-Nitsche:
Non-signature based virus detection.
Journal in Computer Virology 2(3): 163-186 (2006) |
| 2005 |
|---|
| 35 | | Ulrich Ultes-Nitsche,
Juan Carlos Augusto,
Joseph Barjis:
Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2005, In conjunction with ICEIS 2005, Miami, FL, USA, May 2005
INSTICC Press 2005 |
| 34 | | David Buchmann,
Dominik Jungo,
Ulrich Ultes-Nitsche:
Automated configuration distribution in verinec.
ICETE 2005: 304-309 |
| 33 | | Thierry Nicola,
Frank Nießner,
Ulrich Ultes-Nitsche:
Model-checking Inherently Fair Linear-time Properties.
MSVVEIS 2005: 3-8 |
| 32 | | Dominik Jungo,
David Buchmann,
Ulrich Ultes-Nitsche:
A Unit Testing Framework for Network Configurations.
MSVVEIS 2005: 77-82 |
| 2004 |
|---|
| 31 | | Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
Verification and Validation of Enterprise Information Systems, Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems, VVEIS 2004, In conjunction with ICEIS 2004, Porto, Portugal, April 2004
INSTICC Press 2004 |
| 30 | | InSeon Yoo,
Ulrich Ultes-Nitsche:
Towards Run-Time Protocol Anomaly Detection and Verification.
ICETE (2) 2004: 299-304 |
| 29 | EE | Ulrich Ultes-Nitsche:
Run-Time Protocol Conformance Verification In Firewalls.
ISSA 2004: 1-11 |
| 28 | | Michael Leuschel,
Andreas Podelski,
C. R. Ramakrishnan,
Ulrich Ultes-Nitsche:
Introduction to the Special Issue on Verification and Computational Logic.
TPLP 4(5-6): 543-544 (2004) |
| 2003 |
|---|
| 27 | | Pedro T. Isaías,
Florence Sedes,
Juan Carlos Augusto,
Ulrich Ultes-Nitsche:
New Technologies for Information Systems, Proceedings of the 3rd International Workshop on New Developments in Digital Libraries, NDDL 2003, and the 1st International Workshop on Validation and Verification of Software for Enterprise Information Systems, VVEIS 2003, In conjunction with ICEIS 2003, Angers, France, April 2003
ICEIS Press 2003 |
| 26 | | Simon St. James,
Ulrich Ultes-Nitsche:
An Optimised Partial-Order Approach to the Verification of System Components.
NDDL/VVEIS 2003: 69-81 |
| 25 | EE | Ulrich Ultes-Nitsche,
Simon St. James:
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.
Softw. Test., Verif. Reliab. 13(4): 241-255 (2003) |
| 2002 |
|---|
| 24 | EE | Simon R. Chudley,
Ulrich Ultes-Nitsche:
Configuring Firewalls - An XML-based Approach to Modelling and Implementing Firewall Configurations.
ISSA 2002: 1-11 |
| 23 | EE | Ulrich Ultes-Nitsche,
InSeon Yoo:
An Integrated Network Security Approach - Pairing Detecting Malicious Patterns with Anomaly Detection.
ISSA 2002: 1-12 |
| 22 | EE | Ulrich Ultes-Nitsche:
Do We Need Liveness? - Approximation of Liveness Properties by Safety Properties.
SOFSEM 2002: 279-288 |
| 2001 |
|---|
| 21 | | Ulrich Ultes-Nitsche,
Simon St. James:
Testing Liveness Properties: Approximating Liveness Properties by Safety Properties.
FORTE 2001: 369-376 |
| 20 | EE | Simon St. James,
Ulrich Ultes-Nitsche:
Computing property-preserving behaviour abstractions from trace reductions: abstraction-based verification of linear-time properties under fairness.
PODC 2001: 238-245 |
| 19 | EE | Ulrich Ultes-Nitsche,
Pierre Wolper:
Checking Properties within Fairness and Behavior Abstractions
CoRR cs.LO/0101017: (2001) |
| 2000 |
|---|
| 18 | EE | Ulrich Ultes-Nitsche,
Stephanie Teufel:
Secure Access to Medical Data over the Internet.
ECIS 2000 |
| 17 | | Ulrich Ultes-Nitsche:
Satisfaction up to Liveness.
FORTE 2000: 237-248 |
| 1999 |
|---|
| 16 | | Eleanor Hepworth,
Ulrich Ultes-Nitsche:
Security aspects of a Java-servlet-based web-hosted e-mail system.
Conference on Information Security Management & Small Systems Security 1999: 117-130 |
| 15 | EE | Ulrich Ultes-Nitsche:
A Persistent-Set Approach to Abstract Stat-Space Construction in Verification.
SOFSEM 1999: 470-478 |
| 1998 |
|---|
| 14 | | Ulrich Nitsche:
On the Border of Universality and Non-Universality in Restricted High-Level Petri Nets.
MCU (2) 1998: 169-181 |
| 13 | EE | Ulrich Ultes-Nitsche:
Towards the Construction of an Abstract State-Space from a Partial-Order Representation of the Concrete One.
Electr. Notes Theor. Comput. Sci. 18: (1998) |
| 12 | EE | Peter Ochsenschläger,
Jürgen Repp,
Roland Rieke,
Ulrich Nitsche:
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems.
Formal Asp. Comput. 10(4): 381-404 (1998) |
| 11 | EE | Ulrich Ultes-Nitsche:
Application of formal verification and behaviour abstraction to the service interaction problem in intelligent networks.
Journal of Systems and Software 40(3): 227-248 (1998) |
| 1997 |
|---|
| 10 | | Othmar Morger,
Ulrich Nitsche,
Stephanie Teufel:
Security Concerns for Mobile Information Systems in Health Care.
DEXA Workshop 1997: 312-317 |
| 9 | | Frank Nießner,
Ulrich Nitsche,
Peter Ochsenschläger:
Deterministic omega-regular liveness properties.
Developments in Language Theory 1997: 237-248 |
| 8 | | Ulrich Nitsche:
Interpretation of the Full Computation Tree Logic CTL* on Sets of Infinite Sequences.
LFCS 1997: 276-282 |
| 7 | | Ulrich Nitsche,
Pierre Wolper:
Relative Liveness and Behavior Abstraction (Extended Abstract).
PODC 1997: 45-52 |
| 1996 |
|---|
| 6 | | Carla Capellmann,
Ralph Demant,
Farhad Fatahi-Vanani,
Rafael Galvez-Estrada,
Ulrich Nitsche,
Peter Ochsenschläger:
Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks.
CAV 1996: 466-469 |
| 5 | EE | Ulrich Nitsche,
Peter Ochsenschläger:
Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms.
Inf. Process. Lett. 60(4): 201-206 (1996) |
| 4 | EE | Ulrich Nitsche:
Verification and behavior abstraction towards a tractable verification technique for large distributed systems.
Journal of Systems and Software 33(3): 273-285 (1996) |
| 1995 |
|---|
| 3 | | Ulrich Nitsche:
A Finitary-Language Semantics for Propositional Linear Temporal Logic.
Developments in Language Theory 1995: 482-489 |
| 1994 |
|---|
| 2 | | Ulrich Nitsche:
Propositional Linear Temporal Logic and Language Homomorphisms.
LFCS 1994: 265-277 |
| 1 | | Ulrich Nitsche:
A Verification Method Based on Homomorphic Model Abstractions (Abstract).
PODC 1994: 393 |
