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
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.
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
V
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.
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., 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., 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.
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., and Pataricza, A., Mathematical Model Transformations for System Verification, : Budapest University of Technology and Economics, May, 2001.
Varró, D., and Pataricza, A., Mathematical Model Transformation for System Verification, : Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, June, 2000. Abstract
Varró, D., "UML Action Semantics for Model Transformation Systems", Mini–Symposium 2003, Budapest University of Technology and Economics, Department of Measurement and Information Systems, IEEE Hungary Section (BUTE Student Branch), pp. 22–23, February 4–5, 2003.
Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "Termination Analysis of Model Transformations by Petri Nets", Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006. Abstract
Acceptance rate: 45%
Varró, G., Schürr, A., and Varró, D., "Benchmarking for Graph Transformation", Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 05), Dallas, Texas, USA, IEEE Press, pp. 79–88, September, 2005. Abstract
Acceptance rate: 31%
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
Varró, G., Varró, D., and Friedl, K., "Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans", GraMot 2005, International Workshop on Graph and Model Transformations, vol. 152: Elsevier, pp. 191–205, 2006. Abstract
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
Varró, D., and Pataricza, A., A Unifying Semantic Framework for Multilevel Metamodelling, : Budapest University of Technology and Economics, October, 2001.
Varró, D., "Model Transformation by Example", Proc. Model Driven Engineering Languages and Systems (MODELS 2006), vol. 4199, Genova, Italy, Springer, pp. 410–424, 2006. Abstract
Acceptance rate: 29%
Varró, D., and Pataricza, A., An XML Schema Description of Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, January, 2001. Abstract