Daniel Schwartz-Narbonne
Orcid: 0000-0002-0453-2552
According to our database1,
Daniel Schwartz-Narbonne
authored at least 17 papers
between 2009 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
5
1
1
1
1
1
1
2
1
1
4
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022
2021
Code-level model checking in the software development workflow at Amazon Web Services.
Softw. Pract. Exp., 2021
2020
Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020
2018
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018
2017
2016
Proceedings of the FM 2016: Formal Methods, 2016
2015
Proceedings of the NASA Formal Methods - 7th International Symposium, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Proceedings of the 14th IEEE International Working Conference on Source Code Analysis and Manipulation, 2014
2013
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
2012
Proceedings of the Model Checking Software - 19th International Workshop, 2012
Proceedings of the 49th Annual Design Automation Conference 2012, 2012
Proceedings of the Computer Aided Verification - 24th International Conference, 2012
Proceedings of the Automated Technology for Verification and Analysis, 2012
2011
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011
2009
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009