Scott A. Smolka

276 papers A* 22A 14B 33C 12Misc 6Journal 93Unranked 90

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Barrier Certificate-Based Simplex Architecture for Systems With Approximate and Hybrid Dynamics. IEEE Access Amol Damare, Shouvik Roy, Roshan Sharma, Keith D'Souza, Scott A. Smolka, Scott D. Stoller
2025	J	`jnl`	An STREL-based Formulation of Spatial Resilience in Cyber-Physical Systems. CoRR Zeyu Zhang, Hongkai Chen, Nicola Paoletti, Shan Lin, Scott A. Smolka
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. CoRR Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	J	`jnl`	Cumulative-Time Signal Temporal Logic. ACM Trans. Embed. Comput. Syst. Hongkai Chen, Zeyu Zhang, Shouvik Roy, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Shan Lin
2025	Misc	`conf`	Enhanced File System Testing through Input and Output Coverage. SYSTOR Yifei Liu, Geoff Kuenning, Md. Kamal Parvez, Scott A. Smolka, Erez Zadok
2025	J	`jnl`	Handling Open-Vocabulary Constructs in Formalizing Specifications: Retrieval-Augmented Parsing with Expert Knowledge. CoRR Mohammad Saqib Hasan, Sayontan Ghosh, Dhruv Verma, Geoff Kuenning, Erez Zadok, Scott A. Smolka, Niranjan Balasubramanian
2025	J	`jnl`	The black-box simplex architecture for runtime assurance of multi-agent CPS. Innov. Syst. Softw. Eng. Sanaz Sheikhi, Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2024	A*	`conf`	Biosignal Authentication Considered Harmful Today. USENIX Security Symposium Veena Krish, Nicola Paoletti, Milad Kazemi, Scott A. Smolka, Amir Rahmati
2024	J	`jnl`	Fault diagnosis of Discrete Event Systems under uncertain initial conditions. Expert Syst. Appl. Ali Karimoddini, Scott A. Smolka, Mohammad Karimadini
2024	A*	`conf`	Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2024	A	`conf`	Metis: File System Model Checking via Versatile Input and State Exploration. FAST Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok
2024	—	`conf`	Two Decades of Industrializing Formal Verification: The Reactis Story. SPIN Rance Cleaveland, David Hansel, Steve Sims, Scott A. Smolka
2023	J	`jnl`	A distributed simplex architecture for multi-agent systems. J. Syst. Archit. Usama Mehmood, Shouvik Roy, Amol Damare, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2023	—	`conf`	An STL-based Approach to Resilient Control for Cyber-Physical Systems. HSCC Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
2023	—	`conf`	Input and Output Coverage Needed in File System Testing. HotStorage Yifei Liu, Gautam Ahuja, Geoff Kuenning, Scott A. Smolka, Erez Zadok
2023	A*	`conf`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking. ICRA Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2023	J	`jnl`	Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs. IEEE Access Veena Krish, Nicola Paoletti, Scott A. Smolka, Amir Rahmati
2022	B	`conf`	A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. RV Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
2022	—	`conf`	An STL-Based Formulation of Resilience in Cyber-Physical Systems. FORMATS Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
2022	J	`jnl`	An STL-based Approach to Resilient Control for Cyber-Physical Systems. CoRR Hongkai Chen, Scott A. Smolka, Nicola Paoletti, Shan Lin
2022	J	`jnl`	An STL-based Formulation of Resilience in Cyber-Physical Systems. CoRR Hongkai Chen, Shan Lin, Scott A. Smolka, Nicola Paoletti
2022	A*	`conf`	GoTube: Scalable Statistical Verification of Continuous-Depth Models. AAAI Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2022	J	`jnl`	Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version). CoRR Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2022	J	`jnl`	Runtime-Assured, Real-Time Neural Control of Microgrids. CoRR Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller
2022	B	`conf`	SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications. LREC Sayontan Ghosh, Amanpreet Singh, Alex Merenstein, Wei Su, Scott A. Smolka, Erez Zadok, Niranjan Balasubramanian
2022	—	`conf`	The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS. NFM Usama Mehmood, Sanaz Sheikhi, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2022	—	`conf`	Towards Drone Flocking Using Relative Distance Measurements. ISoLA (3) Andreas Brandstätter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu
2021	Misc	`conf`	A Distributed Simplex Architecture for Multi-agent Systems. SETTA Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2021	—	`conf`	Collision-Free 3D Flocking Using the Distributed Simplex Architecture. Formal Methods in Outer Space Usama Mehmood, Scott D. Stoller, Radu Grosu, Scott A. Smolka
2021	C	`conf`	Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding. ACC Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2021	J	`jnl`	GoTube: Scalable Stochastic Verification of Continuous-Depth Models. CoRR Sophie Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu
2021	—	`conf`	Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts. CinC 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
2021	J	`jnl`	Kanellakis-Smolka 1983: A Convolution of Circumstances. SIGACT News Scott A. Smolka
2021	—	`conf`	MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas. CDC Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2021	—	`conf`	Model-Checking Support for File System Development. HotStorage Wei Su, Yifei Liu, Gomathi Ganesan, Gerard J. Holzmann, Scott A. Smolka, Erez Zadok, Geoff Kuenning
2021	J	`jnl`	Neural predictive monitoring and a comparison of frequentist and Bayesian approaches. Int. J. Softw. Tools Technol. Transf. Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2021	A*	`conf`	On the Verification of Neural ODEs with Stochastic Guarantees. AAAI Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2021	J	`jnl`	Safe CPS from Unsafe Controllers. CoRR Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2021	—	`conf`	Safe CPS from unsafe controllers. CAADCPS@CPSIoTWeek Usama Mehmood, Stanley Bak, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	A Distributed Simplex Architecture for Multi-Agent Systems. CoRR Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka
2020	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2020	—	`conf`	Bayesian Neural Predictive Monitoring. OVERLAY Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	Data-Driven Robust Control for a Closed-Loop Artificial Pancreas. IEEE ACM Trans. Comput. Biol. Bioinform. Nicola Paoletti, Kin Sum Liu, Hongkai Chen, Scott A. Smolka, Shan Lin
2020	—	`conf`	Lagrangian Reachtubes: The Next Generation. CDC Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Lagrangian Reachtubes: The Next Generation. CoRR Sophie Gruenbacher, Jacek Cyranka, Mathias Lechner, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2020	—	`conf`	Learning Distributed Controllers for V-Formation. ACSOS Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	Learning Distributed Controllers for V-Formation. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	J	`jnl`	MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas. CoRR Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2020	B	`conf`	Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. FoSSaCS Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2020	—	`conf`	Neural Simplex Architecture. NFM Dung T. Phan, Radu Grosu, Nils Jansen, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2020	J	`jnl`	On The Verification of Neural ODEs with Stochastic Guarantees. CoRR Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu
2020	J	`jnl`	Swarm model checking on the GPU. Int. J. Softw. Tools Technol. Transf. Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
2020	J	`jnl`	V-Formation via Model Predictive Control. CoRR Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang
2019	J	`jnl`	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. CoRR Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2019	C	`conf`	Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes. ACC Hongkai Chen, Nicola Paoletti, Scott A. Smolka, Shan Lin
2019	Misc	`conf`	Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2019	J	`jnl`	Neural Flocking: MPC-based Supervised Learning of Flocking Controllers. CoRR Shouvik Roy, Usama Mehmood, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari
2019	B	`conf`	Neural Predictive Monitoring. RV Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Neural Simplex Architecture. CoRR Dung T. Phan, Nicola Paoletti, Radu Grosu, Nils Jansen, Scott A. Smolka, Scott D. Stoller
2019	—	`conf`	Neural state classification for hybrid systems. SNR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2019	J	`jnl`	Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans. Theor. Comput. Sci. Md. Ariful Islam, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2019	J	`jnl`	Quantitative Regular Expressions for Arrhythmia Detection. IEEE ACM Trans. Comput. Biol. Bioinform. Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2019	—	`ch.`	Statistical Model Checking. Computing and Software Science Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu
2019	—	`conf`	Swarm Model Checking on the GPU. SPIN Richard DeFrancisco, Shenghsun Cho, Michael Ferdman, Scott A. Smolka
2019	—	`conf`	Synthesizing stealthy reprogramming attacks on cardiac devices. ICCPS Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2019	—	`conf`	Under the Hood of a Stand-Alone Lagrangian Reachability Tool. ARCH@CPSIoTWeek Sophie Gruenbacher, Jacek Cyranka, Md. Ariful Islam, Max Tschaikowski, Scott A. Smolka, Radu Grosu
2018	J	`jnl`	Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2018	Misc	`conf`	Declarative vs rule-based control for flocking dynamics. SAC Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2018	B	`conf`	Neural State Classification for Hybrid Systems. ATVA Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	J	`jnl`	Neural State Classification for Hybrid Systems. CoRR Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2018	—	`ch.`	Process Algebra and Model Checking. Handbook of Model Checking Rance Cleaveland, A. W. Roscoe, Scott A. Smolka
2018	—	`conf`	Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu
2018	J	`jnl`	Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices. CoRR Nicola Paoletti, Zhihao Jiang, Md. Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka
2018	—	`conf`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CDC Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2018	J	`jnl`	Tight Continuous-Time Reachtubes for Lagrangian Reachability. CoRR Jacek Cyranka, Md. Ariful Islam, Scott A. Smolka, Sicun Gao, Radu Grosu
2017	—	`conf`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. ACSD Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	J	`jnl`	A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems. CoRR Dung T. Phan, Junxing Yang, Matthew Clark, Radu Grosu, John D. Schierman, Scott A. Smolka, Scott D. Stoller
2017	B	`conf`	A Simplex Architecture for Hybrid Systems Using Barrier Certificates. SAFECOMP Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller
2017	—	`conf`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2017	B	`conf`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu
2017	J	`jnl`	Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. CoRR Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017	J	`jnl`	Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles. Formal Methods Syst. Des. Dung T. Phan, Junxing Yang, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2017	—	`conf`	Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CMSB Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
2017	J	`jnl`	Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties. CoRR Nicola Paoletti, Kin Sum Liu, Scott A. Smolka, Shan Lin
2017	J	`jnl`	Declarative vs Rule-based Control for Flocking Dynamics. CoRR Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka
2017	J	`jnl`	How to Learn a Model Checker. CoRR Dung T. Phan, Radu Grosu, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller
2017	—	`conf`	Lagrangian Reachabililty. CAV (1) Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	Lagrangian Reachabililty. CoRR Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu
2017	J	`jnl`	Model Checking Cyber-Physical Systems using Particle Swarm Optimization. CoRR Dung T. Phan, Scott A. Smolka, Radu Grosu, Usama Mehmood, Scott D. Stoller, Junxing Yang
2017	—	`conf`	Quantitative Regular Expressions for Arrhythmia Detection Algorithms. CMSB Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2017	—	`conf`	SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. Haifa Verification Conference Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2016	J	`jnl`	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu
2016	—	`conf`	Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability. CMSB Md. Ariful Islam, Greg Byrne, Soonho Kong, Edmund M. Clarke, Rance Cleaveland, Flavio H. Fenton, Radu Grosu, Paul L. Jones, Scott A. Smolka
2016	—	`conf`	CyberCardia project: Modeling, verification and validation of implantable cardiac devices. BIBM 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
2016	J	`jnl`	EATCS Fellows' Advice to the Young Theoretical Computer Scientist. Bull. EATCS Luca Aceto, Mariangiola Dezani-Ciancaglini, Yuri Gurevich, David Harel, Monika Henzinger, Giuseppe F. Italiano, Scott A. Smolka, Paul G. Spirakis, Wolfgang Thomas
2016	—	`conf`	Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu
2016	B	`conf`	Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. CONCUR Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari
2016	—	`conf`	Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans. HLDVT Md. Ariful Islam, Qinsi Wang, Ramin M. Hasani, Ondrej Balun, Edmund M. Clarke, Radu Grosu, Scott A. Smolka
2016	J	`jnl`	Regular Expressions for Irregular Rhythms. CoRR Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2015	J	`jnl`	A survey on unmanned aerial vehicle collision avoidance systems. CoRR Hung Pham, Scott A. Smolka, Scott D. Stoller, Dung T. Phan, Junxing Yang
2015	J	`jnl`	Abstract Model Repair. Log. Methods Comput. Sci. George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
2015	B	`conf`	Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. RV Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller
2015	—	`conf`	Computing bisimulation functions using SOS optimization and HSCC Abhishek Murthy, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2015	—	`conf`	Model Checking Tap Withdrawal in C. Elegans. HSB Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model Checking Tap Withdrawal in C. Elegans. CoRR Md. Ariful Islam, Richard DeFrancisco, Chuchu Fan, Radu Grosu, Sayan Mitra, Scott A. Smolka
2015	J	`jnl`	Model-order reduction of ion channel dynamics using approximate bisimulation. Theor. Comput. Sci. Md. Ariful Islam, Abhishek Murthy, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2015	—	`conf`	Neural Programming: Towards adaptive control in Cyber-Physical Systems. CDC Konstantin Selyunin, Denise Ratasich, Ezio Bartocci, Md. Ariful Islam, Scott A. Smolka, Radu Grosu
2014	—	`conf`	Compositional Branching-Time Measurements. FPS@ETAPS Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2014	—	`conf`	Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. ISoLA (2) 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
2014	—	`conf`	Compositionality results for cardiac cell dynamics. HSCC Md. Ariful Islam, Abhishek Murthy, Antoine Girard, Scott A. Smolka, Radu Grosu
2014	J	`jnl`	Hybrid Systems and Biology. Inf. Comput. Ezio Bartocci, Luca Bortolussi, Scott A. Smolka
2014	—	`conf`	Medical Cyber-Physical Systems - (Track Introduction). ISoLA (2) Ezio Bartocci, Sicun Gao, Scott A. Smolka
2014	B	`ed.`	Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings RV Borzoo Bonakdarpour, Scott A. Smolka
2014	Misc	`conf`	Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller
2014	—	`conf`	Towards a GPGPU-parallel SPIN model checker. SPIN Ezio Bartocci, Richard DeFrancisco, Scott A. Smolka
2014	—	`conf`	Using Statistical Model Checking for Measuring Systems. ISoLA (2) Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang
2013	J	`jnl`	Curvature Analysis of Cardiac Excitation Wavefronts. IEEE ACM Trans. Comput. Biol. Bioinform. Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Elizabeth Cherry, Scott A. Smolka, Radu Grosu
2013	B	`conf`	Runtime Verification with Particle Filtering. RV Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu
2013	A	`ed.`	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 TACAS Nir Piterman, Scott A. Smolka
2012	—	`conf`	Abstract Model Repair. NASA Formal Methods George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros
2012	B	`conf`	Adaptive Runtime Verification. RV Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster
2012	—	`conf`	Approximate Bisimulations for Sodium Channel Dynamics. CMSB Abhishek Murthy, Md. Ariful Islam, Ezio Bartocci, Elizabeth Cherry, Flavio H. Fenton, James Glimm, Scott A. Smolka, Radu Grosu
2012	J	`jnl`	InterAspect: aspect-oriented instrumentation with GCC. Formal Methods Syst. Des. Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2012	J	`jnl`	Model Checking with Probabilistic Tabled Logic Programming CoRR Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
2012	J	`jnl`	Model checking with probabilistic tabled logic programming. Theory Pract. Log. Program. Andrey Gorlin, C. R. Ramakrishnan, Scott A. Smolka
2012	B	`conf`	On Temporal Logic and Signal Processing. ATVA Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka
2012	J	`jnl`	Software monitoring with controllable overhead. Int. J. Softw. Tools Technol. Transf. Xiaowan Huang, Justin Seyster, Sean Callanan, Ketan Dixit, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	C	`conf`	A Change of Perspective Yields Formal Analysis. SEW Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci
2011	—	`conf`	Curvature analysis of cardiac excitation wavefronts. CMSB Abhishek Murthy, Ezio Bartocci, Flavio H. Fenton, James Glimm, Richard A. Gray, Scott A. Smolka, Radu Grosu
2011	—	`conf`	Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka
2011	A*	`conf`	From Cardiac Cells to Genetic Regulatory Networks. CAV Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011	A	`conf`	Model Repair for Probabilistic Systems. TACAS Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
2011	—	`conf`	Model discovery for energy-aware computing systems: An experimental evaluation. IGCC Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	Misc	`conf`	On the energy consumption and performance of systems software. SYSTOR Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2011	B	`conf`	Runtime Verification with State Estimation. RV Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok
2011	—	`conf`	Toward real-time simulation of cardiac dynamics. CMSB Ezio Bartocci, Elizabeth Cherry, James Glimm, Radu Grosu, Scott A. Smolka, Flavio H. Fenton
2011	J	`jnl`	Using integer clocks to verify clock-synchronization protocols. Innov. Syst. Softw. Eng. Xiaowan Huang, Anu Singh, Scott A. Smolka
2010	J	`jnl`	A process calculus for Mobile Ad Hoc Networks. Sci. Comput. Program. Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2010	B	`conf`	Aspect-Oriented Instrumentation with GCC. RV Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2010	—	`conf`	Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
2010	—	`conf`	Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol. NASA Formal Methods Xiaowan Huang, Anu Singh, Scott A. Smolka
2009	B	`conf`	Dynamic Path Reduction for Software Model Checking. IFM Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu
2009	J	`jnl`	Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM Radu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci
2009	J	`jnl`	Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu
2009	B	`conf`	Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2008	C	`conf`	A Process Calculus for Mobile Ad Hoc Networks. COORDINATION Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
2008	J	`jnl`	CellExcite: an efficient simulation environment for excitable cells. BMC Bioinform. Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2008	—	`conf`	Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB Pei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva
2008	—	`conf`	Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska
2008	B	`conf`	Power Optimization in Fault-Tolerant MANETs. MASCOTS Oliviero Riganelli, Radu Grosu, Scott A. Smolka
2008	—	`conf`	Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE Oliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka
2008	A	`conf`	Software monitoring with bounded overhead. IPDPS Sean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok
2008	—	`conf`	StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
2007	—	`book`	Introduction to Operating System Design and Implementation - The OSP 2 Approach. Michael Kifer, Scott A. Smolka
2007	—	`conf`	Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC Radu Grosu, Sayan Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka
2007	A	`conf`	Model Predictive Control for Memory Profiling. IPDPS Sean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok
2007	J	`jnl`	Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. Samik Basu, Scott A. Smolka
2007	—	`conf`	Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. FBTC@CONCUR Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka
2006	—	`conf`	A Cycle-Linear Approach to Modeling Action Potentials. EMBC Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
2006	—	`conf`	An Instrumentation-Based Approach to Controller Model Validation. ASWSD Rance Cleaveland, Scott A. Smolka, Steve Sims
2006	A	`conf`	Compiler-assisted software verification using plug-ins. IPDPS Sean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok
2006	—	`conf`	Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop Radu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis
2006	—	`conf`	Efficient Event-Driven Simulation of Excitable Hybrid Automata. EMBC Mike R. True, Emilia Entcheva, Scott A. Smolka, Pei Ye, Radu Grosu
2006	—	`conf`	Hybrid Automata as a Unifying Framework for Modeling Excitable Cells. EMBC Pei Ye, Emilia Entcheva, Scott A. Smolka, Mike R. True, Radu Grosu
2006	B	`conf`	Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
2006	—	`ed.`	Proceedings of the 7th International Workshop on Verification of Infinite-State Systems, INFINITY 2005, San Francisco, CA, USA, August 27, 2005 INFINITY Jirí Srba, Scott A. Smolka
2006	—	`conf`	Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. MBT Sean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok
2005	C	`conf`	A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2005	A	`conf`	FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka
2005	—	`conf`	Monte Carlo Methods for Process Algebra. APC 25 Radu Grosu, Scott A. Smolka
2005	A	`conf`	Monte Carlo Model Checking. TACAS Radu Grosu, Scott A. Smolka
2005	—	`conf`	Open-Source Model Checking. SoftMC@CAV Radu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka
2005	—	`conf`	Preface. INFINITY Jirí Srba, Scott A. Smolka
2005	—	`conf`	Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD Radu Grosu, Scott A. Smolka
2004	J	`jnl`	A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. Int. J. Softw. Tools Technol. Transf. Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
2004	J	`jnl`	Distributed prototyping from validated specifications. J. Syst. Softw. David Hansel, Rance Cleaveland, Scott A. Smolka
2004	C	`conf`	Localizing Program Errors for Cimple Debugging. FORTE Samik Basu, Diptikalyan Saha, Scott A. Smolka
2004	J	`jnl`	On the computational complexity of bisimulation, redux. Inf. Comput. Faron Moller, Scott A. Smolka, Jirí Srba
2004	—	`conf`	Quantitative Model checking. ISoLA (Preliminary proceedings) Radu Grosu, Scott A. Smolka
2004	J	`jnl`	Turing machines, transition systems, and interaction. Inf. Comput. Dina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger
2003	B	`conf`	A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI Ping Yang, C. R. Ramakrishnan, Scott A. Smolka
2003	B	`conf`	A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR Eugene W. Stark, Rance Cleaveland, Scott A. Smolka
2003	A*	`conf`	Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003	J	`jnl`	Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. Int. J. Softw. Tools Technol. Transf. Yifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka
2003	C	`conf`	Generation of All Counter-Examples for Push-Down Systems. FORTE Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka
2003	—	`conf`	Model Checking and Evidence Exploration. ECBS Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka
2003	—	`conf`	On the Computational Complexity of Bisimulation, Redux. PCK50 Faron Moller, Scott A. Smolka
2003	—	`ed.`	PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 PCK50 Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik
2002	—	`conf`	High-confidence operating systems. ACM SIGOPS European Workshop Radu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu
2002	—	`conf`	Vacuity Checking in the Modal Mu-Calculus. AMAST Yifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka
2001	B	`conf`	Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka
2001	A*	`conf`	Automated Software Engineering Using Concurrent Class Machines. ASE Radu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan
2001	C	`conf`	Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping David Hansel, Rance Cleaveland, Scott A. Smolka
2001	—	`conf`	Finite-State Analysis of the CAN Bus Protocol. HASE Michiel van Osch, Scott A. Smolka
2001	—	`book`	Handbook of Process Algebra Jan A. Bergstra, Alban Ponse, Scott A. Smolka
2001	J	`jnl`	Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka
2001	C	`conf`	Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2001	—	`conf`	Turing Machines, Transition Systems, and Interaction. EXPRESS Dina Q. Goldin, Scott A. Smolka, Peter Wegner
2000	—	`conf`	A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction Eugene W. Stark, Scott A. Smolka
2000	C	`conf`	GCCS: A Graphical Coordination Language for System Specification. COORDINATION Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
2000	—	`conf`	Model Checking the Java Meta-Locking Algorithm. ECBS Samik Basu, Scott A. Smolka, Orson R. Ward
2000	J	`jnl`	Practical techniques for the design, specification, verification, and implementation of concurrent systems. ACM SIGSOFT Softw. Eng. Notes Rance Cleaveland, Philip M. Lewis, Scott A. Smolka
2000	—	`conf`	Real-Time Verification Techniques for Untimed Systems. MTCS Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
2000	J	`jnl`	Specification and evaluation of logic-based model checking. ACM SIGSOFT Softw. Eng. Notes C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, David Scott Warren
2000	A	`conf`	Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. RTSS Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka
2000	A	`conf`	Verification of Parameterized Systems Using Logic Program Transformations. TACAS Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
2000	A*	`conf`	XMC: A Logic-Programming-Based Verification Toolset. CAV C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan
1999	—	`conf`	Faster Model Checking for Open Systems. ASIAN Madhavan Mukund, K. Narayan Kumar, Scott A. Smolka
1999	A	`conf`	Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren
1999	J	`jnl`	Local Model Checking and Protocol Analysis. Int. J. Softw. Tools Technol. Transf. Xiaoqun Du, Scott A. Smolka, Rance Cleaveland
1999	B	`conf`	Model Checking the Secure Electronic Transaction (SET) Protocol. MASCOTS Shiyong Lu, Scott A. Smolka
1999	B	`conf`	Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White
1999	J	`jnl`	Testing Preorders for Probabilistic Processes. Inf. Comput. Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen
1998	A*	`conf`	Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. LICS Eugene W. Stark, Scott A. Smolka
1998	A	`conf`	Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka
1998	—	`conf`	Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS K. Narayan Kumar, Rance Cleaveland, Scott A. Smolka
1998	—	`conf`	Logic Programming and Model Checking. PLILP/ALP Baoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren
1998	B	`conf`	Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky
1998	A*	`conf`	Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP Xinxin Liu, Scott A. Smolka
1998	J	`jnl`	Strong Interaction Fairness Via Randomization. IEEE Trans. Parallel Distributed Syst. Yuh-Jzer Joung, Scott A. Smolka
1998	—	`conf`	Tabulation-based Induction Proofs with Application to Automated Verification. TAPD Abhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka
1997	J	`jnl`	Composition and Behaviors of Probabilistic I/O Automata. Theor. Comput. Sci. Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
1997	A*	`conf`	Efficient Model Checking Using Tabled Resolution. CAV Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
1997	B	`conf`	Partial-Order Reduction in the Weak Modal Mu-Calculus. CONCUR Y. S. Ramakrishna, Scott A. Smolka
1997	—	`conf`	Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka
1996	J	`jnl`	A Comprehensive Study of the Complexity of Multiparty Interaction. J. ACM Yuh-Jzer Joung, Scott A. Smolka
1996	C	`conf`	A Theory of Testing for Soft Real-Time Processes. SEKE Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka
1996	J	`jnl`	Concurrency: Theory and Practice. ACM Comput. Surv. Rocco De Nicola, Scott A. Smolka
1996	J	`jnl`	Priority as Extremal Probability. Formal Aspects Comput. Scott A. Smolka, Bernhard Steffen
1996	J	`jnl`	Strategic Directions in Computing Research-Concurrency Working Group Report. Bull. EATCS Rance Cleaveland, Scott A. Smolka
1996	J	`jnl`	Strategic Directions in Concurrency Research. ACM Comput. Surv. Rance Cleaveland, Scott A. Smolka
1996	A	`conf`	Strong Interaction Fairness via Randomization. ICDCS Yuh-Jzer Joung, Scott A. Smolka
1996	A	`conf`	The Concurrency Factory Software Development Environment. TACAS Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1996	A*	`conf`	The Concurrency Factory: A Development Environment for Concurrent Systems. CAV Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky
1995	J	`jnl`	Axiomatizing Probabilistic Processes: ACP with Generative Probabilities Inf. Comput. Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
1995	B	`ed.`	CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings CONCUR Insup Lee, Scott A. Smolka
1995	A*	`conf`	Local Model Checking for Real-Time Systems (Extended Abstract). CAV Oleg Sokolsky, Scott A. Smolka
1995	J	`jnl`	On the Computational Complexity of Bisimulation. ACM Comput. Surv. Faron Moller, Scott A. Smolka
1995	J	`jnl`	Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen
1994	B	`conf`	A Compositional Semantics for Statecharts using Labeled Transition Systems. CONCUR Andrew C. Uselton, Scott A. Smolka
1994	—	`conf`	A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET Andrew C. Uselton, Scott A. Smolka
1994	B	`conf`	Composition and Behaviors of Probabilistic I/O Automata. CONCUR Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark
1994	J	`jnl`	Coordinating First-Order Multiparty Interactions. ACM Trans. Program. Lang. Syst. Yuh-Jzer Joung, Scott A. Smolka
1994	B	`conf`	Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka
1994	A*	`conf`	Incremental Model Checking in the Modal Mu-Calculus. CAV Oleg Sokolsky, Scott A. Smolka
1994	J	`jnl`	On Randomization in Sequential and Distributed Algorithms. ACM Comput. Surv. Rajiv Gupta, Scott A. Smolka, Shaji Bhaskar
1994	A*	`conf`	On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS Shipei Zhang, Oleg Sokolsky, Scott A. Smolka
1994	—	`conf`	The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
1992	A*	`conf`	A Comprehensive Study of the Complexity of Multiparty Interaction. POPL Yuh-Jzer Joung, Scott A. Smolka
1992	B	`conf`	Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). CONCUR Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka
1992	J	`jnl`	OSP: An Environment for Operating System Projects. ACM SIGOPS Oper. Syst. Rev. Michael Kifer, Scott A. Smolka
1992	A*	`conf`	Testing Preorders for Probabilistic Processes. ICALP Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico
1992	C	`conf`	Towards efficient parallelization of equivalence checking algorithms. FORTE Shipei Zhang, Scott A. Smolka
1991	A*	`conf`	Coordinating First-Order Multiparty Interactions. POPL Yuh-Jzer Joung, Scott A. Smolka
1990	—	`conf`	A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication. ICPP (3) Yuh-Jzer Joung, Scott A. Smolka
1990	—	`conf`	Algebraic Reasoning for Probabilistic Concurrent Systems. Programming Concepts and Methods Alessandro Giacalone, Chi-Chang Jou, Scott A. Smolka
1990	J	`jnl`	CCS Expressions, Finite State Processes, and Three Problems of Equivalence Inf. Comput. Paris C. Kanellakis, Scott A. Smolka
1990	J	`jnl`	Data flow analysis of distributed communicating processes. Int. J. Parallel Program. John H. Reif, Scott A. Smolka
1990	B	`conf`	Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. CONCUR Chi-Chang Jou, Scott A. Smolka
1990	B	`conf`	Priority as Extremal Probability. CONCUR Scott A. Smolka, Bernhard Steffen
1990	A*	`conf`	Reactive, Generative, and Stratified Models of Probabilistic Processes LICS Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts
1988	J	`jnl`	Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. IEEE Trans. Software Eng. Alessandro Giacalone, Scott A. Smolka
1988	J	`jnl`	On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. Algorithmica Paris C. Kanellakis, Scott A. Smolka
1988	J	`jnl`	The Complexity of Reachability in Distributed Communicating Processes. Acta Informatica John H. Reif, Scott A. Smolka
1988	—	`conf`	Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone
1987	—	`conf`	A CCS semantics for NIL. Formal Description of Programming Concepts Scott A. Smolka, Robert E. Strom
1987	—	`conf`	Distributed Algorithms for Tree Pattern Matching. WDAG Gurdip Singh, Scott A. Smolka, I. V. Ramakrishnan
1987	—	`conf`	Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV Tommaso Bolognesi, Scott A. Smolka
1985	A*	`conf`	On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. PODC Paris C. Kanellakis, Scott A. Smolka
1984	—	`conf`	On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. FSTTCS Saumya K. Debray, Ariel J. Frank, Scott A. Smolka
1984	—	`conf`	Polynomial-Time Analysis for a Class of Communicating processes. Symposium on Programming Scott A. Smolka
1984	J	`jnl`	Report on the 6th international symposium on programming. ACM SIGPLAN Notices Scott A. Smolka
1984	—	`conf`	Testing Protocol Robustness the CCS Way. PSTV Scott A. Smolka, Ariel J. Frank, Saumya K. Debray
1983	A*	`conf`	CCS Expressions, Finite State Processes, and THree Problems of Equivalence. PODC Paris C. Kanellakis, Scott A. Smolka
1983	J	`jnl`	Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE Trans. Software Eng. Peter Wegner, Scott A. Smolka