BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Israel
1 × Russia
1 × The Netherlands
2 × France
Collaborated with:
A.Petrenko H.König S.Boroday H.Hallal V.Chapenko E.H.Alikacem
Talks about:
test (6) system (4) implement (2) distribut (2) concurr (2) trace (2) use (2) architectur (1) quiescenc (1) structur (1)

Person: Andreas Ulrich

DBLP DBLP: Ulrich:Andreas

Facilitated 3 volumes:

ICTSS 2013Ed
TestCom/FATES 2008Ed
FATES 2003Ed

Contributed to:

ICTSS 20102010
TestCom/FATES 20092009
ECMDA-FA 20072007
TestCom 20032003
TestCom 20002000
IWTCS 19991999
IWTCS 19981998
IWPTS 19931993

Wrote 8 papers:

ICTSS-2010-UlrichAHB #implementation
From Scenarios to Test Implementations Via Promela (AU, EHA, HH, SB), pp. 236–249.
TestCom-FATES-2009-BorodayPU #implementation #testing
Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.
ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation
Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.
TestCom-2003-HallalBUP #approach #testing
An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.
TestCom-2000-PetrenkoU #concurrent #testing #verification
Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.
IWTCS-1999-UlrichK #architecture #distributed #testing
Architectures for Testing Distributed Systems (AU, HK), pp. 93–108.
IWTCS-1998-PetrenkoUC #concurrent #detection #fault #using
Using Partial-Orders for Detecting Faults in Concurrent Systems (AP, AU, VC), pp. 175–190.
IWPTS-1993-UlrichK #using
Test Derivation from LOTOS Using Structure Information (AU, HK), pp. 279–293.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.