Publications

Export 8 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is C  [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]
C
Ceccarelli, A., Majzik, I., Iovino, D., Caneschi, F., Pintér, G., and Bondavalli, A., "A Resilient SIL 2 Driver Machine Interface for Train Control Systems", Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
Chechik, M., Dalpiaz, F., Debreceni, C., Horkoff, J., Ráth, I., Salay, R., and Varró, D., "Property-Based Methods for Collaborative Model Development", 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., and Varró, D., "VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models", Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002. Abstract
Acceptance rate = 20%
Csertán, G., Majzik, I., Pataricza, A., Allmaier, S., and Hohl, W., "Hardware Accelerators for Petri-net Analysis", Proc. Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98): University of Vienna, Department of Applied Computer Science, pp. 99 - 104, 1998.
Csertán, G., Majzik, I., Pataricza, A., and Allmaier, S., "Reachability Analysis of Petri-nets by FPGA Based Accelerators", Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), pp. 307 - 312, 1998.
Csuvarszki, J C., Graics, B., and Vörös, A., "Model-Driven Development of Heterogeneous Cyber-Physical Systems", Proceedings of the 28th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 24-27, 2021. Abstract
Czipó, B., Hajdu, Á., Tóth, T., and Majzik, I., "Exploiting Hierarchy in the Abstraction-Based Verification of Statecharts Using SMT Solvers", Proceedings of the 14th International Workshop on Formal Engineering Approaches to Software Components and Architectures, vol. 245: Open Publishing Association, pp. 31–45, 2017. Abstract