Pascal Kesseli
Orcid: 0000-0003-0300-5598
According to our database1,
Pascal Kesseli
authored at least 16 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
1
2
1
1
1
2
3
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
2021
Towards establishing formal verification and inductive code synthesis in the PLC domain.
Proceedings of the 19th IEEE International Conference on Industrial Informatics, 2021
2020
Automated formal synthesis of provably safe digital controllers for continuous plants.
Acta Informatica, 2020
2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
Proceedings of the Computer Aided Verification - 30th International Conference, 2018
2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
Proceedings of the Computer Aided Verification - 29th International Conference, 2017
2016
Proceedings of the NASA Formal Methods - 8th International Symposium, 2016
2015
Proceedings of the Automated Technology for Verification and Analysis, 2015