Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus,
Ganesan, D., Lindvall M., Hafsteinsson S., Cleaveland R., Strege S. L., and Moleski W.
, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE), Oct, (2016)
(976.61 KB) A Distributed Simplex Architecture for Multi-Agent Systems,
Mehmood, U., Stoller S. D., Grosu R., Roy S., Damare A., and Smolka S. D.
, Proceedings of SETTA 2021, Symposium on Dependable Software Engineering, 11/2021, (2021)
A Distributed Simplex Architecture for Multi-Agent Systems,
Mehmood, U., Stoller S. D., Grosu R., Roy S., Damare A., and Smolka S. D.
, Proceedings of SETTA 2021, Symposium on Dependable Software Engineering, 11/2021, (2021)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding,
Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A.
, Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding,
Roy, S., Mehmood U., Grosu R., Smolka S. A., Stoller S. D., and Tiwari A.
, Proceedings of ACC 2021, The 2021 American Control Conference, 06/2021, (2021)
Declarative vs Rule-based Control for Flocking Dynamics,
Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A.
, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)
(904.24 KB) Declarative vs Rule-based Control for Flocking Dynamics,
Mehmood, Usama, Paoletti Nicola, Phan Dung, Grosu Radu, Lin Shan, Stoller Scott D., Tiwari Ashish, Yang Junxing, and Smolka Scott A.
, Proceedings of the 33rd Annual ACM Symposium on Applied Computing, New York, NY, USA, (2018)
(904.24 KB) Bayesian Neural Predictive Monitoring,
Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Bayesian Neural Predictive Monitoring,
Bortolussi, L., Cairoli F., Paoletti N., Smolka S. A., and Stoller S. D.
, Proceedings of OVERLAY-20, Second Workshop on Formal Methods for AI, 09/2020, (2020)
Automated Specification Extraction and Analysis with Specstractor,
Schulze, Christoph, Cleaveland Rance, and Lindvall Mikael
, Software Engineering and Formal Methods - 16th International Conference, {SEFM} 2018, Held as Part of {STAF} 2018, Toulouse, France, June 27-29, 2018, Proceedings, (2018)