| IncA: a DSL for the definition of incremental program analyses T Szabó, S Erdweg, M Voelter Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 113 | 2016 |
| Incrementalizing lattice-based program analyses in Datalog T Szabó, G Bergmann, S Erdweg, M Voelter Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-29, 2018 | 56 | 2018 |
| Lessons learned from developing mbeddr: a case study in language engineering with MPS M Voelter, B Kolb, T Szabó, D Ratiu, A van Deursen Software & Systems Modeling 18, 585-630, 2019 | 51 | 2019 |
| Efficient development of consistent projectional editors using grammar cells M Voelter, T Szabó, S Lisson, B Kolb, S Erdweg, T Berger Proceedings of the 2016 ACM SIGPLAN International Conference on Software …, 2016 | 42 | 2016 |
| Incremental whole-program analysis in Datalog with lattices T Szabó, S Erdweg, G Bergmann Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 36 | 2021 |
| A systematic approach to deriving incremental type checkers A Pacak, S Erdweg, T Szabó Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-28, 2020 | 23 | 2020 |
| Incremental pattern matching for the efficient computation of transitive closure G Bergmann, I Ráth, T Szabó, P Torrini, D Varró International Conference on Graph Transformation, 386-400, 2012 | 23 | 2012 |
| Concise, type-safe, and efficient structural diffing S Erdweg, T Szabó, A Pacak Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 14 | 2021 |
| Incrementalizing static analyses in datalog T Szabó Dissertation, Mainz, Johannes Gutenberg-Universität Mainz, 2021, 2021 | 11 | 2021 |
| Mbeddr: Extensible languages for embedded software development T Szabó, M Voelter, B Kolb, D Ratiu, B Schaetz Proceedings of the 2014 ACM SIGAda annual conference on High integrity …, 2014 | 11 | 2014 |
| Parallel saturation based model checking A Horv 2011 10th International Symposium on Parallel and Distributed Computing, 94-101, 2011 | 11 | 2011 |
| Incremental overload resolution in object-oriented programming languages T Szabó, E Kuci, M Bijman, M Mezini, S Erdweg Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 27-33, 2018 | 10 | 2018 |
| An extensible framework for variable-precision data-flow analyses in MPS T Szabó, S Alperovich, M Voelter, S Erdweg Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 10 | 2016 |
| Incrementalizing production CodeQL analyses T Szabó Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023 | 7 | 2023 |
| Incal: A dsl for incremental program analysis with lattices T Szabó, M Voelter, S Erdweg Proceedings of the International Workshop on Incremental Computing (IC), 2017 | 6 | 2017 |
| Incrementalizing interprocedural program analyses with recursive aggregation in Datalog T Szabó, G Bergmann, S Erdweg Second Workshop on Incremental Computing, IC, 3, 2019 | 3 | 2019 |
| Developing and visualizing live model queries Z Ujhelyi, T Szabó, I Ráth, D Varró Proceedings of the First Workshop on the Analysis of Model Transformations …, 2012 | 2 | 2012 |
| An Overview of Program Analysis using Formal Methods M Voelter, T Szabó, B Engelmann Self-published, 2017 | 1 | 2017 |
| Dedicated support for analyses and optimizations in language workbenches T Szabó Companion Proceedings of the 2016 ACM SIGPLAN International Conference on …, 2016 | | 2016 |
| Lessons Learned from Developing mbeddr M Völter, B Kolb, T Szábó, D Ratiu, A van Deursen | | 2015 |
Sebastian ErdwegProfessor of Computer Science, JGU MainzCorreu electrònic verificat a uni-mainz.de