BUTE DMIS FTSRG Publications (BibTeX)
@INPROCEEDINGS{pataricza2005,
AUTHOR = {A. Balogh and D. Varr{\'o} and A. Pataricza},
YEAR = {2005},
TITLE = {Model-driven optimization of enterprise application and service deployment},
BOOKTITLE = {Service Availability - Processdings of the 2nd International Service
Availability Symposium (ISAS 2005)},
MONTH = {April},
PAGES = {84-98}
}
@INPROCEEDINGS{balogh:2005a,
AUTHOR = {A. Balogh},
YEAR = {2005},
TITLE = {VIATRA 2: Egy {\'a}ltal{\'a}nos modell-transzform{\'a}ci{\'o} fejleszt{\~o}
keretrendszer (in Hungarian)},
BOOKTITLE = {Fiatal M{\^u}szakiak Tudom{\'a}nyos {\"U}l{\'e}sszaka Konferencia
kiadv{\'a}nya},
MONTH = {March},
ORGANIZATION = {Erd{\'e}lyi M{\'u}zeum Egyes{\"u}let}
}
@INPROCEEDINGS{balogh:2004b,
AUTHOR = {A. Balogh},
YEAR = {2004},
TITLE = {Correctness-proven code generation for MDA},
BOOKTITLE = {Conference of PhD Students in Computer Science},
MONTH = {July},
PUBLISHER = {University of Szeged, Institute of Informatics},
PAGES = {23},
ORGANIZATION = {University of Szeged, Institute of Informatics}
}
@INPROCEEDINGS{ecmda05_viatra,
TITLE = {The {VIATRA2} Model Transformation Framework},
AUTHOR = {A. Balogh and A. N\'emeth and A. Schmidt and I.
R\'ath and D. V\'ag\'o and D. Varr{\'o} and A. Pataricza},
BOOKTITLE = {ECMDA 2005 -- Tools Track},
YEAR = {2005}
}
@INPROCEEDINGS{sac06_plugin,
AUTHOR = {A. Balogh and G. Varr{\'o} and D. Varr{\'o} and
A. Pataricza},
KEYWORDS = {model transformation, platform-specific transformers, EJB 3.0, graph
transformation, abstract state machines},
URL = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2006/sac2006_plugin.pdf},
NOTE = {In press},
BOOKTITLE = {ACM Symposium on Applied Computing --- Model Transformation Track
(SAC 2006)},
ABSTRACT = {The current paper presents a technique for generating standalone model
transformation plugins for the EJB 3.0 platform from platform-independent specifications
of transformations given by a combination of graph transformation and abstract
state machine rules (as used within the Viatra2 framework). As a result, the
design of transformations can be separated from the execution of transformations.
This also enables to run platform-independent Viatra2 transformations on very
large models stored in underlying relational databases or to integrate such
transformations into existing business applications. },
TITLE = {Compiling Model Transformations to {EJB3}-Specific Transformer Plugins},
YEAR = {2006}
}
@INPROCEEDINGS{sac06_vtcl,
AUTHOR = {A. Balogh and D. Varr{\'o}},
NOTE = {In press},
BOOKTITLE = {ACM Symposium on Applied Computing --- Model Transformation Track
(SAC 2006)},
URL = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2006/sac2006_vtcl.pdf},
TITLE = {Advanced Model Transformation Language Constructs in the {VIATRA2} Framework},
ABSTRACT = {We present the model transformation language of the VIATRA2 framework,
which provides a rule and pattern-based transformation language for manipulating
graph models by combining graph transformation and abstract state machines
into a single specification paradigm. This language offers advanced constructs
for querying (e.g. recursive graph patterns) and manipulating models (e.g.
generic and meta transformation rules) in unidirectional model transformations
frequently used in formal model analysis to carry out powerful abstractions.
In addition, powerful language constructs are provided for multi-level metamodeling
to design modeling languages and template-based code generation. },
YEAR = {2006}
}
@INPROCEEDINGS{cmt2006,
AUTHOR = {A. Balogh and D. Varr{\'o}},
YEAR = {2006},
TITLE = {Pattern composition in graph transformation rules},
ABSTRACT = {Graph transformation (GT) frequently serves as a precise underlyingspecification
mechanism for model transformations within and betweenmodeling languages. However,
composability of graph transformation rules istypically limited to inter-level
rule composition (i.e. rules calling otherrules). In the current paper, we
introduce intra-level composition for GTrules where the left-hand side and
right-hand side graphs of GT rules can becomposed of stand-alone graph patterns
in a fully declarative way. As aresult, the specification of complex model
transformation problems can bedrastically reduced. Our concepts are demonstrated
using the transformationlanguage of the VIATRA2 framework.},
BOOKTITLE = {Accepted for the (first) European Workshop on Compostion of Model
Transformations.},
MONTH = {July}
}
@INBOOK{Pataricza-Balogh-Gonczy-UML2006,
CHAPTER = {Verification and validation of non-functional aspects
in enterprise modeling},
AUTHOR = {A. Pataricza and A. Balogh and L. G{\"o}nczy},
TITLE = {Enterprise Modeling and Computing with UML},
PUBLISHER = {Idea Group},
NOTE = {In press},
YEAR = 2006,
PAGES = {}
}
@INPROCEEDINGS{DECOS-SAFECOMP06,
AUTHOR = {E. Schoitsch and E. Althammer and H. Eriksson and J.
Vinter and L. G{\"o}nczy and A. Pataricza and Gy. Csert{\'a}n},
TITLE = {Validation and Certification of Safety-Critical Embedded
Systems - the {DECOS} Test Bench},
BOOKTITLE = {in Proceedings of The 25th International Conference on
Computer Safety, Security and Reliability (SAFECOMP2006)},
PAGES = {},
YEAR = {2006},
EDITOR = {},
SERIES = {Lecture Notes in Computer Science},
PUBLISHER = {Springer},
ADDRESS = {Gdansk, POLAND},
MONTH = {September 25-29},
NOTE = {To appear},
ABSTRACT = {The integrated EU-project DECOS (Dependable Embedded
Components and Systems) aims at developing an integrated architecture for
embedded systems to reduce life-cycle costs and to increase dependability of
embedded applications. To facilitate the certification process of DECOS-based
applications, the DECOS Test Bench constitutes a framework to support
Validation and Verification. By implementing a modular approach, an
application safety case merely contains the application-specific issues and reuses
the safety arguments of the generic safety cases of the DECOS platform.
The Test Bench covers the complete life cycle from the platform-independent
models to deployment, including model validation and transformations. The
safety cases are based on validation-plans (v-plans) comprising the steps to
validate the safety requirements. The Test Bench provides a methods/tools
repository, guidelines to generate and execute v-plans, and integration of tools
and of remotely distributed test beds.}
}
@INPROCEEDINGS{Gonczy-Varro-WSMATE06,
AUTHOR = {L. G{\"o}nczy and D. Varr{\'o}},
TITLE = {Modeling of Reliable Messaging in Service Oriented Architectures},
BOOKTITLE = {in Proceedings of International Workshop on Web Services Modeling and Testing (WS-MaTe2006)},
PAGES = {35-49},
YEAR = {2006},
EDITOR = {Andrea Polini},
ADDRESS = {Palermo, Sicily, ITALY},
MONTH = {June 9th},
ABSTRACT = {Due to the increasing need of highly dependable services in Service-Oriented Architectures(SOA), service-level agreements include more and more frequently such traditional aspects as security, safety, availability, reliability, etc. Whenever a service can no longer be provided with the required QoS, the service requester need to switch dynamically to a new service having adequate service parameters. In the
current paper, we propose a metamodel to capture such parameters required for
reliable messaging in services in a semi-formal way (as an extension to [1]). Furthermore, we incorporate fault-tolerant algorithms into appropriate reconfiguration
mechanisms for modeling reliable message delivery by graph transformation rules.}
}
@INPROCEEDINGS{Gonczy-CSCS06,
AUTHOR = {L. G{\"o}nczy},
TITLE = {Verification of Reconfiguration Mechanisms in Service-Oriented Architectures},
BOOKTITLE = {in Proceedings of Conference of PhD Students in Computer Science },
PAGES = {},
YEAR = {2006},
EDITOR = {},
NOTE = {To appear},
ADDRESS = {Szeged, HUNGARY}
}
@INPROCEEDINGS{Gonczy-EPEW06,
AUTHOR = {L. G{\"o}nczy and S. Chiaradonna and F. Di Giandomenico
and A. Pataricza and A. Bondavalli and T. Bartha},
TITLE = {Dependability Evaluation of Web Service-Based Processes},
BOOKTITLE = {in Proceedings of European Performance Engineering Workshop (EPEW 2006)},
PAGES = {166-180},
YEAR = {2006},
EDITOR = {M. Telek},
SERIES = {Lecture Notes on Computer Science},
PUBLISHER = {Springer},
ADDRESS = {Budapest, HUNGARY},
ABSTRACT = {As Web service-based system integration recently became the mainstream
approach to create composite services, the dependability of such systems
becomes more and more crucial. Therefore, extensions of the common service
composition techniques are urgently needed in order to cover dependability aspects
and a core concept for the dependability estimation of the target composite
service. Since Web services-based workflows fit into the class of systems
composed of multiple phases, this paper attempts to apply methodologies and
tools for dependability analysis of Multiple Phased Systems (MPS) to this
emerging category of dependability critical systems. The paper shows how this
dependability analysis constitutes a very useful support to the service provider
in choosing the most appropriate service alternatives to build up its own composite
service.}
}
@INPROCEEDINGS{Kovacs-Gonczy-GV-VMT06,
AUTHOR = {M. Kov{\'a}cs and L. G{\"o}nczy},
TITLE = {Simulation and Formal Analysis of Workflow Models},
BOOKTITLE = {Proc. of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques},
PAGES = {215-224},
EDITOR = {Roberto Bruni and Daniel Varro},
SERIES = {Electronic Notes in Theoretical Computer Science},
PUBLISHER = {Elsevier},
YEAR = {2006},
ADDRESS = {Vienna, AUSTRIA},
ABSTRACT = {We present a framework for the simulation and formal analysis of workflow models. We discuss (i) how a workflow model, implemented in the BPEL language, can be
transformed into a data
ow network model, (ii) how potentially incorrect execution
paths can be incorporated, and (iii) how the properties of a workflow can be formally
verifed using the SPIN model checker. For the several model transformation steps
from workflow to analysis models, we use graph transformations.}
}
@INPROCEEDINGS{Gonczy-YR-SOC,
AUTHOR = {L. G{\"o}nczy},
TITLE = {Dependability Analysis of Web Service-based Business Processes by Model Transformations},
BOOKTITLE = {Proc. of the First European Young Researchers Workshop on Service Oriented Computing (YR-SOC)},
PAGES = {32-37},
EDITOR = {},
YEAR = {2005},
ADDRESS = {Leicester, UK},
ABSTRACT = {A typical composite Web service is built of basic Web services, both
internal and external, over which the integrator does not have a complete control.
The service-based integration of enterprise systems raises the need for the
analysis of non-functional characteristics of a composite Web service. Such an
analysis should cover dependability (for instance, the reliability of the main
process, sensitivity analysis on component reliability, etc.) and performability
aspects (e.g. determining the optimal process structure for a given level of reliability)
as well. The paper discusses how graph transformations can be used to
adapt formal methodologies for analyzing SOA models. This way a flexible
and extendable analysis framework can be developed for Web service-based
business processes.}
}
@INPROCEEDINGS{Gonczy-EDCC,
AUTHOR = {L. G{\"o}nczy and A. Pataricza and F. Di Giandomenico and S. Chiaradonna and A. Bondavalli},
TITLE = {Dependability Modeling of Web Service Flows},
BOOKTITLE = {In Supplementary Volume of the Fifth European Conference on Dependable Computing (EDCC-5)},
PAGES = {77-78},
EDITOR = {},
YEAR = {2005},
ADDRESS = {Budapest, HUNGARY},
NOTE = {Fast Abstract}
}
@INPROCEEDINGS{Gonczy-CSCS04,
AUTHOR = {L. G{\"o}nczy},
TITLE = {Building Complex Systems of Web Services},
BOOKTITLE = {Volume of Extended Abtsracts of Conference of PhD Students in Computer Science },
PAGES = {50},
YEAR = {2004},
EDITOR = {},
ADDRESS = {Szeged, HUNGARY}
}
@INPROCEEDINGS{Gonczy-FMTU2004,
AUTHOR = {L. G{\"o}nczy},
TITLE = {Web service rendszerek - Systems of Web Services},
BOOKTITLE = {Fiatal M{\^u}szakiak Tudom{\'a}nyos {\"U}l{\'e}sszaka (FMTU2004)},
PAGES = {105-108},
YEAR = {2004},
NOTE = {In Hungarian},
ADDRESS = {Cluj Napoca, ROMANIA}
}
@INPROCEEDINGS{WTUML01,
AUTHOR = {D. Varr{\'o} and Sz. Gyapay and
A. Pataricza},
TITLE = {Automatic Transformation of {UML} Models for System
Verification},
BOOKTITLE = {WTUML'01: Workshop on Transformations in UML},
PAGES = {123--127},
YEAR = 2001,
EDITOR = {Jon Whittle and others},
ADDRESS = {Genova, Italy},
MONTH = {April}
}
@INPROCEEDINGS{AGT2002,
AUTHOR = {S. Gyapay and R. Heckel},
TITLE = {Towards Graph Transformation With Time},
BOOKTITLE = {Proc. AGT 2002: Workshop on Applied Graph
Transformation},
PAGES = {},
YEAR = 2002,
EDITOR = {Kreowski, Hans-J{\"o}rg and Knirsch, Peter},
ADDRESS = {Grenoble, France}
}
@INPROCEEDINGS{ICGT2002-GHV02,
AUTHOR = {Sz. Gyapay and R. Heckel and D.
Varr{\'o}},
TITLE = {Graph Transformation with Time: Causality and
Logical Clocks},
BOOKTITLE = {Proc. ICGT 2002: 1st International Conference on Graph
Transformation},
PAGES = {120--134},
YEAR = 2002,
EDITOR = {Kreowski, Hans-J{\"o}rg and Knirsch, Peter},
SERIES = {LNCS},
ADDRESS = {Barcelona, Spain},
MONTH = {October},
PUBLISHER = {Springer-Verlag}
}
@INPROCEEDINGS{CSCS2002,
AUTHOR = {Sz. Gyapay},
TITLE = {Operation Research Methods in {P}etri Net--Based Analysis of IT Systems},
BOOKTITLE = {The Third Conference of PhD Students in Computer Science},
PAGES = 36,
YEAR = 2002,
EDITOR = {Tibor Csendes},
ADDRESS = {Szeged, Hungary},
MONTH = {July}
}
@INPROCEEDINGS{INES2002,
AUTHOR = {Sz. Gyapay and A. Pataricza and J. Sziray and F. Friedler},
TITLE = {{P}etri {N}et-Based Optimization of Production systems},
BOOKTITLE = {6th IEEE International Conference on Intelligent Engineering Systems},
PAGES = {465--469},
YEAR = 2002,
LOCATION = {Opatija, Croatia},
EDITOR = {Alen Lovren\v{c}i\'{c} and Imre J. Rudas},
MONTH = {May},
ORGANIZATION = {Organized and published by Faculty of Organization end Informatics, University of Zagrev, Croatia}
}
@INPROCEEDINGS{Neumann2003,
AUTHOR = {Sz. Gyapay and A. Pataricza},
TITLE = {A Gradual Filtering Method for Simultaneous Verification and Optimization of Petri Nets},
BOOKTITLE = {The John von Neumann PhD Conference},
PAGES = {27--30},
YEAR = 2003,
MONTH = {October},
ADDRESS = {Budapest University of Technology and Economics,
Faculty of Elevtrical Engineering and Informatics}
}
@INPROCEEDINGS{smc03_gp,
AUTHOR = {Sz. Gyapay and A. Pataricza},
TITLE = {{A Combination of Petri Nets and Process Network Synthesis}},
BOOKTITLE = {2003 IEEE International Conference on Systems, Man & Cybernetics, Invited Sessions/Track on "Petri Nets and Discrete Event Systems"},
PAGES = {1167--1174},
ADDRESS = {Washington, D.C., USA},
YEAR = {2003},
MONTH = {October},
OPTORGANIZATION = {},
PUBLISHER = {IEEE Press},
OPTNOTE = {},
OPTANNOTE = {}
}
@INPROCEEDINGS{forms03_gp,
AUTHOR = {Sz. Gyapay and A. Pataricza},
TITLE = {Optimization methods for reachability analysis of {P}etri net models},
BOOKTITLE = {Formal Methods for Railway Operation and Control Systems
(Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)},
YEAR = {2003},
MONTH = {May},
PAGES = {53--60},
EDITOR = {G. Tarnai and E. Schnieder},
PUBLISHER = {L' Harmattan, Budapest}
}
@INPROCEEDINGS{fruhlingsa_gp,
AUTHOR = {Sz. Gyapay and A. Pataricza},
TITLE = {{Eine Kombination von Petrinetzen und Optimierung}},
BOOKTITLE = {Wissenschaftlichen Mitteilungen der 15. Fr\"uhlingsakademie, Balatonf\"ured, Hungary},
YEAR = {2003},
PAGES = {24--29},
EDITOR = {},
PUBLISHER = {}
}
@INPROCEEDINGS{vocal04_gpn,
AUTHOR = {Sz. Varr{\'o}-Gyapay and A. Pataricza and A. Nagy},
TITLE = {{Optimization of Production Nets under Temporal Constraints}},
BOOKTITLE = {Veszprém Optimization Conference: Advanced Algorithms},
PAGES = {},
ADDRESS = {Veszprém, Hungary},
YEAR = {2004},
MONTH = {December},
OPTORGANIZATION = {},
PUBLISHER = {},
OPTNOTE = {},
OPTANNOTE = {}
}
@INPROCEEDINGS{CSCS2004,
AUTHOR = {Sz. Gyapay},
TITLE = {Model--based Optimization and Verification of IT Systems},
BOOKTITLE = {Conference of PhD Students in Computer Science},
PAGES = 52,
YEAR = 2004,
EDITOR = {Tibor Csendes},
ADDRESS = {Szeged, Hungary},
MONTH = {July}
}
@INPROCEEDINGS{fase2005_eeltvv,
VOLUME = 3442,
MONTH = {April},
AUTHOR = {H. Ehrig and K. Ehrig and J. de Lara and G.
Taentzer and D. Varr\'o and Sz. Varr\'o-Gyapay},
OPTANNOTE = {},
SERIES = {LNCS},
BOOKTITLE = {Proc. FASE 2005: Internation Conference on Fundamental Approaches
to Software Engineering},
EDITOR = {Maura Cerioli},
URL = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/fase2005_eeltvv.pdf},
ABSTRACT = { Model transformation has become central to most software
engineering activities. It refers to the process of modifying a
(usually graphical) model for the purpose of analysis (by its
transformation to some other domain), optimization, evolution,
migration or even code generation. In this work, we show
termination criteria for model transformation based on graph
transformation. This framework offers visual and formal techniques
based on rules, in such a way that model transformations can be
subject to analysis. Previous results on graph transformation are
extended by proving the termination of a transformation if the
rules applied meet certain criteria. We show the suitability of
the approach by an example in which we translate a simplified
version of Statecharts into Petri nets for functional correctness
analysis. },
TITLE = {Termination Criteria for Model Transformation},
ADDRESS = {Edinburgh, UK,},
PUBLISHER = {Springer},
PAGES = {49--63},
YEAR = 2005
}
@INPROCEEDINGS{mtip2005,
OPTEDITOR = {},
OPTPAGES = {},
OPTCROSSREF = {},
OPTNOTE = {},
OPTADDRESS = {},
OPTORGANIZATION = {},
AUTHOR = {K. Ehrig and E. Guerra and J. de Lara and L.
Lengyel and T. Levendovszky and U. Prange and G.
Taentzer and D. Varr\'o and Sz. Varr\'o-Gyapay},
OPTKEY = {},
OPTANNOTE = {},
OPTSERIES = {},
BOOKTITLE = {MTiP 2005, International Workshop on Model Transformations in
Practice (Satellite Event of MoDELS 2005)},
OPTVOLUME = {},
URL = {http://www.inf.mit.bme.hu/FTSRG/Publications/varro/2005/mtip05.pdf},
ABSTRACT = { Graph transformation has been widely used for expressing model
transformations. Especially transformations of visual models can
be naturally formulated by graph transformations, since graphs are
well suited to describe the underlying structures of models. Based
on a common sample model transformation, four different model
transformation approaches are presented which all perform graph
transformations. At first, a basic solution is presented and
crucial points of model transformations are indicated. Subsequent
solutions focus mainly on the indicated problems. Finally, a first
comparison of the chosen approaches to model transformation is
presented where the main ingredients of each approach are
summarized. },
OPTNUMBER = {},
TITLE = {Model Transformation by Graph Transformation: A Comparative Study},
OPTPUBLISHER = {},
YEAR = {2005},
OPTMONTH = {}
}
@ARTICLE{cscs04_gp,
AUTHOR = {A. Pataricza and Sz. Varr\'o-Gyapay},
TITLE = {Optimal Trajectory Generation for Petri nets.},
JOURNAL = {Acta Cybernetica},
VOLUME = {17},
NUMBER = {2},
YEAR = {2006},
PAGES = {225-245}
}
@INPROCEEDINGS{micskei-majzik-tam-EFTS2006,
AUTHOR = {Z. Micskei and I. Majzik and F. Tam},
YEAR = {2006},
TITLE = {Robustness Testing Techniques for High Availability Middleware Solutions},
ABSTRACT = {To increase the interoperability of availability management software
(also known as high availability middleware) major vendors released an open
specification, the Service Availability Interface. With the development of
a common interface the comparison of multiple products can be achieved. For
high availability (HA) solutions, assessing the robustness of the HA middleware
is as important as measuring its performance. This paper investigates the sources
of inputs that can activate robustness faults of a HA middleware and recommends
the corresponding testing techniques to check the existence of such faults.
We investigated the automated construction of the robustness test suites and
compared the efficiency of different techniques using a case study with an
open-source HA middleware.},
BOOKTITLE = {Proc. of International Workshop on Engineering of Fault Tolerant Systems
(EFTS2006)},
MONTH = {June 12--13},
PUBLISHER = {University of Luxembourg},
ADDRESS = {Luxembourg, Luxembourg}
}
@INPROCEEDINGS{micskei-majzik-Depcos06,
AUTHOR = {Z. Micskei and I. Majzik},
YEAR = {2006},
TITLE = {Model-based Automatic Test Generation for Event-Driven Embedded Systems
using Model Checkers},
ABSTRACT = {Testing is an essential, but time and resource consuming activity in
the software development process. In the case of model-based development, among
other subtasks test construction and test execution can be partially automated.
Our paper describes the implementation of a test generator framework that uses
an external model checker to construct test sequences. The possible configurations
of the model checker are examined by measuring the efficiency of test construction
in the case of different statechart models of event-driven embedded systems.
The generated test cases are transformed and executed on common testing frameworks
(JUnit, Rational Robot) and the effectiveness of tests are measured using code
coverage metrics.},
BOOKTITLE = {Proc. of Dependability of Computer Systems (DepCoS - RELCOMEX 2006)},
MONTH = {May 25--27},
PUBLISHER = {IEEE Computer Society},
ADDRESS = {Los Alamitos, CA, USA},
PAGES = {191--198},
ISBN = {0-7695-2565-2},
URL = {http://doi.ieeecomputersociety.org/10.1109/DEPCOS-RELCOMEX.2006.37}
}
@INPROCEEDINGS{micskeiz-FMTU2006,
AUTHOR = {Z. Micskei},
YEAR = {2005},
TITLE = {Automatic Test Generation using Modell Checkers},
ABSTRACT = {Testing is an essential, but time and resource consuming activity in
the software development process. Generating a short, but effective test suite
usually needs a lot of manual work and expert knowledge. In a model-based process,
among other subtasks, test construction and test execution can also be partially
automated. Based on the method suggested in [1], this paper presents a test
generator tool, which can be used for test set generation in the development
process of event-driven embedded systems. For a selected test coverage criterion
and from the UML statechart model of the system the program generates test
cases using the SPIN model checker. The test generator tool supports currently
the test sequence construction on the basis of the “all states” and “all transitions”
coverage criteria. The necessary model transformation [2] and requirement generation
steps are performed automatically. The configuration of the model checker in
the case of test generation, namely the settings required for constructing
a short and minimal test suite, differs from the usual needs of classic model
checking problems. The paper analyzes the possible settings of the model checker
SPIN by measuring the efficiency of test construction in the case of different
real-life statechart models, and introduces an optimized setting for test generation.
The test generator is extended for real-time applications, in this case the
model is available in the form of timed automata, and the model checker to
be used is Uppaal [3]. },
BOOKTITLE = {Proc. of X. Fiatal M{\^u}szakiak Tudom{\'a}nyos {\"U}l{\'e}sszaka
(FMTU)},
MONTH = {March 18--19},
ADDRESS = {Kolozsvar, Romania},
EDITOR = {Bitay E.},
PAGES = {47--50},
ORGANIZATION = {Erd{\'e}lyi M{\'u}zeum Egyes{\"u}let}
}
@BOOK{formalis04,
AUTHOR = {T. Bartha and Gy. Csert\'an and Sz. Gyapay and
I. Majzik and A. Pataricza and D. Varr\'o},
TITLE = {Form\'alis m\'odszerek az informatik\'aban},
PUBLISHER = {Typotex Kiad\'o},
YEAR = {2004},
PAGES = {1-303},
ADDRESS = {Budapest},
ANNOTE = {Formal methods in computer science,
ISBN 963 9548 08 1}
}
@INCOLLECTION{lemos03:stochanal,
AUTHOR = {I. Majzik and A. Pataricza and A. Bondavalli},
TITLE = {Stochastic Dependability Analysis of System Architecture
based on {UML} Models},
EDITOR = {R. de Lemos and C. Gacek and A. Romanovsky},
BOOKTITLE = {Architecting Dependable Systems},
PUBLISHER = {Springer Verlag, Berlin},
YEAR = {2003},
PAGES = {219-244},
VOLUME = {LNCS-2677},
ANNOTE = {Overview of the HIDE dependability approach}
}
@ARTICLE{pap05:ress,
AUTHOR = {Zs. Pap and I. Majzik and A. Pataricza and A. Szegi},
TITLE = {Methods of Checking General Safety Criteria in {UML}
Statechart Specifications},
JOURNAL = {Journal of Reliability Engineering and System Safety},
YEAR = {2005},
VOLUME = {87},
NUMBER = {1},
PAGES = {89-107},
MONTH = {January},
PUBLISHER = {Elsevier},
ANNOTE = {}
}
@ARTICLE{huszerl02:cj,
AUTHOR = {G. Huszerl and I. Majzik and A. Pataricza and K. Kosmidis
and M. Dal Cin},
TITLE = {Quantitative Analysis of {UML} Statechart Models of Dependable
Systems},
JOURNAL = {The Computer Journal},
YEAR = {2002},
VOLUME = {45},
NUMBER = {3},
PAGES = {260-277},
PUBLISHER = {British Computer Society},
ANNOTE = {Impact factor of CJ: 0.43 (2001)}
}
@ARTICLE{bondavalli2000:hide,
AUTHOR = {A. Bondavalli and M. Dal Cin and D. Latella and I. Majzik and
A. Pataricza and G. Savoia},
TITLE = {Dependability Analysis in the Early Phases of {UML} Based System
Design},
JOURNAL = {International Journal of Computer Systems - Science \&
Engineering},
YEAR = {2001},
VOLUME = {16},
NUMBER = {5},
PAGES = {265-275},
MONTH = {September},
PUBLISHER = {CRL Publishinh Ltd.},
ANNOTE = {HIDE summary paper. Impact factor of CSSE: 0.06 (2001)}
}
@ARTICLE{latella99:spin,
AUTHOR = {D. Latella and I. Majzik and M. Massink},
TITLE = {Automatic Verification of {UML} Statechart Diagrams using the
{SPIN} Model-Checker},
JOURNAL = {Formal Aspects of Computing},
YEAR = {1999},
VOLUME = {11},
NUMBER = {6},
PAGES = {637-664},
PUBLISHER = {Springer Verlag},
ANNOTE = {SPIN verification. Impact factor of FAC: 0.92 (2001)}
}
@ARTICLE{pi96:auto,
AUTHOR = {C. Bernardeschi and A. Bondavalli and Gy. Csert\'an and I.
Majzik and L. Simoncini},
TITLE = {Temporal Analysis of Data Flow Control Systems},
JOURNAL = {Automatica},
YEAR = {1997},
VOLUME = {38},
NUMBER = {2},
PAGES = {169-182},
PUBLISHER = {International Federation of Automatic Control (IFAC)},
ANNOTE = {Impact factor of Automatica: ?}
}
@ARTICLE{mi96:csse,
AUTHOR = {I. Majzik and W. Hohl and A. Pataricza and V. Sieh},
TITLE = {Multiprocessor Checking Using Watchdog Processors},
JOURNAL = {International Journal of Computer Systems - Science \&
Engineering},
YEAR = {1996},
MONTH = {September},
VOLUME = {11},
NUMBER = {5},
PUBLISHER = {CRL Publishinh Ltd.},
PAGES = {125-132},
ANNOTE = {Impact factor of CSSE: 0.06 (2001)}
}
@ARTICLE{mi96:tempus,
AUTHOR = {I. Majzik},
TITLE = {Software Diagnosis Using Compressed Signature Sequences},
JOURNAL = {Periodica Polytechnica Ser. Electrical Engineering},
YEAR = {1996},
VOLUME = {40},
NUMBER = {2},
PAGES = {87-103},
PUBLISHER = {Technical University of Budapest},
ANNOTE = {Technical Conference on Computer Aided Methods and Technical
Management in Electrical Engineering Education (TEMPUS JEP 3815), June
1995, Technical University Budapest, Hungary, 1995}
}
@ARTICLE{mi95:perpol,
AUTHOR = {I. Majzik and A. Pataricza},
TITLE = {Control Flow Checking in Multitasking Systems},
JOURNAL = {Periodica Polytechnica Ser. Electrical Engineering},
YEAR = {1995},
VOLUME = {39},
NUMBER = {1},
PAGES = {27-36},
PUBLISHER = {Technical University of Budapest},
ANNOTE = {Proceedings of the Technical Conference on Computer Aided
Methods and Technical Management in Electrical Engineering Education
(TEMPUS JEP 3815), June 9-10, 1994, Technical University Budapest,
Hungary, 1994}
}
@ARTICLE{mi93:emicro,
AUTHOR = {A. Pataricza and I. Majzik and W. Hohl and J. H\"onig},
TITLE = {Watchdog Processors in Parallel Systems},
JOURNAL = {Microprocessing and Microprogramming},
YEAR = {1993},
VOLUME = {39},
PAGES = {69-74},
PUBLISHER = {North Holland},
ANNOTE = {Proc. Euromicro'93, 19th Symposium on Microprocessing and
Microprogramming, Barcelona, Spain}
}
@ARTICLE{majzik04:tta,
AUTHOR = {I. Majzik and G. P\'eceli},
TITLE = {Id\^{o} \'es esem\'enyvez\'erelt kommunik\'aci\'o be\'agyazott
sz\'am\'{\i}t\'og\'epes rendszerekben.
({Time and event triggered communication in embedded computer systems,
in Hungarian}).},
JOURNAL = {Elektrotechnika},
YEAR = {2004},
VOLUME = {97. évf.},
NUMBER = {Tudom\'anyos k\"ul\"onsz\'am},
PAGES = {19-22},
PUBLISHER = {Magyar Elektrotechnikai Egyes\"ulet},
ANNOTE = {NextTTA cikk}
}
@INPROCEEDINGS{domokos06:arcs,
AUTHOR = {P. Domokos and I. Majzik},
TITLE = {Automated Construction of Dependability Models by
Aspect-Oriented Modeling and Model Transformation},
BOOKTITLE = {Proc. 19th Int. Conf. on Architecture of
Computing Systems},
YEAR = {2006},
PAGES = {66-75},
EDITOR = {W. Karl and J. Becker and K.-E. Grosspietsch
and C. Hochberger and E. Maehle},
ORGANIZATION = {Gesellschaft f\"ur Informatik},
VOLUME = {GI Lecture Notes in Informatics P-81},
PUBLISHER = {GI},
ANNOTE = {ISBN 3-88579-175-7}
}
@INPROCEEDINGS{forms2003:prolan,
AUTHOR = {A. Pataricza and I. Majzik and G. Huszerl and Gy. V\'{a}rnai},
TITLE = {{UML}-based Design and Formal Analysis of a Safety-Critical Railway
Control Software Module},
BOOKTITLE = {Formal Methods for Railway Operation and Control Systems
(Proceedings of Symposium FORMS-2003, Budapest, Hungary, May 15-16)},
YEAR = {2003},
PAGES = {125-132},
EDITOR = {G. Tarnai and E. Schnieder},
PUBLISHER = {L' Harmattan, Budapest},
ANNOTE = {IKTA paper: completeness and consistency, error propagation.
ISBN 963 9457 45 0}
}
@INPROCEEDINGS{mi02:ftcdmod,
AUTHOR = {I. Majzik and G. Huszerl},
TITLE = {Towards Dependability Modeling of {FT-CORBA} Architectures},
BOOKTITLE = {Dependable Computing -- EDCC-4. Proc. 4th European Dependable Computing
Conference, Toulouse, France, 23-25 October},
YEAR = {2002},
PAGES = {121-139},
EDITOR = {A. Bondavalli, P. Thevenod-Fosse},
VOLUME = {LNCS 2485},
PUBLISHER = {Springer Verlag, Berlin Heidelberg},
ANNOTE = {FT-CORBA dependability modeling, ISBN 3-540-00012-7}
}
@INPROCEEDINGS{darvas02:ddecs,
AUTHOR = {A. Darvas and I. Majzik and B. Beny\'{o}},
TITLE = {Verification of {UML} Statechart Models of Embedded Systems},
BOOKTITLE = {Proc. IEEE Design and Diagnostics of Electronic Circuits
and Systems Workshop (DDECS 2002), April 17-19, Brno, Czech Republic},
YEAR = {2002},
PAGES = {70-77},
EDITOR = {B. Straube and E.J. Marinissen and Z. Kotasek and O. Novak
and J. Hlavicka and R. Ruzicka},
ORGANIZATION = {IEEE Computer Society TTTC},
PUBLISHER = {Brno University of Technology},
ANNOTE = {ISBN 80-214-2094-4}
}
@INPROCEEDINGS{huszerl2001:emicro,
AUTHOR = {G. Huszerl and I. Majzik},
TITLE = {Modeling and Analysis of Redundancy Management in Distributed
Object-Oriented Systems by Using {UML} Statecharts},
BOOKTITLE = {Proc. of the 27th EUROMICRO Conference, Warsaw, Poland,
4-6 September 2001},
YEAR = {2001},
PAGES = {200-207},
PUBLISHER = {IEEE CS, Los Alamitos, California},
ANNOTE = {ISBN 0-7695-1236-4}
}
@INPROCEEDINGS{pap2001:safecomp,
AUTHOR = {Zs. Pap and I. Majzik and A. Pataricza},
TITLE = {Checking General Safety Criteria on {UML} Statecharts},
BOOKTITLE = {Computer Safety, Reliability and Security
(Proc. 20th Int. Conference, SAFECOMP-2001,
Budapest, Hungary, September 25-27, 2001)},
YEAR = {2001},
PAGES = {46-55},
EDITOR = {U. Voges},
VOLUME = {LNCS-2187},
PUBLISHER = {Springer Verlag},
ANNOTE = {ISBN 3-540-42607-8 Analysis and checking of criteria}
}
@INPROCEEDINGS{pap2001:ddecs,
AUTHOR = {Zs. Pap and I. Majzik and A. Pataricza and A. Szegi},
TITLE = {Completeness and Consistency Analysis of {UML}
Statechart Specifications},
BOOKTITLE = {Proc. IEEE Design and Diagnostics of Electronic Circuits
and Systems Workshop (DDECS'2001),
Gy\^{o}r, Hungary, 18-20 April, 2001},
YEAR = {2001},
PAGES = {83-90},
EDITOR = {J. Hlavicka and M. Renovell and A. Pataricza and J. Sziray
and B. Beny\'{o}},
ANNOTE = {ISBN 963-7175-16-4}
}
@INPROCEEDINGS{huszerl00:hase,
AUTHOR = {G. Huszerl and I. Majzik},
TITLE = {Quantitative Analysis of Dependability Critical Systems Based
on {UML} Statechart Models},
BOOKTITLE = {Proc. Fifth IEEE International Symposium on High Assurance
Systems Engineering (HASE 2000), November 15-17, 2000, Albuquerque, New
Mexico},
YEAR = {2000},
PAGES = {83-92},
PUBLISHER = {IEEE Computer Society},
ANNOTE = {ISBN 0-7695-0927-4}
}
@INCOLLECTION{latella99:fmoods,
AUTHOR = {D. Latella and I. Majzik and M. Massink},
TITLE = {Towards a Formal Operational Semantics of {UML} Statechart
Diagrams},
EDITOR = {P. Ciancarini and A. Fantechi and R. Gorrieri},
BOOKTITLE = {Formal Methods for Open Object-Based Distributed Systems
(Proc. Third IFIP International Conference on Formal Methods for Open
Object-based Distributed Systems (FMOODS'99), February 15-18, 1999,
Florence, Italy)},
PUBLISHER = {Kluwer Academic Publishers},
YEAR = {1999},
PAGES = {331-347},
ANNOTE = {ISBN 0-7923-8429-6}
}
@INPROCEEDINGS{bondavalli99:isorc,
AUTHOR = {A. Bondavalli and I. Majzik and I. Mura},
TITLE = {Automated Dependability Analysis of {UML} Designs},
BOOKTITLE = {Proc. 2nd IEEE International Symposium on
Object-oriented Real-time Distributed Computing (ISORC'99),
May 2-5, 1999, Saint Malo, France},
YEAR = {1999},
PAGES = {139-144},
ORGANIZATION = {IEEE CS TC on Distributed Processing},
ANNOTE = {ISBN 0-7695-0207-5}
}
@INPROCEEDINGS{bondavalli99:hase,
AUTHOR = {A. Bondavalli and I. Majzik and I. Mura},
TITLE = {Automatic Dependability Analysis for Supporting Design
Decisions in {UML}},
BOOKTITLE = {Proc. Fourth IEEE International Symposium on High-Assurance
Systems Engineering (HASE'99),
November 17-19, 1999, Washington DC},
YEAR = {1999},
PAGES = {64-71},
ANNOTE = {Williams, editor, ISBN 0-7695-0418-3
Production cell dependability analysis}
}
@INPROCEEDINGS{mi98:ddecs,
AUTHOR = {Gy. Csert\'an and I. Majzik and A. Pataricza and S. C. Allmaier},
TITLE = {Reachabiliy Analysis of {P}etri-nets by {FPGA} Based
Accelerators},
BOOKTITLE = {Proc. Design and Diagnostics of Electronic Circuits and
Systems Workshop (DDECS'98), Szczyrk, Poland, September 2-4, 1998},
YEAR = {1998},
PAGES = {307-312},
NOTE = {ISBN-83-908409-6-0}
}
@INPROCEEDINGS{mi98:dapsys,
AUTHOR = {Gy. Csert\'an and I. Majzik and A. Pataricza and S. C. Allmaier
and W. Hohl},
TITLE = {Hardware Accelerators for {P}etri-net Analysis},
BOOKTITLE = {Proc. Austrian-Hungarian Workshop on Distributed and
Parallel Systems (DAPSYS'98), September 28-30, 1998, Budapest, Hungary},
YEAR = {1998},
PUBLISHER = {Technical Report TR-98102, University of Vienna,
Department of Applied Computer Science},
PAGES = {99-104}
}
@INPROCEEDINGS{mi96:emicro,
AUTHOR = {I. Majzik},
TITLE = {Software Monitoring and Debugging Using Compressed Signature
Sequences},
BOOKTITLE = {Proc. 22nd EUROMICRO Conference, September 2-5, 1996,
Prague, Czech Republic},
YEAR = {1996},
PAGES = {311-318},
PUBLISHER = {IEEE Computer Society Press, Los Alamitos, CA},
ANNOTE = {ISBN 0-8186-7487-3}
}
@INPROCEEDINGS{pi96:emicro,
AUTHOR = {B. Antal and A. Bondavalli and Gy. Csert\'an and I. Majzik
and L. Simoncini},
TITLE = {Reachability and Timing Analysis in Data Flow Networks: A
Case Study},
BOOKTITLE = {Proc. 22nd EUROMICRO Conference, September 2-5, 1996,
Prague, Czech Republic},
YEAR = {1996},
PAGES = {193-200},
PUBLISHER = {IEEE Computer Society Press, Los Alamitos, CA},
ANNOTE = {ISBN 0-8186-7487-3}
}
@INCOLLECTION{mi94:edcc,
AUTHOR = {I. Majzik and A. Pataricza and M. Dal Cin and W. Hohl and
J. H\"onig and V. Sieh},
TITLE = {Hierarchical Checking of Multiprocessors Using Watchdog
Processors},
EDITOR = {K. Echtle and D. Hammer and D. Powell},
BOOKTITLE = {Dependable Computing - {EDCC-1}},
PUBLISHER = {Springer Verlag},
ADDRESS = {Berlin Heidelberg},
YEAR = {1994},
PAGES = {386-403},
SERIES = {Lecture Notes in Computer Science},
VOLUME = {852},
ANNOTE = {Proc. First European Dependable Computing Conference (EDCC-1),
Berlin, Germany, October 1994, ISBN 3-540-58426-9}
}
@INPROCEEDINGS{mi94:up,
AUTHOR = {I. Majzik and A. Pataricza and W. Hohl and J. H\"onig and V.
Sieh},
TITLE = {A High-Speed Watchdog Processor for Multitasking Systems},
BOOKTITLE = {Proc. Eight Symposium on Microcomputer and Microprocessor
Applications (uP'94), October, 1994},
EDITOR = {A. Pataricza, E. Sel\'enyi and A. Somogyi},
VOLUME = {I},
YEAR = {1994},
PAGES = {65-74},
PUBLISHER = {Technical University of Budapest},
ADDRESS = {Budapest}
}
@INPROCEEDINGS{mi05:edccfa,
AUTHOR = {I. Majzik and P. Domokos},
TITLE = {Dependability Modeling Using Aspect Weaving Techniques},
BOOKTITLE = {Proc. Fifth European Dependable Computing Conference},
YEAR = {2005},
PAGES = {77-78},
EDITOR = {M. Dal Cin and A. Pataricza},
VOLUME = {Supplementary Volume},
ANNOTE = {EDCC-05 fast abstract}
}
@INPROCEEDINGS{mi02:edccfa,
AUTHOR = {I. Majzik and A. Darvas},
TITLE = {Model Checking of Replication Management},
BOOKTITLE = {Supplement of the EDCC-4 Conference - Fast Abstracts.
Fourth European Dependable Computing Conference, Toulouse, France,
October 23-25},
YEAR = {2002},
PAGES = {7-8},
EDITOR = {F. Di Giandomenico},
PUBLISHER = {LAAS-CNRS},
ANNOTE = {Extensions for SPIN to cover dynamic reconfiguration}
}
@INPROCEEDINGS{mi:nexttta02,
AUTHOR = {I. Majzik},
TITLE = {{TCP/IP} on top of {TTP/C}},
BOOKTITLE = {Proc. NextTTA Workshop on the Integration of Event-Triggered
and Time-Triggered Services (Grenoble, France, October 4, 2002)},
YEAR = {2002},
PAGES = {55-67},
EDITOR = {H. Kopetz},
ANNOTE = {Slides on the Protocol Integration}
}
@INPROCEEDINGS{gnesi2000:uml,
AUTHOR = {S. Gnesi and D. Latella and I. Majzik and M. Massink},
TITLE = {Formal Validation of {UML} Statechart Diagrams Models},
BOOKTITLE = {UML'2000 Workshop on Dynamic Behaviour in UML Models:
Semantic Questions (The Third International Conference on The
Unified Modeling Language), October 2-3, York, UK},
YEAR = {2000},
EDITOR = {G. Reggio},
ANNOTE = {http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/INDEX.html,
(DISI, Universita di Genova, Italy)}
}
@INPROCEEDINGS{pap00:ewdc11,
AUTHOR = {Zs. Pap and I. Majzik and A. Pataricza and A. Szegi},
TITLE = {Completeness and Consistency Analysis of {UML} Statechart
Specifications},
BOOKTITLE = {11th European Workshop on Dependable Computing (EWDC-11),
Budapest, May 11-13, 2000},
YEAR = {2000},
ORGANIZATION = {Budapest University of Technology and Economics},
ANNOTE = {http://domino.inf.mit.bme.hu/EWDC-11.nsf}
}
@INPROCEEDINGS{mi00:ewdc11,
AUTHOR = {I. Majzik},
TITLE = {Dependability Modeling of {FT-CORBA} Architectures},
BOOKTITLE = {11th European Workshop on Dependable Computing (EWDC-11),
Budapest, May 11-13, 2000},
YEAR = {2000},
ORGANIZATION = {Budapest University of Technology and Economics},
ANNOTE = {http://domino.inf.mit.bme.hu/EWDC-11.nsf}
}
@INPROCEEDINGS{mi99:ewdc,
AUTHOR = {I. Majzik and J. J\'avorszky and A. Pataricza and E. Sel\'enyi},
TITLE = {Concurrent Error Detection of Program Execution Based on
Statechart Specification},
BOOKTITLE = {Proc. 10th European Workshop on Dependable Computing (EWDC-10),
May 6-7, Vienna, Austria},
YEAR = {1999},
PAGES = {181-185},
PUBLISHER = {\"Osterreichische Computer Gesellschaft},
ANNOTE = {Schriftenreihe der \"Osterreichischen Computer Gesellschaft,
ISBN 3-85403-125-4}
}
@INPROCEEDINGS{mi99:edcc,
AUTHOR = {I. Majzik and J. J\'avorszky},
TITLE = {Formal Verification of Fault Tolerance Techniques in {UML}},
BOOKTITLE = {Dependable Computing -- EDCC-3, Fast Abstracts,
September 15-17, 1999, Prague, Czech Republic},
YEAR = {1999},
PAGES = {19-20},
EDITOR = {J. Hlavicka and E. Maehle and A. Pataricza},
PUBLISHER = {Czech Technical University in Prague},
ANNOTE = {Equivalence checking of UML statechart models}
}
@INPROCEEDINGS{mi98:issre,
AUTHOR = {I. Majzik and A. Bondavalli},
TITLE = {Automatic Dependability Modeling of Systems Described in {UML}},
BOOKTITLE = {Proc. 9th International Symposium on Software Reliability
Engineering (ISSRE'98), November 4-7, 1998, Paderborn, Germany},
YEAR = {1998},
PAGES = {29-30},
EDITOR = {R. Chillarege and Th. Illgen},
ORGANIZATION = {IEEE Computer Society},
VOLUME = {II (Fast Abstracts)},
ANNOTE = {ISBN 3-00-003410-2, summary of dependability modeling}
}
@INPROCEEDINGS{mi96:emnote,
AUTHOR = {I. Majzik},
TITLE = {Watchdog Processors: Checking Process Synchronization},
BOOKTITLE = {Short Notes, 22nd EUROMICRO Conference,
September 2-5, 1996, Prague, Czech Republic},
YEAR = {1996},
PUBLISHER = {IEEE Computer Society Press, Los Alamitos, CA},
ANNOTE = {not published in the proceedings}
}
@INPROCEEDINGS{dp04:fmtu,
AUTHOR = {P. Domokos and I. Majzik and D. Varr\'o},
TITLE = {Megb\'{\i}zhat\'os\'agi modellek automatikus
gener\'al\'asa gr\'aftranszform\'aci\'oval},
BOOKTITLE = {Fiatal M\^{u}szakiak IX. Tudom\'anyos \"Ul\'esszaka,
Kolozsv\'ar, 2004. m\'arcius 26-27.},
YEAR = {2004},
PAGES = {101-104},
PUBLISHER = {Erd\'elyi M\'uzeum Egyes\"ulet},
ANNOTE = {ISBN 973-8231-33-7}
}
@INPROCEEDINGS{mi94:kando,
AUTHOR = {I. Majzik and A. Pataricza},
TITLE = {T\"obbprocesszoros rendszerek ellen\^{o}rz\'ese watchdog
processzorok felhaszn\'al\'as\'aval},
BOOKTITLE = {XIV. Tudom\'anyos \"Ul\'esszak, Kand\'o K\'alm\'an
M\^{u}szaki F\^{o}iskola},
YEAR = {1994}
}
@INPROCEEDINGS{pataricza-pinter-2003-ddecs-data-mining-in-fault-injection,
AUTHOR = {A. Pataricza and G. Pint{\'e}r},
TITLE = {{Data Mining in Fault Injection}},
BOOKTITLE = {{Proc. The $6^{th}$ IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2003)}},
PAGES = {307--308},
ADDRESS = {Poznan, Poland},
YEAR = {2003},
MONTH = {April},
ABSTRACT = {{Recent design for dependability techniques rely more and more on
model-based verification and validation, however experimental
evaluation is still needed to check the trustworthiness of the
assumptions made in the construction phase. This evaluation can be
based on fault injection experiments. Traditional methods used for
analyzing the huge set of observation results produced by fault
injection experiments tend to suppress rarely occurring events as
noise. This paper introduces a benchmark-like environment where the
main focus was given to intelligent data processing methods which
are able to reveal qualitatively different clusters of behavior in
order to identify the potential effects of faults having a low rate
of manifestation.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-pataricza-2003-dsn-a-methodology-for-benchmarking-based-abstract-fault-modeling,
AUTHOR = {G. Pint{\'e}r and A. Pataricza},
TITLE = {{A Methodology for Benchmarking-based Abstract Fault Modeling}},
BOOKTITLE = {Proc. The International Conference on Dependable Systems and Networks (DSN-2003)},
ADDRESS = {San Fransisco, USA},
YEAR = {2003},
MONTH = {June},
ABSTRACT = {{This paper presents a method and environment for
embedding the high-level manifestation of low-level (physical)
faults into the behavioral software model in the form of in abstract
reusable fault models. The main focus is on the application of
intelligent data processing methods for extracting important
phenomena from the observations in fault injection experiments.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2003-forms-automatic-code-generation-based-on-formally-analyzed-uml-statechart-models,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Automatic Code Generation based on Formally Analyzed UML Statechart Models}},
EDITOR = {G. Tarnai and E. Schnieder},
BOOKTITLE = {{Formal Methods for Railway Operation and Control Systems (Proc. FORMS-2003)}},
PAGES = {45--52},
ADDRESS = {Budapest, Hungary},
YEAR = {2003},
MONTH = {May},
ABSTRACT = {{This paper aims at providing an efficient implementation pattern
for source code level instantiation of UML statcharts. The code
generation is based on extended hierarchical automata, the formal
description method used as an intermediate representation of
statecharts for model checking purposes, this way enabling automatic
implementation of formally analyzed models. Since statecharts can
automatically be mapped to extended hierarchical automata, a code
generator based on our pattern could be used as a module that can be
inserted into any UML modeling tool equipped with model export
capabilities. This approach enables the modeler to use the usual
design environment and hides the transformation required for model
checking and code generation steps.}},
NOTE = {}
}
@ARTICLE{pinter-majzik-2003-pp-program-code-generation-based-on-uml-statechart-models,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Program Code Generation based on UML Statechart Models}},
JOURNAL = {Periodica Polytechnica},
PAGES = {187--204},
YEAR = {2003},
ABSTRACT = {{Since visual modeling languages are getting more and more popular, automatic
generation of program code on the basis of high-level models is an
important issue. This article discusses implementation possibilities
of statecharts, the graphical notation for describing state-based
event-driven behavior in the Unified Modeling Language (UML). The
first part of the article outlines common approaches published in the
literature and identifies their weaknesses. In the second part an
implementation pattern is proposed that is capable of efficiently
instantiating most of the statechart features. The pattern developed
by us poses low hardware requirements therefore applicable even in
embedded systems.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2004-cscs-abstract-model-based-checkpoint-and-recovery,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Abstract Model-based Checkpoint and Recovery}},
BOOKTITLE = {Volume of Extended Abstracts $CS^2$},
PAGES = {96--97},
ADDRESS = {Szeged, Hungary},
YEAR = {2004},
MONTH = {July},
ABSTRACT = {{The most frequent cause of service unavailability in computer systems is
related to transient hardware or software faults. A common way for
addressing these issues is based on introducing a {\em checkpoint
and recovery} schema. Checkpoint generation means the periodic
saving the process state into a stable storage. This image can be
used for restarting the process from the previously saved state
reducing this way the processing time loss to the interval between
the checkpoint creation and the failure. Although the core idea is
relatively simple, its implementation can get very complicated in
case of complex internal data structures since the representation of
an object model in the non-volatile storage and the transmission
between the memory and the storage requires significant programming
effort. This paper aims at proposing an automatic code generation
scheme that provides a transparent and platform-independent facility
for persisting object structures of arbitrary complexity in stable
storage.}},
NOTE = {}
}
@INPROCEEDINGS{majzik-pinter-kovacs-2004-ddecs-uml-based-visual-design-of-embedded-systems,
AUTHOR = {I. Majzik and G. Pint{\'e}r and P. T. Kov{\'a}cs},
TITLE = {{UML based Visual Design of Embedded Systems}},
BOOKTITLE = {Proc. The $7^{th}$ IEEE International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS-2004)},
PAGES = {115--120},
ADDRESS = {Star{\'a} Lesn{\'a}, Slovakia},
YEAR = {2004},
MONTH = {April},
ABSTRACT = {{This paper presents an approach for connecting visual UML modeling
environments and platform-specific toolkits of embedded systems.
The resulting development suite promises the unification of
advantages of the two areas: UML CASE tools with the modeling
extensions proposed in the paper offer visual design, automatic code
and documentation generation, while the plat-form-specific
environments provide means for task and communication schedul-ing
and fault-tolerant middleware construction. Our approach is
illustrated by a case study.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2004-wads-high-level-supervision-of-program-execution-based-on-formal-specification,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{High-level Supervision of Program Execution Based on Formal Specification}},
BOOKTITLE = {Proc. The International Conference on Dependable Systems and Networks (DSN-2003) Workshop on Architecting Dependable Systems (Supplemental Volume)},
PAGES = {292--296},
ADDRESS = {Florence, Italy},
YEAR = {2004},
MONTH = {June},
ABSTRACT = {{This paper presents an approach for concurrently supervising the execution
of applications specified by UML statecharts and a corresponding
instrumentation scheme. The run-time verification is implemented by a
statechart-level monitor while the instrumentation is based on
Aspect-Oriented Programming combining this way an emerging paradigm of
the software technology and a well-established dependability measure}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2004-euromicro-impact-of-statechart-implementation-techniques-on-the-effectiveness-of-fault-detection-mechanisms,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Impact of Statechart Implementation Techniques on the Effectiveness of
Fault Detection Mechanisms}},
BOOKTITLE = {Proc. EUROMICRO'04 Workshop on Component Based Software Engineering},
ADDRESS = {Rennes, France},
YEAR = {2004},
MONTH = {September},
DAY = {1--3},
ABSTRACT = {{This paper presents the analysis of an experiment series aiming at the discovery
of the impact of two inherently different statechart implementation
methods on the beha vior of the resulting executables in the presence
of faults. The discussion identifies the key features of
implementation techniques influencing the effectiveness of standard
fault detection mechanisms (memory protection, assertions etc.) and an
advanced statec hart-level watchdog scheme used for detecting the
deviations from the abstract implementation-independent behavioral
specification.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2004-fidji-modeling-and-analysis-of-exception-handling-techniques-by-using-uml-statecharts,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Modeling and Analysis of Exception Handling techniques by Using UML Statecharts}},
BOOKTITLE = {Proc. FIDJI 2004 International Workshop on Scientific Engineering of Distributed Java Applications},
PAGES = {69--78},
ADDRESS = {Luxembourg, Luxembourg},
YEAR = {2004},
MONTH = {November},
DAY = {24--25},
ABSTRACT = {{Our paper aims at proposing a framework that allows programmers to exploit
the benefits of exception handling throughout the entire development
chain of Java programs by modeling exception handling in the abstract
UML statechart model of the application, enabling the use of automatic
model checkers for checking the behavioral model for correctness even
in exceptional situations, and utilizing automatic code generators for
implementing the Java source of exception-aware statecharts}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2005-scientific-engineering-of-distributed-java-applications,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Modeling and Analysis of Exception Handling techniques by Using UML Statecharts}},
EDITOR = {Nicolas Guelfi and Gianna Reggio and Alexander Romanovsky},
BOOKTITLE = {{Scientific Engineering of Distributed Java Applications}},
PAGES = {58--67},
YEAR = {2005},
PUBLISHER = {Springer-Verlag},
ABSTRACT = {{Our paper aims at proposing a framework that allows programmers to exploit
the benefits of exception handling throughout the entire development
chain of Java programs by modeling exception handling in the abstract
UML statechart model of the application, enabling the use of automatic
model checkers for checking the behavioral model for correctness even
in exceptional situations, and utilizing automatic code generators for
implementing the Java source of exception-aware statecharts.}},
NOTE = {}
}
@INPROCEEDINGS{majzik-pinter-kovacs-2004-isorc-uml-based-visual-design-of-time-triggered-systems,
AUTHOR = {I. Majzik and G. Pint{\'e}r and P. T. Kov{\'a}cs},
TITLE = {{UML Based Design of Time Triggered Systems}},
BOOKTITLE = {Proc. The $7^{th}$ IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC-2004)},
PAGES = {60--63},
ADDRESS = {Vienna, Austria},
YEAR = {2004},
MONTH = {May},
DAY = {12--14},
ABSTRACT = {{This paper presents how the platform-specific development environment of
time-triggered (TT) systems can be integrated with a visual design
toolkit based on UML. The built-in facilities of UML and the
modeling extensions introduced by us enable the unification of the
advantages provided by both the embedded development environment and
the UML tools. UML offers visual design, automatic code and
documentation generation, while the underlying TT development
environment offers platform-specific task and communication
scheduling and fault tolerance middleware construction. This results
in an integrated system that is capable of supporting the entire
development within the framework of the UML tool.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-majzik-2005-ads-run-time-verification-of-statechart-implementations,
AUTHOR = {G. Pint{\'e}r and I. Majzik},
EDITOR = {Cristina Gacek and Alexander Romanovsky and Rogerio de Lemos},
BOOKTITLE = {{Architecting Dependable Systems}},
TITLE = {{Run-time Verification of Statechart Implementations}},
PUBLISHER = {Springer-Verlag},
PAGES = {148--172},
YEAR = {2005},
ABSTRACT = {{Our paper introduces a {\em run-time verification framework} for concurrent
monitoring of applications specified by UML statecharts. The approach
offers a conside rable degree of granularity by (i) enabling the modeler
to focus on specific key dependability criteria by defining {\em temporal
logic formulae} over a {\em behavioral model} that is available even in
early phases of the development and (ii) by supporting the verification of
the final implementation against the {\em fully elaborated UML statechart
model}. The paper presents an extension of the pro positional linear
temporal logic that fits to the advanced constructs of UML statechart s
and an advanced watchdog scheme for concurrent supervision of program
execution bas ed on the statechart specification.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-madeira-vieira-pataricza-majzik-2005-edcc-a-data-mining-approach-to-identify-key-factors-in-dependability-experiments,
EDITOR = {M. Dal Cin and M. Ka{\^a}niche and A. Pataricza},
AUTHOR = {G. Pint{\'e}r and H. Madeira and M. Vieira and
A. Pataricza and I. Majzik},
TITLE = {{A Data Mining Approach to Identify Key Factors in Dependability Experiments}},
BOOKTITLE = {Proc. Fifth European Dependable Computing Conference (EDCC-5)},
ADDRESS = {Budapest, Hungary},
YEAR = {2005},
MONTH = {April},
PAGES = {263--280},
ABSTRACT = {{Our paper presents a novel approach for identifying the key
infrastructural factors determining the behavior of systems in the
presence of faults by the application of intelligent data processing
methods on data sets obtained from dependability benchmarking
experiments. Our approach does not rely on a-priory assumptions or
human intuition about the dominant aspects enabling this way the
investigation of highly complex COTS-based systems. The proposed
approach is demonstrated using a commercial data mining tool from
IBM on the data obtained from experiments conducted using the
DBench-OLTP dependability benchmark. Results obtained with the
proposed technique identified important key factors impacting
performance and dependability that could not have been revealed by
the dependability benchmark measures.}},
NOTE = {}
}
@INPROCEEDINGS{pinter-2005-fmtu-runtime-verification-based-on-abstract-models,
AUTHOR = {G. Pint{\'e}r},
TITLE = {{Runtime Verification based on Abstract Models}},
BOOKTITLE = {Fiatal M{\"u}szakiak Tudom{\'a}nyos Ul{\'e}sszaka X},
ADDRESS = {Cluj-Napoca, Rumania},
YEAR = {2005},
MONTH = {March},
PAGES = {137--140},
ABSTRACT = {{This paper outlines some achievements of our recent research related
to run-time verification of UML statechart implementations. We
present a verification framework offering a considerable degree of
granularity by (i) enabling the specification of key dependability
requirements in the early modeling phases by proposing a temporal
logic language fitted to statecharts and (ii) by supporting the
verification of the final implementation against the fully
elaborated statechart model.}},
NOTE = {(In Hungarian)}
}
@INPROCEEDINGS{pinter-majzik-2005-hase-automatic-generation-of-executable-assertions-for-runtime-checking-temporal-requirements,
EDITOR = {M. Dal Cin and A. Bondavalli and N. Suri},
AUTHOR = {G. Pint{\'e}r and I. Majzik},
TITLE = {{Automatic Generation of Executable Assertions for Runtime Checking Temporal Requirements}},
BOOKTITLE = {Proc. The 9th IEEE International Symposium on High Assurance Systems Engineering (HASE 2005)},
ADDRESS = {Heidelberg, Germany},
YEAR = {2005},
MONTH = {October},
PAGES = {111--120},
ABSTRACT = {{Checking various temporal requirements is a key dependability concern
in safety-critical systems. As model-checking approaches do not
scale well to systems of high complexity the {\em runtime
verification} of temporal requirements has received a growing
attention recently. This paper presents a code-generation based
method for runtime evaluation of linear temporal logic formulae over
program execution traces. The processing-power requirements of our
solution are much lower than in case of previous approaches enabling
its application even in resource-restricted embedded environments.}},
NOTE = {}
}
@INPROCEEDINGS{GRATRA2000,
AUTHOR = {D. Varr{\'o} and G. Varr{\'o} and
A. Pataricza},
TITLE = {Designing the Automatic Transformation of Visual
Languages},
BOOKTITLE = {GRATRA 2000 Joint {APPLIGRAPH} and {GETGRATS}
Workshop on Graph Transformation Systems},
PAGES = {14--21},
YEAR = 2000,
EDITOR = {Hartmut Ehrig and Gabriele Taentzer},
MONTH = {March 25--27},
ADDRESS = {Berlin, Germany}
}
@INPROCEEDINGS{DDECS2000,
AUTHOR = {D. Varr{\'o} and G. Varr{\'o} and
A. Pataricza},
TITLE = {Visual Graph Transformation in System Verification},
BOOKTITLE = {DDECS 2000 International IEEE Workshop on the Design
and Diagnostics of Electronic Circuits and Systems},
PAGES = {137--141},
YEAR = 2000,
EDITOR = {Elena Gramatova and Hans Manhaeve and Adam Pawlak},
MONTH = {April 5--7},
ADDRESS = {Bratislava, Slovakia},
OPTORGANIZATION = {Institute of Informatics, Slovak Academy of
Sciences}
}
@INPROCEEDINGS{AGT2002vd,
AUTHOR = {D. Varr{\'o}},
TITLE = {Automatic Program Generation for and by Model
Transformation Systems},
BOOKTITLE = {Proc. AGT 2002: Workshop on Applied Graph
Transformation},
PAGES = {161--173},
YEAR = 2002,
EDITOR = {Kreowski, Hans-J{\"o}rg and Knirsch, Peter},
ADDRESS = {Grenoble, France},
MONTH = {April 12--13}
}
@INPROCEEDINGS{FMOODS2002,
AUTHOR = {D. Varr{\'o}},
TITLE = {Towards Formal Verification of Model
Transformations},
BOOKTITLE = {PhD Student Workshop of FMOODS 2002, Formal Methods
for Open Object-Based Distributed Systems},
OPTCROSSREF = {},
OPTKEY = {},
OPTPAGES = {},
YEAR = {2002},
EDITOR = {Trevor Jones},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Enschede, The Netherlands},
MONTH = {March 20--22},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
OPTNOTE = {},
OPTANNOTE = {}
}
@INPROCEEDINGS{UML2002,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {Metamodeling Mathematics: A Precise and Visual
Framework for Describing Semantics Domains of {UML}
Models},
BOOKTITLE = {Proc. Fifth International Conference on the Unified
Modeling Language -- The Language and its
Applications},
PAGES = {18--33},
YEAR = 2002,
EDITOR = {J{\'e}z{\'e}quel, Jean-Marc and Hussmann, Heinrich
and Cook, Stephen},
VOLUME = 2460,
SERIES = {LNCS},
ADDRESS = {Dresden, Germany},
MONTH = {September 30 -- October 4},
PUBLISHER = {Springer-Verlag}
}
@INPROCEEDINGS{ICGT2002-SC,
AUTHOR = {D. Varr{\'o}},
TITLE = {A Formal Semantics of {UML Statecharts} by Model
Transition Systems},
BOOKTITLE = {Proc. ICGT 2002: 1st International Conference on
Graph Transformation},
PAGES = {378--392},
YEAR = 2002,
EDITOR = {Corradini, Andrea and Ehrig, Hartmut and Kreowski,
Hans-J{\"o}rg and Rozenberg, Grzegorz},
VOLUME = 2505,
SERIES = {LNCS},
ADDRESS = {Barcelona, Spain},
MONTH = {October 7--12},
PUBLISHER = {Springer-Verlag}
}
@INPROCEEDINGS{GTVMT2002,
AUTHOR = {D. Varr{\'o}},
TITLE = {Towards Symbolic Analysis of Visual Modelling Languages},
BOOKTITLE = {Proc. GT-VMT 2002: International Workshop on Graph
Transformation and Visual Modelling Techniques},
PAGES = {57--70},
YEAR = 2002,
EDITOR = {Paolo Bottoni and Mark Minas},
VOLUME = {72(3)},
SERIES = {ENTCS},
ADDRESS = {Barcelona, Spain},
MONTH = {October 11-12},
ISBN = {0444514082},
PUBLISHER = {Elsevier}
}
@INPROCEEDINGS{ASE2002,
AUTHOR = {Gy. Csert{\'a}n and G. Huszerl and
I. Majzik and Zs. Pap and A.
Pataricza and D. Varr{\'o}},
TITLE = {{VIATRA}: Visual Automated Transformations for
Formal Verification and Validation of {UML} Models },
BOOKTITLE = {Proc. ASE 2002: 17th IEEE International Conference
on Automated Software Engineering},
PAGES = {267--270},
YEAR = 2002,
EDITOR = {Julian Richardson and Wolfgang Emmerich and Dave
Wile},
ADDRESS = {Edinburgh, UK},
MONTH = {September 23--27},
PUBLISHER = {IEEE Press}
}
@INPROCEEDINGS{GRABATS2002,
AUTHOR = {P. Domokos and D. Varr{\'o}},
TITLE = {An Open Visualization Framework for Metamodel-Based
Modeling Languages},
BOOKTITLE = {Proc. GraBaTs 2002, International Workshop on
Graph-Based Tools },
PAGES = {78--87},
YEAR = 2002,
EDITOR = {Tom Mens and Andy Sch{\"u}rr and Gabriele Taentzer},
VOLUME = {72(2)},
SERIES = {ENTCS},
ADDRESS = {Barcelona, Spain},
MONTH = {October 7--8},
ISBN = {0444513124},
PUBLISHER = {Elsevier}
}
@ARTICLE{SCP2002,
AUTHOR = {D. Varr{\'o} and G. Varr{\'o} and
A. Pataricza},
TITLE = {Designing the Automatic Transformation of Visual
Languages},
VOLUME = 44,
NUMBER = 2,
PUBLISHER = {Elsevier},
PAGES = {205--227},
JOURNAL = {Science of Computer Programming},
YEAR = {2002},
MONTH = {August}
}
@INPROCEEDINGS{CSCS2002vd,
AUTHOR = {D. Varr{\'o}},
TITLE = {A Pattern-Based Constraint Language for Metamodels},
BOOKTITLE = {Proc. CSCS 2002: The Third Conference of PhD Students in
Computer Science},
PAGES = 109,
YEAR = 2002,
EDITOR = {Tibor Csendes},
ADDRESS = {Szeged, Hungary},
MONTH = {July 1--4}
}
@INPROCEEDINGS{OOOK-Keret,
AUTHOR = {G. Huszerl and I. Majzik and Zs.
Pap and D. Petri and A. Pataricza
and D. Varr{\'o}},
TITLE = {Keretrendszer nagymegb{\'\i}zhat\'os\'ag\'u,
biztons\'agkritikus rendszerek fejleszt\'es\'ehez
\'es tesztel\'es\'ehez},
BOOKTITLE = {OOOK 2002: 5. Orsz\'agos Objektum-Orient\'alt
Konferencia},
OPTCROSSREF = {},
OPTKEY = {},
OPTPAGES = {},
YEAR = {2002},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Dobog\'ok{\~o}, Hungary},
MONTH = {October 16--17},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
NOTE = {In Hungarian},
OPTANNOTE = {}
}
@INPROCEEDINGS{OOOK-MT,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {{UML} modellek automatikus transzform\'aci\'oi},
BOOKTITLE = {OOOK 2002: 5. Orsz\'agos Objektum-Orient\'alt
Konferencia},
OPTCROSSREF = {},
OPTKEY = {},
OPTPAGES = {},
YEAR = {2002},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Dobog\'ok{\~o}, Hungary},
MONTH = {October 16--17},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
NOTE = {In Hungarian},
OPTANNOTE = {}
}
@INPROCEEDINGS{edcc2002_svp,
AUTHOR = {G. Salamon and D. Varr{\'o} and
A. Pataricza},
TITLE = {Formal Verification of Model Transformation Systems},
BOOKTITLE = {EDCC 2002: Fourth European Dependable Computing
Conference: Fast Abstracts},
OPTCROSSREF = {},
OPTKEY = {},
PAGES = {15--16},
YEAR = {2002},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Toulouse, France},
MONTH = {October 23--25},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
OPTNOTE = {},
OPTANNOTE = {}
}
@ARTICLE{sosym2004_mc,
AUTHOR = {D. Varr{\'o}},
TITLE = {Automated Formal Verification of Visual Modeling
Languages by Model Checking},
JOURNAL = {Journal of Software and Systems Modeling},
YEAR = 2004,
VOLUME = 3,
NUMBER = 2,
PAGES = {85--113},
MONTH = {May}
}
@ARTICLE{sosym2003_vpm,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {{VPM}: A visual, precise and multilevel metamodeling
framework for describing mathematical domains and
{UML}},
JOURNAL = {Journal of Software and Systems Modeling},
YEAR = 2003,
MONTH = {October},
VOLUME = 2,
NUMBER = 3,
PAGES = {187--210},
PUBLISHER = {Springer}
}
@ARTICLE{pp2003_as,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {{UML Action Semantics} for Model Transformation
Systems},
JOURNAL = {Periodica Polytechnica},
YEAR = 2003,
VOLUME = 47,
NUMBER = 3,
PAGES = {167--186}
}
@INPROCEEDINGS{cbse03_bhtv,
AUTHOR = {L. Baresi and R. Heckel and S.
Th{\"o}ne and D. Varr{\'o}},
TITLE = {Modeling and Analysis of Architectural Styles Based
on Graph Transformation},
BOOKTITLE = {The 6th ICSE Workshop on Component Based Software
Engineering: Automated Reasoning and Prediction},
PAGES = {67--72},
YEAR = 2003,
EDITOR = {I. Crnkovic and H. Schmidt and J. Stafford and
K. Wallnau},
ADDRESS = {Portland, Oregon, USA},
MONTH = {May 3-4},
PUBLISHER = {Carnegie Mellon University, USA, and Monash
University, Australia}
}
@INPROCEEDINGS{DDECS2003_tvp,
AUTHOR = {A. T{\'o}th and D. Varr{\'o} and
A. Pataricza},
TITLE = {Model-Level Automatic Test Generation for {UML
Statecharts}},
BOOKTITLE = {Proc. 6th IEEE Workshop on Design and Diagnostics of
Electronic Circuits and Systems (DDECS 2003)},
PAGES = {293--294},
YEAR = 2003,
EDITOR = {Jerzy Tyszer and Piestrak, Stanislaw J. and
Tiexeira, Joao Paulo},
ADDRESS = {Poznan, Poland},
MONTH = {April 14--16}
}
@ARTICLE{FundInf2003_ghv,
AUTHOR = {Sz. Gyapay and R. Heckel and D.
Varr{\'o}},
TITLE = {Graph Transformation with Time},
JOURNAL = {Fundamenta Informaticae},
YEAR = 2003,
VOLUME = 58,
NUMBER = 1,
PAGES = {1--22},
MONTH = {November}
}
@INPROCEEDINGS{esec03_bhtv,
AUTHOR = {L. Baresi and R. Heckel and S.
Th{\"o}ne and D. Varr{\'o}},
TITLE = {Modeling and Analysis of Architectural Styles},
BOOKTITLE = {Proc ESEC 2003: 9th European Software Engineering
Conference},
EDITOR = {P. Inverardi and J. Paakki},
PAGES = {68--77},
YEAR = 2003,
ADDRESS = {Helsinki, Finland},
MONTH = {September},
PUBLISHER = {ACM Press}
}
@INPROCEEDINGS{fmtu_viatra,
AUTHOR = {D. Varr\'o and P. Domokos},
TITLE = {A {VIATRA} modelltranszform\'aci\'os rendszer},
BOOKTITLE = {FMT\"U 2003: Fiatal Magyarok Tudom\'anyos \"Ul\'esszaka},
PAGES = {51--54},
YEAR = 2003,
EDITOR = {E. Bitay},
ADDRESS = {Kolozsv\'ar, Romania},
MONTH = {March 21-22},
PUBLISHER = {Erd\'elyi M\'uzeum Egyes\"ulet},
NOTE = {In Hungarian}
}
@INPROCEEDINGS{fmtu_svg,
AUTHOR = {P. Domokos and D. Varr\'o},
TITLE = {Ny{\'\i}lt {SVG} alap\'u keretrendszer},
BOOKTITLE = {FMT\"U 2003: Fiatal Magyarok Tudom\'anyos \"Ul\'esszaka},
PAGES = {47--50},
YEAR = 2003,
EDITOR = {E. Bitay},
ADDRESS = {Kolozsv\'ar, Romania},
MONTH = {March 21-22},
PUBLISHER = {Erd\'elyi M\'uzeum Egyes\"ulet},
NOTE = {In Hungarian}
}
@INPROCEEDINGS{csduml2003,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {Automated Formal Verification of Model
Transformations},
BOOKTITLE = {CSDUML 2003: Critical Systems Development in UML;
Proceedings of the UML'03 Workshop},
PAGES = {63--78},
YEAR = 2003,
EDITOR = {Jan J\"urjens and Bernhard Rumpe and Robert France
and Eduardo B. Fernandez},
NUMBER = {TUM-I0323},
SERIES = {Technical Report},
MONTH = {September},
PUBLISHER = {Technische Universit\"at M\"unchen}
}
@INPROCEEDINGS{uml2003_tool,
AUTHOR = {A. Schmidt and D. Varr{\'o}},
TITLE = {{CheckVML}: A Tool for Model Checking Visual
Modeling Languages},
BOOKTITLE = {Proc. UML 2003: 6th International Conference on the
Unified Modeling Language},
PAGES = {92--95},
YEAR = 2003,
EDITOR = {Perdita Stevens and Jon Whittle and Grady Booch},
VOLUME = 2863,
SERIES = {LNCS},
ADDRESS = {San Francisco, CA, USA},
MONTH = {October 20-24},
PUBLISHER = {Springer}
}
@INCOLLECTION{IBMBook,
AUTHOR = {D. Varr{\'o}},
EDITOR = {C. Garcia and A. Pataricza},
BOOKTITLE = {{E-Business} for {SMEs}},
TITLE = {{UML} Modeling of Web Applications},
PUBLISHER = {Prentice Hall},
YEAR = {2004},
OPTKEY = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
OPTTYPE = {},
OPTADDRESS = {},
OPTEDITION = {},
OPTMONTH = {},
OPTPAGES = {},
NOTE = {Reviewed by the publisher and the editors},
OPTANNOTE = {}
}
@INPROCEEDINGS{gtvmt04_gsv,
AUTHOR = {Sz. Gyapay and A. Schmidt and D.
Varr{\'o}},
TITLE = {Joint Optimization and Reachability Analysis in Graph
Transformation Systems with Time},
BOOKTITLE = {Proc. GT-VMT 2004, International Workshop on Graph
Transformation and Visual Modelling Techniques},
VOLUME = 109,
PAGES = {137-147},
YEAR = 2004,
SERIES = {ENTCS},
PUBLISHER = {Elsevier}
}
@INPROCEEDINGS{gtvmt04_vv,
AUTHOR = {G. Varr{\'o} and D. Varr{\'o}},
TITLE = {Graph Transformation with Incremental Updates},
BOOKTITLE = {Proc. GT-VMT 2004, International Workshop on Graph
Transformation and Visual Modelling Techniques},
VOLUME = 109,
YEAR = 2004,
PAGES = {71-83},
SERIES = {ENTCS},
PUBLISHER = {Elsevier}
}
@INPROCEEDINGS{wicse2004_bhtv,
AUTHOR = {L. Baresi and R. Heckel and S.
Th{\"o}ne and D. Varr{\'o}},
TITLE = {Style-Based Refinement of Dynamic Software
Architectures},
BOOKTITLE = {Proc. WICSA 2004: 4th Working International
IEEE/IFIP Conference on Software Architecture},
PAGES = {155-164},
YEAR = 2004,
ADDRESS = {Oslo, Norway},
PUBLISHER = {IEEE Computer Society}
}
@INPROCEEDINGS{uml2004_meta,
AUTHOR = {D. Varr{\'o} and A. Pataricza},
TITLE = {Generic and Meta-Transformations for Model Transformation
Engineering},
BOOKTITLE = {Proc. UML 2004: 7th International Conference on the Unified
Modeling Language },
PAGES = {290--304},
SERIES = {LNCS},
ADDRESS = {Lisbon, Portugal},
MONTH = {October 10--15},
PUBLISHER = {Springer},
YEAR = 2004,
EDITOR = {T. Baar and A. Strohmeier and A. Moreira and S. Mellor},
VOLUME = 3273
}
@INPROCEEDINGS{icgt2004_rsv,
AUTHOR = {A. Rensink and A. Schmidt and D.
Varr{\'o}},
TITLE = {Model Checking Graph Transformations: A Comparison
of Two Approaches},
BOOKTITLE = {Proc. ICGT 2004: Second International Conference on
Graph Transformation},
PAGES = {226--241},
YEAR = 2004,
VOLUME = 3256,
SERIES = {LNCS},
ADDRESS = {Rome, Italy},
PUBLISHER = {Springer}
}
@INPROCEEDINGS{GI2004,
AUTHOR = {Zs. Pap and D. Varr{\'o}},
TITLE = {Static Safety Analysis of UML Action Semantics for Critical
Systems Development},
BOOKTITLE = {GI Jahrestagung (1)},
EDITOR = {Peter Dadam and Manfred Reichert},
YEAR = 2004,
MONTH = {September},
PAGES = {57-61},
SERIES = {LNI},
VOLUME = 50,
PUBLISHER = {GI}
}
@INPROCEEDINGS{grabats2004_vfv,
AUTHOR = {G. Varr{\'o} and K. Friedl and D.
Varr{\'o}},
TITLE = {Graph Transformations in Relational Databases},
BOOKTITLE = {Proc. GraBaTs 2004: International Workshop on Graph
Based Tools},
OPTCROSSREF = {},
OPTKEY = {},
OPTPAGES = {},
YEAR = {2004},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
SERIES = {ENTCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
PUBLISHER = {Elsevier},
NOTE = {In press},
OPTANNOTE = {}
}
@ARTICLE{sosym2005_bhtv,
AUTHOR = {L. Baresi and R. Heckel and S. Th{\"o}ne and
D. Varr{\'o}},
TITLE = {Style-Based Modeling and Refinement of Service-Oriented
Architectures},
JOURNAL = {Journal of Software and Systems Modelling},
YEAR = {2005},
OPTKEY = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTPAGES = {},
OPTMONTH = {},
NOTE = {In press},
OPTANNOTE = {}
}
@INBOOK{mdegt2005_ggzvvv,
AUTHOR = {L. Grunske and L. Geiger and A. Z{\"u}ndorf and N. Van
Eetvelde and P. Van Gorp and D.
Varr{\'o}},
TITLE = {Model Driven Software Engineering},
CHAPTER = {Using Graph Transformation for Practical Model Driven
Software Engineering},
PUBLISHER = {Springer},
YEAR = 2005,
PAGES = {91--118}
}
@INBOOK{fmic2005_pv,
AUTHOR = {A. Pataricza and D. Varr{\'o}},
TITLE = {Formal Methods in Computing},
CHAPTER = {Metamodeling and Model Transformations},
PUBLISHER = {Akad{\'e}miai Kiad{\'o}},
YEAR = 2005,
PAGES = {357--425}
}
@ARTICLE{sosym2005_opt,
AUTHOR = {Sz. Varr{\'o}-Gyapay and D. Varr{\'o}},
TITLE = {Simultaneous Optimization and Reachability Analysis of
Schedulability Problems in Graph Transformation Systems with
Time},
JOURNAL = {Journal of Software and Systems Modelling},
YEAR = {2005},
OPTKEY = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTPAGES = {},
OPTMONTH = {},
NOTE = {Submitted paper},
OPTANNOTE = {}
}
@ARTICLE{sosym2005_db,
AUTHOR = {G. Varr\'{o} and K. Friedl and D.
Varr\'{o}},
TITLE = {Graph Transformation in Relational Databases},
JOURNAL = {Journal of Software and Systems Modelling},
YEAR = {2006},
OPTKEY = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTPAGES = {},
OPTMONTH = {},
NOTE = {In press},
OPTANNOTE = {}
}
@INPROCEEDINGS{isas05_bvp,
AUTHOR = {A. Balogh and G. Varr{\'o} and D.
Varr{\'o} and A. Pataricza},
TITLE = {Model-Based Optimization of Enterprise Application and
Service Deployment},
BOOKTITLE = {Second International Service Availability Symposium, ISAS
2005, Berlin, Germany, April 25-26},
PAGES = {84--98},
YEAR = {2005},
EDITOR = {Malek, Miroslaw and Nett, Edgar and Suri, Neeraj},
VOLUME = {3694},
SERIES = {LNCS},
PUBLISHER = {Springer}
}
@INPROCEEDINGS{gramot2005_adapt,
AUTHOR = {G. Varr{\'o} and D. Varr{\'o} and K.
Friedl},
TITLE = {Adaptive Graph Pattern Matching for Model Transformations
using Model-sensitive Search Plans},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {GraMot 2005, International Workshop on Graph and Model
Transformations},
OPTPAGES = {},
YEAR = {2005},
EDITOR = {G. Karsai and G. Taentzer},
OPTVOLUME = {},
OPTNUMBER = {},
SERIES = {ENTCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
NOTE = {In press},
OPTANNOTE = {}
}
@INPROCEEDINGS{gramot2005_tax,
AUTHOR = {T. Mens and P. van Gorp and G. Karsai and
D. Varr{\'o}},
TITLE = {Applying a Model Transformation Taxonomy to Graph
Transformation Technology},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {GraMot 2005, International Workshop on Graph and Model
Transformations},
OPTPAGES = {},
YEAR = {2005},
EDITOR = {G. Karsai and G. Taentzer},
OPTVOLUME = {},
OPTNUMBER = {},
SERIES = {ENTCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
NOTE = {In press},
OPTANNOTE = {}
}
@INPROCEEDINGS{vlhcc05_vsv,
AUTHOR = {G. Varr{\'o} and A. Sch{\"u}rr and D.
Varr{\'o}},
TITLE = {Benchmarking for Graph Transformation},
BOOKTITLE = {Proc. IEEE Symposium on Visual Languages and Human-Centric
Computing (VL/HCC 05)},
PAGES = {79--88},
YEAR = 2005,
ADDRESS = {Dallas, Texas, USA},
MONTH = {September},
PUBLISHER = {IEEE Press}
}
@INPROCEEDINGS{icgt2006,
AUTHOR = {D. Varr{\'o} and Sz. Varr{\'o}-Gyapay and
H. Ehrig and U. Prange and G. Taentzer},
TITLE = {Termination Analysis of Model Transformations by {Petri}
Nets},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {Proc. Third International Conference on Graph Transformation
(ICGT 2006)},
OPTPAGES = {},
YEAR = {2006},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
SERIES = {LNCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
PUBLISHER = {Springer},
NOTE = {In press},
OPTANNOTE = {}
}
@PROCEEDINGS{gtvmt2006,
TITLE = {Fifth International Workshop on Graph Transformation and
Visual Modelling Techniques},
YEAR = {2006},
OPTKEY = {},
OPTBOOKTITLE = {},
OPTEDITOR = {},
EDITOR = {R. Bruni and D. Varr{\'o}},
OPTNUMBER = {},
SERIES = {ENTCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
PUBLISHER = {Elsevier},
OPTNOTE = {},
OPTANNOTE = {}
}
@INPROCEEDINGS{isas2006_kvn,
AUTHOR = {A. K\"ovi and D. Varr{\'o} and Z.
N\'emeth},
TITLE = {Making Legacy Services Highly-Available with {OpenAIS}: An
Experience Report},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {Third International Service Availability Symposium (ISAS
2006)},
OPTPAGES = {},
YEAR = {2006},
EDITOR = {Francis Tam and Kimmo Raatikainen},
OPTVOLUME = {},
OPTNUMBER = {},
SERIES = {LNCS},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
PUBLISHER = {Springer},
NOTE = {In press},
OPTANNOTE = {}
}
@INPROCEEDINGS{gtvmt06_dpv,
AUTHOR = {A. Darabos and A. Pataricza and D.
Varr{\'o} },
TITLE = {Towards Testing the Implementation of Graph Transformations},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {Proc. of the Fifth International Workshop on Graph
Transformation and Visual Modelling Techniques},
SERIES = {ENTCS},
PUBLISHER = {Elsevier},
YEAR = 2006,
OPTPAGES = {},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTADDRESS = {},
OPTMONTH = {},
OPTORGANIZATION = {},
OPTNOTE = {},
OPTANNOTE = {}
}
@INPROCEEDINGS{dspd2006,
AUTHOR = {I. R\'ath and D. Varr{\'o}},
TITLE = {Challenges for Advanced Domain-Specific Modeling Frameworks},
OPTCROSSREF = {},
OPTKEY = {},
BOOKTITLE = {International Workshop on Domain Specific Program
Development (DSPD 2006)},
OPTPAGES = {},
YEAR = {2006},
OPTEDITOR = {},
OPTVOLUME = {},
OPTNUMBER = {},
OPTSERIES = {},
ADDRESS = {Nantes, France},
MONTH = {July},
OPTORGANIZATION = {},
OPTPUBLISHER = {},
NOTE = {In press},
OPTANNOTE = {}
}