| A formally verified hybrid system for the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015 | 95 | 2015 |
| A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... International Journal on Software Tools for Technology Transfer 19, 717-741, 2017 | 63 | 2017 |
| Formal verification of ACAS X, an industrial airborne collision avoidance system JB Jeannin, K Ghorbal, Y Kouskoulas, R Gardner, A Schmidt, E Zawadzki, ... 2015 international conference on embedded software (EMSOFT), 127-136, 2015 | 49 | 2015 |
| Complex contagions and the diffusion of popular Twitter hashtags in Nigeria C Fink, A Schmidt, V Barash, C Cameron, M Macy Social Network Analysis and Mining 6, 1-19, 2016 | 46 | 2016 |
| Investigating the observability of complex contagion in empirical social networks C Fink, A Schmidt, V Barash, J Kelly, C Cameron, M Macy Proceedings of the International AAAI Conference on Web and Social Media 10 …, 2016 | 39 | 2016 |
| Probabilistic model checking of the next-generation airborne collision avoidance system RW Gardner, D Genin, R McDowell, C Rouff, A Saksena, A Schmidt 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), 1-10, 2016 | 19 | 2016 |
| Accurate sparse recovery of guided wave characteristics for structural health monitoring JB Harley, AC Schmidt, JMF Moura 2012 IEEE International Ultrasonics Symposium, 158-161, 2012 | 15 | 2012 |
| Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics Y Kouskoulas, D Genin, A Schmidt, JB Jeannin Interactive Theorem Proving: 8th International Conference, ITP 2017 …, 2017 | 13 | 2017 |
| A distributed sensor fusion algorithm for the inversion of sparse fields A Schmidt, JMF Moura 2009 Conference Record of the Forty-Third Asilomar Conference on Signals …, 2009 | 11 | 2009 |
| Field inversion by consensus and compressed sensing A Schmidt, JMF Moura 2009 IEEE International Conference on Acoustics, Speech and Signal …, 2009 | 11 | 2009 |
| Zero shot deep learning from semantic attributes PM Burlina, AC Schmidt, IJ Wang 2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015 | 9 | 2015 |
| A formally verified hybrid system for safe advisories in the next-generation airborne collision avoidance system. STTT 19 (6), 717–741 (2017) J Jeannin, K Ghorbal, Y Kouskoulas, A Schmidt, R Gardner, S Mitsch, ... | 9 | |
| Distributed field reconstruction with model-robust basis pursuit A Schmidt, JMF Moura 2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012 | 8 | 2012 |
| Incorrect by construction: fine tuning neural networks for guaranteed performance on finite sets of examples I Papusha, R Wu, J Brulé, Y Kouskoulas, D Genin, A Schmidt arXiv preprint arXiv:2008.01204, 2020 | 7 | 2020 |
| Using spectral clustering of hashtag adoptions to find interest-based communities A Schmidt, C Fink, V Barash, C Cameron, M Macy 2018 IEEE International Conference on Communications (ICC), 1-7, 2018 | 7 | 2018 |
| Provably safe controller synthesis using safety proofs as building blocks Y Kouskoulas, A Schmidt, JB Jeannin, D Genin, J Lopez 2019 7th International Conference in Software Engineering Research and …, 2019 | 6 | 2019 |
| Hierarchical zero-shot classification with convolutional neural network features and semantic attribute learning J Markowitz, AC Schmidt, PM Burlina, IJ Wang 2017 Fifteenth IAPR International Conference on Machine Vision Applications …, 2017 | 5 | 2017 |
| A Twitter social contagion monitor V Barash, C Fink, C Cameron, A Schmidt, W Dong, M Macy, J Kelly, ... 2020 IEEE/ACM International Conference on Advances in Social Networks …, 2020 | 3 | 2020 |
| Topical Engagement on Twitter: Using Consistency of Activity as a Means of User Segmentation A Schmidt, C Fink, N Bos Eighth International AAAI Conference on Weblogs and Social Media, 2014 | 3 | 2014 |
| Searching for explanations: Testing social scientific methods in synthetic ground-truthed worlds AC Schmidt, CJ Cameron, C Lowman, J Brulé, AJ Deshpande, SA Fatemi, ... Computational and Mathematical Organization Theory, 1-32, 2023 | 2 | 2023 |
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
