Harald König
Orcid: 0000-0001-6304-6311
According to our database1,
Harald König
authored at least 40 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
5
6
2
1
3
2
1
1
2
1
1
1
1
2
2
1
2
4
3
2
2
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems.
Log. Methods Comput. Sci., 2024
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models.
CoRR, 2024
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models.
Proceedings of the Best Dissertation Award, 2024
2023
Proceedings of the Graph Transformation - 16th International Conference, 2023
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023
2022
Proceedings of the Theoretical Aspects of Software Engineering, 2022
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2022
2021
Theor. Comput. Sci., 2021
Formal Aspects Comput., 2021
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021
2020
Softw. Syst. Model., 2020
Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput., 2020
Proceedings of the Graph Transformation - 13th International Conference, 2020
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
Multiple model synchronization with multiary delta lenses with amendment and K-Putput.
Formal Aspects Comput., 2019
2018
Proceedings of the Conference Companion of the 2nd International Conference on Art, 2018
Proceedings of the Fundamental Approaches to Software Engineering, 2018
Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018
Proceedings of the Graph Transformation, Specifications, and Nets, 2018
2017
Proceedings of the Software Technologies: Applications and Foundations, 2017
Proceedings of the Modelling Foundations and Applications - 13th European Conference, 2017
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017
2016
Proceedings of the Software Technologies: Applications and Foundations, 2016
Proceedings of the Modelling Foundations and Applications - 12th European Conference, 2016
2015
Sci. Comput. Program., 2015
Appl. Categorical Struct., 2015
2014
Proceedings of the Graph Transformation - 7th International Conference, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Proceedings of the Formal Methods: Foundations and Applications - 16th Brazilian Symposium, 2013
2012
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
2011
A categorical framework for the transformation of object-oriented systems: Models and data.
J. Symb. Comput., 2011
Proceedings of the Formal Methods, Foundations and Applications - 14th Brazilian Symposium, 2011
2010
Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010
2006
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006
2005
Proceedings of the Formal Methods in Software and Systems Modeling, 2005
2003
Optimal coordination of crystallization batch processes using rules and practices of extreme programming.
Proceedings of 2003 IEEE Conference on Control Applications, 2003