Sarah M. Loos
According to our database1, Sarah M. Loos authored at least 16 papers between 2011 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Proceedings of the 8th International Conference on Learning Representations, 2020
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020
HOList: An Environment for Machine Learning of Higher-Order Theorem Proving (extended version).
Proceedings of the 36th International Conference on Machine Learning, 2019
Int. J. Softw. Tools Technol. Transf., 2016
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016
Proceedings of the 16th International IEEE Conference on Intelligent Transportation Systems, 2013
Proceedings of the 16th international conference on Hybrid systems: computation and control, 2013
Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems, 2012
Proceedings of the American Control Conference, 2012
Proceedings of the 14th International IEEE Conference on Intelligent Transportation Systems, 2011
Proceedings of the Formal Methods and Software Engineering, 2011
Proceedings of the FM 2011: Formal Methods, 2011
Using parameters in architectural views to support heterogeneous design and verification.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011