Filters: First Letter Of Last Name is M [Clear All Filters]
"A survey and comparison of transformation tools based on the transformation tool contest", Science of Computer Programming, 2013.
"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.
"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.
Languages and frameworks for specifying test artifacts, : Budapest University of Technology and Economics, 2013.
Isolation and Pex: case study of cooperation, : Budapest University of Technology and Economics, 09/2013.
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.
"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.
"Robustness Testing Techniques and Tools", Resilience Assessment and Evaluation of Computing Systems: Springer Berlin Heidelberg, pp. 323-339, 2012.
"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.
"A Tool for Managing Evolving Security Requirements", IS Olympics: Information Systems in a Diverse World, vol. 107: Springer Berlin Heidelberg, pp. 110-125, 2012.
"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.
"SeCMER: A Tool to Gain Control of Security Requirements Evolution", Towards a Service-Based Internet, vol. 6994: Springer Berlin / Heidelberg, pp. 321-322, 2011.
"Towards Guided Trajectory Exploration of Graph Transformation Systems", Electronic Communications of the EASST, Petri Nets and Graph Transformations 2010, vol. 40, 08/2011.
"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.
"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.
"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.
"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.
"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.
"Sensor Selection for IT Infrastructure Monitoring", Autonomic Computing and Communications Systems, vol. 23: Springer Berlin Heidelberg, pp. 130-143, 2010.
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems", Software and Systems Modeling, 2010.
"Ontology-based assessment of software models and development processes for safety-critical systems", Monographs of System Dependability Vol. 2, Wroclaw, pp. 1 - 12, 2010.
"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.
"Ecore to Genmodel case study solution using the Viatra2 framework", Transformation Tool Contest (TTC '10), Malaga, Spain, 07/2010.
"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.
"Optimal Period Length for the CGS Sensor Network Scheduling Algorithm", International conference on Networking and Services: IEEE Computer Society, pp. 192-199, 2010.