Publications

Export 67 results:
Sort by: [ Author (Asc)] Title Type Year
Filters: First Letter Of Last Name is H  [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]
H
Hegedüs, Á., "A Model-driven Framework for Guided Design Space Exploration", Proceedings of the 19th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2012.
Hegedüs, Á., "BPEL2.0 munkafolyamatok formális verifikációja", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 20-26, 05/2009. Abstract
In Hungarian
Hegedüs, Á., Horváth, Á., Ráth, I., Branco, M C., and Varró, D., "Quick fix generation for DSMLs", IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011. Abstract
Acceptance rate: 33%
Hegedüs, Á., "Back-annotation of Execution Sequences by Advanced Search and Traceability Techniques", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, 06/2014. Abstract
Hegedüs, Á., Ujhelyi, Z., Ráth, I., and Horváth, Á., "Visualization of Traceability Models with Domain-specific Layouting", Electronic Communications of the EASST, Proceedings of the Fourth International Workshop on Graph-Based Tools, vol. 32, 04/2011. Abstract
Hegedüs, Á., Ráth, I., and Varró, D., Back-annotation framework for Simulation Traces of Discrete Event-based Languages, : BME, 04/2010.
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "Query-driven soft interconnection of EMF models", ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012. Abstract
Acceptance rate: 23%
Hegedüs, Á., A framework for the Dependability analysis of UML-based system designs with maintenance, : Budapest University of Technology and Economics, 05/2009. Abstract
Herzig, S. J. I., Kruse, B., Ciccozzi, F., Denil, J., Salay, R., and Varró, D., "Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies", Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
Honfi, D., Vörös, A., and Micskei, Z., "SEViz: A Tool for Visualizing Symbolic Execution", IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
Honfi, D., and Micskei, Z., Classifying the Correctness of Generated White-Box Tests: An Exploratory Study, : arXiv, 2017.
Honfi, D., and Micskei, Z., "Supporting Unit Test Generation via Automated Isolation", Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
Honfi, D., and Micskei, Z., "Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics", Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
Honfi, D., Molnár, G., Micskei, Z., and Majzik, I., "Model-Based Regression Testing of Autonomous Robots", Model-Driven Engineering for Future Internet - 18th International SDL Forum, Budapest, Hungary, Springer International Publishing, 09/2017.
Honfi, D., and Micskei, Z., "Classifying generated white-box tests: an exploratory study", Software Quality Journal, pp. 42, 2019. Abstract
Honfi, D., Micskei, Z., and Vörös, A., Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013. Abstract
Honfi, D., and Micskei, Z., "User-defined Sandbox Behavior for Dynamic Symbolic Execution", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 03/2017.
Honfi, D., and Micskei, Z., "Generating Unit Isolation Environment Using Symbolic Execution", Proceedings of the 23rd PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2016.
Horányi, G., Micskei, Z., and Majzik, I., "Scenario-based Automated Evaluation of Test Traces of Autonomous Systems", Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013. Abstract
Horányi, G., and Majzik, I., Automated Evaluation of the Test Traces of Autonomous Systems, , Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
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
Horváth, Á., "Verification of Model Transformation", Proceedings of the 15th PhD Minisymposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2008.
Horváth, Á., Varró, D., and Varró, G., "Automatic generation of platform-specific transformation", Info-Communications-Technology, vol. LXI, no. 7, pp. 40–45, 2006. Abstract
Horváth, Á., and Varró, D., "Dynamic constraint satisfaction problems over models", Software and Systems Modeling, vol. 11, issue 3, pp. 385-408, 2012. Abstract
Horváth, Á., and Horváth, L., "Manapság már Magyarországon is óránként készülnek az új "Fürdö utca 10"-ek", Híradástechnika, vol. 61(5), no. 5: Híradástechnikai társulat, pp. 58–59, 2006.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login