Silke Wagner (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

4 Andreas Podelski, Silke Wagner: Region Stability Proofs for Hybrid Systems. FORMATS 2007: 320-335

3 Andreas Podelski, Silke Wagner: A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. HSCC 2007: 750-753

2 Andreas Podelski, Silke Wagner: Model Checking of Hybrid Systems: From Reachability Towards Stability. HSCC 2006: 507-521

1 Andreas Podelski, Ina Schaefer, Silke Wagner: Summaries for While Programs with Recursion. ESOP 2005: 94-107

Selection of 4 from 6 records - Silke Wagner has 9 coauthors

4		Andreas Podelski, Silke Wagner: Region Stability Proofs for Hybrid Systems. FORMATS 2007: 320-335
3		Andreas Podelski, Silke Wagner: A Sound and Complete Proof Rule for Region Stability of Hybrid Systems. HSCC 2007: 750-753
2		Andreas Podelski, Silke Wagner: Model Checking of Hybrid Systems: From Reachability Towards Stability. HSCC 2006: 507-521
1		Andreas Podelski, Ina Schaefer, Silke Wagner: Summaries for While Programs with Recursion. ESOP 2005: 94-107