Publikációk

Export 489 results:
Rendezés: Szerző Cím Típus [ Év (Desc)]
2018
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
Farkas, R., and Bergmann, G., "Towards Reliable Benchmarks of Timed Automata", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
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.
2017
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
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata using Interpolants", Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017. Abstract
Sallai, G., Hajdu, Á., Tóth, T., and Micskei, Z., "Towards Evaluating Size Reduction Techniques for Software Model Checking", Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017. Abstract
Darvas, D., Majzik, I., and Blanco Viñuela, E., "PLC Program Translation for Verification Purposes", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017. Abstract
Honfi, D., and Micskei, Z., "Supporting Unit Test Generation via Automated Isolation", Periodica Polytechnica, Electrical Engineering and Computer Science, 02/2017.
Szárnyas, G., Maginecz, J., and Varró, D., "Evaluation of Optimization Strategies for Incremental Graph Queries", Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations", Software and Systems Modeling, 2017.
Semeráth, O., and Varró, D., "Evaluating Well-Formedness Constraints on Incomplete Models", Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
Marton, J., Szárnyas, G., and Varró, D., "Formalising openCypher Graph Queries in Relational Algebra", 21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
Debreceni, C., "Advanced Techniques and Tools in Secure Collaborative Modeling", ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, ACM, 09/2017.
Preprinted version
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.
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Property-based Locking in Collaborative Modeling", 20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling", 2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
Gómez, A., Mendialdua, X., Bergmann, G., Cabot, J., Debreceni, C., Garmendia, A., Kolovos, D. S., de Lara, J., and Trujillo, S., "On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development", European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
Szárnyas, G., "Scalable Graph Query Evaluation and Benchmarking with Realistic Models", ACM SRC Grand Finals, online competition, ACM, 05/2017.
This is not a separate publication, but is based on the MODELS ACM SRC paper of the same title, which won 1st place in 2016. This is a significantly enhanced version, so I recommend reading this paper instead of its predecessor.
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.
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.
Farkas, R., and Hajdu, Á., "Activity-Based Abstraction Refinement for Timed Systems", Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 18–21, 2017. Abstract
Honfi, D., and Micskei, Z., Classifying the Correctness of Generated White-Box Tests: An Exploratory Study, : arXiv, 2017.
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
Marussy, K., Molnár, V., Vörös, A., and Majzik, I., "Getting the Priorities Right: Saturation for Prioritised Petri Nets", International Conference on Applications and Theory of Petri Nets and Concurrency: Springer, pp. 223–242, 2017.
Semeráth, O., and Varró, D., "Graph Constraint Evaluation over Partial Models by Constraint Rewriting", Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció