Publikációk
] Szűrők: A Cím Első Betűje = P [Minden szűrő visszaállítása]
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research",
Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016.
Abstract
"Performance Comparison of Query-based Techniques for Anti-Pattern Detection",
Information and Software Technology, vol. 65, pp. 147-165, 09/2015.
Abstract
"Probabilistic Diagnostics With P-graphs",
Proc. of CSCS2002, The Third Conference of Phd Students in Computer Science, pp. 82 - , 2002.
"Probabilistic Diagnostics With P-graphs",
ACTA CYBERNETICA-SZEGED, vol. 16, issue 2, pp. 279 - 291, 2003.
"Process-graph Based Formulation of The Syndrome-decoding Problem",
Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.
"Program Code Generation Based on Uml Statechart Models",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 47, issue 3-4, pp. 187 - 204, 2003.
"PN2SC Case Study: An EMF-IncQuery solution",
TTC 2013: Sixth Transformation Tool Contest, 2013.
"A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework",
Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 32–35, 2018.
Abstract
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"Property-based Locking in Collaborative Modeling",
20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
"PLC Code Generation Based on a Formal Specification Language",
14th IEEE International Conference on Industrial Informatics (INDIN), Poitiers, France, IEEE, pp. 389-396, 07/2016.
"PLC Program Translation for Verification Purposes",
Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 61, issue 2, pp. 151–165, 05/2017.
Abstract
"PLCverif: A tool to verify PLC programs based on model checking techniques",
Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 911-914, 10/2015.
"Property-Based Methods for Collaborative Model Development",
3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
"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
"Parallelization of Incremental Pattern Matching in Graph Transformation",
Proceedings of the 16th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 10–11, 2009.
"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
"Probabilistic fault diagnosis in large, heterogeneous computing systems",
Periodica Polytechnica-Electrical Engineering, vol. 2, issue 2, pp. 127 - 149, 2000.
"Pattern Composition in Graph Transformation Rules",
European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006.
Abstract
"Parallel GraphBLAS with OpenMP",
SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
