Publications
] Filters: First Letter Of Last Name is D [Clear All Filters]
Incremental extension of the saturation algorithm-based bounded model checking of Petri nets,
, vol. MSc: Budapest University of Technology and Economics, pp. 127, 05/2014.
Automated Generation of Formal Models from ST Control Programs for Verification Purposes,
, no. CERN-ACC-NOTE-2014-0037: CERN, 2014.
"Ontology-Supported Design of Domain-Specific Languages: A Complex Event Processing Case Study",
Advances and Applications in Model-Driven Engineering: IGI Global, 2013.
Abstract
"A survey and comparison of transformation tools based on the transformation tool contest",
Science of Computer Programming, vol. 85/A, pp. 41-99, 06/2014, 2013.
Abstract
"Bounded saturation-based CTL model checking",
Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
"Efficient Saturation-based Bounded Model Checking of Asynchronous Systems",
13th Symposium on Programming Languages and Software Tools (SPLST'13), Szeged, Hungary, University of Szeged, pp. 259–273, 08/2013.
"Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal",
Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
Transforming PLC programs into formal models for verification purposes,
, no. CERN-ACC-NOTE-2013-0040: CERN, 2013.
"OWLAP—Using OLAP approach in anomaly detection: Award: Good support for the data preparation, analysis, and presentation process",
2012 IEEE Conference on Visual Analytics Science and Technology (VAST), Seattle, IEEE, 10/2012.
"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.
"Szaturáció alapú korlátos modellellenőrzési technikák Petri-hálók analízisére",
XVII. Fiatal Műszakiak Tudományos Ülésszaka, Cluj Napoca, Romania, Erdélyi Múzeum-Egyesület Műszaki Tudományok Szakosztálya, pp. 83-86, 2012.
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"Bounded Saturation Based CTL Model Checking.",
12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
"Sensor Selection for IT Infrastructure Monitoring",
Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
"Benchmarking the Ethernet-Federated Datacenter",
First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
"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
"Model Transformations for Performability Analysis of Service Configurations",
Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, vol. 5421: Springer, pp. 153-166, 2008.
Abstract
"Adding High Availability Features to Server Applications Using Aspect-Oriented Programming",
HÍRADÁSTECHNIKA, vol. LXII, issue 1, pp. 56 - 62, 2007.
"Aspect-Oriented Modelling and Analysis of Information Systems",
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, pp. 21 - 31, 2007.
"Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems",
Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.
"Automated Construction of Dependability Models by Aspect-Oriented Modeling and Model Transformation",
Proc. 19th Int. Conf. on Architecture of Computing Systems: Gesellschaft für Informatik, pp. 66 - 75, 2006.
"Towards Testing the Implementation of Graph Transformations",
Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006.
Abstract
"Dependability Modeling Using Aspect Weaving Techniques",
Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
"Design and Analysis of Fault Tolerant Architectures by Model Weaving",
Proc. Ninth IEEE Int. Symposium on High-Assurance Systems Engineering (HASE-05): IEEE Computer Society Press, pp. 15 - 24, 2005.
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
