Publikációk

Export 183 results:
Rendezés: Szerző Cím [ Típus  (Desc)] Év
Szűrők: Az Utónév Első Betűje = B  [Minden szűrő visszaállítása]
Miscellaneous
Report
Thesis
Darvas, D., Incremental extension of the saturation algorithm-based bounded model checking of Petri nets, , vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
Bergmann, G., Incremental graph pattern matching and applications, : Budapest University of Technology and Economics, May, 2008.
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Conference Proceedings
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
Conference Paper
Farkas, R., Bergmann, G., and Horváth, Á., "Adaptive Step Size Control for Hybrid CT Simulation without Rollback", 13th International Modelica Conference, OTH Regensburg, Germany, 2019.
Balogh, A., and Varró, D., "Advanced Model Transformation Language Constructs in the VIATRA2 Framework", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1280–1287, April, 2006. Abstract
Acceptance rate: 32%
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.
Bergmann, G., Horváth, D., and Horváth, Á., "Applying Incremental Graph Transformation to Existing Models in Relational Databases", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 371-385, 09/2012.
Bondavalli, A., Majzik, I., and Mura, I., "Automated Dependability Analysis of UML Designs", Proc. 2nd IEEE International Symposium on Object-oriented Real-time Distributed Computing (ISORC'99), pp. 139 - 144, 1999.
Semeráth, O., Babikian, A. A., Li, A., Marussy, K., and Varró, D., "Automated Generation of Consistent Models with Structural and Attribute Constraints", 23rd International Conference on Model Driven Engineering Languages and Systems, Canada, ACM / IEEE, 2020. Abstract
Artifacts (tool and measurement results) are availables as a virtual machine at https://zenodo.org/record/3950552
Bondavalli, A., Majzik, I., and Mura, I., "Automatic Dependability Analysis for Supporting Design Decisions in UML", Proc. Fourth IEEE International Symposium on High-Assurance Systems Engineering (HASE'99), Washington, pp. 64 - 71, 1999.
Majzik, I., and Bondavalli, A., "Automatic Dependability Modeling of Systems Described in UML", Proc. 9th International Symposium on Software Reliability Engineering (ISSRE'98), pp. 29 - 30, 1998.
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
Hegedüs, Á., Bergmann, G., Ráth, I., and Varró, D., "Back-annotation of Simulation Traces with Change-Driven Model Transformations", Proceedings of the Eighth International Conference on Software Engineering and Formal Methods, Pisa, IEEE Computer Society, pp. 145-155, 09/2010. Abstract
Acceptance rate: 22%
Bartha, T., and Maestrini, P., "Backward error recovery in the APEmille parallel computer", Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
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%
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Bergmann, G., and Horváth, Á., "BPMN to BPEL case study solution in VIATRA2", 5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
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.
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Compiling Model Transformations to EJB3-Specific Transformer Plugins", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1288-1295, April, 2006. Abstract
Acceptance rate: 32%