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
872015
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
452017
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
392015
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
362016
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
272016
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
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
122016
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
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
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, ...
8
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
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
52020
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
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
42018
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