The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Andreas Ulrich: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Abdelaziz Guerrouat, Hartmut König, Andreas Ulrich
    SELEXPERT - A Knowledge-based Tool for Test Case Selection. [Citation Graph (0, 0)][DBLP]
    FORTE, 1995, pp:313-328 [Conf]
  2. Andreas Ulrich, Hartmut König
    Specification-based Testing of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 1997, pp:7-22 [Conf]
  3. Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
    Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:337- [Conf]
  4. Andreas Ulrich, Peter Zimmerer
    International Workshop on Testing Distributed Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:698- [Conf]
  5. Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
    Formal Modeling of Communication Traces. [Citation Graph (0, 0)][DBLP]
    ISTA, 2003, pp:97-108 [Conf]
  6. Andreas Ulrich
    A Description Model to Support Test Suit Derivation for Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1997, pp:151-166 [Conf]
  7. Andreas Ulrich, Samuel T. Chanson
    An approach to testing distributed software systems. [Citation Graph (0, 0)][DBLP]
    PSTV, 1995, pp:121-136 [Conf]
  8. Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
    An Automata-Based Approach to Property Testing in Event Traces. [Citation Graph (0, 0)][DBLP]
    TestCom, 2003, pp:180-196 [Conf]
  9. Alexandre Petrenko, Andreas Ulrich
    Verification and Testing of Concurrent Systems with Action Races. [Citation Graph (0, 0)][DBLP]
    TestCom, 2000, pp:261-280 [Conf]
  10. Alexandre Petrenko, Andreas Ulrich, V. Chapenko
    Using Partial-Orders for Detecting Faults in Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:175-190 [Conf]
  11. Andreas Ulrich, Hartmut König
    Test Derivation from LOTOS Using Structure Information. [Citation Graph (0, 0)][DBLP]
    Protocol Test Systems, 1993, pp:279-293 [Conf]
  12. Andreas Ulrich, Hartmut König
    Architectures for Testing Distributed Systems. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:93-108 [Conf]
  13. Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
    A formal approach to property testing in causally consistent distributed traces. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 2006, v:18, n:1, pp:63-83 [Journal]
  14. Andreas Ulrich, Alexandre Petrenko
    Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. [Citation Graph (0, 0)][DBLP]
    ECMDA-FA, 2007, pp:184-193 [Conf]
  15. Andreas Ulrich
    Introducing model-based testing techniques in industrial projects. [Citation Graph (0, 0)][DBLP]
    Software Engineering (Workshops), 2007, pp:29-34 [Conf]

  16. Constructing Test Behavior Models Using Simulated System Answers for the Analysis of Test Behavior Anomalies. [Citation Graph (, )][DBLP]


  17. Implementing MSC Tests with Quiescence Observation. [Citation Graph (, )][DBLP]


Search in 0.035secs, Finished in 0.036secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002