Publikációk
] Szűrők: Az Utónév Első Betűje = B [Minden szűrő visszaállítása]
"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing",
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
"Incremental Evaluation of Model Queries over EMF Models",
Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
"Implementing Efficient Model Validation in EMF Tools: Tool Demonstration",
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011.
Abstract
"Graph Triggers and Incrementally Evaluated Queries over EMF Models",
Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 38-41, 02/2011.
"Incremental pattern matching in the VIATRA model transformation system",
Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008.
Abstract
"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.
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
"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
"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
"BPMN to BPEL case study solution in VIATRA2",
5th International Workshop on Graph-Based Tools, , Zürich, Switzerland, Springer, 07/2009.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35
"Controllable and decomposable multidirectional synchronizations",
Software and Systems Modeling, 04/2021.
Event-based model transformations with incremental pattern matching,
, October, 2007.
"Parallelization of Graph Transformation Based on Incremental Pattern Matching",
Electronic Communications of the EASST, Proceedings of the Eighth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 18, 2009.
Abstract
"Change-driven model transformations. Change (in) the rule to rule the change.",
Software and Systems Modeling, vol. 11, issue 3: Springer Berlin / Heidelberg, pp. 431-461, 2012.
"Új formalizmus eseményvezérelt gráftranszformációhoz",
XV. Fiatal Műszakiak Tudományos Ülésszaka: Erdélyi Múzeum-Egyesület, 2010.
"Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications",
Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
"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.
"Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors",
Parallel Computing, vol. 22, pp. 1807 - 1821, 1997.
Abstract
UT: A1997WM04500008L3: citeulike-article-id:3911659KW: system-level diagnosis
ISSN 0167-8191
Special issue: distributed and parallel systems: environments and tools
"Formal Verification of Function Block Diagram based Specifications for the I&C",
System Software in NPPsIAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation and Control Systems of Nuclear Power Plants", Bethesda, 2007.
Abstract
Art. No.: 27L3: citeulike-article-id:3911635KW: formal verification
On CD
"Integrált irányítási alkalmazások járműrendszerekben.",
Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.
"Probabilistic fault diagnosis in large, heterogeneous computing systems",
Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
Formal Modelling and Verification of Specifications for the I&C System Software in NPPs,
, 2006.
Art. No.: 11On CD
