Publikációk

Export 71 results:
Rendezés: Szerző [ Cím (Desc)] Típus Év
Szűrők: Az Utónév Első Betűje = K  [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]
O
Gómez, A., Mendialdua, X., Bergmann, G., Cabot, J., Debreceni, C., Garmendia, A., Kolovos, D. S., de Lara, J., and Trujillo, S., "On the Opportunities of Scalable Modeling Technologies: An Experience Report on Wind Turbines Control Applications Development", European Conference on Modelling Foundations and Applications, Marburg, Germany, Springer, 07/2017.
Micskei, Z., Konnerth, R-A., Horváth, B., Semeráth, O., Vörös, A., and Varró, D., "On Open Source Tools for Behavioral Modeling and Analysis with fUML and Alf", 1st Workshop on Open Source Software for Model Driven Engineering, Valencia, 2014.
Huszerl, G., and Kosmidis, K., "Object Oriented Notation for Modelling Quantitative Aspects", Workshop Proceedings of the International Conference on Architecture of Computing Systems (ARCS 2002), Berlin, VDE Verlag GmbH, pp. 91 - 100, 2002.
N
Gilmore, S., Gönczy, L., Koch, N., Mayer, P., Tribastone, M., and Varró, D., "Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010. Abstract
Appeared online
M
Szárnyas, G., Semeráth, O., Izsó, B., Debreceni, C., Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Movie Database Case: An EMF-IncQuery Solution", 7th Transformation Tool Contest, York, United Kingdom, 2014. Abstract
Gönczy, L., Kovács, Máté, and Varró, D., "Modeling and Verification of Reliable Messaging by Graph Transformation Systems", Electr. Notes Theor. Comput. Sci., vol. 175, no. 4, pp. 37-50, 2007. Abstract
Paljak, G J., Szombath, I., Kocsis, I., Kovácsházy, T., and Pataricza, A., "Model-based Control of IT Infrastructures", 10th International Carpathian Control Conference, pp. 211 -214, 05/2010.
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Horváth, B., Graics, B., Hajdu, Á., Micskei, Z., Molnár, V., Ráth, I., Andolfato, L., Gomes, I., and Karban, R., "Model Checking as a Service: Towards Pragmatic Hidden Formal Methods", Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2020.
Kövi, A., Varró, D., and Németh, Z., "Making Legacy Services Highly-Available with OpenAIS: An Experience Report", Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006. Abstract
L
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.
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.
K
Tóth, T., Majzik, I., and Vörös, A., "K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
I
Urbanics, G., Kövi, A., Égel, Z., and Pataricza, A., "Introducing Dynamism to SA Forum Cluster", Dependable Network Computing and Mobile Systems, Naples, Italy, 10/2008. Abstract
Kovács, Máté, Lollini, P., Majzik, I., and Bondavalli, A., "An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications", Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems: ACM, pp. 29 - 38, 2008.
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
Bergmann, G., Ökrös, A., Ráth, I., Varró, D., and Varró, G., "Incremental pattern matching in the VIATRA model transformation system", Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008. 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
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
10.1007/978-3-642-21470-7_32
G
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time: Causality and Logical Clocks", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002. Abstract
Geiss, R., Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Horváth, Á., Kniemeyer, O., et al., "Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools", AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
F
Sakr, S., Bonifati, A., Voigt, H., Iosup, A., Ammar, K., Angles, R., Aref, W., Arenas, M., Besta, M., Boncz, P. A., et al., "The Future is Big Graphs! A Community View on Graph Processing Systems", Communications of the ACM, 2021.
To be published in CACM
Varró, D., "A Formal Semantics of UML Statecharts by Model Transition Systems", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002. Abstract
Kovács, Máté, Gönczy, L., and Varró, D., "Formal Modeling of BPEL Workflows Including Fault and Compensation Handling", EFTS '07: Proceedings of the 2007 workshop on Engineering fault tolerant systems, New York, NY, USA, ACM, pp. 1, 2007. Abstract
Majzik, I., Bondavalli, A., Klapka, S., Madsen, T. K., and Iovino, D., "Formal Methods in the Evaluation of a Safe Driver Machine Interface", Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció