Publikációk

Export 492 results:
Rendezés: Szerző Cím Típus [ Év  (Desc)]
Elküldve
Semeráth, O., Farkas, R., Bergmann, G., and Varró, D., "Diversity of Graph Models and Graph Generators in Mutation Testing", International Journal on Software Tools for Technology Transfer, Elküldve.
2019
Semeráth, O., Babikian, A., Pilarski, S., and Varró, D., "VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models", 41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.
Dobos-Kovács, M., and Vörös, A., "Model checking and test generation: towards a combined approach to software verification", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019. Abstract
Bajkai, D V., and Hajdu, Á., "Software Model Checking with a Combination of Explicit Values and Predicates", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019. Abstract
Farkas, R., Bergmann, G., and Horváth, Á., "Adaptive Step Size Control for Hybrid CT Simulation without Rollback", 13th International Modelica Conference, OTH Regensburg, Germany, 2019.
Hajdu, Á., and Jovanović, D., "solc-verify: A Modular Verifier for Solidity Smart Contracts", Verified Software. Theories, Tools, and Experiments, New York City, USA, Springer, 2019.
(Accepted)
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
2018
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata with Discrete Variables", Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018. Abstract
Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models", Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Secure Views for Collaborative Modeling", IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", 21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, 2018.
Molnár, V., Graics, B., Vörös, A., Majzik, I., and Varró, D., "The Gamma Statechart Composition Framework", 40th International Conference on Software Engineering ({ICSE} 2018), Gothenburg, Sweden, ACM, 2018.
Megjelenés alatt.
Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
Semeráth, O., and Varró, D., "Iterative Generation of Diverse Models for Testing Specifications of DSL Tools", 21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, Springer, 2018.
Graics, B., and Molnár, V., "Mix-and-Match Composition in the Gamma Framework", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018. Abstract
Rabatin, G., and Vörös, A., "Towards the Verification of Neural Networks for Critical Cyber-Physical Systems", 25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.
Szabó, T., Bergmann, G., Erdweg, S., and Völter, M., "Incrementalizing Lattice-Based Program Analyses in Datalog", Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", 18th International Workshop on Automated Verification of Critical Systems, Oxford, England, EASST, 2018.
Marussy, K., and Majzik, I., "Constructing Dependability Analysis Models of Reconfigurable Production Systems", 14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018. Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661
Búr, M., Szilágyi, G., Vörös, A., and Varró, D., "Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems", Fundamental Approaches to Software Engineering, Cham, Springer International Publishing, pp. 111–128, 2018. Abstract