Export 34 results:
Sort by: Author [ Title  (Asc)] Type Year
Filters: First Letter Of Title is I  [Clear All Filters]
A B C D E F G H [I] J K L M N O P Q R S T U V W X Y Z   [Show ALL]
Szombath, I., "Identification and Tracking of IT Infrastructure Patterns", Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
Salánki, Á., and Pataricza, A., "Identification of Dependability Models from Large Observation Sets", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
Majzik, I., and Péceli, G., "Idő- és eseményvezérelt kommunikáció beágyazott számítógépes rendszerekben", ELEKTROTECHNIKA, vol. 97, issue Tudományos különszám, pp. 19 - 22, 2004.
Pintér, G., and Majzik, I., "Impact of Statechart Implementation Techniques on The Effectiveness of Fault Detection Mechanisms", Proceedings of The EUROMICRO'04 Workshop on Component Based Software Engineering: IEEE Computer Society Press, pp. 136 - 143, 2004.
Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Implementing Efficient Model Validation in EMF Tools: Tool Demonstration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011. Abstract
Darvas, D., Vörös, A., and Bartha, T., "Improving Saturation-based Bounded Model Checking", Acta Cybernetica, vol. 22, issue 3, no. 3, pp. 573-589, 2016.
Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., and Varró, D., "IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
Semeráth, O., Debreceni, C., Horváth, Á., and Varró, D., "Incremental Backward Change Propagation of View Models by Logic Solvers", 19th International Conference on Model Driven Engineering Languages and Systems, Saint-malo, France, ACM, 07/2016 .
acceptance rate: 23.7%
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
Darvas, D., 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.
Bergmann, G., Incremental graph pattern matching and applications, : Budapest University of Technology and Economics, May, 2008.
Varró, G., Varró, D., and Schürr, A., "Incremental Graph Pattern Matching: Data Structures and Initial Experiments", Graph and Model Transformation (GraMoT 2006), vol. 4: EASST, 2006. Abstract
Bergmann, G., Incremental Model Queries in Model-Driven Design, , vol. PhD, Budapest, Budapest University of Technology and Economics, 10/2013.
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
Varró, D., "Incremental Queries and Transformations: From Concepts to Industrial Applications", SOFSEM 2016: Theory and Practice of Computer Science - 42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings, vol. 9587, Harrachov, Czech Republic, Springer, pp. 51–59, 2016. Abstract
Szombath, I., "Incremental Synchronization of IT Infrastructure Model", Proc. of the 16th PhD Mini-Symposium, Budapest, Hungary, pp. 28–30, 2009.
Szárnyas, G., "Incremental View Maintenance for Property Graph Queries", SIGMOD Student Research Competition (SRC), Houston, TX, ACM, 2018.
Won 2nd prize.
Marussy, K., Semeráth, O., and Varró, D., "Incremental View Model Synchronization Using Partial Models", 21th International Conference on Model Driven Engineering Languages and Systems (MODELS '18), Copenhagen, Denmark, 2018.
Submitted version. Artifacts available at
Szabó, T., Bergmann, G., Erdweg, S., and Völter, M., "Incrementalizing Lattice-Based Program Analyses in Datalog", Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
Bartha, T., and Gáspár, P., "Integrált irányítási alkalmazások járműrendszerekben.", Jövő Járműve - Járműipari Innováció, issue 1-2, pp. 28 - 31, 2007.