Publications

Export 45 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: First Letter Of Last Name is C  [Clear All Filters]
2008
Németh, E., and Bartha, T., "Formal Verification of Safety Functions by Reinterpretation of Functional Block based Specifications", 13th international workshop on formal methods for industrial critical systems (FMICS), pp. 219 - 234, 2008. Abstract
Ceccarelli, A., Majzik, I., Iovino, D., Caneschi, F., Pintér, G., and Bondavalli, A., "A Resilient SIL 2 Driver Machine Interface for Train Control Systems", Proc. 3rd International Conference on Dependability of Computer Systems (DepCoS - RELCOMEX), pp. 365 - 374, 2008.
Gönczy, L., Déri, Z., and Varró, D., "Model Transformations for Performability Analysis of Service Configurations", Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers, vol. 5421: Springer, pp. 153-166, 2008. Abstract
Wirsing, M., Hölzl, M. M., Acciai, L., Banti, F., Clark, A., Fantechi, A., Gilmore, S., Gnesi, S., Gönczy, L., Koch, N., et al., "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
2007
Balogh, A., Pataricza, A., Csertán, G., and Polgár, B., "Model-Based Analysis and Synthesis Methods for Dependable Embedded Systems", Proceedings of Regional Conference on Embedded and Ambient Systems, Budapest, Neumann János Számítógép-tudományi Társaság, pp. 123 - 130, 2007.
Varró, D., and Balogh, Z., "Automating Model Transformation by Example Using Inductive Logic Programming", Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15, 2007: ACM Press, pp. 978-984, 2007. Abstract
Acceptance rate: 32%
2006
Gönczy, L., Chiaradonna, S., Giandomenico, D. F., Pataricza, A., Bondavalli, A., Bartha, T., and Telek, M., 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)
Varró, D., Varró-Gyapay, S., Ehrig, H., Prange, U., and Taentzer, G., "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%
2005
Ehrig, H., Ehrig, K., de Lara, J., Taentzer, G., Varró, D., and Varró-Gyapay, S., "Termination Criteria for Model Transformation", Proc. FASE 2005: Internation Conference on Fundamental Approaches to Software Engineering, vol. 3442, Edinburgh, UK,, Springer, pp. 49–63, April, 2005. Abstract
Acceptance rate: 22%
2004
2003
Baresi, L., Heckel, R., Thöne, S., and Varró, D., "Modeling and Analysis of Architectural Styles Based on Graph Transformation", The 6th ICSE Workshop on Component Based Software Engineering: Automated Reasoning and Prediction, Portland, Oregon, USA, Carnegie Mellon University, USA, and Monash University, Australia, pp. 67–72, May 3-4, 2003. Abstract
2002
Varró, D., and Pataricza, A., "Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models", Proc. Fifth International Conference on the Unified Modeling Language – The Language and its Applications, vol. 2460, Dresden, Germany, Springer-Verlag, pp. 18–33, September 30 – O, 2002. Abstract
Acceptance rate: 30%
Csertán, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., and Varró, D., "VIATRA: Visual Automated Transformations for Formal Verification and Validation of UML Models", Proc. ASE 2002: 17th IEEE International Conference on Automated Software Engineering, Edinburgh, UK, IEEE Press, pp. 267–270, September 23–27, 2002. Abstract
Acceptance rate = 20%
Varró, D., "A Formal Semantics of UML Statecharts by Model Transition Systems", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 378–392, October 7–12, 2002. Abstract
Gyapay, S., Heckel, R., and Varró, D., "Graph Transformation with Time: Causality and Logical Clocks", Proc. ICGT 2002: 1st International Conference on Graph Transformation, vol. 2505, Barcelona, Spain, Springer-Verlag, pp. 120–134, October 7–12, 2002. Abstract
Varró, D., "A Pattern-Based Constraint Language for Metamodels", Proc. CSCS 2002: The Third Conference of PhD Students in Computer Science, Szeged, Hungary, pp. 109, July 1–4, 2002.
1998
Csertán, G., Majzik, I., Pataricza, A., Allmaier, S., and Hohl, W., "Hardware Accelerators for Petri-net Analysis", Proc. Austrian-Hungarian Workshop on Distributed and Parallel Systems (DAPSYS'98): University of Vienna, Department of Applied Computer Science, pp. 99 - 104, 1998.
Csertán, G., Majzik, I., Pataricza, A., and Allmaier, S., "Reachability Analysis of Petri-nets by FPGA Based Accelerators", Proc. Design and Diagnostics of Electronic Circuits and Systems Workshop (DDECS'98), pp. 307 - 312, 1998.
1996
Antal, B., Bondavalli, A., Csertán, G., Majzik, I., and Simoncini, L., "Reachability and Timing Analysis in Data Flow Networks: A Case Study", Proceedings of the 22nd EUROMICRO Conference: IEEE Computer Society Press, pp. 193 - 200, 1996.