Ulrich Ultes-Nitsche

Ulrich Nitsche

	2009
53		Daniel Moldt, Juan Carlos Augusto, Ulrich Ultes-Nitsche: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2009, In conjunction with ICEIS 2009, Milan, Italy, May 2009 INSTICC PRESS 2009
	2008
52		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
51		Ronny Standtke, Ulrich Ultes-Nitsche: Java Nio Framework - Introducing a High-Performance I/O Framework for Java. ICSOFT (PL/DPS/KE) 2008: 206-211
50		Carolin Latze, Ulrich Ultes-Nitsche: A Proof-of-Concept Implementation of EAP-TLS with TPM Support. ISSA 2008: 1-12
49		Christoph Ehret, Ulrich Ultes-Nitsche: Immune System Based Intrusion Detection System. ISSA 2008: 1-12
48		Carolin Latze, Ulrich Ultes-Nitsche, Florian Baumgartner: Towards a zero configuration authentication scheme for 802.11 based networks. LCN 2008: 367-373
47		Thierry Nicola, Ulrich Ultes-Nitsche: Weakly Continuation Closed Homomorphisms on Automata. MSVVEIS 2008: 39-48
46		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
45		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
44		Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche: Assessment of Code Quality through Classification of Unit Tests in VeriNeC. AINA Workshops (1) 2007: 177-182
43		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)
42		Joseph Barjis, Juan Carlos Augusto, Ulrich Ultes-Nitsche: Towards more adequate EIS. Sci. Comput. Program. 65(1): 1-3 (2007)
41		Frank Nießner, Ulrich Ultes-Nitsche: A complete characterization of deterministic regular liveness properties. Theor. Comput. Sci. 387(2): 187-195 (2007)
	2006
40		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
39		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
38		Dominik Jungo, David Buchmann, Ulrich Ultes-Nitsche: Testing of Semantic Properties in XML Documents. MSVVEIS 2006: 38-46
37		David Buchmann, Dominik Jungo, Ulrich Ultes-Nitsche: Environmental Acquisition in Mobile Network Simulation. WINSYS 2006: 108-113
36		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		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		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		Simon R. Chudley, Ulrich Ultes-Nitsche: Configuring Firewalls - An XML-based Approach to Modelling and Implementing Firewall Configurations. ISSA 2002: 1-11
23		Ulrich Ultes-Nitsche, InSeon Yoo: An Integrated Network Security Approach - Pairing Detecting Malicious Patterns with Anomaly Detection. ISSA 2002: 1-12
22		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		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		Ulrich Ultes-Nitsche, Pierre Wolper: Checking Properties within Fairness and Behavior Abstractions CoRR cs.LO/0101017: (2001)
	2000
18		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		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		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		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		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		Ulrich Nitsche, Peter Ochsenschläger: Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. Inf. Process. Lett. 60(4): 201-206 (1996)
4		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

Coauthor Index

1	Juan Carlos Augusto	[27] [31] [35] [40] [42] [45] [52] [53]
2	Aurelius Baier	[39]
3	Joseph Barjis	[35] [40] [42] [45]
4	Florian Baumgartner	[48]
5	Thomas Bernoulli	[39]
6	Torsten Braun	[39]
7	David Buchmann	[32] [34] [37] [38] [44]
8	Carla Capellmann	[6]
9	Simon R. Chudley	[24]
10	Ralph Demant	[6]
11	Christoph Ehret	[49]
12	Farhad Fatahi-Vanani	[6]
13	Rafael Galvez-Estrada	[6]
14	Christoph Graf	[39]
15	Eleanor Hepworth	[16]
16	Pedro T. Isaías	[27]
17	Simon St. James	[20] [21] [25] [26]
18	Dominik Jungo	[32] [34] [37] [38] [44]
19	Carolin Latze	[48] [50]
20	Michael Leuschel	[28]
21	Daniel Moldt	[52] [53]
22	Othmar Morger	[10]
23	Thierry Nicola	[33] [46] [47]
24	Frank Nießner	[9] [33] [41] [46]
25	Peter Ochsenschläger	[5] [6] [9] [12]
26	Andreas Podelski	[28]
27	C. R. Ramakrishnan	[28]
28	Jürgen Repp	[12]
29	Roland Rieke	[12]
30	Florence Sedes	[27]
31	Ronny Standtke	[51]
32	Stephanie Teufel	[10] [18]
33	Pierre Wolper	[7] [19]
34	InSeon Yoo	[23] [30] [36]

Colors in the list of coauthors