Search the dblp DataBase

Publications of Author

1. Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz
   Towards Modularized Verification of Distributed Time-Triggered Systems. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:163-178 [Conf]
   
2. 
   Integrating Functional and Architectural Views of Reactive Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Modeling the Functionality of Multi-Functional Software Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Towards Consistent Specifications of Product Families. [Citation Graph (, )][DBLP]
   
   
5. 
   A System for Seamless Abstraction Layers for Model-based Development of Embedded Software. [Citation Graph (, )][DBLP]
   
   
6. 
   Property-Driven Scenario Integration. [Citation Graph (, )][DBLP]
   
   
7. 
   Development and Configuration of Service-based Product Lines. [Citation Graph (, )][DBLP]
   
   
8. 
   Service-Oriented Commonality Analysis Across Existing Systems. [Citation Graph (, )][DBLP]