Publications

Export 256 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is V  [Clear All Filters]
Book
Pataricza, A., Bartha, T., Csertán, G., Gyapay, S., Majzik, I., and Varró, D., Formális módszerek az informatikában, : Typotex, 2004.
In Hungarian
Book Chapter
Rebeka, F., Tóth, T., Hajdu, Á., and Vörös, A., "Backward reachability analysis for timed automata with data variables", Proceedings of the 18th International Workshop on Automated Verification of Critical Systems, vol. 76, Oxford, England, EASST, pp. 1-20, 2018.
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
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.
Marussy, K., Klenik, A., Molnár, V., Vörös, A., Majzik, I., and Telek, M., "Efficient decomposition algorithm for stationary analysis of complex stochastic Petri net models", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 281-300, 2016.
Pataricza, A., and Varró, D., Formal Methods in Computing, : {Akadémiai Kiadó, pp. 357–425, 2005.
Darvas, D., Fernández Adiego, B., Vörös, A., Bartha, T., Blanco Viñuela, E., and González Suárez, V. M., "Formal verification of complex properties on PLC programs", Formal Techniques for Distributed Objects, Components, and Systems, vol. 8461: Springer, pp. 284-299, 2014.
Bergmann, G., Horváth, Á., Ráth, I., and Varró, D., "Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery", Modelling Foundations and Applications, vol. 6698: Springer Berlin / Heidelberg, pp. 389-390, 2011. Abstract
10.1007/978-3-642-21470-7_32
Gönczy, L., Hegedüs, Á., and Varró, D., "Methodologies for Model-Driven Development and Deployment: an Overview", Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA project on Software Engineering for Service-Oriented Computing, no. 6582: Springer-Verlag, 2011. Abstract
Grunske, L., Geiger, L., Zündorf, A., Van Eetvelde, N., Gorp, P V., and Varró, D., Model Driven Software Engineering, : Springer, pp. 91–118, 2005. Abstract
Pintér, G., Micskei, Z., Kövi, A., Égel, Z., Kocsis, I., Huszerl, G., and Pataricza, A., "Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services", Architecting Dependable Systems V, Berlin ; Heidelberg, Springer-Verlag, pp. 150 - 174, 2008.
Hajdu, Á., Vörös, A., and Bartha, T., "New Search Strategies for the Petri Net CEGAR Approach", Application and Theory of Petri Nets and Concurrency, vol. 9115: Springer, pp. 309-328, 2015. Abstract
Vörös, A., Darvas, D., Molnár, V., Klenik, A., Hajdu, Á., Jámbor, A., Bartha, T., and Majzik, I., "PetriDotNet 1.5: Extensible Petri Net Editor and Analyser for Education and Research", Application and Theory of Petri Nets and Concurrency, vol. 9698: Springer, pp. 123-132, 2016. Abstract
Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., and Varró, D., "Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing", Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA project on Software Engineering for Service-Oriented Computing: Springer, 2010.
Micskei, Z., Madeira, H., Avritzer, A., Majzik, I., Vieira, M., and Antunes, N., "Robustness Testing Techniques and Tools", Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
Molnár, V., Darvas, D., Vörös, A., and Bartha, T., "Saturation-based Incremental LTL Model Checking with Inductive Proofs", Tools and Algorithms for the Construction and Analysis of Systems, vol. 9035: Springer, pp. 643-657, 2015.
Bergmann, G., Massacci, F., Paci, F., Tun, T., Varró, D., and Yu, Y., "SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011. Abstract
10.1007/978-3-642-24755-2_35
Paljak, G J., Kocsis, I., Égel, Z., Tóth, D., and Pataricza, A., "Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
10.1007/978-3-642-11482-3_9
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
Varró, D., Semeráth, O., Szárnyas, G., and Horváth, Á., "Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models", Graph Transformation, Specifications, and Nets (In Memory of Hartmut Ehrig), no. 10800: Springer, 2018.
Tóth, T., Vörös, A., and Majzik, I., "Verification of a Real-Time Safety-Critical Protocol Using a Modelling Language with Formal Data and Behaviour Semantics", Computer Safety, Reliability, and Security, vol. 8696: Springer International Publishing, pp. 207-218, 2014.
Pataricza, A., Varró, D., Majzik, I., Polgár, B., Ráth, I., and Horváth, Á., "Workflow-Driven Tool Integration Using Model Transformation", Graph Transformations and Model Driven Enginering - Essays Dedicated to Manfred Nagl on the Occasion of his 65th Birthday: Springer, pp. 224-248, 2010.
Journal Article
Vörös, A., Darvas, D., Jámbor, A., and Bartha, T., "Advanced Saturation-based Model Checking of Well-formed Coloured Petri Nets", Periodica Polytechnica, Electrical Engineering and Computer Science, vol. 58, no. 1, pp. 11, 2014.
Varró, D., "Automated Formal Verification of Visual Modeling Languages by Model Checking", Journal of Software and Systems Modeling, vol. 3, no. 2, pp. 85–113, May, 2004. Abstract
Marussy, K., Semeráth, O., and Varró, D., "Automated Generation of Consistent Graph Models with Multiplicity Reasoning", IEEE Transactions on Software Engineering: IEEE, pp. 1-20, 09/2020. Abstract

Publications

Languages

  • English
  • Magyar

BME EduID Sign on

Login

User login