Publikációk

Export 162 results:
Rendezés: Szerző [ Cím  (Desc)] Típus Év
Szűrők: Az Utónév Első Betűje = S  [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]
I
Izsó, B., Szárnyas, G., Ráth, I., and Varró, D., "IncQuery-D: Incremental Graph Search in the Cloud", Proceedings of the Workshop on Scalability in Model Driven Engineering, BigMDE, Budapest, Hungary, ACM, 2013.
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%
Salánki, Á., and Pataricza, A., "Identification of Dependability Models from Large Observation Sets", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, IEEE, 01/2015.
Szombath, I., "Identification and Tracking of IT Infrastructure Patterns", Spring Wind 2010, Pécs, Hungary, pp. 524–529, 2010.
H
Majzik, I., Pataricza, A., Hohl, W., Hönig, J., and Sieh, V., "A High-Speed Watchdog Processor for Multitasking Systems", Proc. Eighth Symposium on Microcomputer and Microprocessor Applications (uP'94): HTE, pp. 65 - 74, 1994.
Majzik, I., Pataricza, A., Dal Cin, M., Hohl, W., Hönig, J., and Sieh, V., "Hierarchical Checking of Multiprocessors Using Watchdog Processors", Dependable Computing - EDCC-1, Berlin ; Heidelberg, Springer-Verlag, pp. 386 - 403, 1994.
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
G
Semeráth, O., Nagy, A S., and Varró, D., "A Graph Solver for the Automated Generation of Consistent Domain-Specific Models", 40th International Conference on Software Engineering (ICSE 2018), Gothenburg, Sweden, ACM, 2018.
Semeráth, O., and Varró, D., "Graph Constraint Evaluation over Partial Models by Constraint Rewriting", Proceedings of the 10th International Conference on Theory and Practice of Model Transformation, Marburg, Germany, Springer, 2017.
Polgár, B., and Selényi, E., "Gradient Based System-level diagnosis", PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING, vol. 51, issue 1-2, Barborak, M., Malek, M., Dahbura, A., The consensus problem in faulttolerant computing (1993) ACM Computing Surveys, 25 (2), pp. 171-220. , June;Barsi, F., Grandoni, F., Maestrini, P., A theory of diagnosability of digital systems (1976) IEEE Transactions, pp. 43 - 55, 2007.
Varró, D., and Pataricza, A., "Generic and Meta-Transformations for Model Transformation Engineering", Proc. UML 2004: 7th International Conference on the Unified Modeling Language, vol. 3273, Lisbon, Portugal, Springer, pp. 290–304, October 10–15, 2004. Abstract
Acceptance rate: 22%
Á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)
F
Marton, J., Szárnyas, G., and Varró, D., "Formalising openCypher Graph Queries in Relational Algebra", 21st European Conference on Advances in Databases and Information Systems (ADBIS), Nicosia, Cyprus, Springer, 2017.
Salamon, G., Varró, D., and Pataricza, A., "Formal Verification of Model Transformation Systems", EDCC 2002: Fourth European Dependable Computing Conference: Fast Abstracts, Toulouse, France, pp. 15–16, October 23–25, 2002.
Semeráth, O., "Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers", ACM Student Research Competition at MODELS 2016, Saint-malo, France, CEUR-WS, 2016.
co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016) sponsored by Microsoft Research
Semeráth, O., "Formal Validation and Model Generation for Domain-Specific Languages by Logic Solvers", Department of Measurement and Information Systems, vol. PhD, Budapest, Budapest University of Technology and Economics, pp. 186, 03/2019.
Darvas, D., Blanco Viñuela, E., and Majzik, I., "A formal specification method for PLC-based applications", Proceedings of the 15th International Conference on Accelerator and Large Experimental Physics Control Systems, Melbourne, Australia, JACoW, pp. 907-910, 10/2015.
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.
Szatmári, Z., "Fejlesztési folyamatok ontológia alapú ellenőrzése", XV. Fiatal műszakiak tudományos ülésszaka, Kolozsvár, Erdélyi Múzeum-Egyesület, pp. 1 - 4, 2010.
E
Szárnyas, G., Maginecz, J., and Varró, D., "Evaluation of Optimization Strategies for Incremental Graph Queries", Periodica Polytechnica, Electrical Engineering and Computer Science, 01/2017.