Publications
] Filters: First Letter Of Last Name is P [Clear All Filters]
"Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models",
Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002.
Abstract
Acceptance rate: 30%
"Mix-and-Match Composition in the Gamma Framework",
25th Minisymposium of the Department of Measurement and Information Systems, Budapest, Hungary, 2018.
Abstract
"Model Based Automatic Code Generation for Embedded Systems",
Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 97 - 106, 2007.
"Model checking and test generation: towards a combined approach to software verification",
Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 12–15, 01/2019.
Abstract
"Model Transformation by Graph Transformation: A Comparative Study",
MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005), 2005.
Abstract
"Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems",
Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 123 - 130, 2007.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Model-based Integration Framework for Development and Testing Tool-chains",
FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
"Model-based Integration, Execution and Certification of Development Tool-chains",
Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"Model-Based Optimization of Enterprise Application and Service Deployment",
Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005.
Abstract
"Model-Based Testing of Service Infrastructure Components",
Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007.
Abstract
Acceptance rate: 39%
"Model-Level Automatic Test Generation for UML Statecharts",
Proc. 6th IEEE Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2003), Poznan, Poland, pp. 293–294, April 14–16, 2003.
"Modeling and Analysis of Architectural Styles",
Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003.
Abstract
Acceptance rate: 20%
"Modeling Uncertainty In System-level Fault Diagnosis Using Process Graphs",
Proc. of DAPSYS 2002, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing: Kluwer Academic Publishers, pp. 195 - 202, 2002.
"Multiprocesszoros Rendszerek Maximum Likelihood Diagnosztikája",
FMTÜ 2003, Fiatal Muszakiak Tudományos Ülésszaka VIII.: Erdélyi Múzeum-Egyesület, pp. 75 - 78, 2003.
"Ontology-based assessment of software models and development processes for safety-critical systems",
Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"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
"Probabilistic Diagnostics With P-graphs",
Proc. of CSCS2002, The Third Conference of Phd Students in Computer Science, pp. 82 - , 2002.
"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.
