Publikációk

Export 503 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 
T
Darabos, A., Pataricza, A., and Varró, D., "Towards Testing the Implementation of Graph Transformations", Proc. of the Fifth International Workshop on Graph Transformation and Visual Modelling Techniques: Elsevier, 2006. Abstract
Majzik, I., Semeráth, O., Hajdu, C., Marussy, K., Szatmári, Z., Micskei, Z., Vörös, A., Babikian, A. A., and Varró, D., "Towards System-Level Testing with Coverage Guarantees for Autonomous Vehicles", IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS): IEEE, 2019.
New Ideas and Vision Track
Varró, D., "Towards Symbolic Analysis of Visual Modelling Languages", Proc. GT-VMT 2002: International Workshop on Graph Transformation and Visual Modelling Techniques, vol. 72 (3), no. 3, Barcelona, Spain, Elsevier, pp. 57–70, October 11-12, 2002. Abstract
Honfi, D., and Micskei, Z., "Towards Supporting Dynamic Symbolic Execution via Multi-Domain Metrics", Proceedings of the 25th PhD Mini-Symposium, Budapest, Hungary, pp. 36-39., 02/2018.
Farkas, R., and Bergmann, G., "Towards Reliable Benchmarks of Timed Automata", Proceedings of the 25th PhD Mini-Symposium: Budapest University of Technology and Economics, Department of Measurement and Information Systems, 2018.
Izsó, B., Szatmári, Z., Bergmann, G., Horváth, Á., and Ráth, I., "Towards Precise Metrics for Predicting Graph Query Performance", 2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE), Silicon Valley, CA, USA, IEEE, pp. 412--431, 11/2013. Abstract
Acceptance Rate: 23%
Hegedüs, Á., Horváth, Á., and Varró, D., "Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011. Abstract
Varró, D., "Towards Formal Verification of Model Transformations", PhD Student Workshop of FMOODS 2002, Formal Methods for Open Object-Based Distributed Systems, Enschede, The Netherlands, March 20–22, 2002. Abstract
Sallai, G., Hajdu, Á., Tóth, T., and Micskei, Z., "Towards Evaluating Size Reduction Techniques for Software Model Checking", Proceedings of the Fifth International Workshop on Verification and Program Transformation, vol. 253: Open Publishing Association, pp. 75-91, 2017. Abstract
Bergmann, G., Debreceni, C., Ráth, I., and Varró, D., "Towards Efficient Evaluation of Rule-based Permissions for Fine-grained Access Control in Collaborative Modeling", 2nd International Workshop on Collaborative Modelling in MDE, Austin, Texas, USA, 09/2017.
Farkas, R., and Vörös, A., "Towards Efficient CEGAR-Based Reachability Analysis of Timed Automata", 23rd Minisymposium of the Department of Measurement and Information Systems, Budapest, 2016.
Ujhelyi, Z., Horváth, Á., and Varró, D., "Towards Dynamic Backward Slicing of Model Transformations", 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, IEEE Computer Society, 11/2011.
Majzik, I., and Huszerl, G., "Towards dependability modeling of FT-CORBA architectures", LECTURE NOTES IN COMPUTER SCIENCE, vol. 2485, pp. 121 - 139, 2002. Abstract
Varró, D., Varró, G., and Pataricza, A., Towards an XMI–Based Model Interchange Format for Graph Transformation Systems, : Budapest University of Technology and Economics, Department of Measurement and Information Systems, September, 2000. Abstract
Herzig, S. J. I., Kruse, B., Ciccozzi, F., Denil, J., Salay, R., and Varró, D., "Towards an Approach for Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies", Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, MPM@MODELS 2014, vol. 1237, Valencia, Spain, CEUR-WS.org, pp. 61–66, 09/2014.
Horváth, Á., "Towards a Two Layered Verification Approach for Compiled Graph Transformation", In Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation: Springer, 2008.
Latella, D., Majzik, I., and Massink, M., "Towards a Formal Operational Semantics of UML Statechart Diagrams", Formal Methods for Open Object-Based Distributed Systems (Proc. Third IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'99), February 15-18, 1999, Florence, Italy), Deventer, Kluwer Academic Publishers, pp. 331 - 347, 1999.
Majzik, I., Domokos, P., and Magyar, M., "Tool-supported Dependability Evaluation of Redundant Architectures in Computer Based Control Systems", Proc. FORMS/FORMAT 2007, the 6th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems: Gesamtzentrum für Verkehr Braunschweig e.V., pp. 342 - 352, 2007.
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", CAiSE'11 Forum at the 23rd International Conference on Advanced Information Systems Engineering, vol. 734, London, UK, CEUR-WS, pp. 49-56, 06/2011. Abstract
urn:nbn:de:0074-734-7
Bergmann, G., Massacci, F., Paci, F., Tun, T T., Varró, D., and Yu, Y., "A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012. Abstract
10.1007/978-3-642-29749-6_8
Majzik, I., and Pataricza, A., "Többprocesszoros rendszerek ellenőrzése watchdog processzorok felhasználásával", XIV. Tudományos Ülésszak, Kandó Kálmán Műszaki Főiskola, pp. - , 1994.
Tóth, T., Hajdu, Á., Vörös, A., Micskei, Z., and Majzik, I., "Theta: a Framework for Abstraction Refinement-Based Model Checking", Proceedings of the 17th Conference on Formal Methods in Computer-Aided Design, Vienna, Austria, FMCAD Inc., pp. 176–179, 2017. Abstract
Oláh, J., "Test Data Generation Using Metaheuristics", Proceedings of the 18th PhD Mini-Symposium, Budapest, Budapest University of Technology and Economics, Department of Measurement and Information Systems, 01/2011.