MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Nikolai Tillmann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 22 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Partial Updates Exploration II  
  • by Yuri Gurevich, Nikolai Tillmann — 2003 — In Proc. Abstract State Machines 2003, LNCS, Vol 2589
  • …Partial Updates Exploration II Yuri Gurevich and Nikolai Tillmann Microsoft Research, One Microsoft…
  • Cited by 1 (1 self) – Add To MetaCart
  • Partial Updates: Exploration  
  • by Yuri Gurevich, Nikolai Tillmann — 2001 — Journal of Universal Computer Science
  • … 98052, USA gurevich@(email omitted);) Nikolai Tillmann (Microsoft Research One Microsoft Way, Redmond, WA…
  • Cited by 10 (6 self) – Add To MetaCart
  • in the Abstract State Machine Language  
  • by Tu Berlin, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann
  • …, Redmond, WA 98052, USA, schulte@(email omitted); Author: Nikolai Tillmann, Microsoft Research, One Microsoft…
  • Add To MetaCart
  • Discovering likely method specifications  
  • by Nikolai Tillmann, Feng Chen, Wolfram Schulte — 2006 — In Proceedings of the 8th International Conference on Formal Engineering Methods (ICFEM’06), LNCS
  • …Discovering Likely Method Specifications Nikolai Tillmann 1 , Feng Chen 2 , Wolfram Schulte 1 1…
  • Cited by 3 (1 self) – Add To MetaCart
  • Demand-driven compositional symbolic execution  
  • by Saswat An, Patrice Godefroid, Nikolai Tillmann — 2008 — In Proc. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS
  • …Demand-Driven Compositional Symbolic Execution Saswat Anand ⋆1 , Patrice Godefroid 2 , and Nikolai…
  • Cited by 3 (0 self) – Add To MetaCart
  • Online testing with model programs  
  • by Margus Veanes, Colin Campbell, Wolfram Schulte, Nikolai Tillmann — 2005 — In ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
  • …Online Testing with Model Programs Margus Veanes Colin Campbell Wolfram Schulte Nikolai Tillmann…
  • Cited by 10 (4 self) – Add To MetaCart
  • Validating use-cases with the AsmL test tool  
  • by Mike Barnett, Wolfgang Grieskamp, Wolfram Schulte, Nikolai Tillmann, Margus Veanes — 2003 — Proc. QSIC03
  • …, Nikolai Tillmann and Margus Veanes Microsoft Research, One Microsoft Way, Redmond, WA 98052, USA {mbarnett…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB