Publications
] Filters: First Letter Of Last Name is T [Clear All Filters]
"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
"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.
"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
"Non-Functional Properties in the Model-Driven Development of Service-Oriented Systems",
Software and Systems Modeling, 2010.
Abstract
Appeared online
"Stochastic Graph Transformation with Regions",
Electronic Communications of the EASST, Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques, vol. 29, 2010.
"Qualitative performance control in supervised IT infrastructures",
Dependable Systems and Networks Workshops (DSN-W), 2010 International Conference on, pp. 59 -65, jun., 2010.
"Stochastic Simulation of Graph Transformation Systems",
Proc. of FASE2010, Fundamental Approaches to Software Engineering, 2010.
Accepted.
"Analysis of the Impact of Communication Protocols on Service Quality in ERTMS Automatic Train Control Systems",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 225 - 232, 2008.
"Automated Verification of Complex Behavioral Models Using the SAL Model Checker",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 35 - 42, 2008.
"Formal Methods in the Evaluation of a Safe Driver Machine Interface",
Formal Methods for Automation and Safety in Railway and Automotive Systems (Proc. of Symposium FORMS/FORMAT 2008), Budapest, L'Harmattan Kiadó, pp. 313 - 320, 2008.
"A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation",
Proc. 4th International Conference on Graph Transformations, ICGT 2008, vol. 5214: Springer, pp. 396-410, 2008.
Abstract
Acceptance rate: ~40%
"Incremental pattern matching in the VIATRA model transformation system",
Proc. Graph and Model Transformations (GRAMOT 2008): ACM, 2008.
Abstract
"Towards a Two Layered Verification Approach for Compiled Graph Transformation",
In Proc. of ICGT '08 , 4th Intl. Conference on Graph Transformation: Springer, 2008.
"SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity",
Leveraging Applications of Formal Methods, Verification and Validation, Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008. Proceedings, vol. 17: Springer, pp. 170-190, 2008.
Abstract
"Comparing Robustness of AIS-Based Middleware Implementations",
Service Availability Symposium, pp. 20 - 30, 2007.
"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.
"Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools",
AGTIVE - Applications of Graph Transformation, Kassel, Germany, Springer, 10/2007.
"Model-Based Testing of Service Infrastructure Components",
Proc. Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, TestCom/FATES 2007, Tallinn, Estonia, June 26-29, 2007, vol. 4581: Springer, pp. 155-170, 2007.
Abstract
Acceptance rate: 39%
"Style-Based Modeling and Refinement of Service-Oriented Architectures",
Journal of Software and Systems Modelling, vol. 5, no. 2, pp. 187–207, June, 2006.
Abstract
"Tool Integration by Model Transformations based on the Eclipse Modeling Framework",
EASST Newsletter, vol. 12, 2006.
Abstract
Dependability Evaluation of Web Service-Based Processes, Formal Methods and Stochastic Models for Performance Evaluation,
: Springer-Verlag, pp. 166 - 180, 2006.
Abstract
L3: citeulike-article-id:3911666SE: Lecture Notes in Computer Science
KW: dependability evaluation
Proc. of the Third European Performance Engineering Workshop (EPEW-2006)
Formal Modelling and Verification of Specifications for the I&C System Software in NPPs,
, 2006.
Art. No.: 11On CD
"Robustness Testing Techniques For High Availability Middleware Solutions",
Proc. of International Workshop on Engineering of Fault Tolerant Systems (EFTS2006): University of Luxembourg, pp. 55 - 66, 2006.
"Making Legacy Services Highly-Available with OpenAIS: An Experience Report",
Third International Service Availability Symposium (ISAS 2006), vol. 4328, Helsinki, Finland, Springer, pp. 206–216, 2006.
Abstract
"Termination Analysis of Model Transformations by Petri Nets",
Proc. Third International Conference on Graph Transformation (ICGT 2006), vol. 4178, Natal, Brazil, Springer, pp. 260–274, 2006.
Abstract
Acceptance rate: 45%
