Publikációk

Export 62 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: Az Utónév Első Betűje = T  [Minden szűrő visszaállítása]
Report
Conference Paper
Varró, G., Varró, D., and Friedl, K., "Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006. Abstract
Lollini, P., Montecchi, L., Magyar, M., Majzik, I., and Bondavalli, A., "Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
Mens, T., Gorp, P V., Karsai, G., and Varró, D., "Applying a Model Transformation Taxonomy to Graph Transformation Technology", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 143–159, 2006. Abstract
Debreceni, C., Ráth, I., Varró, D., Carlos, X D., Mendialdua, X., and Trujillo, S., "Automated Model Merge by Design Space Exploration", 19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
Sisak, Á., Pintér, G., and Majzik, I., "Automated Verification of Complex Behavioral Models Using the SAL Model Checker", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
Pintér, G., and Majzik, I., "Automatic Code Generation Based on Formally Analyzed UML Statechart Models", Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 45 - 52, 2003.
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", 18th International Workshop on Automated Verification of Critical Systems, Oxford, England, EASST, 2018.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation", Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008. Abstract
Acceptance rate: ~40%
Fernández Adiego, B., Darvas, D., Tournier, J-C., Blanco Viñuela, E., and González Suárez, V. M., "Bringing Automated Model Checking to PLC Program Development – A CERN Case Study", Proceedings of the 12th International Workshop on Discrete Event Systems, Paris, France, International Federation of Automatic Control, pp. 394-399, 05/2014.
Micskei, Z., Majzik, I., and Tam, F., "Comparing Robustness of AIS-Based Middleware Implementations", Service Availability Symposium, pp. 20 - 30, 2007.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., "Configurable Numerical Analysis for Stochastic Systems", Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
Gönczy, L., Chiaradonna, S., Giandomenico, D. F., Pataricza, A., Bondavalli, A., Bartha, T., and Telek, M., Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation, : Springer-Verlag, pp. 166 - 180, 2006. Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science KW: dependability evaluation Proc. of the Third European Performance Engineering Workshop (EPEW-2006)
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
Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D., "Formal Methods in the Evaluation of a Safe Driver Machine Interface", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.
Varró, G., Varró, D., and Schürr, A., "Incremental Graph Pattern Matching: Data Structures and Initial Experiments", Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006. Abstract
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
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.
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract
Ehrig, K., Guerra, E., de Lara, J., Lengyel, L., Levendovszky, T., Prange, U., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Model Transformation by Graph Transformation: A Comparative Study", MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005. Abstract
Gönczy, L., Heckel, R., and Varró, D., "Model-Based Testing of Service Infrastructure Components", Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007. Abstract
Acceptance rate: 39%
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.