Publikációk

Export 183 results:
Rendezés: Szerző Cím [ Típus (Asc)] Év
Szűrők: Az Utónév Első Betűje = B  [Minden szűrő visszaállítása]
Conference Paper
Horváth, Á., Hegedüs, Á., Búr, M., Varró, D., Starr, R R., and Mirachi, S., "Hardware-software allocation specification of IMA systems for early simulation", Digital Avionics Systems Conference (DASC), Colorado Spings, Colorado, US, IEEE, 10/2014. Abstract
Saleem, M., Szárnyas, G., Conrads, F., Bukhari, S A C., Mehmood, Q., and Ngomo, A-C N., "How Representative is a SPARQL Benchmark? An Analysis of RDF Triplestore Benchmarks", The Web Conference (WWW), San Francisco, CA, USA, ACM, 2019.
Bergmann, G., Hegedüs, Á., Horváth, Á., Ráth, I., Ujhelyi, Z., and Varró, D., "Implementing Efficient Model Validation in EMF Tools: Tool Demonstration", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, USA, IEEE Computer Society, 11/2011. Abstract
Szárnyas, G., Izsó, B., Ráth, I., Harmath, D., Bergmann, G., and Varró, D., "IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud", ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems, MODELS 2014, Valencia, Spain, Springer, 2014.
Acceptance rate: 26%
Bergmann, G., Horváth, Á., Ráth, I., Varró, D., Balogh, A., Balogh, Z., and Ökrös, A., "Incremental Evaluation of Model Queries over EMF Models", Model Driven Engineering Languages and Systems, 13th International Conference, MODELS'10: Springer, 10/2010.
Acceptance rate: 21%
Bergmann, G., Ráth, I., Szabó, T., Torrini, P., and Varró, D., "Incremental pattern matching for the efficient computation of transitive closure", Sixth International Conference on Graph Transformation, vol. 7562/2012, Bremen, Germany , Springer, pp. 386-400, 09/2012.
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
Szabó, T., Bergmann, G., Erdweg, S., and Völter, M., "Incrementalizing Lattice-Based Program Analyses in Datalog", Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 2018), Boston, MA, USA, ACM, 11/2018.
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.
Bergmann, G., Hegedüs, Á., Horváth, Á., Ujhelyi, Z., Ráth, I., and Varró, D., "Integrating Efficient Model Queries in State-of-the-art EMF Tools", TOOLS Europe 2012, Prague, Springer, 05/2012. Abstract
Acceptance rate: 31%
Bondavalli, A., Majzik, I., and van Moorsel, A., "International Workshop on Resilience Assessment and Dependability Benchmarking (RADB 2008)", Proc. of the 38th IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2008), pp. 542 - 543, 2008.
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
Balogh, A., Pataricza, A., Csertán, G., and Polgár, B., "Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 123 - 130, 2007.
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Model-Based Optimization of Enterprise Application and Service Deployment", Second International Service Availability Symposium, ISAS 2005, Berlin, Germany, April 25-26, vol. 3694: Springer, pp. 84–98, 2005. Abstract
Marton, J., Szárnyas, G., and Búr, M., "Model-driven engineering of an openCypher engine: using graph queries to compile graph queries", 18th System Design Languages Forum, Budapest, Hungary, 2017.
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Modeling and Analysis of Architectural Styles", Proc ESEC 2003: 9th European Software Engineering Conference, Helsinki, Finland, ACM Press, pp. 68–77, September, 2003. Abstract
Acceptance rate: 20%
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Modeling and Analysis of Architectural Styles Based on Graph Transformation", The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction, Portland, Oregon, USA, Carnegie Mellon University, USA, and Monash University, Australia, pp. 67–72, May 3-4, 2003. Abstract
Bartha, T., "Modeling and Parameter Estimation of the Primary Circuit of Paks", NPPIAEA Regional Workshop on "Modernization Projects of NPP Instrumentation and Control Systems Related to Power Uprates and Licence Renewals Project (RER/4/027)", Bécs, 2008. Abstract
Art. No.: 29On CD
Polgár, B., Bartha, T., and Selényi, E., "Modeling Uncertainty In System-level Fault Diagnosis Using Process Graphs", Proc. of DAPSYS 2002, 4th Austrian-Hungarian Workshop on Distributed and Parallel Processing: Kluwer Academic Publishers, pp. 195 - 202, 2002.
Fernández Adiego, B., Darvas, D., Blanco Viñuela, E., Tournier, J-C., González Suárez, V. M., and Blech, J O., "Modelling and Formal Verification of Timing Aspects in Large PLC Programs", Proceedings of the 19th IFAC World Congress 2014, pp. 3333-3339, 08/2014.
Horváth, Á., "Modelltranszformációk Implementációjainak Automatikus, Transzformáció Alapú Generálása", XI. Fiatal Mûszakiak Tudományos Ülésszaka (FMTU), Kolozsvar, Romania, Erdélyi Múzeum Egyesület, pp. 149–153, 03/2006.
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
Debreceni, C., Bergmann, G., Búr, M., Ráth, I., and Varró, D., "The MONDO Collaboration Framework: Secure Collaborative Modeling over Existing Version Control Systems", 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Paderborn, Germany, ACM, 2017.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció