Publications
] Filters: First Letter Of Title is I [Clear All Filters]
"An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications",
Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
"Integrating Efficient Model Queries in State-of-the-art EMF Tools",
TOOLS Europe 2012, Prague, Springer, 05/2012.
Abstract
Acceptance rate: 31%
"International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)",
Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
"Introducing Dynamism to SA Forum Cluster",
Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008.
Abstract
"Iterative Generation of Diverse Models for Testing Specifications of DSL Tools",
21st International Conference on Fundamental Approaches to Software Engineering (FASE), Thessaloniki, Greece, Springer, 2018.
"Iterative and incremental model generation by logic solvers",
19th International Conference on Fundamental Approaches to Software Engineering, Eindhoven, The Netherlands, 04/2016.
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.
Incremental graph pattern matching and applications,
: Budapest University of Technology and Economics, May, 2008.
Incremental Model Queries in Model-Driven Design,
, vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Investigating Indirect Dependencies in Bipartite Cliques of IT Infrastructure Topology,
: IBM Research Zurich, 2008.
Isolation and Pex: case study of cooperation,
: Budapest University of Technology and Economics, 09/2013.
Abstract
