Publikációk

Export 502 results:
Rendezés: [ Szerző (Desc)] Cím Típus Év
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 
Z
Zündorf, A., and Varró, D., "Workshop on Graph-Based Tools.", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 465-466, 2006.
W
Wirsing, M., Hölzl, M. M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., et al., "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
Waudby, J., Steer, B. A., Karimov, K., Marton, J., Boncz, P., and Szárnyas, G., "Towards Testing ACID Compliance in the LDBC Social Network Benchmark", TPCTC, 2020.
Waudby, J., Steer, B. A., Prat-Pérez, A., and Szárnyas, G., "Supporting Dynamic Graphs and Temporal Entity Deletions in the LDBC Social Network Benchmark's Data Generator", GRADES-NDA at SIGMOD/PODS: ACM, 2020.
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
Waeselynck, H., Micskei, Z., Nguyen, M D., and Rivière, N., "Mobile Systems from a Validation Perspective: a Case Study", Sixth International Symposium on Parallel and Distributed Computing (ISPDC07): IEEE Computer Society Press, pp. 85 - 92, 2007.
V
Vörös, A., Darvas, D., and Bartha, T., "Bounded saturation-based CTL model checking", Proceedings of the Estonian Academy of Sciences, vol. 62, issue 1, pp. 12, 03/2013.
Vörös, A., Darvas, D., Jámbor, A., and Bartha, T., "Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.
Vörös, A., Darvas, D., and Bartha, T., "Bounded Saturation Based CTL Model Checking.", 12th Symposium on Programming Languages and Software Tools - SPLST'11, 2011.
Vörös, A., Darvas, D., Hajdu, Á., Klenik, A., Marussy, K., Molnár, V., Bartha, T., and Majzik, I., "Industrial applications of the PetriDotNet modelling and analysis tool", Science of Computer Programming, vol. 157, pp. 17-40, 2018. Abstract
Vörös, A., Búr, M., Ráth, I., Horváth, Á., Micskei, Z., Balogh, L., Hegyi, B., Horváth, B., Mázló, Z., and Varró, D., "MoDeS3: Model-Based Demonstrator for Smart and Safe Cyber-Physical Systems", NASA Formal Methods, Cham, Springer International Publishing, pp. 460–467, 2018. Abstract
Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016. Abstract
Vörös, A., Bartha, T., Darvas, D., Szabó, T., Jámbor, A., and Horváth, Á., "Parallel Saturation Based Model Checking", The 10th International Symposium on Parallel and Distributed Computing (ISPDC 2011), Cluj Napoca, IEEE Computer Society, 07/2011.
Varró-Gyapay, S., and Varró, D., "Optimization in Graph Transformation Systems Using Petri Net Based Techniques", Electronic Communications of the EASST (ECEASST), vol. 2: EASST, 2006. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models", Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
Varró, D., and Balogh, A., "The Model Transformation Language of the VIATRA2 Framework", Science of Computer Programming, vol. 68, no. 3, pp. 214–234, October, 2007. Abstract
Varró, D., Automatic Transformation of UML Models, : Budapest University of Technology and Economics, 2000.
Varró, G., Schürr, A., and Varró, D., Benchmarking for Graph Transformation, , no. TUB-TR-05-EE17: Budapest University of Technology and Economics, March, 2005.
Varró, D., Varró, G., and Pataricza, A., "Designing the Automatic Transformation of Visual Languages", Science of Computer Programming, vol. 44, no. 2: Elsevier, pp. 205–227, August, 2002. Abstract
Varró, G., and Varró, D., "Graph Transformation with Incremental Updates", Proc. GT-VMT 2004, International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 109: Elsevier, pp. 71-83, 2004. Abstract
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D-H., Geiss, R., Greenyer, J., Gorp, P V., Kniemeyer, O., Narayanan, A., et al., "Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools", Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), vol. 5088: Springer, pp. 540–565, 2008. Abstract
Varró, D., and Pataricza, A., "Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002. Abstract
Acceptance rate: 30%
Varró, D., Automated Model Transformations for the Analysis of IT Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, May, 2004. Abstract
Varró, D., Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., and Ujhelyi, Z., "Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework", Software {&} Systems Modeling, vol. 15, issue 3, no. 3, pp. 609–629, 05/2016. Abstract
Varró, D., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció