T. Stauner

Future of Software Engineering (FOSE '07) · 2007

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom T. Stauner trusts

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Thomas A. Henzinger (in Hardware and Architecture)
  2. Joseph Sifakis (in Hardware and Architecture)

Papers from T. Stauner's perspective

Ordered by how strongly the researchers T. Stauner trusts endorse each paper. Same corpus, a different order for every researcher.

  1. The Embedded Systems Design Challenge (World Congress on Formal Methods)
  2. The unified modeling language reference manual
  3. The verifying compiler: A grand challenge for computing research (JACM)
  4. Metropolis: An Integrated Electronic System Design Environment (Computer)
  5. The Architecture Analysis & Design Language (AADL): An Introduction
  6. Real Time Scheduling Theory: A Historical Perspective (Real-time systems)
  7. SATABS: SAT-Based Predicate Abstraction for ANSI-C (International Conference on Tools and Algorithms for Construction and Analysis of Systems)
  8. Abstractions from proofs (ACM-SIGACT Symposium on Principles of Programming Languages)
  9. Modular verification of software components in C (25th International Conference on Software Engineering, 2003. Proceedings.)
  10. The Alchemy System for Statistical Relational AI: User Manual

Their papers