The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ina Schaefer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002