Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Sampling the IT infrastructure",
Spring Wind 2011, Piliscsaba, Hungary, 2011.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
"Sampling and Parameter Testing in Large IT Infrastructure Graphs",
Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology,
: IBM Research Zurich, 2008.
"Online Infrastructure Dependency Detection and Tracking",
Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.
"Applying MDA approach for the SA Forum platform",
3rd Federated Event on Distributed Computing Techniques 2008, Oslo, pp. 1 - 6, 2008.
"Fejlesztési folyamatok ontológia alapú ellenőrzése",
XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
"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 software integration approach for designing and assessing dependable embedded systems",
Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"CheckVML: A Tool for Model Checking Visual Modeling Languages",
Proc. UML 2003: 6th International Conference on the Unified Modeling Language, vol. 2863, San Francisco, CA, USA, Springer, pp. 92–95, October 20-24, 2003.
Abstract
Acceptance rate: 15%
"Formal Verification of Model Transformation Systems",
EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
