Search the dblp DataBase

Publications of Author

1. Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
   Specification and Verification of Dynamic Communication Systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:189-200 [Conf]
   
2. Andreas Podelski, Ina Schaefer, Silke Wagner
   Summaries for While Programs with Recursion. [Citation Graph (0, 0)][DBLP]
   ESOP, 2005, pp:94-107 [Conf]
   
3. Dieter Hutter, Heiko Mantel, Ina Schaefer, Axel Schairer
   Security of multi-agent systems: A case study on comparison shopping. [Citation Graph (0, 0)][DBLP]
   J. Applied Logic, 2007, v:5, n:2, pp:303-332 [Journal]
   
4. Rasmus Adler, Ina Schaefer, Tobias Schüle, Eric Vecchié
   From Model-Based Design to Formal Verification of Adaptive Embedded Systems. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2007, pp:76-95 [Conf]
   
5. Ina Schaefer, Arnd Poetzsch-Heffter
   Brief Announcement: Towards Modular Verification of Stabilisation in Self-adaptive Embedded Systems. [Citation Graph (0, 0)][DBLP]
   SSS, 2006, pp:584-585 [Conf]
   
6. 
   Using Abstraction in Modular Verification of Synchronous Adaptive Systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Implementing software product lines using traits. [Citation Graph (, )][DBLP]
   
   
8. 
   Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems. [Citation Graph (, )][DBLP]
   
   
9. 
   Delta-Oriented Programming of Software Product Lines. [Citation Graph (, )][DBLP]
   
   
10. 
    1st International Workshop on Formal Methods in Software Product Line Engineering (FMSPLE 2010). [Citation Graph (, )][DBLP]
    
    
11. 
    Translation Validation of System Abstractions. [Citation Graph (, )][DBLP]
    
    
12. 
    Variability Modelling for Model-Driven Development of Software Product Lines. [Citation Graph (, )][DBLP]