Publikációk
] Szűrők: Az Utónév Első Betűje = P [Minden szűrő visszaállítása]
"A Process Graph Based Formulation of The Syndrome-decoding Problem",
Proc. IEEE Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS 2001): SZIF-Universitas, pp. 267 - 272, 2001.
"Process-graph Based Formulation of The Syndrome-decoding Problem",
Proc. of Mini-symposium 2001, pp. 46 - 47, 2001.
"Qualitative Characterization of Quality of Service Interference between Virtual Machines",
ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.
"Qualitative performance control in supervised IT infrastructures",
Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.
"Reachability Analysis of Petri-nets by FPGA Based Accelerators",
Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), pp. 307 - 312, 1998.
"A Resilient SIL 2 Driver Machine Interface for Train Control Systems",
Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
"Robustness Testing Techniques For High Availability Middleware Solutions",
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.
"Run-time Verification of Statechart Implementations",
Proceedings of the 12th PhD Mini-Symposium of the Department of Measurement and Information Systems: BME, pp. 46 - 47, 2005.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity",
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
Abstract
"Software Model Checking with a Combination of Explicit Values and Predicates",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019.
Abstract
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
"Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator",
GRADES-NDA at SIGMOD/PODS: ACM, 2020.
"System Level Diagnostics and Percolation Theory",
Proceedings of the 7th PhD Mini-Symposium of the Department of Measurement and Information Systems, pp. 48 - 49, 2000.
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
"Többprocesszoros rendszerek ellenőrzése watchdog processzorok felhasználásával",
XIV. Tudományos Ülésszak, Kandó Kálmán Műszaki Főiskola, pp. - , 1994.
"A Tool for Managing Evolving Security Requirements",
CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011.
Abstract
urn:nbn:de:0074-734-7
"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 Testing the Implementation of Graph Transformations",
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006.
Abstract
"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.
"UML Based Design of Time Triggered Systems",
Proceedings of The 7th IEEE International Symposium on Object-Oriented Real-time Distributed Computing (ISORC-2004): IEEE Computer Society Press, pp. 60 - 63, 2004.
"UML Based Visual Design of Embedded Systems",
Proceedings of the 7th IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS'04), pp. 115 - 120, 2004.
"UML-based Design and Formal Analysis of a Safety-Critical Railway Control Software Module",
Formal Methods for Railway Operation and Control Systems, Budapest, L'Harmattan Kiadó, pp. 125 - 132, 2003.
"VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models",
41st International Conference on Software Engineering, Montreal, Canada, ACM/IEEE, 2019.
"Visual Graph Transformation in System Verification",
DDECS 2000 International IEEE Workshop on the Design and Diagnostics of Electronic Circuits and Systems, Bratislava, Slovakia, pp. 137–141, April 5–7, 2000.
Abstract
"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.
