Publikációk

Export 530 results:
Rendezés: Szerző [ Cím (Desc)] 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 
D
Debreceni, C., Bergmann, G., Ráth, I., and Varró, D., "Deriving Effective Permissions for Modeling Artifacts from Fine-grained Access Control Rules", 1st International Workshop on Collaborative Modelling in MDE, Saint Malo, France, ACM, 06/2016.
Ráth, I., Hegedüs, Á., and Varró, D., "Derived Features for EMF by Integrating Advanced Model Queries", 8th European Conference on Modelling Foundations and Applications, Kgs. Lyngby, Denmark, Springer, 06/2012. Abstract
Acceptance rate: 31%
Szombath, I., "Dependency Identification in System Management", Proc. of the 17th PhD Mini-Symposium, Budapest, Hungary, pp. 34–37, 2010.
Majzik, I., and Domokos, P., "Dependability Modeling Using Aspect Weaving Techniques", Dependable Computing - EDCC 2005, Berlin ; Heidelberg, Springer, pp. 77 - 78, 2005.
Gönczy, L., Chiaradonna, S., Giandomenico, D. F., Pataricza, A., Bondavalli, A., Bartha, T., and Telek, M., Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation, : Springer-Verlag, pp. 166 - 180, 2006. Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science KW: dependability evaluation Proc. of the Third European Performance Engineering Workshop (EPEW-2006)
Bondavalli, A., Dal Cin, M., Latella, D., Majzik, I., Pataricza, A., and Savoia, G., "Dependability Analysis in The Early Phases of Uml-based System Design", COMPUTER SYSTEMS SCIENCE AND ENGINEERING, vol. 16, issue 5, pp. 265 - 275, 2001. Abstract
Ujhelyi, Z., "Def-use Analysis of Model Transformation Programs with Program Slicing", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 46-49, 02/2011.
Tóth, T., Vörös, A., and Majzik, I., "A Decomposition Method for the Verification of a Real-Time Safety-Critical Protocol", Software Engineering for Resilient Systems, vol. 9274: Springer International Publishing, pp. 31-45, 09/15, 2015.
Ráth, I., Declarative Specification of Domain Specific Visual Languages, : Budapest University of Technology and Economics, 2006.
Ráth, I., "Declarative mapping between abstract and concrete syntax of domain-specific visual languages", The Proceedings of the Fifth Conference of PhD Students in Computer Science, 2006.
Pintér, G., Madeira, H., Vieira, M., Majzik, I., and Pataricza, A., "A Data Mining Approach to Identify Key Factors in Dependability Experiments", LECTURE NOTES IN COMPUTER SCIENCE, vol. 3463, pp. 263 - 280, 2005. Abstract
Salánki, Á., Kincses, G., Gönczy, L., and Kocsis, I., "Data Analysis Based Capacity Planning of VCL Clouds", 3rd International IBM Cloud Academy Conference ICACON 2015, Budapest, 05/2015.
C
Horváth, Á., and Varró, D., "CSP(M): Constraint Satisfaction Problem over Models", Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings, vol. 5795: Springer, pp. 107-121, 2009. Abstract
Acceptance rate: 18%
Hegedüs, Á., "Criteria Evaluation-driven State Space Exploration of Graph Transformation Systems", Proceedings of the 18th PhD Minisymposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 42-45, 02/2011.
Bergmann, G., "Controllable and decomposable multidirectional synchronizations", Software and Systems Modeling, 04/2021.
Gábor, A., Sonnevend, I., and Bartha, T., "Control-oriented modelling of the primary circuit and its controllers of a PWR nuclear power plant", 9th European Workshop on Advanced Control and Diagnosis, Budapest, MTA SZTAKI, 2011.
Art. No.: 34
Majzik, I., and Pataricza, A., "Control Flow Checking in Multitasking Systems", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 39, issue 1, pp. 27 - 36, 1995.
Graics, B., Molnár, V., and Majzik, I., "Contract-Based Specification and Test Generation for Adaptive Systems", 16th International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), vol. 1389, Wrocław, Poland, Springer, pp. 136-145, 07/2021. Abstract
Bergmann, G., "Contextual Graph Triggers", Proceedings of the 17th PhD Minisymposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, pp. 22–25, 2010.
Marussy, K., and Majzik, I., "Constructing Dependability Analysis Models of Reconfigurable Production Systems", 14th IEEE International Conference on Automation Science and Engineering (CASE), München, Germany, IEEE, 2018. Abstract
See also our accompanying technical report at https://doi.org/10.5281/zenodo.1290661
Molnár, V., and Majzik, I., "Constraint Programming with Multi-valued Decision Diagrams: A Saturation Approach", Proceedings of the 24th PhD Mini-Symposium, Budapest, Hungary, pp. 54–57, 2017.
Darvas, D., Majzik, I., and Blanco Viñuela, E., "Conformance Checking for Programmable Logic Controller Programs and Specifications", 11th IEEE International Symposium on Industrial Embedded Systems (SIES), Kraków, Poland, IEEE, pp. 29-36, 05/2016.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Telek, M., and Majzik, I., "Configurable Numerical Analysis for Stochastic Systems", Proceedings of the 2016 Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR): IEEE, 2016.
Hajdu, Á., Tóth, T., Vörös, A., and Majzik, I., "A Configurable CEGAR Framework with Interpolation-Based Refinements", Formal Techniques for Distributed Objects, Components, and Systems, vol. 9688: Springer International Publishing, pp. 158-174, 2016. Abstract
Majzik, I., Jávorszky, J., Pataricza, A., and Selényi, E., "Concurrent Error Detection of Program Execution Based on Statechart Specification", Proc. 10th European Workshop on Dependable Computing (EWDC-10): Österreichische Computer Gesellschaft, pp. 181 - 185, 1999.

Nyelvek

  • English
  • Magyar

Belépés

Navigáció