Publikációk

Export 8 results:
Rendezés: Szerző Cím [ Típus (Desc)] Év
Szűrők: A Cím Első Betűje = L  [Minden szűrő visszaállítása]
Thesis
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
Conference Paper
Szárnyas, G., Bader, D. A., Davis, T. A., Kitchen, J., Mattson, T. G., McMillan, S., and Welch, E., "LAGraph: Linear Algebra, Network Analysis Libraries, and the Study of Graph Algorithms", GrAPL (Workshop on Graphs, Architectures, Programming, and Learning) at IPDPS (International Parallel and Distributed Processing Symposium: IEEE, 2021.
Ráth, I., Bergmann, G., Ökrös, A., and Varró, D., "Live Model Transformations Driven by Incremental Pattern Matching", Proc. First International Conference on the Theory and Practice of Model Transformations (ICMT 2008), vol. 5063/2008: Springer Berlin / Heidelberg, pp. 107–121, 2008. Abstract
Acceptance rate: 31%
Búr, M., Ujhelyi, Z., Horváth, Á., and Varró, D., "Local search-based pattern matching features in EMF-IncQuery", 8th International Conference on Graph Transformation, L'Aquila, Italy, Springer, 07/2015. Abstract
Tool demonstration paper
Mhedhbi, A., Lissandrini, M., Kuiper, L., Waudby, J., and Szárnyas, G., "LSQB: A Large-Scale Subgraph Query Benchmark", GRADES-NDA at SIGMOD: ACM, 2021.
Journal Article
Paige, R. F., and Varró, D., "Lessons Learned from Building Model-Driven Development Tools", Software and Systems Modeling, 2012. Abstract
Book Chapter
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata using Interpolants", Formal Modelling and Analysis of Timed Systems, vol. 10419: Springer, pp. 264–280, 2017. Abstract
Tóth, T., and Majzik, I., "Lazy Reachability Checking for Timed Automata with Discrete Variables", Model Checking Software, SPIN 2018, vol. 10869: Springer, pp. 235-254, 2018. Abstract

Nyelvek

  • English
  • Magyar

Belépés

Navigáció