| 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, ... International Conference on Tools and Algorithms for the Construction and …, 2015 | 83 | 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 (6), 717-741, 2017 | 43 | 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 | 36 | 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), 1-19, 2016 | 35 | 2016 |
| Investigating the observability of complex contagion in empirical social networks C Fink, AC Schmidt, V Barash, J Kelly, C Cameron, M Macy Tenth International AAAI Conference on Web and Social Media, 2016 | 24 | 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 | 14 | 2012 |
| Formally verified safe vertical maneuvers for non-deterministic, accelerating aircraft dynamics Y Kouskoulas, D Genin, A Schmidt, JB Jeannin International Conference on Interactive Theorem Proving, 336-353, 2017 | 11 | 2017 |
| 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 | 11 | 2016 |
| 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 |
| Distributed field reconstruction with model-robust basis pursuit A Schmidt, JMF Moura 2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012 | 8 | 2012 |
| Zero shot deep learning from semantic attributes PM Burlina, AC Schmidt, IJ Wang 2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015 | 7 | 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, ... | 7 | |
| 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 |
| 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 | 4 | 2020 |
| 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 | 4 | 2019 |
| 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 | 3 | 2018 |
| 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 |
| Scalable sensor network field reconstruction with robust basis pursuit AC Schmidt Carnegie Mellon University, 2013 | 3 | 2013 |
| Compressed sensing radar surveillance networks A Schmidt, JB Harley, JMF Moura 2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM …, 2012 | 2 | 2012 |
Jean-Baptiste JeanninUniversity of MichiganVerified email at umich.edu
