Andreas Ulrich

	2009
19		Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65
	2008
18		Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa: Testing of Software and Communicating Systems, 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008, 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008, Proceedings Springer 2008
17		Benjamin Zeiss, Andreas Ulrich, Jens Grabowski: Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies. GI Jahrestagung (1) 2008: 177-182
	2007
16		Andreas Ulrich, Alexandre Petrenko: Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA 2007: 184-193
15		Andreas Ulrich: Introducing model-based testing techniques in industrial projects. Software Engineering (Workshops) 2007: 29-34
	2006
14		Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)
	2004
13		Alexandre Petrenko, Andreas Ulrich: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 Springer 2004
	2003
12		Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337
11		Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108
10		Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196
	2000
9		Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280
	1999
8		Andreas Ulrich, Peter Zimmerer: International Workshop on Testing Distributed Component-Based Systems. ICSE 1999: 698
7		Andreas Ulrich, Hartmut König: Architectures for Testing Distributed Systems. IWTCS 1999: 93-108
	1998
6		Alexandre Petrenko, Andreas Ulrich, V. Chapenko: Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190
	1997
5		Andreas Ulrich, Hartmut König: Specification-based Testing of Concurrent Systems. FORTE 1997: 7-22
4		Andreas Ulrich: A Description Model to Support Test Suit Derivation for Concurrent Systems. Kommunikation in Verteilten Systemen 1997: 151-166
	1995
3		Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328
2		Andreas Ulrich, Samuel T. Chanson: An approach to testing distributed software systems. PSTV 1995: 121-136
	1993
1		Andreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293

Coauthor Index

1	Sergiy Boroday	[10] [11] [12] [14] [19]
2	Samuel T. Chanson	[2]
3	V. Chapenko	[6]
4	Jens Grabowski	[17]
5	Abdelaziz Guerrouat	[3]
6	Hesham Hallal	[10] [11] [12] [14]
7	Toru Hasegawa	[18]
8	Teruo Higashino	[18]
9	Hartmut König	[1] [3] [5] [7]
10	Alexandre Petrenko	[6] [9] [10] [11] [12] [13] [14] [16] [19]
11	Kenji Suzuki	[18]
12	Benjamin Zeiss	[17]
13	Peter Zimmerer	[8]

Colors in the list of coauthors