Publications

Export 65 results:
Author Title Type [ Year(Asc)]
Filters: First Letter Of Last Name is S  [Clear All Filters]
2020
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers, Roy, Shouvik, Mehmood Usama, Grosu Radu, Smolka Scott A., Stoller Scott D., and Tiwari Ashish , (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
Neural Simplex Architecture, Phan, Dung T., Grosu Radu, Jansen Nils, Paoletti Nicola, Smolka Scott A., and Stoller Scott D. , (2020)
Next-Generation Lagrangian Reachtubes, Gruenbacher, S., Cyranka J., Lechner M., Islam Md. A., Smolka S. A., and Grosu R. , Proceedings of CDC 2020, 59th IEEE Conference on Decision and Control, 12/2020, (2020)
Single-variable delay-differential equation approximations of the Fitzhugh-Nagumo and Hodgkin-Huxley models, Rameh, Raffael Bechara, CHERRY ELIZABETH M., and Santos Rodrigo Weber dos , Communications in Nonlinear Science and Numerical Simulation, Volume 82, p.105066, (2020)
Swarm Model Checking on the GPU, DeFrancisco, R., Cho S., Ferdman M., and Smolka S. A. , International Journal on Software Tools for Technology Transfer, (2020)
On The Verification of Neural ODEs with Stochastic Guarantees, Gruenbacher, Sophie, Hasani Ramin, Lechner Mathias, Cyranka Jacek, Smolka Scott A., and Grosu Radu , (2020)
2019
Delay differential equation-based models of cardiac tissue: Efficient implementation and effects on spiral-wave dynamics, Gomes, Johnny Moreira, Lobosco Marcelo, Santos Rodrigo Weber dos, and CHERRY ELIZABETH M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 29, p.123128, (2019)
From Reactive Systems to Cyber-physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, Bartocci, Ezio, Cleaveland Rance, Grosu Radu, and Sokolsky Oleg , (2019)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md Ariful, Cleaveland Rance, Fenton Flavio H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, Volume 765, p.158–169, (2019)
2018
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)
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)
Electromechanical vortex filaments during cardiac fibrillation, Christoph, Jan, Chebbok M., Richter Carl, Schröder-Schetelig Johannes, Bittihn Philip, Stein Seth, Uzelac Ilija, FENTON FLAVIO H., Hasenfuss Gerd, Gilmour Robert F., et al. , Nature, Volume 555, p.667+, (2018)  (11.33 MB)
Electromechanical vortex filaments during cardiac fibrillation, Christoph, Jan, Chebbok M., Richter Carl, Schröder-Schetelig Johannes, Bittihn Philip, Stein Seth, Uzelac Ilija, FENTON FLAVIO H., Hasenfuss Gerd, Gilmour Robert F., et al. , Nature, Volume 555, p.667+, (2018)  (11.33 MB)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
Neural State Classification for Hybrid Systems, Phan, Dung, Paoletti Nicola, Zhang Timothy, Grosu Radu, Smolka Scott A., and Stoller Scott D. , Proc.\ 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018), (2018)  (528.72 KB)
OpenUAV: A UAV Testbed for the CPS and Robotics Community, Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay , Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)  (825.63 KB)
OpenUAV: A UAV Testbed for the CPS and Robotics Community, Schmittle, Matt, Lukina Anna, Vacek Lukas, Das Jnaneshwar, Buskirk Christopher P., Rees Stephen, Sztipanovits Janos, Grosu Radu, and Kumar Vijay , Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, Piscataway, NJ, USA, (2018)  (825.63 KB)
An Optimization-Based Algorithm for the Construction of Cardiac Purkinje Network Models, Ulysses, Jesuliana N., Berg Lucas A., CHERRY ELIZABETH M., Liu Ben R., Santos Rodrigo W. dos, de Barros Bruno G., Rocha Bernardo M., and de Queiroz Rafael A. B. , IEEE Transactions on Biomedical Engineering, Volume 65, p.2760–2768, (2018)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans, Islam, Md. Ariful, Cleaveland Rance, FENTON FLAVIO H., Grosu Radu, Jones Paul L., and Smolka Scott A. , Theoretical Computer Science, 02/2018, (2018)  (1.99 MB)
Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)
2017
Alternans promotion in cardiac electrophysiology models by delay differential equations, Gomes, Johnny M., Santos Rodrigo Weber dos, and Cherry Elizabeth M. , Chaos: An Interdisciplinary Journal of Nonlinear Science, Volume 27, p.093915, (2017)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information about Moving Obstacles, Phan, D., Yang J., Grosu R., Smolka S. A., and Stoller S. D. , Formal Methods in System Design, 01/2017, (2017)

Pages