Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: László Gönczy
@inproceedings{DBLP:conf/icbc2/AugustoBKGVC23,
author = {Andr{\'{e}} Augusto and
Rafael Belchior and
Imre Kocsis and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andr{\'{e}} Vasconcelos and
Miguel Correia},
title = {{CBDC} Bridging between Hyperledger Fabric and Permissioned EVM-based
Blockchains},
booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency,
{ICBC} 2023, Dubai, United Arab Emirates, May 1-5, 2023},
pages = {1--9},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICBC56567.2023.10174953},
doi = {10.1109/ICBC56567.2023.10174953},
timestamp = {Mon, 24 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbc2/AugustoBKGVC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ladc/FoldvariBKGP21,
author = {Andr{\'{a}}s F{\"{o}}ldv{\'{a}}ri and
Gergely Bicz{\'{o}}k and
Imre Kocsis and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andr{\'{a}}s Pataricza},
title = {Impact Assessment of {IT} Security Breaches in Cyber-Physical Systems:
Short paper},
booktitle = {10th Latin-American Symposium on Dependable Computing, {LADC} 2021,
Florian{\'{o}}polis, Brazil, November 22-26, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/LADC53747.2021.9672582},
doi = {10.1109/LADC53747.2021.9672582},
timestamp = {Tue, 25 Jan 2022 09:48:28 +0100},
biburl = {https://dblp.org/rec/conf/ladc/FoldvariBKGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/HajduIKKGLMP20,
author = {{\'{A}}kos Hajdu and
Naghmeh Ramezani Ivaki and
Imre Kocsis and
Attila Klenik and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nuno Laranjeiro and
Henrique Madeira and
Andr{\'{a}}s Pataricza},
title = {Using Fault Injection to Assess Blockchain Systems in Presence of
Faulty Smart Contracts},
journal = {{IEEE} Access},
volume = {8},
pages = {190760--190783},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3032239},
doi = {10.1109/ACCESS.2020.3032239},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/HajduIKKGLMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-11597,
author = {{\'{A}}kos Hajdu and
Naghmeh Ramezani Ivaki and
Imre Kocsis and
Attila Klenik and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nuno Laranjeiro and
Henrique Madeira and
Andr{\'{a}}s Pataricza},
title = {Using Fault Injection to Assess Blockchain Systems in Presence of
Faulty Smart Contracts},
journal = {CoRR},
volume = {abs/2006.11597},
year = {2020},
url = {https://arxiv.org/abs/2006.11597},
eprinttype = {arXiv},
eprint = {2006.11597},
timestamp = {Mon, 28 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-11597.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hu/Laszlo19,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
title = {Modeling for the Dependability of Complex Services},
school = {Budapest University of Technology and Economics, Hungary},
year = {2019},
url = {https://doktori.hu/index.php?menuid=193\&\#38;lang=HU\&\#38;vid=19971},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hu/Laszlo19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcc/SalankiKGK17,
author = {{\'{A}}gnes Sal{\'{a}}nki and
Gergo Kincses and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Imre Kocsis},
title = {Data analysis-based capacity planning of {VCL} clouds},
journal = {Int. J. Cloud Comput.},
volume = {6},
number = {4},
pages = {370--383},
year = {2017},
url = {https://doi.org/10.1504/IJCC.2017.10011290},
doi = {10.1504/IJCC.2017.10011290},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcc/SalankiKGK17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dsn/BrancatiPSHGBE15,
author = {Francesco Brancati and
Andr{\'{a}}s Pataricza and
Nuno Silva and
{\'{A}}bel Heged{\"{u}}s and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andrea Bondavalli and
Rosaria Esposito},
title = {Cost Prediction for V{\&}V and Certification Processes},
booktitle = {{IEEE} International Conference on Dependable Systems and Networks
Workshops, {DSN} Workshops 2015, Rio de Janeiro, Brazil, June 22-25,
2015},
pages = {57--62},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/DSN-W.2015.15},
doi = {10.1109/DSN-W.2015.15},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dsn/BrancatiPSHGBE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/Varro-GyapayMKT15,
author = {Szilvia Varr{\'{o}}{-}Gyapay and
D{\'{a}}niel L{\'{a}}szl{\'{o}} Magyar and
Melinda Kocsis{-}Magyar and
Katalin Tasi and
Attila Hoangthanh Dinh and
{\'{A}}gota Bausz and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Floor Koornneef and
Coen van Gulijk},
title = {Optimization of Reconfiguration Mechanisms in Critical Infrastructures},
booktitle = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
September 22, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9338},
pages = {324--334},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24249-1\_28},
doi = {10.1007/978-3-319-24249-1\_28},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/Varro-GyapayMKT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/GhaniKSCGUC14,
author = {Hamza Ghani and
Abdelmajid Khelil and
Neeraj Suri and
Gy{\"{o}}rgy Csert{\'{a}}n and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
G{\'{a}}bor Urbanics and
James Clarke},
title = {Assessing the security of internet-connected critical infrastructures},
journal = {Secur. Commun. Networks},
volume = {7},
number = {12},
pages = {2713--2725},
year = {2014},
url = {https://doi.org/10.1002/sec.399},
doi = {10.1002/SEC.399},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scn/GhaniKSCGUC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/UrbanicsGUHK14,
author = {G{\'{a}}bor Urbanics and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Bal{\'{a}}zs Urb{\'{a}}n and
J{\'{a}}nos Hartwig and
Imre Kocsis},
editor = {Istv{\'{a}}n Majzik and
Marco Vieira},
title = {Combined Error Propagation Analysis and Runtime Event Detection in
Process-Driven Systems},
booktitle = {Software Engineering for Resilient Systems - 6th International Workshop,
{SERENE} 2014, Budapest, Hungary, October 15-16, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8785},
pages = {169--183},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12241-0\_13},
doi = {10.1007/978-3-319-12241-0\_13},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/serene/UrbanicsGUHK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijahuc/MolnarSG13,
author = {Mikl{\'{o}}s Moln{\'{a}}r and
Gyula Simon and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
title = {Quasi-optimal scheduling algorithm for area coverage in multi-functional
sensor networks},
journal = {Int. J. Ad Hoc Ubiquitous Comput.},
volume = {14},
number = {2},
pages = {109--122},
year = {2013},
url = {https://doi.org/10.1504/IJAHUC.2013.056418},
doi = {10.1504/IJAHUC.2013.056418},
timestamp = {Sun, 15 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijahuc/MolnarSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/serene/PatariczaKSG13,
author = {Andr{\'{a}}s Pataricza and
Imre Kocsis and
{\'{A}}gnes Sal{\'{a}}nki and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Anatoliy Gorbenko and
Alexander B. Romanovsky and
Vyacheslav S. Kharchenko},
title = {Empirical Assessment of Resilience},
booktitle = {Software Engineering for Resilient Systems, 5th International Workshop,
{SERENE} 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8166},
pages = {1--16},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40894-6\_1},
doi = {10.1007/978-3-642-40894-6\_1},
timestamp = {Mon, 05 Feb 2024 20:33:35 +0100},
biburl = {https://dblp.org/rec/conf/serene/PatariczaKSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/VerssimoGCUGKS12,
author = {Paulo Esteves Verssimo and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Gy{\"{o}}rgy Csert{\'{a}}n and
G{\'{a}}bor Urbanics and
Hamza Ghani and
Abdelmajid Khelil and
Neeraj Suri},
editor = {Roberto Baldoni and
Gregory V. Chockler},
title = {Monitoring and Evaluation of Semantic Rooms},
booktitle = {Collaborative Financial Infrastructure Protection - Tools, Abstractions,
and Middleware},
pages = {99--116},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-20420-3\_5},
doi = {10.1007/978-3-642-20420-3\_5},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/VerssimoGCUGKS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/GilmoreGKMTV11,
author = {Stephen Gilmore and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
title = {Non-functional properties in the model-driven development of service-oriented
systems},
journal = {Softw. Syst. Model.},
volume = {10},
number = {3},
pages = {287--311},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0155-y},
doi = {10.1007/S10270-010-0155-Y},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/GilmoreGKMTV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/PatariczaGKS11,
author = {Andr{\'{a}}s Pataricza and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andr{\'{a}}s K{\"{o}}vi and
Zolt{\'{a}}n Szatm{\'{a}}ri},
editor = {Ladjel Bellatreche and
Filipe Mota Pinto},
title = {A Methodology for Standards-Driven Metamodel Fusion},
booktitle = {Model and Data Engineering - First International Conference, {MEDI}
2011, {\'{O}}bidos, Portugal, September 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6918},
pages = {270--277},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24443-8\_28},
doi = {10.1007/978-3-642-24443-8\_28},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/medi/PatariczaGKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/FosterGKMMV11,
author = {Howard Foster and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Philip Mayer and
Carlo Montangero and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {{UML} Extensions for Service-Oriented Systems},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {35--60},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_4},
doi = {10.1007/978-3-642-20401-2\_4},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/FosterGKMMV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/sensoria2011/GonczyHV11,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
{\'{A}}bel Heged{\"{u}}s and
D{\'{a}}niel Varr{\'{o}}},
editor = {Martin Wirsing and
Matthias M. H{\"{o}}lzl},
title = {Methodologies for Model-Driven Development and Deployment: An Overview},
booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
of the {SENSORIA} Project on Software Engineering for Service-Oriented
Computing},
series = {Lecture Notes in Computer Science},
volume = {6582},
pages = {541--560},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-20401-2\_26},
doi = {10.1007/978-3-642-20401-2\_26},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/sp/sensoria2011/GonczyHV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BaloghBCGHMPPRVa10,
author = {Andr{\'{a}}s Balogh and
G{\'{a}}bor Bergmann and
Gy{\"{o}}rgy Csert{\'{a}}n and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
{\'{A}}kos Horv{\'{a}}th and
Istv{\'{a}}n Majzik and
Andr{\'{a}}s Pataricza and
Bal{\'{a}}zs Polg{\'{a}}r and
Istv{\'{a}}n R{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Workflow-Driven Tool Integration Using Model Transformations},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {224--248},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_11},
doi = {10.1007/978-3-642-17322-6\_11},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BaloghBCGHMPPRVa10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mobilight/LodiBEMCG10,
author = {Giorgia Lodi and
Roberto Baldoni and
Hisain Elshaafi and
Barry P. Mulcahy and
Gy{\"{o}}rgy Csert{\'{a}}n and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Periklis Chatzimisios and
Christos V. Verikoukis and
Ignacio Santamar{\'{\i}}a and
Massimiliano Laddomada and
Oliver Hoffmann},
title = {Trust Management in Monitoring Financial Critical Information Infrastructures},
booktitle = {Mobile Lightweight Wireless Systems - Second International {ICST}
Conference, {MOBILIGHT} 2010, Barcelona, Spain, May 10-12, 2010, Revised
Selected Papers},
series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
and Telecommunications Engineering},
volume = {45},
pages = {427--439},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16644-0\_37},
doi = {10.1007/978-3-642-16644-0\_37},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mobilight/LodiBEMCG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/KovacsVG08,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}} and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
title = {Formal analysis of {BPEL.} workflows with compensation by model checking},
journal = {Comput. Syst. Sci. Eng.},
volume = {23},
number = {5},
year = {2008},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/KovacsVG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/SimonMGC08,
author = {Gyula Simon and
Mikl{\'{o}}s Moln{\'{a}}r and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Bernard Cousin},
title = {Robust k-Coverage Algorithms for Sensor Networks},
journal = {{IEEE} Trans. Instrum. Meas.},
volume = {57},
number = {8},
pages = {1741--1748},
year = {2008},
url = {https://doi.org/10.1109/TIM.2008.922072},
doi = {10.1109/TIM.2008.922072},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tim/SimonMGC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/WirsingHABCFGGGKLMMPSTTV08,
author = {Martin Wirsing and
Matthias M. H{\"{o}}lzl and
Lucia Acciai and
Federico Banti and
Allan Clark and
Alessandro Fantechi and
Stephen Gilmore and
Stefania Gnesi and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Nora Koch and
Alessandro Lapadula and
Philip Mayer and
Franco Mazzanti and
Rosario Pugliese and
Andreas Schroeder and
Francesco Tiezzi and
Mirco Tribastone and
D{\'{a}}niel Varr{\'{o}}},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {SensoriaPatterns: Augmenting Service Engineering with Formal Analysis,
Transformation and Dynamicity},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation,
Third International Symposium, ISoLA 2008, Porto Sani, Greece, October
13-15, 2008. Proceedings},
series = {Communications in Computer and Information Science},
volume = {17},
pages = {170--190},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88479-8\_13},
doi = {10.1007/978-3-540-88479-8\_13},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/WirsingHABCFGGGKLMMPSTTV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GonczyDV08,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Zsolt D{\'{e}}ri and
D{\'{a}}niel Varr{\'{o}}},
editor = {Michel R. V. Chaudron},
title = {Model Transformations for Performability Analysis of Service Configurations},
booktitle = {Models in Software Engineering, Workshops and Symposia at {MODELS}
2008, Toulouse, France, September 28 - October 3, 2008. Reports and
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5421},
pages = {153--166},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01648-6\_17},
doi = {10.1007/978-3-642-01648-6\_17},
timestamp = {Wed, 23 Feb 2022 12:58:05 +0100},
biburl = {https://dblp.org/rec/conf/models/GonczyDV08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GonczyDV08a,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Zsolt D{\'{e}}ri and
D{\'{a}}niel Varr{\'{o}}},
editor = {Nora Koch and
Geert{-}Jan Houben and
Antonio Vallecillo},
title = {Model Driven Performability Analysis of Service Configurations with
Reliable Messaging},
booktitle = {Proceedings of the 4th International Workshop on Model-Driven Web
Engineering, MDWE@MoDELS 2008, Tolouse, France, September 30 , 2008},
series = {{CEUR} Workshop Proceedings},
volume = {389},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-389/paper05.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/GonczyDV08a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qshine/MolnarSG08,
author = {Mikl{\'{o}}s Moln{\'{a}}r and
Gyula Simon and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Lionel M. Ni and
Jiannong Cao},
title = {Robustness and performance analysis of a dynamic sensor network scheduling
algorithm},
booktitle = {5th International {ICST} Conference on Heterogeneous Networking for
Quality, Reliability, Security and Robustness, {QSHINE} 2008, Hong
Kong, July 28-31, 2008},
pages = {52},
publisher = {{ICST}},
year = {2008},
url = {https://doi.org/10.4108/ICST.QSHINE2008.4091},
doi = {10.4108/ICST.QSHINE2008.4091},
timestamp = {Tue, 14 Apr 2020 13:23:12 +0200},
biburl = {https://dblp.org/rec/conf/qshine/MolnarSG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonczyMHVBMP09,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Istv{\'{a}}n Majzik and
{\'{A}}kos Horv{\'{a}}th and
D{\'{a}}niel Varr{\'{o}} and
Andr{\'{a}}s Balogh and
Zolt{\'{a}}n Micskei and
Andr{\'{a}}s Pataricza},
editor = {Michaela Huhn and
Hardi Hungar},
title = {Tool Support for Engineering Certifiable Software},
booktitle = {Proceedings of the First Workshop on Certification of Safety-Critical
Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary,
April 29, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {238},
number = {4},
pages = {79--85},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.09.008},
doi = {10.1016/J.ENTCS.2009.09.008},
timestamp = {Fri, 24 Feb 2023 13:19:35 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonczyMHVBMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/GonczyHV07,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Reiko Heckel and
D{\'{a}}niel Varr{\'{o}}},
editor = {Alexandre Petrenko and
Margus Veanes and
Jan Tretmans and
Wolfgang Grieskamp},
title = {Model-Based Testing of Service Infrastructure Components},
booktitle = {Testing of Software and Communicating Systems, 19th {IFIP} {TC6/WG6.1}
International Conference, TestCom 2007, 7th International Workshop,
{FATES} 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4581},
pages = {155--170},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73066-8\_11},
doi = {10.1007/978-3-540-73066-8\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/GonczyHV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/KovacsVG07,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}} and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Nicolas Guelfi and
Henry Muccini and
Patrizio Pelliccione and
Alexander B. Romanovsky},
title = {Formal modeling of {BPEL} workflows including fault and compensation
handling},
booktitle = {Proceedings of the 2007 Workshop on Engineering Fault Tolerant Systems,
{EFTS} 2007, Dubrovnik, Croatia, September 4, 2007},
pages = {1},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1316550.1316551},
doi = {10.1145/1316550.1316551},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/KovacsVG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0710-3918,
author = {Gyula Simon and
Mikl{\'{o}}s Moln{\'{a}}r and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Bernard Cousin},
title = {Dependable k-coverage algorithms for sensor networks},
journal = {CoRR},
volume = {abs/0710.3918},
year = {2007},
url = {http://arxiv.org/abs/0710.3918},
eprinttype = {arXiv},
eprint = {0710.3918},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0710-3918.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/epew/GonczyCGPBB06,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Silvano Chiaradonna and
Felicita Di Giandomenico and
Andr{\'{a}}s Pataricza and
Andrea Bondavalli and
Tam{\'{a}}s Bartha},
editor = {Andr{\'{a}}s Horv{\'{a}}th and
Mikl{\'{o}}s Telek},
title = {Dependability Evaluation of Web Service-Based Processes},
booktitle = {Formal Methods and Stochastic Models for Performance Evaluation, Third
European Performance Engineering Workshop, {EPEW} 2006, Budapest,
Hungary, June 21-22, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4054},
pages = {166--180},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11777830\_12},
doi = {10.1007/11777830\_12},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/epew/GonczyCGPBB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/SchoitschAEVGPC06,
author = {Erwin Schoitsch and
Egbert Althammer and
Henrik Eriksson and
Jonny Vinter and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
Andr{\'{a}}s Pataricza and
Gy{\"{o}}rgy Csert{\'{a}}n},
editor = {Janusz G{\'{o}}rski},
title = {Validation and Certification of Safety-Critical Embedded Systems -
The {DECOS} Test Bench},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
{SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4166},
pages = {372--385},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875567\_28},
doi = {10.1007/11875567\_28},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/SchoitschAEVGPC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GonczyKV07,
author = {L{\'{a}}szl{\'{o}} G{\"{o}}nczy and
M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
D{\'{a}}niel Varr{\'{o}}},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Modeling and Verification of Reliable Messaging by Graph Transformation
Systems},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {37--50},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.015},
doi = {10.1016/J.ENTCS.2007.04.015},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GonczyKV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KovacsG08,
author = {M{\'{a}}t{\'{e}} Kov{\'{a}}cs and
L{\'{a}}szl{\'{o}} G{\"{o}}nczy},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Simulation and Formal Analysis of Workflow Models},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {221--230},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.044},
doi = {10.1016/J.ENTCS.2008.04.044},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KovacsG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 00:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
