Publications
Filters: First Letter Of Last Name is V [Clear All Filters]
"Parallel Saturation Based Model Checking",
The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
"Pattern Composition in Graph Transformation Rules",
European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006.
Abstract
"A Pattern-Based Constraint Language for Metamodels",
Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.
"Petri Net Based Trajectory Optimization",
ASCONIKK 2014: Extended Abstracts. Future Internet Services, Veszprém, Hungary, University of Pannonia, pp. 11-19, 12/2014.
Abstract
"Property-based Locking in Collaborative Modeling",
20th International Conference on Model Driven Engineering Languages and Systems, Austin, Texas, USA, 09/2017.
"Property-Based Methods for Collaborative Model Development",
3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, Ottawa,Canada, 2015/09.
"Query-based Access Control for Secure Collaborative Modeling using Bidirectional Transformations",
ACM/IEEE 19th Int. Conf. on Model Driven Engineering Languages and Systems, Saint-Malo, France, 2016.
Acceptance rate: 23.7%. Received ACM Distinguished Paper Award.
"Query-driven incremental synchronization of view models",
Proceedings of the 2nd Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling, York, United Kingdom, ACM, pp. 31, 07/2014.
"Query-driven soft interconnection of EMF models",
ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems, Innsbruck, Austria, Springer, LNCS 7590, 09/2012.
Abstract
Acceptance rate: 23%
"Quick fix generation for DSMLs",
IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2011, Pittsbourgh, PA, USA, IEEE Computer Society, 09/2011.
Abstract
Acceptance rate: 33%
"Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans",
Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, 2007.
Abstract
"Scalable Query Evaluation in the Cloud",
STAF Doctoral Symposium, 07/2014.
"SecureChange: Security Engineering for Lifelong Evolvable Systems",
European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.
"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
"SEViz: A Tool for Visualizing Symbolic Execution",
IEEE Int. Conf. on Software Testing, Verification and Validation (ICST), Graz, Austria, IEEE, 04/2015.
"Simulation-based Safety Assessment of High-level Reliability Models",
4th Workshop on Models for Formal Analysis of Real Systems, 2020.
Abstract
"Static Safety Analysis of UML Action Semantics for Critical Systems Development",
GI Jahrestagung (1), vol. 50: GI, pp. 57-61, September, 2004.
Abstract
"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
"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%
"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%
"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.
"Szaturációalapú tesztbemenet-generálás színezett Petri-hálókkal",
Mesterpróba 2013. Konferenciakiadvány, pp. 48-51, 05/2013.
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
"Termination Criteria for Model Transformation",
Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering, vol. 3442, Edinburgh, UK,, Springer, pp. 49–63, April, 2005.
Abstract
Acceptance rate: 22%
"Theta: a Framework for Abstraction Refinement-Based Model Checking",
Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017.
Abstract