Publikációk

Export 145 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: Az Utónév Első Betűje = S  [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]
V
C
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%
V
Gáspár, P., Szászi, I., Bartha, T., Varga, I., Bokor, J., Palkovics, L., and Gianone, L., "Visual lane and obstruction detection system for commercial vehicles", 4th IFAC symposium on fault detection supervision and safety for technical processes. SAFEPROCESS 2000. Preprints, Budapest, vol. 2: IFAC, pp. 908–913, 06.14–06.16., 2000.
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., 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., 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...
U
Pataricza, A., Majzik, I., Huszerl, G., and Várnai, G., "UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
Huszerl, G., and Kosmidis, K., "UML - Extensions for Quantitative Analysis", Proc. of UML 2000 Workshop: Dynamic Behaviour in UML Models: Semantic Questions, München, LMU-München, Institut für Informatik, pp. 70 - 75, 2000.
T
Bergmann, G., "Translating OCL to Graph Patterns", ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%. Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008. Abstract
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., Train Benchmark Technical Report, : Budapest University of Technology and Economics, 2014.
Szárnyas, G., Búr, M., and Ráth, I., "Train Benchmark Case: an EMF-IncQuery Solution", 8th Transformation Tool Contest, L'Aquila, Italy, 2015.
Szárnyas, G., Kővári, Z., Salánki, Á., and Varró, D., "Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics", ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
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.
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
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., and Ráth, I., "Towards Precise Metrics for Predicting Graph Query Performance", 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013. Abstract
Acceptance Rate: 23%
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
Herzig, S. J. I., Kruse, B., Ciccozzi, F., Denil, J., Salay, R., and Varró, D., "Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies", Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
Majzik, I., Domokos, P., and Magyar, M., "Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems", Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., and Majzik, I., "Theta: a Framework for Abstraction Refinement-Based Model Checking", Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017. Abstract
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract