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. Alexander Gruler, Christian Heinlein
   Exception Handling with Resumption: Design and Implementation in Java. [Citation Graph (0, 0)][DBLP]
   PLC, 2005, pp:165-171 [Conf]
   
3. 
   Don't Know for Multi-valued Systems. [Citation Graph (, )][DBLP]
   
   
4. 
   Modeling the Functionality of Multi-Functional Software Systems. [Citation Graph (, )][DBLP]
   
   
5. 
   Modeling and Model Checking Software Product Lines. [Citation Graph (, )][DBLP]
   
   
6. 
   Development and Configuration of Service-based Product Lines. [Citation Graph (, )][DBLP]
   
   
7. 
   Calculating and Modeling Common Parts of Software Product Lines. [Citation Graph (, )][DBLP]
   
   
8. 
   Fundamental Concepts for the Structuring of Functionality into Modular Parts. [Citation Graph (, )][DBLP]