Maik Merten
According to our database1,
Maik Merten
authored at least 22 papers
between 2008 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
4
5
6
7
8
9
1
1
1
1
1
1
7
5
2
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
Proceedings of the DELFI 2020, 2020
2015
J. Log. Algebraic Methods Program., 2015
2014
Int. J. Softw. Tools Technol. Transf., 2014
2013
2012
Never-stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring.
ERCIM News, 2012
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2012
Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012
2011
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
2009
2008
Proceedings of the 2008 Workshop on Testing, 2008