Publications

Export 126 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is M  [Clear All Filters]
2013
Tóth, T., Majzik, I., and Vörös, A., "K-induction based verification of real-time safety critical systems.", Conference on Dependability and Complex Systems DepCoS-RELCOMEX, Brunów, Poland, Springer International Publishing, 2013.
Horányi, G., Micskei, Z., and Majzik, I., "Scenario-based Automated Evaluation of Test Traces of Autonomous Systems", Proceedings of ERCIM/EWICS Workshop on Dependable Embedded and Cyber-physical Systems (DECS) at SAFECOMP'13, Toulouse, France, pp. 181-192, 09/2013. Abstract
Micskei, Z., Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
Honfi, D., Micskei, Z., and Vörös, A., Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013. Abstract
Horányi, G., and Majzik, I., Automated Evaluation of the Test Traces of Autonomous Systems, , Budapest, Budapest University of Technology and Economics, Dept. of Measurement and Information Systems, pp. 25 pages, 01/2013.
2012
Micskei, Z., Szatmári, Z., Oláh, J., and Majzik, I., "A Concept for Testing Robustness and Safety of the Context-Aware Behaviour of Autonomous Systems", Agent and Multi-Agent Systems. Technologies and Applications, vol. 7327: Springer Berlin / Heidelberg, pp. 504-513, 2012. Abstract
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.
Waeselynck, H., Micskei, Z., Rivière, N., Hamvas, Á., and Nitu, I., "TERMOS: A Formal Language for Scenarios in Mobile Computing Systems", Mobile and Ubiquitous Systems: Computing, Networking, and Services, vol. 73: Springer Berlin Heidelberg, pp. 285-296, 2012. Abstract
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

Bartha, T., Vörös, A., Jámbor, A., and Darvas, D., "Verification of an Industrial Safety Function Using Coloured Petri Nets and Model Checking", Proceedings of the 14th International Conference on Modern Information Technology in the Innovation Processes of the Industrial Entreprises (MITIP 2012), Budapest, Hungary, Hungarian Academy of Sciences, Computer and Automation Research Institute (MTA SZTAKI), 10/2012.
2011
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

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
Micskei, Z., and Waeselynck, H., "The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling, vol. 10, issue 4: Springer Berlin / Heidelberg, pp. 489-514, 2011. Abstract
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 302-324, 11/2011. Abstract
Hegedüs, Á., Ujhelyi, Z., and Bergmann, G., "Solving the TTC 2011 Reengineering Case with VIATRA2", TTC 2011: Fifth Transformation Tool Contest, Zürich, Switzerland, June 29-30 2011, Post-Proceedings, vol. 74, Zürich, Switzerland, Open Publishing Association, pp. 136-148, 11/2011. Abstract
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

2010
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.
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

Kövi, A., and Micskei, Z., "Robustness Testing of Standard Specifications-based HA Middleware", Proceedings of the 2010 International Conferenceon Distributed Computing Systems Workshops: IEEE Computer Society Press, pp. 302 - 306, 2010.
Polgár, B., Ráth, I., and Majzik, I., "Model-based Integration Framework for Development and Testing Tool-chains", FORMS/FORMAT 2010, the 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, Springer Verlag, Berlin, pp. 204-212, 03/12/2010.
Bergmann, G., Molnár, M., Gönczy, L., and Cousin, B., "Optimal Period Length for the CGS Sensor Network Scheduling Algorithm", International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.