Scott A. Smolka

ORCID

Publication Activity (10 Years)

Years Active: 1983-2024
Publications (10 Years): 90

Top Venues

CoRR

CDC

HSCC

Publications

Ali Karimoddini, Scott A. Smolka, Mohammad Karimadini
Fault diagnosis of Discrete Event Systems under uncertain initial conditions. Expert Syst. Appl. 255 (2024)
Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati
Biosignal Authentication Considered Harmful Today. USENIX Security Symposium (2024)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA (2024)
Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok
Metis: File System Model Checking via Versatile Input and State Exploration. FAST (2024)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA (2023)
Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC (2023)
Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access 11 (2023)
Yifei Liu, Gautam Ahuja, Geoff Kuenning, Scott A. Smolka, Erez Zadok
Input and Output Coverage Needed in File System Testing. HotStorage (2023)
Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
A distributed simplex architecture for multi-agent systems. J. Syst. Archit. 134 (2023)
Sayontan Ghosh, Amanpreet Singh, Alex Merenstein, Wei Su, Scott A. Smolka, Erez Zadok, Niranjan Balasubramanian
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications. LREC (2022)
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. RV (2022)
Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI (2022)
Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) (2022)
Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR (2022)
Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
Runtime-Assured, Real-Time Neural Control of Microgrids. CoRR (2022)
Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR (2022)
Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR (2022)
Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM (2022)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from Unsafe Controllers. CoRR (2021)
John P. Berman, Abouzar Kaboudian, Ilija Uzelac, Shahriar Iravanian, Tinen L. Iles, Paul A. Iaizzo, Hyun-Kyung Lim, Scott A. Smolka, James Glimm, Elizabeth M. Cherry, Flavio H. Fenton
Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts. CinC (2021)
Scott A. Smolka
Kanellakis-Smolka 1983: A Convolution of Circumstances. SIGACT News 52 (4) (2021)
Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek (2021)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
A Distributed Simplex Architecture for Multi-agent Systems. SETTA (2021)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space (2021)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC (2021)
Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR (2021)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. 23 (4) (2021)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC (2021)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On the Verification of Neural ODEs with Stochastic Guarantees. AAAI (2021)
Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning
Model-Checking Support for File System Development. HotStorage (2021)
Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
V-Formation via Model Predictive Control. CoRR (2020)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Nicola Paoletti, Kin Sum Liu, Hongkai Chen, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE ACM Trans. Comput. Biol. Bioinform. 17 (6) (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. ACSOS (2020)
Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. NFM (2020)
Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
On The Verification of Neural ODEs with Stochastic Guarantees. CoRR (2020)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CoRR (2020)
Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
A Distributed Simplex Architecture for Multi-Agent Systems. CoRR (2020)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Bayesian Neural Predictive Monitoring. OVERLAY (2020)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 8 (2020)
Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS (2020)
Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Lagrangian Reachtubes: The Next Generation. CDC (2020)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Learning Distributed Controllers for V-Formation. CoRR (2020)
Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. 765 (2019)
Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR (2019)
Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
Neural Simplex Architecture. CoRR (2019)
Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC (2019)
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC (2019)
Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
Swarm Model Checking on the GPU. SPIN (2019)
Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek (2019)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural state classification for hybrid systems. SNR (2019)
Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
Neural Predictive Monitoring. RV (2019)
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS (2019)
Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. 16 (5) (2019)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek (2018)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC (2018)
Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR (2018)
Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. CoRR (2018)
Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Neural State Classification for Hybrid Systems. ATVA (2018)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs rule-based control for flocking dynamics. SAC (2018)
Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR (2018)
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CMSB (2017)
Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR (2017)
Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR (2017)
Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP (2017)
Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD (2017)
Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR (2017)
Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
How to Learn a Model Checker. CoRR (2017)
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference (2017)
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB (2017)
Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR (2017)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CAV (1) (2017)
Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. 51 (1) (2017)
Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
Lagrangian Reachabililty. CoRR (2017)
Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
Declarative vs Rule-based Control for Flocking Dynamics. CoRR (2017)
Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB (2016)
Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR (2016)
Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. HLDVT (2016)
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
Regular Expressions for Irregular Rhythms. CoRR (2016)
Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) (2016)
Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR (2016)
Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS 119 (2016)
Md. Ariful Islam, Hyun-Kyung Lim, Nicola Paoletti, Houssam Abbas, Zhihao Jiang, Jacek Cyranka, Rance Cleaveland, Sicun Gao, Edmund M. Clarke, Radu Grosu, Rahul Mangharam, Elizabeth Cherry, Flavio H. Fenton, Richard A. Gray, James Glimm, Shan Lin, Qinsi Wang, Scott A. Smolka
CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM (2016)
Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. 599 (2015)
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
Abstract Model Repair. Log. Methods Comput. Sci. 11 (3) (2015)
Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
-decidability over the reals. HSCC (2015)
Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
A survey on unmanned aerial vehicle collision avoidance systems. CoRR (2015)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. HSB (2015)
Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC (2015)
Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
Model Checking Tap Withdrawal in C. Elegans. CoRR (2015)
Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV (2015)
Ezio Bartocci, Sicun Gao, Scott A. Smolka
Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) (2014)
Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka
Towards a GPGPU-parallel SPIN model checker. SPIN (2014)

Scott A. Smolka.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Scott A. Smolka