Publikációk

Export 64 results:
Rendezés: [ Szerző  (Asc)] Cím Típus Év
Szűrők: Az Utónév Első Betűje = H  [Minden szűrő visszaállítása]
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   [MINDENT mutat]
H
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
Hajdu, Á., Making the TTreeReader interface more accessible, , no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015. 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. Online first, 2019. 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, Á., Tóth, T., Vörös, A., and Majzik, I., "A Configurable CEGAR Framework with Interpolation-Based Refinements", Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016. Abstract
Hajdu, Á., and Jovanović, D., "SMT-Friendly Formalization of the Solidity Memory Model", European Symposium on Programming: Springer, 2020.
(Accepted)
Hajdu, Á., and Micskei, Z., "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32–35, 2018. Abstract
Hajdu, Á., Német, R., Varró-Gyapay, S., and Vörös, A., "Petri Net Based Trajectory Optimization", ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014. Abstract
Hajdu, Á., and Jovanović, D., "solc-verify: A Modular Verifier for Solidity Smart Contracts", Verified Software. Theories, Tools, and Experiments, vol. 12301, New York City, USA, Springer, 2019.
(Accepted, in press)
Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "Back-annotation of Simulation Traces with Change-Driven Model Transformations", Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010. Abstract
Acceptance rate: 22%
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011. Abstract
Hegedüs, Á., Horváth, Á., Ráth, I., and Varró, D., "A Model-driven Framework for Guided Design Space Exploration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011. Abstract
ACM Distinguished Paper Award, Acceptance rate: 15%
Hegedüs, Á., "Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
Hegedüs, Á., Horváth, Á., Ráth, I., Starr, R R., and Varró, D., "Query-driven soft traceability links for models", Software & Systems Modeling, vol. 15, issue 3, pp. 733-756, 2014. Abstract
Hegedüs, Á., Horváth, Á., and Varró, D., "A model-driven framework for guided design space exploration", Automated Software Engineering, vol. 22, issue 3, pp. 399-436, 08/2014, 2015. Abstract
Hegedüs, Á., Ráth, I., and Varró, D., From BPEL to SAL and Back: a Tool Demo on Back-Annotation with VIATRA2, : Consiglio Nazionale delle Ricerche (CNR), pp. 35-42, 09/2010. Abstract
Accepted for the SEFM'2010 "Posters and Tool Demo Session" Track
Hegedüs, Á., Ráth, I., and Varró, D., "Replaying Execution Trace Models for Dynamic Modeling Languages", Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012. Abstract
Hegedüs, Á., "BPEL Verification: The Back-annotation Problem", Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 30–31, 02/2010.
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