Publikációk

Export 6 results:
Rendezés: [ Szerző  (Desc)] Cím Típus Év
Szűrők: A Cím Első Betűje = L  [Minden szűrő visszaállítása]
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   [MINDENT mutat]
T
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
R
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%
P
M
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
B
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