Carsten Immanuel Pardylla

According to our database, Carsten Immanuel Pardylla authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2019

Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY.

Alexander Knüppel, Thomas Thüm, Carsten Immanuel Pardylla, Ina Schaefer

Proceedings of the Software Engineering and Software Management, 2019

2018

Experience Report on Formally Verifying Parts of OpenJDK's API with KeY.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Proceedings 4th Workshop on Formal Integrated Development Environment, 2018

Scalability of Deductive Verification Depends on Method Call Treatment.

Alexander Knüppel, Thomas Thüm, Carsten Pardylla, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018