Publikációk

Export 502 results:
Rendezés: [ Szerző (Asc)] 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 
A
Abdeen, H., Varró, D., Sahraoui, H., Nagy, A S., Hegedüs, Á., Horváth, Á., and Debreceni, C., "Multi-Objective Optimization in Rule-Based Design Space Exploration", 29th IEEE/ACM International Conference on Automated Software Engineering (ASE 2014), Vasteras, Sweden, IEEE, 9/2014. Abstract
Á
Ádám, Z., Sallai, G., and Hajdu, Á., "Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution)", Tools and Algorithms for the Construction and Analysis of Systems, vol. 12652: Springer, 2021. Abstract
(Accepted)
A
de Almeida, D P., Graics, B., Chagas, R A J., de Sousa, F L., and Mattiello-Francisco, F., "Towards Simulation of CubeSat Operational Scenarios under a Cyber-Physical Systems View", 10th Latin-American Symposium on Dependable Computing (LADC 2021), Florianópolis, Brazil, IEEE, 11/2021.
Antal, B., Bondavalli, A., Csertán, G., Majzik, I., and Simoncini, L., "Reachability and Timing Analysis in Data Flow Networks: A Case Study", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 193 - 200, 1996.
Azad, A., Aznaveh, M M., Beamer, S., Blanco, M., Chen, J., D'Alessandro, L., Dathathri, R., Davis, T., Deweese, K., Firoz, J., et al., "Evaluation of Graph Analytics Frameworks Using the GAP Benchmark Suite", IEEE International Symposium on Workload Characterization, 2020.
Aznaveh, M., Chen, J., Davis, T. A., Hegyi, B., Kolodziej, S. P., Mattson, T. G., and Szárnyas, G., "Parallel GraphBLAS with OpenMP", SIAM Workshop on Combinatorial Scientific Computing (CSC) co-located with the SIAM Conference on Parallel Processing for Scientific Computing (PP), Seattle, WA, SIAM, 2020.
B
Bajczi, L., Vörös, A., and Molnár, V., "Will My Program Break on This Faulty Processor? - Formal Analysis of Hardware Fault Activations in Concurrent Embedded Software", ACM Trans. Embed. Comput. Syst., vol. 18, no. 5s, New York, NY, USA, ACM, pp. 89:1–89:21, 2019. Abstract
Bajkai, D V., and Hajdu, Á., "Software Model Checking with a Combination of Explicit Values and Predicates", Proceedings of the 26th PhD Mini-Symposium, Budapest, Hungary, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 4–7, 01/2019. Abstract
Balogh, A., Németh, A., Schmidt, A., Ráth, I., Vágó, D., Varró, D., and Pataricza, A., The VIATRA2 Model Transformation Framework, , 2005.
Presented at ECMDA 2005 – Tools Track
Balogh, A., and Varró, D., "Pattern Composition in Graph Transformation Rules", European Workshop on Composition of Model Transformations, Bilbao, Spain, July, 2006. Abstract
Balogh, Z., and Varró, D., "Model Transformation by Example Using Inductive Logic Programming", Software and Systems Modeling, vol. 8, no. 3, pp. 347-364, 2009.
Balogh, A., Varró, G., Varró, D., and Pataricza, A., "Compiling Model Transformations to EJB3-Specific Transformer Plugins", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1288-1295, April, 2006. Abstract
Acceptance rate: 32%
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
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., and Varró, D., "Advanced Model Transformation Language Constructs in the VIATRA2 Framework", ACM Symposium on Applied Computing –- Model Transformation Track (SAC 2006), Dijon, France, ACM Press, pp. 1280–1287, April, 2006. Abstract
Acceptance rate: 32%
Barabás, Á., Szárnyas, G., and Gajdos, S., "NoSQL adatbázis-kezelők", Adatbázisok, 4. kiadás, 2012.
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
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Modeling and Refinement of Service-Oriented Architectures", Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006. Abstract
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Style-Based Refinement of Dynamic Software Architectures", Proc. WICSA 2004: 4th Working International IEEE/IFIP Conference on Software Architecture, Oslo, Norway, IEEE Computer Society, pp. 155-164, 2004. Abstract
Acceptance rate: 30%
Bartha, T., "Formal Verification of Function Block Diagram based Specifications for the I&C", System Software in NPPsIAEA Technical Meeting on "Common Cause Failures in Digital Instrumentation and Control Systems of Nuclear Power Plants", Bethesda, 2007. Abstract
Art. No.: 27L3: citeulike-article-id:3911635KW: formal verification On CD
Bartha, T., and Német, E., "Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications", Formal Methods for Industrial Critical Systems: Springer Verlag, pp. 199 - 214, 2009.
Bartha, T., and Maestrini, P., "Backward error recovery in the APEmille parallel computer", Proc. of the 3rd European Dependable Computing Conf., Prague, Czech Republic, Lecture Notes in Computer Science. Springer Berlin, 1999.
Bartha, T., and Selényi, E., "Probabilistic System-Level Fault Diagnostic Algorithms for Multiprocessors", Parallel Computing, vol. 22, pp. 1807 - 1821, 1997. Abstract
UT: A1997WM04500008L3: citeulike-article-id:3911659KW: system-level diagnosis ISSN 0167-8191 Special issue: distributed and parallel systems: environments and tools
Bartha, T., and Németh, E., Formal Modelling and Verification of Specifications for the I&C System Software in NPPs, , 2006.
Art. No.: 11On CD

Nyelvek

  • English
  • Magyar

Belépés

Navigáció