Publications

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)

• Google Scholar
• BibTeX
• EndNote XML

Bisimulation in Behavioral Dynamical Systems and Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , 2018 IEEE Conference on Decision and Control (CDC), (2018)

• Google Scholar
• BibTeX
• EndNote XML

Bisimulation and Hennessy-Milner Logic for Generalized Synchronization Trees, Ferlez, James, Cleaveland Rance, and Marcus Steven I. , Proceedings Combined 24th International Workshop on Expressiveness in Concurrency and 14th Workshop on Structural Operational Semantics and 14th Workshop on Structural Operational Semantics, {EXPRESS/SOS} 2017, Berlin, Germany, 4th September 2017., (2017)

• Google Scholar
• BibTeX
• EndNote XML

 (254.08 KB)

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)

• Google Scholar
• BibTeX
• EndNote XML

 (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)

• Google Scholar
• BibTeX
• EndNote XML

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)

• Google Scholar
• BibTeX
• EndNote XML

Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, Jiang, Zhihao, Abbas Houssam, Mosterman Pieter J., and Mangharam Rahul , Medical Cyber Physical Systems Workshop 2016, (2016)

• Google Scholar
• BibTeX
• EndNote XML

 (2.85 MB)

Scott Smolka and Me, Cleaveland, Rance , From Reactive Systems to Cyber-Physical Systems, p.1–6, (2019)

• Google Scholar
• BibTeX
• EndNote XML

Process Algebra and Model Checking, Cleaveland, Rance, Roscoe A. W., and Smolka Scott A. , Handbook of Model Checking., p.1149–1195, (2018)

• Google Scholar
• BibTeX
• EndNote XML

From Automated MRI Scan to Finite Elements, Glimm, James, Lim Hyunkyung, Bishop Martin, and Kim Soojin , p.35-48, (2019)

• Google Scholar
• BibTeX
• EndNote XML

 (647.88 KB)