1.
M, Kovács ; P, Lollini ; I, Majzik ; A, Bondavalli
An Integrated Framework for the Dependability Evaluation of Distributed Mobile Applications
In: ACM (szerk.) Proceedings of the 2008 RISE/EFTS Joint International Workshop on Software Engineering for Resilient Systems
New York, Amerikai Egyesült Államok : Association for Computing Machinery (ACM) (2008) pp. 29-38. , 10 p.
DOI Scopus Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:2630599 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 6 | Független: 1 | Függő: 5 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 6 | WoS/Scopus jelölt: 6 | DOI jelölt: 6
Konferenciaközlemény (Könyvrészlet) | Tudományos[2630599] [Admin láttamozott]
Nyilvános idéző összesen: 6, Független: 1, Függő: 5, Nem jelölt: 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
Közlemény:1635351 Nyilvános Forrás Idéző Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 3 | Függő: 2 | Nem jelölt: 0 | WoS jelölt: 4 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 3
Szakcikk (Folyóiratcikk) | Tudományos[1635351] [Nyilvános]
Nyilvános idéző összesen: 5, Független: 3, Függő: 2, Nem jelölt: 0
3.
Máté, Kovács
Modeling bpel workflows with fault handling
In: [s n] (szerk.) Proceedings of the 14th PhD mini-symposium, Budapest University of Technology and Economics, Department of Measurement and Information Systems
Budapest, Magyarország : BUTE, (2007) pp. 114-115. , 2 p.
Teljes dokumentum
Közlemény:2605981 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény )
Konferenciaközlemény (Könyvrészlet) | Tudományos[2605981] [Admin láttamozott]
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 (szerk.) Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems, EFTS 2007
New York, Amerikai Egyesült Államok : ACM Press (2007) pp. 2-7. , 6 p.
DOI Scopus Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:1635323 Admin láttamozott Forrás Idéző Könyvrészlet (Konferenciaközlemény ) Tudományos
Nyilvános idéző összesen: 1 | Független: 1 | Függő: 0 | Nem jelölt: 0 | Scopus jelölt: 1 | WoS/Scopus jelölt: 1 | DOI jelölt: 1
Konferenciaközlemény (Könyvrészlet) | Tudományos[1635323] [Admin láttamozott]
Nyilvános idéző összesen: 1, Független: 1, Függő: 0, Nem jelölt: 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 Teljes dokumentum Handle Google scholar Google scholar hash
Közlemény:1635304 Admin láttamozott Forrás Folyóiratcikk (Szakcikk ) Tudományos
Nyilvános idéző összesen: 5 | Független: 5 | Függő: 0 | Nem jelölt: 0 | WoS jelölt: 3 | Scopus jelölt: 5 | WoS/Scopus jelölt: 5 | DOI jelölt: 4
Szakcikk (Folyóiratcikk) | Tudományos[1635304] [Admin láttamozott]
Nyilvános idéző összesen: 5, Független: 5, Függő: 0, Nem jelölt: 0
6.
Kovács, Máté
Munkafolyamatok szimulációja és formális analízise
In: Bitay, Enikő (szerk.) XI. FMTÜ Nemzetközi Tudományos Konferencia
Kolozsvár, Románia : Erdélyi Múzeum Egyesület (EME), (2006) pp. 197-200. , 4 p.
DOI
Közlemény:2605980 Admin láttamozott Forrás Könyvrészlet (Konferenciaközlemény )
Konferenciaközlemény (Könyvrészlet) | Tudományos[2605980] [Admin láttamozott]
7.
Máté, Kovács
Simulation and formal analysis of workflow models using model transformations
In: Csendes, T; Szabó, P G; Sebő, M; Bánhelyi, B; Jász, J; Nagyné Hecskó, G (szerk.) Conference of PhD Students in Computer Science, CS2 : June 27–30, 2006. Szeged, Hungary
Szeged, Magyarország : University of Szeged, Institute of Informatics (2006) 111 p. p. 65
Google scholar Google scholar hash
Közlemény:2605978 Admin láttamozott Forrás Egyéb konferenciaközlemény (Absztrakt / Kivonat ) Tudományos
Absztrakt / Kivonat (Egyéb konferenciaközlemény) | Tudományos[2605978] [Admin láttamozott]
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 (2006) pp. 215-224. , 10 p.
DOI
Közlemény:2605976 Admin láttamozott Forrás Egyéb konferenciaközlemény (Konferenciaközlemény ) Tudományos
Konferenciaközlemény (Egyéb konferenciaközlemény) | Tudományos[2605976] [Admin láttamozott]
2023-12-03 20:54