Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor International Symposium on Formal Methods, 42-56, 2011 | 262 | 2011 |
Safely composable type-specific languages C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich ECOOP 2014–Object-Oriented Programming: 28th European Conference, Uppsala …, 2014 | 55 | 2014 |
Tracking and sketching distributed data provenance T Malik, L Nistor, A Gehani 2010 IEEE Sixth International Conference on e-Science, 190-197, 2010 | 45 | 2010 |
Wyvern: A simple, typed, and pure object-oriented language L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013 | 36 | 2013 |
Object propositions L Nistor, J Aldrich, S Balzer, H Mehnert FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 11 | 2014 |
Verifying object-oriented code using object propositions L Nistor, J Aldrich Carnegie Mellon University, 2011 | 6 | 2011 |
Middleware for managing provenance metadata T Malik, L Nistor, A Gehani Middleware'10 Posters and Demos Track, 1-2, 2010 | 5 | 2010 |
Type-specific languages to fight injection attacks D Kurilova, C Omar, L Nistor, B Chung, A Potanin, J Aldrich Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, 1-2, 2014 | 2 | 2014 |
Using machine learning in the automatic translation of object propositions L Nistor, J Aldrich AI4FM, 2014 | 2 | 2014 |
Verifying the proxy design pattern using object propositions L Nistor Proceedings Companion of the 2017 ACM SIGPLAN International Conference on …, 2017 | 1 | 2017 |
The Implementation of Object Propositions: the Oprop Verification Tool L Nistor, J Aldrich Formal Aspects of Component Software: 14th International Conference, FACS …, 2017 | 1 | 2017 |
Model-checking higher-order recursion schemes LN Nistor University of Oxford, 2009 | 1 | 2009 |
The modularity of object propositions L Nistor Companion Proceedings of the 15th International Conference on Modularity, 22-22, 2016 | | 2016 |
The Oprop verification tool: object propositions in action L Nistor Companion Proceedings of the 2015 ACM SIGPLAN International Conference on …, 2015 | | 2015 |
Safely Composable Type-Specific Languages (Technical Report) C Omar, D Kurilova, L Nistor, B Chung, A Potanin, J Aldrich | | 2014 |
Wyvern L Nistor, D Kurilova, S Balzer, B Chung, A Potanin, J Aldrich Proceedings of the 5th Workshop on MechAnisms for SPEcialization …, 2013 | | 2013 |
1 GlobalSale, a V-Unit Project L Nistor | | 2011 |
Safely Composable Type-Specific Languages A Potanin, J Aldrich, C Omar, D Kurilova, L Nistor, B Chung | | |
ACAR, Umut A. CMU-CS-17-107 ANDERSEN, David G. CMU-CS-17-125 ARAÚJO, Miguel CMU-CS-17-110 BALZER, Stephanie CMU-CS-17-106, CMU-CS-17-106R S BOUCHER, S CHEN, GA CIDRE, K GARDNER, M HARCHOL-BALTER, ... | | |
2017 Theses by Author M ARAÚJO, S CHEN, GA CIDRE, K GARDNER, KBF HOU, S JAIN, ... | | |