Publikációk
Szűrők: Az Utónév Első Betűje = S [Minden szűrő visszaállítása]
"Change-Driven Model Transformations",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 342-356, 2009.
Abstract
Springer Best Paper Award and ACM Distinguished Paper Award
Acceptance rate: 18%
"CSP(M): Constraint Satisfaction Problem over Models",
Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009.
Abstract
Acceptance rate: 18%
"Incremental Synchronization of IT Infrastructure Model",
Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
"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.
"Standards-based Assessment of Development Toolchains in Safety-Critical Systems",
Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Toulouse, pp. 1 - 4, 2009.
"A Modell Based Framework for Specifying and Executing Fault Injection Experiments.",
Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
"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
"A software integration approach for designing and assessing dependable embedded systems",
Journal of Systems and Software, vol. 83, no. 10, pp. 1780-1800, 2010.
"Dependency Identification in System Management",
Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
"Identification and Tracking of IT Infrastructure Patterns",
Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
"Model-based Control of IT Infrastructures",
10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
"Online Infrastructure Dependency Detection and Tracking",
Conference of PhD Students in Computer Science, Szeged, pp. 67, 06/2010.
"Model-Driven Development of ARINC 653 Configuration Tables",
29th IEEE & AIAA Digital Avionics System Conference (DASC), Salt Lake City, US, IEEE, 10/2010.
Abstract
"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.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution",
Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
Abstract
10.1007/978-3-642-24755-2_35
"Sampling and Parameter Testing in Large IT Infrastructure Graphs",
Proc. of the 18th PhD Mini-Symposium, Budapest, Hungary, pp. 10–14, 2011.
"Qualitative Characterization of Quality of Service Interference between Virtual Machines",
ARCS 2011 - ARCHITECTURE OF COMPUTING SYSTEMS, Como, Italy , VDE VERLAG GmbH, 01/2011.
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant",
9th European Workshop on Advanced Control and Diagnosis, Budapest, MTA SZTAKI, 2011.
Art. No.: 34
"Sampling the IT infrastructure",
Spring Wind 2011, Piliscsaba, Hungary, 2011.
"Multidimenziós adatkezelés és bitmap indexelés",
Department of Telecommunications and Media Informatics, vol. BSc: Budapest University of Technology and Economics, pp. 82, 12/2011.
"A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems",
Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012.
Abstract
"NoSQL adatbázis-kezelők",
Adatbázisok, 4. kiadás, 2012.
"TERMOS: A Formal Language for Scenarios in Mobile Computing Systems",
Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012.
Abstract