Your search
Boost open access documents
Linguistics tools
Statistics
2,839 hits
in 70,930,940 documents
in 0.28 seconds
Home » Search: Andreas Bauer
Hit List

1. Model-Based Deployment: From a High-Level View to Low-Level Implementations


Detail View Email this
  Add to Favorites Check in Google Scholar

2. Runtime Verification for LTL and TLTL


Detail View Email this
  Add to Favorites Check in Google Scholar

3. The good, the bad, and the ugly - but how ugly is ugly?


Detail View Email this
  Add to Favorites Check in Google Scholar

4. Compatibility and reuse in component-based systems via type and unit inference


Detail View Email this
  Add to Favorites Check in Google Scholar

5. SALT-Structured Assertion Language for Temporal Logic


Detail View Email this
  Add to Favorites Check in Google Scholar

6. Runtime verification revisited


Detail View Email this
  Add to Favorites Check in Google Scholar

7. DOI 10.1007/s10626-009-0084-5 Prognosis of ω-Languages for the Diagnosis of ∗-Languages: A Topological Perspective

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

8. Matching Trace Patterns with Regular Policies

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

9. The contribution of free software to software evolution

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar

10. Y.: Decentralised LTL monitoring

Content Provider:

Detail View Email this
  Add to Favorites Check in Google Scholar
Sort Your Results
Refine Search Result
Results:   1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11  Next »  [100]

Currently in BASE: 70,930,940 Documents of 3,410 Content Sources
http://www.base-search.net