Publikációk
Szűrők: A Cím Első Betűje = T [Minden szűrő visszaállítása]
"Towards Testing the Implementation of Graph Transformations",
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006.
Abstract
"Towards the Characterization of Realistic Models: Evaluation of Multidisciplinary Graph Metrics",
ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, MODELS 2016, Saint Malo, France, 2016.
Acceptance rate: 23.7%
"Towards the Verification of Neural Networks for Critical Cyber-Physical Systems",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, 2018.
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"Transformation of Guarded Statecharts for Quantitative Evaluation of Dependable Embedded Systems",
Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 143 - 187, 1999.
"Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008.
Abstract
"Translating OCL to Graph Patterns",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%.
Article page and extended version available at: http://incquery.net/content/graph-patterns-ocl-performance-evaluation
"The TTC 2015 Train Benchmark Case for Incremental Model Validation",
Transformation Tool Contest, 2015.
"Temporal analysis of data flow control systems",
AUTOMATICA, vol. 34, issue 2, pp. 169 - 182, 1998.
Abstract
"Tool Integration by Model Transformations based on the Eclipse Modeling Framework",
EASST Newsletter, vol. 12, 2006.
Abstract
"Tool Support for Engineering Certifiable Software",
Electr. Notes Theor. Comput. Sci., vol. 238, no. 4, pp. 79-85, 2008.
Abstract
"Towards dependability modeling of FT-CORBA architectures",
LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002.
Abstract
"Towards Guided Trajectory Exploration of Graph Transformation Systems",
Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
Abstract
"The Train Benchmark: Cross-Technology Performance Evaluation of Continuous Model Queries",
Software and Systems Modeling, vol. 17, issue 4, 2018.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems",
Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
Abstract
"A Tool for Managing Evolving Security Requirements",
IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
Abstract
10.1007/978-3-642-29749-6_8
"Towards a Formal Operational Semantics of UML Statechart Diagrams",
Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.
"Towards Evaluating Size Reduction Techniques for Software Model Checking",
Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017.
Abstract
"Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models",
Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.