Filters: First Letter Of Last Name is M [Clear All Filters]
"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.
"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.
"The many meanings of UML 2 Sequence Diagrams: a survey", Software and Systems Modeling: Springer Berlin / Heidelberg, pp. 1-26, 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.
Software Engineering for Service-Oriented Overlay Computers, : Springer, 2009.
"Design and Evaluation of a Safe Driver Machine Interface", INTERNATIONAL JOURNAL OF PERFORMABILITY ENGINEERING, vol. 5, issue 2, pp. 153 - 166, 2009.
"Supporting design and development of safety critical applications by model based tools", ANNALES UNIVERSITATIS SCIENTIARUM BUDAPESTIENSIS DE ROLANDO EOTVOS NOMINATAE - SECTIO COMPUTATORICA, vol. 30, pp. 61 - 78, 2009.
"Benchmarking the Ethernet-Federated Datacenter", First Workshop on Data Center - Converged and Virtual Ethernet Switching, pp. 211 -221, sep., 2009.
"A Modell Based Framework for Specifying and Executing Fault Injection Experiments.", Proc. of the 4th International Conference on Dependability of Computer Systems., Brunów, Poland, pp. 107-114, June, 2009.
"From assessment to standardised benchmarking: Will it happen? What could we do about it?", Proc. 39th IEEE/IFIP Symposium on Dependable Systems and Networks (DSN 2009), pp. 295 - 296, 2009.
"Model-based Integration, Execution and Certiﬁcation of Development Tool-chains", Proceedings of the 2nd ECMDA Workshop on Model-Driven Tool & Process Integration, Enschede, pp. * - 10, 2009.
"Modular Construction of Dependability Models from System Architecture Models: A Tool-Supported Approach", Proc. 6th Int. Conf. on the Quantitative Evaluation of Systems (QEST 2009), pp. 95 - 96, 2009.
"SecureChange: Security Engineering for Lifelong Evolvable Systems", European Future Technologies Conference and Exhibition (FET09), Prague, pp. 1 - 3, 2009.