Publications

Export 14 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Title is V  [Clear All Filters]
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.
2016
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
2015
Bergmann, G., Dávid, I., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Viatra 3 : A Reactive Model Transformation Platform", 8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015. Abstract
2014
Tóth, T., Vörös, A., and Majzik, I., "Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics", Computer Safety, Reliability, and Security, vol. 8696: Springer International Publishing, pp. 207-218, 2014.
2013
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...
2012
Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
2011
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
2009
Németh, E., Bartha, T., Fazekas, C., and Hangos, K. M., "Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets", Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
2008
Horváth, Á., "Verification of Model Transformation", Proceedings of the 15th PhD Minisymposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 02/2008.
2007
Németh, E., and Bartha, T., "Verification of the PRISE safety procedure by formal methods", Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
2002
Darvas, Á., Majzik, I., and Benyó, B., "Verification of UML Statechart Models of Embedded Systems", Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
2001
Varró, D., "Visual Automated Model Transformation", Mini–Symposium 2001, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 48–49, January 31 – Feb, 2001.
2000
Varró, D., Varró, G., and Pataricza, A., "Visual Graph Transformation in System Verification", DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000. Abstract
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.