Publications

Export 55 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is S  [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]
S
Salamon, G., Varró, D., and Pataricza, A., "Formal Verification of Model Transformation Systems", EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
Salánki, Á., and Pataricza, A., "Identification of Dependability Models from Large Observation Sets", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
Salánki, Á., Kocsis, I., Pataricza, A., and Kocsis, Z., "Qualitative Characterization of Quality of Service Interference between Virtual Machines", ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.
Salánki, Á., Kincses, G., Gönczy, L., and Kocsis, I., "Data Analysis Based Capacity Planning of VCL Clouds", 3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
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
Schmidt, Á., and Varró, D., "CheckVML: A Tool for Model Checking Visual Modeling Languages", Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863, San Francisco, CA, USA, Springer, pp. 92–95, October 20-24, 2003. Abstract
Acceptance rate: 15%
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., "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.
Semeráth, O., "Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers", ACM Student Research Competition at MODELS 2016, Saint-malo, France, CEUR-WS, 2016.
co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research
Semeráth, O., "Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
Semeráth, O., and Varró, D., "Evaluating Well-Formedness Constraints on Incomplete Models", Acta Cybernetica Szeged, 2017.
CSCS 2016 special issue
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Incremental Backward Change Propagation of View Models by Logic Solvers", 19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
Semeráth, O., Vörös, A., and Varró, D., "Iterative and incremental model generation by logic solvers", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
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.
Semeráth, O., Horváth, Á., and Varró, D., "Validation of Derived Features and Well-Formedness Constraints in DSLs by mapping graph queries to an SMT-solver", ACM/IEEE 16th International Conference on Model Driven Engineering Languages & Systems, Miami, US, Springer LNCS 8107, 09/2013. Abstract
ACM/IEEE Best Paper Award, Acceptance rate: 26% Additional information available at http://incquery.net/content/validation-derived-features-and-well-formedn...
Semeráth, O., Rebeka, F., Bergmann, G., and Varró, D., "Diversity of Graph Models and Graph Generators in Mutation Testing", International Journal on Software Tools for Technology Transfer, 2019.
Semeráth, O., and Varró, D., "Validation of Well-formedness Constraints on Uncertain Models", THE 10TH JUBILEE CONFERENCE OF PHD STUDENTS IN COMPUTER SCIENCE, Szeged, Hungary, 06/2016.
extended abstract
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
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.
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Change Propagation of View Models by Logic Synthesis Using SAT Solvers", Fifth International Workshop on Bidirectional Transformations (Bx 2016), Eindhoven, The Netherlands, 04/2016.
Sólyom, A A., and Nagy, A S., "Swarm Intelligence Meets Rule-Based Design Space Exploration", Proceedings of the 23rd PhD Mini-Symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2016.