Search the dblp DataBase

Publications of Author

1. László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha
   Dependability Evaluation of Web Service-Based Processes. [Citation Graph (0, 0)][DBLP]
   EPEW, 2006, pp:166-180 [Conf]
   
2. 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. [Citation Graph (0, 0)][DBLP]
   SAFECOMP, 2006, pp:372-385 [Conf]
   
3. László Gönczy, Reiko Heckel, Dániel Varró
   Model-Based Testing of Service Infrastructure Components. [Citation Graph (0, 0)][DBLP]
   TestCom/FATES, 2007, pp:155-170 [Conf]
   
4. Simon Gyula, Miklós Molnár, László Gönczy, Bernard Cousin
   Dependable k-coverage algorithms for sensor networks [Citation Graph (0, 0)][DBLP]
   CoRR, 2007, v:0, n:, pp:- [Journal]
   
5. László Gönczy, Máté Kovács, Dániel Varró
   Modeling and Verification of Reliable Messaging by Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:175, n:4, pp:37-50 [Journal]
   
6. 
   SensoriaPatterns: Augmenting Service Engineering with Formal Analysis, Transformation and Dynamicity. [Citation Graph (, )][DBLP]
   
   
7. 
   Model Transformations for Performability Analysis of Service Configurations. [Citation Graph (, )][DBLP]
   
   
8. 
   Formal modeling of BPEL workflows including fault and compensation handling. [Citation Graph (, )][DBLP]
   
   
9. 
   Simulation and Formal Analysis of Workflow Models. [Citation Graph (, )][DBLP]
   
   
10. 
    Tool Support for Engineering Certifiable Software. [Citation Graph (, )][DBLP]