| Adaptive cruise control: Hybrid, distributed, and now formally verified SM Loos, A Platzer, L Nistor International Symposium on Formal Methods, 42-56, 2011 | 275 | 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 | 61 | 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 | 39 | 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 |
| 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 | 3 | 2014 |
| Middleware for managing provenance metadata T Malik, L Nistor, A Gehani Middleware'10 Posters and Demos Track, 1-2, 2010 | 3 | 2010 |
| 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 |
| 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, HH CHIN, GA CIDRE, K GARDNER, ... | | |
| 2017 Theses by Author M ARAÚJO, S CHEN, HH CHIN, GA CIDRE, K GARDNER, KBF HOU, ... | | |
| Applying Streaming Algorithms to Data at Rest M Ishaque, L Nistor, K Backhouse | | |
Jonathan AldrichProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu