default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScott A. Smolka
Person information
- affiliation: Stony Brook University, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j55]Ali Karimoddini
, Scott A. Smolka, Mohammad Karimadini:
Fault diagnosis of Discrete Event Systems under uncertain initial conditions. Expert Syst. Appl. 255: 124549 (2024)- [c172]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: 123-140 - [c171]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: 12193-12200 - [c170]Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati:
Biosignal Authentication Considered Harmful Today. USENIX Security Symposium 2024 - 2023
- [j54]Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati:
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access 11: 4992-5003 (2023) - [j53]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: 102784 (2023) - [c169]Yifei Liu, Gautam Ahuja, Geoff Kuenning, Scott A. Smolka, Erez Zadok:
Input and Output Coverage Needed in File System Testing. HotStorage 2023: 93-101 - [c168]Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC 2023: 2:1-2:12 - [c167]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: 1221-1227 - 2022
- [c166]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: 6755-6764 - [c165]Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS 2022: 117-135 - [c164]Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu:
Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) 2022: 97-109 - [c163]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: 2166-2176 - [c162]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: 231-250 - [c161]Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller:
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. RV 2022: 105-123 - [i32]Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller:
Runtime-Assured, Real-Time Neural Control of Microgrids. CoRR abs/2202.09710 (2022) - [i31]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 abs/2203.16960 (2022) - [i30]Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti:
An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR abs/2205.03961 (2022) - [i29]Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin:
An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR abs/2211.02794 (2022) - 2021
- [j52]Scott A. Smolka:
Kanellakis-Smolka 1983: A Convolution of Circumstances. SIGACT News 52(4): 78-79 (2021) - [j51]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): 615-640 (2021) - [c160]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: 11525-11535 - [c159]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: 2745-2750 - [c158]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: 147-156 - [c157]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC 2021: 2525-2532 - [c156]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: 1-4 - [c155]Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller:
Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek 2021: 26-28 - [c154]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: 103-110 - [c153]Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
A Distributed Simplex Architecture for Multi-agent Systems. SETTA 2021: 239-257 - [i28]Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller:
Safe CPS from Unsafe Controllers. CoRR abs/2102.12981 (2021) - [i27]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 abs/2107.08467 (2021) - 2020
- [j50]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: 180825-180843 (2020) - [j49]Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka:
Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. 22(5): 583-599 (2020) - [j48]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): 1981-1993 (2020) - [c152]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. ACSOS 2020: 119-128 - [c151]Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Lagrangian Reachtubes: The Next Generation. CDC 2020: 1556-1563 - [c150]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: 1-16 - [c149]Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. NFM 2020: 97-114 - [c148]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Bayesian Neural Predictive Monitoring. OVERLAY 2020: 95-100 - [i26]Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang:
V-Formation via Model Predictive Control. CoRR abs/2002.08955 (2020) - [i25]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR abs/2003.01283 (2020) - [i24]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Learning Distributed Controllers for V-Formation. CoRR abs/2006.00680 (2020) - [i23]Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Lagrangian Reachtubes: The Next Generation. CoRR abs/2012.07458 (2020) - [i22]Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu:
On The Verification of Neural ODEs with Stochastic Guarantees. CoRR abs/2012.08863 (2020) - [i21]Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka:
A Distributed Simplex Architecture for Multi-Agent Systems. CoRR abs/2012.10153 (2020)
2010 – 2019
- 2019
- [j47]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): 1586-1597 (2019) - [j46]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: 158-169 (2019) - [c147]Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin:
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC 2019: 4765-4772 - [c146]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: 211-219 - [c145]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: 13-22 - [c144]Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
Neural Predictive Monitoring. RV 2019: 129-147 - [c143]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC 2019: 914-921 - [c142]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural state classification for hybrid systems. SNR 2019: 24-27 - [c141]Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka:
Swarm Model Checking on the GPU. SPIN 2019: 94-113 - [p2]Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu:
Statistical Model Checking. Computing and Software Science 2019: 478-504 - [i20]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 abs/1901.03315 (2019) - [i19]Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller:
Neural Simplex Architecture. CoRR abs/1908.00528 (2019) - [i18]Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari:
Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR abs/1908.09813 (2019) - 2018
- [c140]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. ATVA 2018: 422-440 - [c139]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC 2018: 6854-6861 - [c138]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek 2018: 16-17 - [c137]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: 816-823 - [p1]Rance Cleaveland, A. W. Roscoe, Scott A. Smolka:
Process Algebra and Model Checking. Handbook of Model Checking 2018: 1149-1195 - [i17]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR abs/1805.07929 (2018) - [i16]Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller:
Neural State Classification for Hybrid Systems. CoRR abs/1807.09901 (2018) - [i15]Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu:
Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR abs/1809.07450 (2018) - [i14]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 abs/1810.03808 (2018) - 2017
- [j45]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): 62-86 (2017) - [c136]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: 49-58 - [c135]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: 446-462 - [c134]Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu:
Lagrangian Reachabililty. CAV (1) 2017: 379-400 - [c133]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB 2017: 23-39 - [c132]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: 214-232 - [c131]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: 131-146 - [c130]Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller:
A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP 2017: 117-131 - [c129]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: 286-302 - [i13]Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR abs/1702.00290 (2017) - [i12]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 abs/1703.01257 (2017) - [i11]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 abs/1704.04759 (2017) - [i10]Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu:
Lagrangian Reachabililty. CoRR abs/1705.05927 (2017) - [i9]Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin:
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR abs/1707.02246 (2017) - [i8]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 abs/1707.05229 (2017) - [i7]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 abs/1710.10013 (2017) - [i6]Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller:
How to Learn a Model Checker. CoRR abs/1712.01935 (2017) - 2016
- [j44]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) - [c128]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: 1445-1452 - [c127]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: 132-146 - [c126]Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari:
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR 2016: 4:1-4:5 - [c125]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: 170-177 - [c124]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: 46-61 - [i5]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 abs/1612.07059 (2016) - [i4]Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu:
Regular Expressions for Irregular Rhythms. CoRR abs/1612.07770 (2016) - 2015
- [j43]George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka:
Abstract Model Repair. Log. Methods Comput. Sci. 11(3) (2015) - [j42]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: 34-46 (2015) - [c123]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: 6978-6985 - [c122]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. HSB 2015: 195-210 - [c121]Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu:
Computing bisimulation functions using SOS optimization and δ-decidability over the reals. HSCC 2015: 78-87 - [c120]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: 201-215 - [i3]Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka:
Model Checking Tap Withdrawal in C. Elegans. CoRR abs/1503.06480 (2015) - [i2]Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang:
A survey on unmanned aerial vehicle collision avoidance systems. CoRR abs/1508.07723 (2015) - 2014
- [j41]Ezio Bartocci, Luca Bortolussi, Scott A. Smolka:
Hybrid Systems and Biology. Inf. Comput. 236: 1-2 (2014) - [c119]Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller:
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC 2014: 226-237 - [c118]Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Compositional Branching-Time Measurements. FPS@ETAPS 2014: 118-128 - [c117]Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu:
Compositionality results for cardiac cell dynamics. HSCC 2014: 243-252 - [c116]Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang:
Using Statistical Model Checking for Measuring Systems. ISoLA (2) 2014: 223-238 - [c115]Ezio Bartocci, Sicun Gao, Scott A. Smolka:
Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) 2014: 353-355 - [c114]Radu Grosu, Elizabeth Cherry, Edmund M. Clarke, Rance Cleaveland, Sanjay Dixit, Flavio H. Fenton, Sicun Gao, James Glimm, Richard A. Gray, Rahul Mangharam, Arnab Ray, Scott A. Smolka:
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 2014: 356-364 - [c113]Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka:
Towards a GPGPU-parallel SPIN model checker. SPIN 2014: 87-96 - [e6]Borzoo Bonakdarpour, Scott A. Smolka:
Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Lecture Notes in Computer Science 8734, Springer 2014, ISBN 978-3-319-11163-6 [contents] - 2013
- [j40]Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu:
Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. 10(2): 323-336 (2013) - [c112]Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu:
Runtime Verification with Particle Filtering. RV 2013: 149-166 - [e5]Nir Piterman, Scott A. Smolka:
Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Lecture Notes in Computer Science 7795, Springer 2013, ISBN 978-3-642-36741-0 [contents] - 2012
- [j39]