Publications

Export 23 results:
Sort by: [ Author  (Desc)] Title Type Year
Filters: First Letter Of Title is E  [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]
U
S
R
Ráth, I., "Enhancing design-time model execution in domain-specific languages by incremental pattern matching", Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 16–20, 2009.
P
Polgár, B., and Selényi, E., "Efficiency of P-graph Based Syndrome Decoding", Proceedings of DDECS2002, The 5th IEEE Design And Diagnostics of Electronic Circuits and Systems Workshop, pp. 374 - 377, 2002.
Pataricza, A., Kocsis, I., Salánki, Á., and Gönczy, L., "Empirical Assessment of Resilience", Software Engineering for Resilient Systems, vol. 8166: Springer Berlin Heidelberg, 2013.
N
Nagy, A S., and Varró, D., "Effects of Graph Transformation Rules to Design Space Exploration Problems", Proceedings of the 24th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
M
Molnár, V., and Majzik, I., "Evaluation of Fault Tolerance Mechanisms with Model Checking", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Hungary, pp. 30–33, 2016.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
K
Kövi, A., and Varró, D., "An Eclipse-Based Framework for AIS Service Configurations", Proc. 4th International Service Availability Symposium, ISAS 2007, Durham, NH, USA, May 21-22, 2007, vol. 4526: Springer, pp. 110-126, 2007. Abstract
Acceptance rate: 44%
H
Horváth, Á., Bergmann, G., Ráth, I., and Varró, D., "Experimental Assessment of Combining Pattern Matching Strategies with VIATRA2", International Journal on Software Tools for Technology Transfer, vol. 12, issue 3-4, pp. 211-230, 2010. Abstract
Hajdu, Á., Vörös, A., Bartha, T., and Mártonka, Z., "Extensions to the CEGAR Approach on Petri Nets", Proceedings of the 13th Symposium on Programming Languages and Software Tools, SPLST'13, Szeged, Hungary, University of Szeged, pp. 274–288, 08/2013. Abstract
Hajdu, Á., and Micskei, Z., "Efficient Strategies for CEGAR-based Model Checking", Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020. Abstract
Hajdu, Á., and Micskei, Z., "Exploratory Analysis of the Performance of a Configurable CEGAR Framework", Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 34–37, 2017. Abstract
Hajdu, Á., Vörös, A., Bartha, T., and Mártonka, Z., "Extensions to the CEGAR Approach on Petri Nets", Acta Cybernetica, vol. 21, issue 3, pp. 417, 08/2014. Abstract
D
Darvas, D., Vörös, A., and Bartha, T., "Efficient Saturation-based Bounded Model Checking of Asynchronous Systems", 13th Symposium on Programming Languages and Software Tools (SPLST'13), Szeged, Hungary, University of Szeged, pp. 259–273, 08/2013.
C
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
B
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Efficient Model Transformations by Combining Pattern Matching Strategies", Theory and Practice of Model Transformations, Second International Conference, ICMT 2009, Zurich, Switzerland, June 29-30, 2009. Proceedings, vol. 5563: Springer, pp. 20-34, 2009. Abstract
Acceptance rate: 22%
A