@inproceedings{MTMT:32098587,
	title = {Incremental whole-program analysis in Datalog with lattices},
	url = {https://m2.mtmt.hu/api/publication/32098587},
	author = {Szabó, Tamás and Erdweg, Sebastian and Bergmann, Gábor},
	booktitle = {Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation},
	doi = {10.1145/3453483.3454026},
	unique-id = {32098587},
	abstract = {Incremental static analyses provide up-to-date analysis results in time proportional to the size of a code change, not the entire code base. This promises fast feedback to programmers in IDEs and when checking in commits. However, existing incremental analysis frameworks fail to deliver on this promise for whole-program lattice-based data-flow analyses. In particular, prior Datalog-based frameworks yield good incremental performance only for intra-procedural analyses.
		
		In this paper, we first present a methodology to empirically test if a computation is amenable to incrementalization. Using this methodology, we find that incremental whole-program analysis may be possible. Second, we present a new incremental Datalog solver called LADDDER to eliminate the shortcomings of prior Datalog-based analysis frameworks. Our Datalog solver uses a non-standard aggregation semantics which allows us to loosen monotonicity requirements on analyses and to improve the performance of lattice aggregators considerably. Our evaluation on real-world Java code confirms that LADDDER provides up-to-date points-to, constant propagation, and interval information in milliseconds.},
	year = {2021},
	pages = {1-15},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@article{MTMT:31965063,
	title = {Controllable and decomposable multidirectional synchronizations},
	url = {https://m2.mtmt.hu/api/publication/31965063},
	author = {Bergmann, Gábor},
	doi = {10.1007/s10270-021-00879-w},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {20},
	unique-id = {31965063},
	issn = {1619-1366},
	year = {2021},
	eissn = {1619-1374},
	pages = {1735-1774},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@CONFERENCE{MTMT:32869204,
	title = {Report: Datalog with recursive aggregation for incremental program analyses (extended abstract)},
	url = {https://m2.mtmt.hu/api/publication/32869204},
	author = {Szabó, Tamás and Bergmann, Gábor and Erdweg, Sebastian and Voelter, Markus},
	booktitle = {Electronic Proceedings in Theoretical Computer Science, EPTCS},
	unique-id = {32869204},
	abstract = {A static analysis is a tool that reasons about the runtime behavior of a computer program without actually running it. This way static analyses can help to catch runtime errors already at development time before the code goes to production, thereby saving significant costs on maintenance and the mitigation of potential software failures. To this end, static analyses are widely used in many areas of software development. For example, Integrated Development Environments (IDEs) use type checkers or data-flow analyses to provide continuous feedback to developers as they modify their code.},
	year = {2020},
	pages = {1},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@article{MTMT:31128076,
	title = {Scalable modeling technologies in the wild: an experience report on wind turbines control applications development},
	url = {https://m2.mtmt.hu/api/publication/31128076},
	author = {Abel, Gómez and ·Xabier, Mendialdua and ·Konstantinos, Barmpis and Bergmann, Gábor and Jordi, Cabot and ·Xabier, de Carlos and Debreceni, Csaba and ·Antonio, Garmendia and ·Dimitrios, S. Kolovos and ·Juan, de Lara},
	doi = {10.1007/s10270-020-00776-8},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {19},
	unique-id = {31128076},
	issn = {1619-1366},
	year = {2020},
	eissn = {1619-1374},
	pages = {1229-1261},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Debreceni, Csaba/0000-0002-6263-7758}
}

@article{MTMT:30748493,
	title = {Diversity of Graph Models and Graph Generators in Mutation Testing},
	url = {https://m2.mtmt.hu/api/publication/30748493},
	author = {Semeráth, Oszkár and Farkas, Rebeka and Bergmann, Gábor and Varró, Dániel},
	doi = {10.1007/s10009-019-00530-6},
	journal-iso = {INT J SOFTW TOOLS TECHN TRANSFER},
	journal = {INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER},
	volume = {22},
	unique-id = {30748493},
	issn = {1433-2779},
	year = {2020},
	eissn = {1433-2787},
	pages = {57-78},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:31093251,
	title = {Correction to: Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations (vol 18, pg 1737, 2019)},
	url = {https://m2.mtmt.hu/api/publication/31093251},
	author = {Debreceni, Csaba and Bergmann, Gábor and Ráth, István Zoltán and Varró, Dániel},
	doi = {10.1007/s10270-017-0650-5},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {18},
	unique-id = {31093251},
	issn = {1619-1366},
	abstract = {The article Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations, written by Csaba Debreceni, Gabor Bergmann, Istvan Rath, Daniel Varro, was originally published electronically on the publisher's internet portal (https://link.springer.com/journal/10270) on [11/21/2017 6:24:42 AM] without open access.},
	year = {2019},
	eissn = {1619-1374},
	pages = {1771-1771},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:30603470,
	title = {Adaptive Step Size Control for Hybrid CT Simulation without Rollback},
	url = {https://m2.mtmt.hu/api/publication/30603470},
	author = {Farkas, Rebeka and Bergmann, Gábor and Horváth, Ákos},
	booktitle = {Proceedings of the 13th International Modelica Conference, Regensburg, Germany, March 4-6, 2019},
	doi = {10.3384/ecp19157503},
	unique-id = {30603470},
	year = {2019},
	pages = {503-512},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}

@article{MTMT:3330414,
	title = {Enforcing Fine-grained Access Control for Secure Collaborative Modelling using Bidirectional Transformations},
	url = {https://m2.mtmt.hu/api/publication/3330414},
	author = {Debreceni, Csaba and Bergmann, Gábor and Ráth, István Zoltán and Varró, Dániel},
	doi = {10.1007/s10270-017-0631-8},
	journal-iso = {SOFTW SYST MODEL},
	journal = {SOFTWARE AND SYSTEMS MODELING},
	volume = {18},
	unique-id = {3330414},
	issn = {1619-1366},
	year = {2019},
	eissn = {1619-1374},
	pages = {1737-1769},
	orcid-numbers = {Debreceni, Csaba/0000-0002-6263-7758; Bergmann, Gábor/0000-0002-2556-2582; Varró, Dániel/0000-0002-8790-252X}
}

@inproceedings{MTMT:30710636,
	title = {Incquery server for teamwork cloud},
	url = {https://m2.mtmt.hu/api/publication/30710636},
	author = {Hegedüs, Ábel and Ráth, István Zoltán and Bergmann, Gábor and Debreceni, Csaba and Horváth, Ákos and Lunk, Péter and Menyhért, Ákos and Papp, István and Varró, Dániel and Vileiniskis, Tomas},
	booktitle = {Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18},
	doi = {10.1145/3270112.3270125},
	unique-id = {30710636},
	year = {2018},
	pages = {27-31},
	orcid-numbers = {Hegedüs, Ábel/0000-0002-8940-4348; Bergmann, Gábor/0000-0002-2556-2582; Debreceni, Csaba/0000-0002-6263-7758; Varró, Dániel/0000-0002-8790-252X}
}

@article{MTMT:30382877,
	title = {Incrementalizing lattice-based program analyses in Datalog},
	url = {https://m2.mtmt.hu/api/publication/30382877},
	author = {Szabó, Tamás and Bergmann, Gábor and Erdweg, Sebastian and Voelter, Markus},
	doi = {10.1145/3276509},
	journal-iso = {PROC ACM PROGRAM LANG},
	journal = {PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES},
	volume = {2},
	unique-id = {30382877},
	issn = {2475-1421},
	year = {2018},
	orcid-numbers = {Bergmann, Gábor/0000-0002-2556-2582}
}