Publications

Export 65 results:
Author Title [ Type(Asc)] Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
Conference Paper
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)
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties, Paoletti, Nicola, Liu Kin Sum, Smolka Scott A., and Lin Shan , Computational Methods in Systems Biology, (2017)
Collision-Free 3D Flocking Using the Distributed Simplex Architecture, Mehmood, U., Grosu R., Smolka S. A., and Stoller S. D. , Proceedings of ISoLA Extra in Rhodes, 10/2021, (2021)
Collision-Free 3D Flocking Using the Distributed Simplex Architecture, Mehmood, U., Grosu R., Smolka S. A., and Stoller S. D. , Proceedings of ISoLA Extra in Rhodes, 10/2021, (2021)
Bifurcation Analysis of Cardiac Alternans Using δ -Decidability., Islam, Md. Ariful, Byrne Greg, Kong Soonho, Clarke Edmund M., Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , CMSB, (2016)  (795.28 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)
Book Chapter
Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)

Pages