Follow
Aurora Schmidt
Title
Cited by
Cited by
Year
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
832015
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
432017
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
362015
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
352016
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
242016
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
142012
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
112017
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
112016
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
112009
Field inversion by consensus and compressed sensing
A Schmidt, JMF Moura
2009 IEEE International Conference on Acoustics, Speech and Signal …, 2009
112009
Distributed field reconstruction with model-robust basis pursuit
A Schmidt, JMF Moura
2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012
82012
Zero shot deep learning from semantic attributes
PM Burlina, AC Schmidt, IJ Wang
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
72015
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
52017
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
42020
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
42019
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
32018
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
32014
Scalable sensor network field reconstruction with robust basis pursuit
AC Schmidt
Carnegie Mellon University, 2013
32013
Compressed sensing radar surveillance networks
A Schmidt, JB Harley, JMF Moura
2012 IEEE 7th Sensor Array and Multichannel Signal Processing Workshop (SAM …, 2012
22012
The system can't perform the operation now. Try again later.
Articles 1–20