- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| c18 |      | Andreas Ulrich, El Hachemi Alikacem, Hesham Hallal, Sergiy Boroday: From Scenarios to Test Implementations Via Promela. ICTSS 2010: 236-249 |
| 2009 | ||
| c17 | | Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65 |
| 2008 | ||
| c16 | | Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Test suite consistency verification. EWDTS 2008: 235-239 |
| c15 | | 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 |
| e2 |  | Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa (Eds.): 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. Lecture Notes in Computer Science 5047, Springer 2008, isbn 978-3-540-68514-2 |
| 2007 | ||
| c14 | | Andreas Ulrich, Alexandre Petrenko: Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA 2007: 184-193 |
| c13 | | Andreas Ulrich: Introducing model-based testing techniques in industrial projects. Software Engineering (Workshops) 2007: 29-34 |
| 2006 | ||
| j2 | | 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) |
| j1 | | Andreas Ulrich, Peter Zimmerer, Andrej Pietschker: Neuere Entwicklungen im Testbereich der SIEMENS AG - CT SE 1. Softwaretechnik-Trends 26(1) (2006) |
| 2004 | ||
| e1 | | Alexandre Petrenko, Andreas Ulrich (Eds.): Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Lecture Notes in Computer Science 2931, Springer 2004, isbn 3-540-20894-1 |
| 2003 | ||
| c12 | | Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337 |
| c11 | | Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108 |
| c10 | | Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196 |
| 2000 | ||
| c9 | | Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280 |
| 1999 | ||
| c8 | | Andreas Ulrich, Peter Zimmerer: International Workshop on Testing Distributed Component-Based Systems. ICSE 1999: 698 |
| c7 | | |
| 1998 | ||
| c6 | | Alexandre Petrenko, Andreas Ulrich, V. Chapenko: Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190 |
| 1997 | ||
| c5 | | |
| c4 | | Andreas Ulrich: A Description Model to Support Test Suit Derivation for Concurrent Systems. Kommunikation in Verteilten Systemen 1997: 151-166 |
| 1995 | ||
| c3 | | Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich: SELEXPERT - A Knowledge-based Tool for Test Case Selection. FORTE 1995: 313-328 |
| c2 | | Andreas Ulrich, Samuel T. Chanson: An approach to testing distributed software systems. PSTV 1995: 121-136 |
| 1993 | ||
| c1 | | Andreas Ulrich, Hartmut König: Test Derivation from LOTOS Using Structure Information. Protocol Test Systems 1993: 279-293 |
Colors in the list of coauthors
Last update Sun May 26 00:00:22 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page