Publications
] Filters: First Letter Of Last Name is V [Clear All Filters]
"Synchronous product automaton generation for controller optimization",
ASCONIKK 2014: Extended Abstracts. I. Information Technologies for Logistic Systems, Veszprém, Hungary, University of Pannonia, pp. 22-29, 12/2014.
"Synchronization of abstract and concrete syntax in domain-specific modeling languages",
Software and Systems Modeling, vol. 9, issue 4, pp. 453-471, 2010.
Abstract
"Superscalable Modeling",
Department of Measurement and Information Systems, vol. MSc, Budapest, Budapest University of Technology and Economics, pp. 88, 12/2013.
"Style-Based Refinement of Dynamic Software Architectures",
Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004.
Abstract
Acceptance rate: 30%
"Style-Based Modeling and Refinement of Service-Oriented Architectures",
Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006.
Abstract
"Streaming Model Transformations By Complex Event Processing",
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
"Status and Actual Risk Monitoring in a NPP Reactor Protection System",
Probabilistic safety assessment and management. Proceedings of thje PSAM7 - ESREL'04 Conference, Berlin, Springer, pp. 2654 - 2659, 2004.
UT: 000223579900425
Static Type Checking of Model Transformations by Constraint Satisfaction Programming,
, no. TUB-TR-09-EE20: Budapest University of Technology and Economics, 06/2009.
"Static Type Checking of Model Transformation Programs",
Electronic Communications of the EASST, International Conference on Graph Transformation 2010 - Doctoral Symposium, vol. 38, 09/2011.
Abstract
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
Simulation and transformation of domain-specific languages,
: Budapest University of Technology and Economics, 2006.
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"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
"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
"SecureChange: Security Engineering for Lifelong Evolvable Systems",
European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"Secure Views for Collaborative Modeling",
IEEE Software, vol. 35, issue 6, no. 6, pp. 32-38, 11/2018.
"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
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"Saturation-based Incremental LTL Model Checking with Inductive Proofs",
Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
"Robustness Testing Techniques and Tools",
Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework",
Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016.
Abstract
"Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing",
Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
"Rete Network Slicing for Model Queries",
Graph Transformation: 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, vol. 9761, Vienna, Austria, Springer International Publishing, pp. 137–152, 06/2016.
Abstract
"Replaying Execution Trace Models for Dynamic Modeling Languages",
Periodica Polytechnica-Electrical Engineering, vol. 56, issue 3, pp. 71-82, 2012.
Abstract
