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, ...
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
952015
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
652017
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
492015
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
482016
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
392016
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
192016
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
152012
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
132017
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
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, ...
11
Zero shot deep learning from semantic attributes
PM Burlina, AC Schmidt, IJ Wang
2015 IEEE 14th International Conference on Machine Learning and Applications …, 2015
92015
Distributed field reconstruction with model-robust basis pursuit
A Schmidt, JMF Moura
2012 IEEE International Conference on Acoustics, Speech and Signal …, 2012
82012
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
72020
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
72018
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
62019
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
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
32020
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
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
22023
The system can't perform the operation now. Try again later.
Articles 1–20