Mihai Herda
Orcid: 0000-0002-0142-1718
According to our database1,
Mihai Herda
authored at least 15 papers
between 2014 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2020
Proceedings of the Deductive Software Verification: Future Perspectives, 2020
Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties.
PhD thesis, 2020
2019
Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019
2018
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.
Proceedings of the Tests and Proofs - 12th International Conference, 2018
Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
Proceedings of the Formal Methods and Software Engineering, 2018
2017
Proceedings of the Integrated Formal Methods - 13th International Conference, 2017
2016
Proceedings of the Deductive Software Verification - The KeY Book, 2016
Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
2014
Proceedings of the Verified Software: Theories, Tools and Experiments, 2014