Publications

Export 7 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is D  [Clear All Filters]
A B C [D] E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
D
Dal Cin, M., Huszerl, G., and Kosmidis, K., "Quantitative Evaluation of Dependability Critical Systems Based on Guarded Statechart Models", Proc. Fourth IEEE Int. Symposium on High Assurance Systems Engineering (HASE'99): IEEE Computer Society Press, pp. 37 - 45, 1999.
Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006. Abstract
Darvas, Á., Majzik, I., and Benyó, B., "Verification of UML Statechart Models of Embedded Systems", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
Dávid, I., and Gönczy, L., "Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study", Advances and Applications in Model-Driven Engineering: IGI Global, 2013. Abstract
Domokos, P., and Majzik, I., "Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation", Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
Domokos, P., Majzik, I., and Varró, D., "Megbízhatósági modellek automatikus generálása gráftranszformációval", Fiatal Műszakiak Tudományos Ülésszaka IX., Kolozsvár, pp. 101 - 104, 2004.
Domokos, P., and Majzik, I., "Design and Analysis of Fault Tolerant Architectures by Model Weaving", Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.