1.
M, Kovács ; P, Lollini ; I, Majzik ; A, Bondavalli
An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications
In: ACM (eds.) Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
New York City, United States of America : ACM (2008) pp. 29-38. , 10 p.
DOI Scopus Handle Google scholar Google scholar hash
Publication:2630599 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 6 | Independent citation: 1 | Self citation: 5 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 6 | WoS/Scopus assigned: 6 | Number of citations with DOI: 6
Conference paper (Chapter in Book) | Scientific[2630599] [Admin approved]
All citations+mentions: 6, External citations: 1, Self citations: 5, Unhandled citations: 0
2.
Kovacs, M ; Varro, D ; Gonczy, L
Formal analysis of BPEL workflows with compensation by model checking
COMPUTER SYSTEMS SCIENCE AND ENGINEERING 23 : 5 pp. 349-363. , 15 p. (2008)
WoS Scopus Teljes dokumentum Teljes dokumentum Google scholar Google scholar hash
Publication:1635351 Published Core Citing Journal Article (Article ) Scientific
Citing papers: 5 | Independent citation: 3 | Self citation: 2 | Unknown citation: 0 | Number of citations in WoS: 4 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 3
Article (Journal Article) | Scientific[1635351] [Approved]
All citations+mentions: 5, External citations: 3, Self citations: 2, Unhandled citations: 0
3.
Máté, Kovács
Modeling bpel workflows with fault handling
In: [s n] (eds.) Proceedings of the 14th PhD mini-symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems
Budapest, Hungary : BUTE, (2007) pp. 114-115. , 2 p.
Teljes dokumentum
Publication:2605981 Admin approved Core Chapter in Book (Conference paper )
Conference paper (Chapter in Book) | Scientific[2605981] [Admin approved]
4.
Kovács, Máté ; Varró, Dániel ; Gönczy, László
Formal Modeling of BPEL Workflows Including Fault and Compensation Handling
In: Nicolas, Guelfi; Henry, Muccini; Patrizio, Pelliccione; Alexander, Romanovsky (eds.) Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007
New York City, United States of America : ACM Press (2007) pp. 2-7. , 6 p.
DOI Scopus Handle Google scholar Google scholar hash
Publication:1635323 Admin approved Core Citing Chapter in Book (Conference paper ) Scientific
Citing papers: 1 | Independent citation: 1 | Self citation: 0 | Unknown citation: 0 | Number of citations in Scopus: 1 | WoS/Scopus assigned: 1 | Number of citations with DOI: 1
Conference paper (Chapter in Book) | Scientific[1635323] [Admin approved]
All citations+mentions: 1, External citations: 1, Self citations: 0, Unhandled citations: 0
5.
L, Gönczy ; M, Kovács ; D, Varró
Modeling and Verification of Reliable Messaging by Graph Transformation Systems
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE 175 : 4 pp. 37-50. , 14 p. (2007)
DOI Scopus Handle Google scholar Google scholar hash
Publication:1635304 Admin approved Core Journal Article (Article ) Scientific
Citing papers: 5 | Independent citation: 5 | Self citation: 0 | Unknown citation: 0 | Number of citations in WoS: 3 | Number of citations in Scopus: 5 | WoS/Scopus assigned: 5 | Number of citations with DOI: 4
Article (Journal Article) | Scientific[1635304] [Admin approved]
All citations+mentions: 5, External citations: 5, Self citations: 0, Unhandled citations: 0
6.
Kovács, Máté
Munkafolyamatok szimulációja és formális analízise
In: Bitay, Enikő (eds.) XI. FMTÜ Nemzetközi Tudományos Konferencia
Cluj-Napoca, Romania : Societatea Muzeului Ardelean, (2006) pp. 197-200. , 4 p.
DOI
Publication:2605980 Admin approved Core Chapter in Book (Conference paper )
Conference paper (Chapter in Book) | Scientific[2605980] [Admin approved]
7.
Máté, Kovács
Simulation and formal analysis of workflow models using model transformations
In: Szegedi Tudományegyetem Informatikai Intézet - Szegedi Tudományegyetem Informatikai Intézet (eds.) Conference of PhD Students in Computer Science, CS2 : June 27–30, 2006. Szeged, Hungary
Szeged, Hungary : Szegedi Tudományegyetem, Informatikai Intézet (2006) 111 p. p. 65
Google scholar Google scholar hash
Publication:2605978 Admin approved Core Conference paper (Abstract ) Scientific
Abstract (Conference paper) | Scientific[2605978] [Admin approved]
8.
Máté, Kovács ; László, Gönczy
Simulation and formal analysis of workflow models
In: Fifth International Workshop on Graph Transformation and Visual Modeling Techniques
Elsevier B.V. (2006) pp. 215-224. , 10 p.
DOI
Publication:2605976 Admin approved Core Conference paper (Conference paper ) Scientific
Conference paper (Conference paper) | Scientific[2605976] [Admin approved]
2024-07-27 01:29