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: Ulrich:Andreas
Facilitated 3 volumes:
Ed
EdEdContributed to:
20102009
200720032000199919981993Wrote 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.