2008 |
9 | EE | Martin Wirsing,
Matthias M. Hölzl,
Lucia Acciai,
Federico Banti,
Allan Clark,
Alessandro Fantechi,
Stephen Gilmore,
Stefania Gnesi,
László Gönczy,
Nora Koch,
Alessandro Lapadula,
Philip Mayer,
Franco Mazzanti,
Rosario Pugliese,
Andreas Schroeder,
Francesco Tiezzi,
Mirco Tribastone,
Dániel Varró:
SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity.
ISoLA 2008: 170-190 |
8 | EE | László Gönczy,
Zsolt Déri,
Dániel Varró:
Model Transformations for Performability Analysis of Service Configurations.
MoDELS Workshops 2008: 153-166 |
7 | EE | Máté Kovács,
László Gönczy:
Simulation and Formal Analysis of Workflow Models.
Electr. Notes Theor. Comput. Sci. 211: 221-230 (2008) |
2007 |
6 | EE | Máté Kovács,
Dániel Varró,
László Gönczy:
Formal modeling of BPEL workflows including fault and compensation handling.
EFTS 2007: 1 |
5 | EE | László Gönczy,
Reiko Heckel,
Dániel Varró:
Model-Based Testing of Service Infrastructure Components.
TestCom/FATES 2007: 155-170 |
4 | EE | Simon Gyula,
Miklós Molnár,
László Gönczy,
Bernard Cousin:
Dependable k-coverage algorithms for sensor networks
CoRR abs/0710.3918: (2007) |
3 | EE | László Gönczy,
Máté Kovács,
Dániel Varró:
Modeling and Verification of Reliable Messaging by Graph Transformation Systems.
Electr. Notes Theor. Comput. Sci. 175(4): 37-50 (2007) |
2006 |
2 | EE | László Gönczy,
Silvano Chiaradonna,
Felicita Di Giandomenico,
András Pataricza,
Andrea Bondavalli,
Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes.
EPEW 2006: 166-180 |
1 | EE | Erwin Schoitsch,
Egbert Althammer,
Henrik Eriksson,
Jonny Vinter,
László Gönczy,
András Pataricza,
György Csertán:
Validation and Certification of Safety-Critical Embedded Systems - The DECOS Test Bench.
SAFECOMP 2006: 372-385 |