Publications

Export 502 results:
Sort by: [ Author (Desc)] Title Type Year
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 
V
Varró, D., and Pataricza, A., "Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002. Abstract
Acceptance rate: 30%
Varga, I., Bartha, T., Szabo, G., and Kiss, B., "Status and Actual Risk Monitoring in a NPP Reactor Protection System", Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
UT: 000223579900425
Vágó, D., Simulation and transformation of domain-specific languages, : Budapest University of Technology and Economics, 2006.
U
Urbanics, G., Kövi, A., Égel, Z., and Pataricza, A., "Introducing Dynamism to SA Forum Cluster", Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008. Abstract
Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", Conference of PhD Students in Computer Science, Szeged, pp. 74, 06/2010.

Ujhelyi, Z., Horváth, Á., and Varró, D., "Static Type Checking of Model Transformation Programs", Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011. Abstract
Ujhelyi, Z., "Modelltranszformációk statikus analízise", Tavaszi Szél Konferenciakiadvány, Szeged, pp. 33–39, 05/2009.

Ujhelyi, Z., Szabó, T., Ráth, I., and Varró, D., "Developing and Visualizing Live Model Queries", 1st Workshop on the Analysis of Model Transformations (AMT) , Innsbruck, Austria, ACM Digital Library, 2012.
Ujhelyi, Z., Horváth, Á., and Varró, D., Generic Static Analysis of Transformation Programs, , no. TUB-TR-09-EE19: Budapest University of Technology and Economics, 06/2009.
Ujhelyi, Z., Horváth, Á., and Varró, D., "Towards Dynamic Backward Slicing of Model Transformations", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
Ujhelyi, Z., Horváth, Á., Varró, D., Csiszár, N I., Szőke, G., Vidács, L., and Ferenc, R., "Anti-pattern Detection with Model Queries: A Comparison of Approaches", IEEE CSMR-WCRE 2014 Software Evolution Week: IEEE, 02/2014.
IEEE Best Paper Award, Acceptance rate: 31%
Ujhelyi, Z., "Def-use Analysis of Model Transformation Programs with Program Slicing", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
Ujhelyi, Z., "Static Analysis of Model Transformations", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 26–27, 2010.
Ujhelyi, Z., Horváth, Á., and Varró, D., Static Type Checking of Model Transformations by Constraint Satisfaction Programming, , no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
Ujhelyi, Z., Bergmann, G., Hegedüs, Á., Horváth, Á., Izsó, B., Ráth, I., Szatmári, Z., and Varró, D., "EMF-IncQuery: An Integrated Development Environment for Live Model Queries", Science of Computer Programming, vol. 98, issue 1, 02/2015. Abstract
Ujhelyi, Z., Szőke, G., Horváth, Á., Csiszár, N I., Vidács, L., Varró, D., and Ferenc, R., "Performance Comparison of Query-based Techniques for Anti-Pattern Detection", Information and Software Technology, vol. 65, pp. 147-165, 09/2015. Abstract
Ujhelyi, Z., Bergmann, G., and Varró, D., "Rete Network Slicing for Model Queries", Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016. Abstract
Ujhelyi, Z., Horváth, Á., and Varró, D., "Dynamic Backward Slicing of Model Transformations", International Conference on Software Testing and Validation, 2012, Montreal, Canada, IEEE, 04/2012. Abstract
Acceptance rate: 27%
Ujhelyi, Z., Static Analysis of Model Transformations, : Budapest University of Technology and Economics, 2009.
Ujhelyi, Z., "Static Type Checking of Model Transformation Programs", ICGT'10 Doctoral Symposium, University of Twente, Enschede, The Netherlands, Springer Berlin / Heidelberg, pp. 413-415, 10/2010.
T
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
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
Tóth, A., Varró, D., and Pataricza, A., "Model-Level Automatic Test Generation for UML Statecharts", Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003), Poznan, Poland, pp. 293–294, April 14–16, 2003.
Tóth, T., Majzik, I., and Vörös, A., "K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
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.

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login