Publications

Export 256 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is V  [Clear All Filters]
2003
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.
2002
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002. Abstract
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%
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., and Varró, D., "VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models", Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002. Abstract
Acceptance rate = 20%
Domokos, P., and Varró, D., "An Open Visualization Framework for Metamodel-Based Modeling Languages", Proc. GraBaTs 2002, International Workshop on Graph-Based Tools, vol. 72 (2), no. 2, Barcelona, Spain, Elsevier, pp. 78–87, October 7–8, 2002. Abstract
Varró, D., "A Formal Semantics of UML Statecharts by Model Transition Systems", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time: Causality and Logical Clocks", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002. Abstract
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.
Huszerl, G., Majzik, I., Pap, Z., Petri, D., Pataricza, A., and Varró, D., "Keretrendszer nagymegbízhatóságú, biztonságkritikus rendszerek fejlesztéséhez és teszteléséhez", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
Varró, D., and Pataricza, A., "UML modellek automatikus transzformációi", OOOK 2002: 5. Országos Objektum-Orientált Konferencia, Dobogókõ, Hungary, October 16–17, 2002.
In Hungarian
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
Varró, D., "Towards Formal Verification of Model Transformations", PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems, Enschede, The Netherlands, March 20–22, 2002. Abstract
Varró, D., "A Pattern-Based Constraint Language for Metamodels", Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.
Varró, D., "Automated Program Generation in VIATRA", Mini–Symposium 2002, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 34–35, February 4–5, 2002.
Varró, D., "Automatic Program Generation for and by Model Transformation Systems", Proc. AGT 2002: Workshop on Applied Graph Transformation, Grenoble, France, pp. 161–173, April 12–13, 2002. Abstract
Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Petri, D., and Varró, D., "A Framework for the Development and Testing of Mission-Critical Applications", PROC. 5. National Conference on Object-Orientation (OOOK-2002), pp. & - , 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.
Varró, D., Gyapay, S., and Pataricza, A., "Automatic Transformation of UML Models for System Verification", WTUML'01: Workshop on Transformations in UML, Genova, Italy, pp. 123–127, April 7th, 2001. Abstract
Varró, D., and Pataricza, A., A Unifying Semantic Framework for Multilevel Metamodelling, : Budapest University of Technology and Economics, October, 2001.
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Varró, D., and Pataricza, A., An XML Schema Description of Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001. Abstract
2000
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS} Workshop on Graph Transformation Systems, Berlin, Germany, pp. 14–21, March 25–27, 2000. Abstract
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
Varró, D., "Grafikus nyelvek automatikus transzformációjának tervezése", Végzõs Konferencia '2000, Budapest, Hungary, Budapest University of Technology and Economics, pp. 454–459, April 26, 2000.
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.