Natasha Sharygina and Daniel Kroening - Free people check

(1 - 18 from 18

)

CSI Events 2004

www.cs.inf.ethz.ch

"Automated, compositional and iterative deadlock detection", Natasha Sharygina, Carnegie Mellon University. Daniel Kroening : Wed :30: Weihnachts-Essen:

Byron Cook - Professor of Computer Science

www0.cs.ucl.ac.uk

Byron Cook, Daniel Kroening, and Natasha Sharygina Journal of Theoretical Computer Science, Vol. 388, 2007, pp ; Predicate abstraction via symbolic ...

Test and Analysis of Web Servicesbooks.google.de › books

books.google.de

Daniel Kroening and Natasha Sharygina. Formal verification of SystemC by automatic hardware/software partitioning. In Proceedings of MEMOCODE 2005, ...

Validation of Evolving Softwarebooks.google.de › books

books.google.de

Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina ... Ondrej Sery, Grigory Fedyukovich and Natasha Sharygina 6 Incremental Upgrade ...

bokus.com: Validation of Evolving Software - Hana Chockler, Daniel Kroening,...

Pris: 999 kr. Inbunden, Skickas inom vardagar. Köp Validation of Evolving Software av Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha...

A Framework for Automated HW/SW Co-Verification of SystemC Designs...

books.google.de

[BKS08] Nicolas Blanc, Daniel Kroening, and Natasha Sharygina. Scoot: A Tool for the Analysis of SystemC Models. In International Conference on Tools and ...

March 25, Organizing committee: Hana Chockler IBM Daniel...

pdfslide.us

Slide 1March 25, Organizing committee: Hana Chockler IBM Daniel Kroening Oxford Natasha Sharygina USI Leonardo Mariani Giovanni Denaro UniMiB Slide

Loop Summarization and Termination Analysis - Microsoft Research

www.microsoft.com

Loop Summarization and Termination Analysis. Aliaksei Tsitovich, Natasha Sharygina, Christoph M. Wintersteiger, and Daniel Kroening Details. Publication type:

Loop summarization using state and transition invariants - Microsoft...

www.microsoft.com

Daniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, and Christoph M. Wintersteiger 2013

Google Groups: SPIN Call for Participation

: ... Daniel Kroening and Natasha Sharygina Improving Spin's Partial Order Reduction for Breadth First Search, Dragan Bosnacki and Gerard J. Holzmann Sound ...

Google Groups: FMCAD Call For Participation

: ... Daniel Kroening, and Natasha Sharygina Over-Approximating Boolean Programs with Unbounded Thread Creation 4:30-5:00 Neha Rungta and Eric Mercer An ...