Publikációk

Export 502 results:
Rendezés: [ Szerző  (Asc)] Cím Típus Év
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 
G
Graics, B., and Molnár, V., "Formal Compositional Semantics for Yakindu Statecharts", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 22–25, 2017.
Graics, B., and Majzik, I., "Modeling and Analysis of an Industrial Communication Protocol in the Gamma Framework", 27th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2020. Abstract
Graics, B., Molnár, V., and Majzik, I., "Contract-Based Specification and Test Generation for Adaptive Systems", 16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021. Abstract
Gusat, M., DeCusatis, C., Minkenberg, C., Kuldeep, B., McKenna, L., Paljak, G J., Pataricza, A., and Kocsis, I., "Benchmarking the Ethernet-Federated Datacenter", First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
Gusat, M., Minkenberg, C., and Paljak, G J., Flow and Congestion Control for Datacenter Networks, , no. RZ3742: IBM Zürich Research Laboratory, 2009.
Gyapay, S., Schmidt, Á., and Varró, D., "Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 137-147, 2004. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time", Fundamenta Informaticae, vol. 58, no. 1, pp. 1–22, November, 2003. Abstract
Gyapay, S., and Varró, D., Automatic Algorithm Generation for Visual Control Structures, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, December, 2000.
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time: Causality and Logical Clocks", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002. Abstract
H
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, Á., 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, pp. 161--179, 2020.
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, Á., 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, Á., and Jovanović, D., "SMT-Friendly Formalization of the Solidity Memory Model", European Symposium on Programming, vol. 12075: Springer, pp. 224--250, 2020.
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, Á., and Micskei, Z., "Efficient Strategies for CEGAR-based Model Checking", Journal of Automated Reasoning, vol. 64, issue 6, pp. 1051-1091, 2020. Abstract
Hajdu, Á., Making the TTreeReader interface more accessible, , no. CERN-STUDENTS-Note-2015-039, Geneva, Switzerland, CERN, pp. 5, 2015.
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, Á., 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, Á., 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
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