Publications
Filters: First Letter Of Last Name is B [Clear All Filters]
"A VIATRA modelltranszformációs rendszer",
FMTÜ 2003: Fiatal Magyarok Tudományos Ülésszaka, Kolozsvár, Romania, Erdélyi Múzeum Egyesület, pp. 51–54, March 21-22, 2003.
In Hungarian
The VIATRA2 Model Transformation Framework,
, 2005.
Presented at ECMDA 2005 – Tools Track
"CheckVML: A Tool for Model Checking Visual Modeling Languages",
Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863, San Francisco, CA, USA, Springer, pp. 92–95, October 20-24, 2003.
Abstract
Acceptance rate: 15%
"Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software",
ACM Trans. Embed. Comput. Syst., vol. 18, no. 5s, New York, NY, USA, ACM, pp. 89:1–89:21, 2019.
Abstract
"Well-Formedness and Invariant Checking of PLCspecif Specifications",
Proceedings of the 24th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10-13, 2017.
"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.
"VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models",
41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.
"Viatra 3 : A Reactive Model Transformation Platform",
8th International Conference on Model Transformations, L'Aquila, Italy, Springer, 07/2015.
Abstract
"Verification of UML Statechart Models of Embedded Systems",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2002): Brno University of Technology, pp. 70 - 77, 2002.
"Verification of the PRISE safety procedure by formal methods",
Proceedings of the 8th International PhD Workshop on Systems and Control, pp. 49 - 56, 2007.
On CD
"Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking",
Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
"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.
"Verification of a primary-to-secondary leaking safety procedure in a nuclear power plant using coloured Petri nets",
Reliability Engineering & System Safety, vol. 94, issue 5, pp. 942 - 953, 2009.
UT: 000264542300006
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
"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
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
"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
"Train Benchmark Case: an EMF-IncQuery Solution",
8th Transformation Tool Contest, L'Aquila, Italy, 2015.
"Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles",
IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
"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
"Towards Reliable Benchmarks of Timed Automata",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
"Towards Precise Metrics for Predicting Graph Query Performance",
2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013.
Abstract
Acceptance Rate: 23%
"Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling",
2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
"Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies",
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.