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)- [c173]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 - [c172]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 - [c171]Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka:
Two Decades of Industrializing Formal Verification: The Reactis Story. SPIN 2024: 87-105 - [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]Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. 41(3): 295-320 (2012) - [j38]Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. 14(3): 327-347 (2012) - [j37]Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka:
Model checking with probabilistic tabled logic programming. Theory Pract. Log. Program. 12(4-5): 681-700 (2012) - [c111]Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka:
On Temporal Logic and Signal Processing. ATVA 2012: 92-106 - [c110]Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu:
Approximate Bisimulations for Sodium Channel Dynamics. CMSB 2012: 267-287 - [c109]George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros:
Abstract Model Repair. NASA Formal Methods 2012: 341-355 - [c108]Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster:
Adaptive Runtime Verification. RV 2012: 168-182 - [i1]Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka:
Model Checking with Probabilistic Tabled Logic Programming. CoRR abs/1204.4736 (2012) - 2011
- [j36]Xiaowan Huang, Anu Singh, Scott A. Smolka:
Using integer clocks to verify clock-synchronization protocols. Innov. Syst. Softw. Eng. 7(2): 119-130 (2011) - [c107]Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci:
From Cardiac Cells to Genetic Regulatory Networks. CAV 2011: 396-411 - [c106]Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton:
Toward real-time simulation of cardiac dynamics. CMSB 2011: 103-112 - [c105]Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu:
Curvature analysis of cardiac excitation wavefronts. CMSB 2011: 151-160 - [c104]Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Model discovery for energy-aware computing systems: An experimental evaluation. IGCC 2011: 1-6 - [c103]Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka:
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE 2011: 360-367 - [c102]Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok:
Runtime Verification with State Estimation. RV 2011: 193-207 - [c101]Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci:
A Change of Perspective Yields Formal Analysis. SEW 2011: 69-76 - [c100]Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
On the energy consumption and performance of systems software. SYSTOR 2011: 8 - [c99]Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka:
Model Repair for Probabilistic Systems. TACAS 2011: 326-340 - 2010
- [j35]Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. 75(6): 440-469 (2010) - [c98]Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka:
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE 2010: 94-103 - [c97]Xiaowan Huang, Anu Singh, Scott A. Smolka:
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. NASA Formal Methods 2010: 77-86 - [c96]Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Aspect-Oriented Instrumentation with GCC. RV 2010: 405-420
2000 – 2009
- 2009
- [j34]Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci:
Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009) - [j33]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu:
Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009) - [c95]Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR 2009: 603-619 - [c94]Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu:
Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336 - 2008
- [j32]Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. 9(S-2) (2008) - [c93]Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka:
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502 - [c92]Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva:
Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155 - [c91]Anu Singh, C. R. Ramakrishnan, Scott A. Smolka:
A Process Calculus for Mobile Ad Hoc Networks. COORDINATION 2008: 296-314 - [c90]Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka:
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370 - [c89]Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska:
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243 - [c88]Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok:
Software monitoring with bounded overhead. IPDPS 2008: 1-8 - [c87]Oliviero Riganelli, Radu Grosu, Scott A. Smolka:
Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380 - 2007
- [b1]Michael Kifer, Scott A. Smolka:
Introduction to Operating System Design and Implementation - The OSP 2 Approach. Undergraduate Topics in Computer Science, Springer 2007, ISBN 978-1-84628-842-5, pp. I-XII, 1-172 - [j31]Samik Basu, Scott A. Smolka:
Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16(3): 12 (2007) - [c86]Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka:
Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258 - [c85]Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok:
Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7 - [c84]Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka:
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR 2007: 51-67 - 2006
- [c83]Rance Cleaveland, Scott A. Smolka, Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97 - [c82]Eugene W. Stark, Rance Cleaveland, Scott A. Smolka:
Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357 - [c81]Mike R. True, Emilia Entcheva, Scott A. Smolka, Pei Ye, Radu Grosu:
Efficient Event-Driven Simulation of Excitable Hybrid Automata. EMBC 2006: 3150-3153 - [c80]Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu:
A Cycle-Linear Approach to Modeling Action Potentials. EMBC 2006: 3931-3934 - [c79]Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu:
Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. EMBC 2006: 4151-4154 - [c78]Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok:
Compiler-assisted software verification using plug-ins. IPDPS 2006 - [c77]Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis:
Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124 - [c76]Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok:
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. MBT 2006: 41-52 - [e4]Jirí Srba, Scott A. Smolka:
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005. Electronic Notes in Theoretical Computer Science 149(1), Elsevier 2006 [contents] - 2005
- [c75]Radu Grosu, Scott A. Smolka:
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14 - [c74]Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127 - [c73]Radu Grosu, Scott A. Smolka:
Monte Carlo Model Checking. TACAS 2005: 271-286 - [c72]Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka:
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS 2005: 563-569 - [c71]Jirí Srba, Scott A. Smolka:
Preface. INFINITY 2005: 1-2 - [c70]Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka:
Open-Source Model Checking. SoftMC@CAV 2005: 27-44 - [c69]Radu Grosu, Scott A. Smolka:
Monte Carlo Methods for Process Algebra. APC 25 2005: 203-207 - 2004
- [j30]Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger:
Turing machines, transition systems, and interaction. Inf. Comput. 194(2): 101-128 (2004) - [j29]Faron Moller, Scott A. Smolka, Jirí Srba:
On the computational complexity of bisimulation, redux. Inf. Comput. 194(2): 129-143 (2004) - [j28]David Hansel, Rance Cleaveland, Scott A. Smolka:
Distributed prototyping from validated specifications. J. Syst. Softw. 70(3): 275-298 (2004) - [j27]Ping Yang, C. R. Ramakrishnan, Scott A. Smolka:
A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. 6(1): 38-66 (2004) - [c68]Samik Basu, Diptikalyan Saha, Scott A. Smolka:
Localizing Program Errors for Cimple Debugging. FORTE 2004: 79-96 - [c67]Radu Grosu, Scott A. Smolka:
Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174 - 2003
- [j26]Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka:
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. Int. J. Softw. Tools Technol. Transf. 4(4): 505-528 (2003) - [c66]Faron Moller, Scott A. Smolka:
On the Computational Complexity of Bisimulation, Redux. PCK50 2003: 55-59 - [c65]Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218 - [c64]Eugene W. Stark, Rance Cleaveland, Scott A. Smolka:
A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203 - [c63]Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka:
Model Checking and Evidence Exploration. ECBS 2003: 214-223 - [c62]Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka:
Generation of All Counter-Examples for Push-Down Systems. FORTE 2003: 79-94 - [c61]Ping Yang, C. R. Ramakrishnan, Scott A. Smolka:
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI 2003: 116-131 - [e3]Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik:
PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003. ACM 2003, ISBN 1-58113-604-8 [contents] - 2002
- [c60]Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka:
Vacuity Checking in the Modal Mu-Calculus. AMAST 2002: 147-162 - [c59]Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu:
High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208 - 2001
- [j25]Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka:
Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001) - [c58]Michiel van Osch, Scott A. Smolka:
Finite-State Analysis of the CAN Bus Protocol. HASE 2001: 42-54 - [c57]K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka:
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP 2001: 227-241 - [c56]Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan:
Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297- - [c55]R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW 2001: 23-30 - [c54]David Hansel, Rance Cleaveland, Scott A. Smolka:
Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102 - [c53]Dina Q. Goldin, Scott A. Smolka, Peter Wegner:
Turing Machines, Transition Systems, and Interaction. EXPRESS 2001: 120-136 - [e2]Jan A. Bergstra, Alban Ponse, Scott A. Smolka:
Handbook of Process Algebra. North-Holland / Elsevier 2001, ISBN 978-0-444-82830-9 [contents] - 2000
- [j24]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka:
Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes 25(1): 43-44 (2000) - [j23]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren:
Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes 25(1): 73-74 (2000) - [c52]Eugene W. Stark, Scott A. Smolka:
A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction 2000: 571-596 - [c51]C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan:
XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580 - [c50]Rance Cleaveland, Xiaoqun Du, Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298 - [c49]Samik Basu, Scott A. Smolka, Orson R. Ward:
Model Checking the Java Meta-Locking Algorithm. ECBS 2000: 342-350 - [c48]Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. RTSS 2000: 175-184 - [c47]Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187 - [c46]Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka:
Real-Time Verification Techniques for Untimed Systems. MTCS 2000: 258-272
1990 – 1999
- 1999
- [j22]Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen:
Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999) - [j21]Xiaoqun Du, Scott A. Smolka, Rance Cleaveland:
Local Model Checking and Protocol Analysis. Int. J. Softw. Tools Technol. Transf. 2(3): 219-241 (1999) - [c45]Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka:
Faster Model Checking for Open Systems. ASIAN 1999: 227-238 - [c44]Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White:
Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS 1999: 153- - [c43]Shiyong Lu, Scott A. Smolka:
Model Checking the Secure Electronic Transaction (SET) Protocol. MASCOTS 1999: 358-364 - [c42]Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren:
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88 - 1998
- [j20]Yuh-Jzer Joung, Scott A. Smolka:
Strong Interaction Fairness Via Randomization. IEEE Trans. Parallel Distributed Syst. 9(2): 137-149 (1998) - [c41]Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404 - [c40]K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka:
Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220 - [c39]Xinxin Liu, Scott A. Smolka:
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66 - [c38]Eugene W. Stark, Scott A. Smolka:
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. LICS 1998: 466-477 - [c37]Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren:
Logic Programming and Model Checking. PLILP/ALP 1998: 1-20 - [c36]Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka:
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19 - [c35]Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka:
Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88 - 1997
- [j19]Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark:
Composition and Behaviors of Probabilistic I/O Automata. Theor. Comput. Sci. 176(1-2): 1-38 (1997) - [c34]Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka:
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST 1997: 185-198 - [c33]Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren:
Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154 - [c32]Y. S. Ramakrishna, Scott A. Smolka:
Partial-Order Reduction in the Weak Modal Mu-Calculus. CONCUR 1997: 5-24 - 1996
- [j18]Rocco De Nicola, Scott A. Smolka:
Concurrency: Theory and Practice. ACM Comput. Surv. 28(4es): 52 (1996) - [j17]Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Concurrency Research. ACM Comput. Surv. 28(4): 607-625 (1996) - [j16]Rance Cleaveland, Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS 60: 97-122 (1996) - [j15]Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. Formal Aspects Comput. 8(5): 585-606 (1996) - [j14]Yuh-Jzer Joung, Scott A. Smolka:
A Comprehensive Study of the Complexity of Multiparty Interaction. J. ACM 43(1): 75-115 (1996) - [c31]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401 - [c30]Yuh-Jzer Joung, Scott A. Smolka:
Strong Interaction Fairness via Randomization. ICDCS 1996: 475-483 - [c29]Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479 - [c28]Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky:
The Concurrency Factory Software Development Environment. TACAS 1996: 391-395 - 1995
- [j13]Faron Moller, Scott A. Smolka:
On the Computational Complexity of Bisimulation. ACM Comput. Surv. 27(2): 287-289 (1995) - [j12]Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen:
Reactive, Generative and Stratified Models of Probabilistic Processes. Inf. Comput. 121(1): 59-80 (1995) - [j11]Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities. Inf. Comput. 121(2): 234-255 (1995) - [c27]Oleg Sokolsky, Scott A. Smolka:
Local Model Checking for Real-Time Systems (Extended Abstract). CAV 1995: 211-224 - [e1]Insup Lee, Scott A. Smolka:
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings. Lecture Notes in Computer Science 962, Springer 1995, ISBN 3-540-60218-6 [contents] - 1994
- [j10]Rajiv Gupta, Scott A. Smolka, Shaji Bhaskar:
On Randomization in Sequential and Distributed Algorithms. ACM Comput. Surv. 26(1): 7-86 (1994) - [j9]Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions. ACM Trans. Program. Lang. Syst. 16(3): 954-985 (1994) - [c26]Oleg Sokolsky, Scott A. Smolka:
Incremental Model Checking in the Modal Mu-Calculus. CAV 1994: 351-363 - [c25]Andrew C. Uselton, Scott A. Smolka:
A Compositional Semantics for Statecharts using Labeled Transition Systems. CONCUR 1994: 2-17 - [c24]Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka:
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512 - [c23]Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark:
Composition and Behaviors of Probabilistic I/O Automata. CONCUR 1994: 513-528 - [c22]Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang:
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms 1994: 75-89 - [c21]Shipei Zhang, Oleg Sokolsky, Scott A. Smolka:
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus. LICS 1994: 154-163 - [c20]Andrew C. Uselton, Scott A. Smolka:
A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET 1994: 267-286 - 1992
- [j8]Michael Kifer, Scott A. Smolka:
OSP: An Environment for Operating System Projects. ACM SIGOPS Oper. Syst. Rev. 26(4): 98-100 (1992) - [c19]Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka:
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). CONCUR 1992: 472-485 - [c18]Shipei Zhang, Scott A. Smolka:
Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135 - [c17]Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico:
Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719 - [c16]Yuh-Jzer Joung, Scott A. Smolka:
A Comprehensive Study of the Complexity of Multiparty Interaction. POPL 1992: 142-153 - 1991
- [c15]Yuh-Jzer Joung, Scott A. Smolka:
Coordinating First-Order Multiparty Interactions. POPL 1991: 209-220 - 1990
- [j7]Paris C. Kanellakis, Scott A. Smolka:
CCS Expressions, Finite State Processes, and Three Problems of Equivalence. Inf. Comput. 86(1): 43-68 (1990) - [j6]John H. Reif, Scott A. Smolka:
Data flow analysis of distributed communicating processes. Int. J. Parallel Program. 19(1): 1-30 (1990) - [c14]Chi-Chang Jou, Scott A. Smolka:
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. CONCUR 1990: 367-383 - [c13]Scott A. Smolka, Bernhard Steffen:
Priority as Extremal Probability. CONCUR 1990: 456-466 - [c12]Yuh-Jzer Joung, Scott A. Smolka:
A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication. ICPP (3) 1990: 311-318 - [c11]Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka:
Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods 1990: 443-458 - [c10]Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes. LICS 1990: 130-141
1980 – 1989
- 1988
- [j5]John H. Reif, Scott A. Smolka:
The Complexity of Reachability in Distributed Communicating Processes. Acta Informatica 25(3): 333-354 (1988) - [j4]Paris C. Kanellakis, Scott A. Smolka:
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. Algorithmica 3: 421-450 (1988) - [j3]Alessandro Giacalone, Scott A. Smolka:
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. IEEE Trans. Software Eng. 14(6): 787-802 (1988) - [c9]Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone:
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 140-152 - 1987
- [c8]Scott A. Smolka, Robert E. Strom:
A CCS semantics for NIL. Formal Description of Programming Concepts 1987: 347-376 - [c7]Tommaso Bolognesi, Scott A. Smolka:
Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV 1987: 165-179 - [c6]Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan:
Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107 - 1985
- [c5]Paris C. Kanellakis, Scott A. Smolka:
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. PODC 1985: 23-38 - 1984
- [j2]Scott A. Smolka:
Report on the 6th international symposium on programming. ACM SIGPLAN Notices 19(8): 104-105 (1984) - [c4]Saumya K. Debray, Ariel J. Frank, Scott A. Smolka:
On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. FSTTCS 1984: 136-151 - [c3]Scott A. Smolka:
Polynomial-Time Analysis for a Class of Communicating processes. Symposium on Programming 1984: 250-262 - [c2]Scott A. Smolka, Ariel J. Frank, Saumya K. Debray:
Testing Protocol Robustness the CCS Way. PSTV 1984: 93-108 - 1983
- [j1]Peter Wegner, Scott A. Smolka:
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE Trans. Software Eng. 9(4): 446-462 (1983) - [c1]Paris C. Kanellakis, Scott A. Smolka:
CCS Expressions, Finite State Processes, and THree Problems of Equivalence. PODC 1983: 228-240
Coauthor Index
[c172] [j53] [c167] [c166] [c164] [i31] [c160] [c159] [c158] [c153] [i27] [c152] [c151] [c150] [c149] [i26] [i24] [i23] [i22] [i21] [j47] [j46] [c146] [c143] [c142] [p2] [i19] [i18] [c140] [c139] [c138] [c137] [i17] [i16] [i15] [j45] [c136] [c135] [c134] [c133] [c129] [i13] [i12] [i11] [i10] [i7] [i6] [c128] [c127] [c126] [c125] [c124] [i5] [i4] [j42] [c123] [c122] [c121] [c120] [i3] [c118] [c117] [c116] [c114] [j40] [c112] [j39] [j38] [c111] [c110] [c108] [c107] [c106] [c105] [c104] [c102] [c101] [c100] [c99] [c96] [j34] [j33] [c94] [j32] [c93] [c92] [c90] [c89] [c88] [c87] [c86] [c85] [c84] [c81] [c80] [c79] [c78] [c77] [c76] [c75] [c73] [c70] [c69] [c67] [c59] [c56]
[c172] [j53] [c167] [c164] [c162] [c161] [i32] [i31] [j51] [c159] [c158] [c155] [c153] [i28] [c152] [c150] [c149] [c148] [i24] [i21] [c144] [c142] [i19] [i18] [c140] [c137] [i16] [j45] [c136] [c130] [i12] [i11] [i7] [i6] [c120] [i2] [c119] [c118] [c116] [c112] [j39] [j38] [c108] [c104] [c102] [c100] [c96] [c88] [c56]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
