Selected Publications
2008
-
László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, and András Pataricza:
Tool Support for Engineering Certifiable Software
In Michaela Huhn and Hardi Hungar, editors, Proc. of First Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert08), pages 68-73, 2008
BibTeX
-
Gyula Simon, Miklós Molnár, László Gönczy, and Bernard Cousin:
Robust k-coverage Algorithms for Sensor Networks
In IEEE Transactions on Instrumentation and Measurement, Vol. 57, 2008
BibTeX
-
Zoltan Micskei and Helene Waeselynck:
A survey of UML 2.0 sequence diagrams' semantics
In LAAS Technical Report no. 08389, 37 pages, 2008
BibTeX
-
Ceccarelli, A. and Majzik, I. and Iovino, D. and Caneschi, F. and Pintér, G. and Bondavalli, A.:
A resilient SIL 2 Driver Machine Interface for train control systems
In IEEE Third International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 08), 2008
BibTeX
-
Majzik, I. and Bondavalli, A. and Klapka, S. and Madsen, T.K. and Iovino, D.:
Formal Methods in the Evaluation of a Safe Driver Machine Interface
In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), 2008
BibTeX
-
Lollini, P. and Montecchi, L. and Magyar, M. and Majzik, I. and Bondavalli, A.:
Analysis of the impact of communication protocols on service quality in ERTMS automatic train control systems
In Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2008), 2008
BibTeX
-
Kovács, M. and Lollini, P. and Majzik, I. and Bondavalli, A.:
An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications
In RISE/EFTS Joint International Workshop on Software Engineering for REsilieNt systEms (SERENE 2008), 2008
BibTeX
-
Zoltán Balogh and Dániel Varró:
Model Transformation by Example Using Inductive Logic Programming
In Software and Systems Modeling, 2008
BibTeX
-
Dániel Varró and Márk Asztalos and Dénes Bisztray
and Artur Boronat and Duc-Hanh Dang and Rubino Geiss and Joel Greenyer and Pieter Van Gorp
and Ole Kniemeyer and Anantha Narayanan and Edgars Rencis and Erhard Weinell:
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools
In Proc. Third International Workshop and Symposium on Applications
of Graph Transormation with Industrial Relevance (AGTIVE 2007), 2008
BibTeX
-
Áron Sisak and Gergely Pintér and István Majzik:
Automated Verification of Complex Behavioral Models Using the SAL Model Checker
In Formal Methods for Automation and Safety in Railway and Automotive Systems (Proceedings of the FORMS-2008 Conference, 2008
BibTeX
-
Máté Kovács and László Gönczy and Dániel Varró:
Formal analysis of BPEL workflows with compensation by model checking
In International Journal of Computer Systems and Engineering, 2008
BibTeX
-
Gergely Varró and Ákos Horváth and Dániel Varró:
Recursive Graph Pattern Matching: With Magic Sets and Global Search Plans
In Proc. Third International Workshop and Symposium on Applications of Graph Transormation with Industrial Relevance (AGTIVE 2007), 2008
BibTeX
-
Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik and András Pataricza:
Integration of OLAP and Data Mining for Analysis of Results from Dependability Evaluation Experiments
In International Journal of Knowledge Management Studies, 2008
BibTeX
-
István Ráth, Gábor Bergmann, András Ökrös, Dániel Varró:
Live model transformations driven by incremental pattern matching
In International Conference on Model Transformation, 2008
BibTeX
-
Gergely Pintér, Zoltán Micskei, András Kövi, Zoltán Égel, Imre Kocsis,
Gábor Huszerl, András Pataricza:
Model-Based Approaches for Dependability in Ad-Hoc Mobile Networks and Services
In Rogerio de Lemos, Felicita di Giandomenico, Henry Muccini, Cristina Gacek, Marlon Vieira (Eds.) Architecting Dependable Systems V., 2008
BibTeX
-
Gábor Bergmann, András Ökrös, István Ráth, Dániel Varró, Gergely Varró:
Incremental pattern matching in the VIATRA model transformation system
In GRaMoT'08, 3rd International Workshop on Graph and Model
Transformation, 2008
BibTeX
-
Gábor Bergmann and Ákos Horváth and István Ráth and Dániel Varró:
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation
In Proc. 4th International Conference on Graph Transformations, ICGT 2008
BibTeX