Scott A. Smolka
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
86
Venues
35
Active years
1983–2025
Best venue rank
A*
Where they publish
- BCONCUR12 papers
- A*CAV8 papers
- ATACAS8 papers
- BRV7 papers
- CISoLA6 papers
- BATVA3 papers
- CFORTE3 papers
- A*LICS3 papers
- NationalSYSTOR2 papers
- A*ICRA2 papers
- A*AAAI2 papers
- MulticonferenceSAC2 papers
- CCoordination2 papers
- BMASCOTS2 papers
- A*ICALP2 papers
- A*POPL2 papers
- A*PODC2 papers
- AFAST1 paper
- BLREC1 paper
- NationalSETTA1 paper
- BFOSSACS1 paper
- BSAFECOMP1 paper
- UnrankedEDCC1 paper
- CSEW1 paper
- BIFM1 paper
- CPADL1 paper
- BVMCAI1 paper
- BICLP1 paper
- CNSPW1 paper
- CRSP1 paper
- ARTSS1 paper
- BICECCS1 paper
- AICDCS1 paper
- CSEKE1 paper
- BICPP1 paper
Papers
86 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SYSTOR | Enhanced File System Testing through Input and Output Coverage. | Yifei Liu, Geoff Kuenning, Md. Kamal Parvez, Scott A. Smolka, Erez Zadok |
| 2024 | FAST | Metis: File System Model Checking via Versatile Input and State Exploration. | Yifei Liu, Manish Adkar, Gerard J. Holzmann, Geoff Kuenning, Pei Liu, Scott A. Smolka, Wei Su, Erez Zadok |
| 2024 | ICRA | Flock-Formation Control of Multi-Agent Systems using Imperfect Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2023 | ICRA | Multi-Agent Spatial Predictive Control with Application to Drone Flocking. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | AAAI | GoTube: Scalable Statistical Verification of Continuous-Depth Models. | Sophie A. Gruenbacher, Mathias Lechner, Ramin M. Hasani, Daniela Rus, Thomas A. Henzinger, Scott A. Smolka, Radu Grosu |
| 2022 | ISoLA | Towards Drone Flocking Using Relative Distance Measurements. | Andreas Brandsttter, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari, Radu Grosu |
| 2022 | LREC | SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications. | Sayontan Ghosh, Amanpreet Singh, Alex Merenstein, Wei Su, Scott A. Smolka, Erez Zadok, Niranjan Balasubramanian |
| 2022 | RV | A Barrier Certificate-Based Simplex Architecture with Application to Microgrids. | Amol Damare, Shouvik Roy, Scott A. Smolka, Scott D. Stoller |
| 2021 | AAAI | On the Verification of Neural ODEs with Stochastic Guarantees. | Sophie Gruenbacher, Ramin M. Hasani, Mathias Lechner, Jacek Cyranka, Scott A. Smolka, Radu Grosu |
| 2021 | SETTA | A Distributed Simplex Architecture for Multi-agent Systems. | Usama Mehmood, Scott D. Stoller, Radu Grosu, Shouvik Roy, Amol Damare, Scott A. Smolka |
| 2020 | FOSSACS | Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers. | Usama Mehmood, Shouvik Roy, Radu Grosu, Scott A. Smolka, Scott D. Stoller, Ashish Tiwari |
| 2019 | SAC | Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. | Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2019 | RV | Neural Predictive Monitoring. | Luca Bortolussi, Francesca Cairoli, Nicola Paoletti, Scott A. Smolka, Scott D. Stoller |
| 2018 | ATVA | Neural State Classification for Hybrid Systems. | Dung T. Phan, Nicola Paoletti, Timothy Zhang, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2018 | SAC | Declarative vs rule-based control for flocking dynamics. | Usama Mehmood, Nicola Paoletti, Dung T. Phan, Radu Grosu, Shan Lin, Scott D. Stoller, Ashish Tiwari, Junxing Yang, Scott A. Smolka |
| 2017 | ATVA | Attacking the V: On the Resiliency of Adaptive-Horizon MPC. | Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu |
| 2017 | CAV | Lagrangian Reachabililty. | Jacek Cyranka, Md. Ariful Islam, Greg Byrne, Paul L. Jones, Scott A. Smolka, Radu Grosu |
| 2017 | SAFECOMP | A Simplex Architecture for Hybrid Systems Using Barrier Certificates. | Junxing Yang, Md. Ariful Islam, Abhishek Murthy, Scott A. Smolka, Scott D. Stoller |
| 2017 | TACAS | ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. | Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu |
| 2016 | CONCUR | Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control. | Junxing Yang, Radu Grosu, Scott A. Smolka, Ashish Tiwari |
| 2016 | ISoLA | Feedback Control for Statistical Model Checking of Cyber-Physical Systems. | Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu |
| 2015 | RV | Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment. | Dung T. Phan, Junxing Yang, Denise Ratasich, Radu Grosu, Scott A. Smolka, Scott D. Stoller |
| 2014 | EDCC | Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. | Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller |
| 2014 | ISoLA | Medical Cyber-Physical Systems - (Track Introduction). | Ezio Bartocci, Sicun Gao, Scott A. Smolka |
| 2014 | ISoLA | Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices. | 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 | ISoLA | Using Statistical Model Checking for Measuring Systems. | Radu Grosu, Doron A. Peled, C. R. Ramakrishnan, Scott A. Smolka, Scott D. Stoller, Junxing Yang |
| 2013 | RV | Runtime Verification with Particle Filtering. | Kenan Kalajdzic, Ezio Bartocci, Scott A. Smolka, Scott D. Stoller, Radu Grosu |
| 2012 | ATVA | On Temporal Logic and Signal Processing. | Alexandre Donz, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott A. Smolka |
| 2012 | RV | Adaptive Runtime Verification. | Ezio Bartocci, Radu Grosu, Atul Karmarkar, Scott A. Smolka, Scott D. Stoller, Erez Zadok, Justin Seyster |
| 2011 | CAV | From Cardiac Cells to Genetic Regulatory Networks. | Radu Grosu, Grgory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci |
| 2011 | RV | Runtime Verification with State Estimation. | Scott D. Stoller, Ezio Bartocci, Justin Seyster, Radu Grosu, Klaus Havelund, Scott A. Smolka, Erez Zadok |
| 2011 | SEW | A Change of Perspective Yields Formal Analysis. | Radu Grosu, Flavio H. Fenton, Scott A. Smolka, Ezio Bartocci |
| 2011 | SYSTOR | On the energy consumption and performance of systems software. | Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2011 | TACAS | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2010 | RV | Aspect-Oriented Instrumentation with GCC. | Justin Seyster, Ketan Dixit, Xiaowan Huang, Radu Grosu, Klaus Havelund, Scott A. Smolka, Scott D. Stoller, Erez Zadok |
| 2009 | CONCUR | Query-Based Model Checking of Ad Hoc Network Protocols. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2009 | IFM | Dynamic Path Reduction for Software Model Checking. | Zijiang Yang, Bashar Al-Rawi, Karem A. Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu |
| 2008 | Coordination | A Process Calculus for Mobile Ad Hoc Networks. | Anu Singh, C. R. Ramakrishnan, Scott A. Smolka |
| 2008 | MASCOTS | Power Optimization in Fault-Tolerant MANETs. | Oliviero Riganelli, Radu Grosu, Scott A. Smolka |
| 2006 | CONCUR | Probabilistic I/O Automata: Theories of Two Equivalences. | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2005 | PADL | A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. | Ping Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2005 | TACAS | Monte Carlo Model Checking. | Radu Grosu, Scott A. Smolka |
| 2005 | TACAS | FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. | Curtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka |
| 2004 | FORTE | Localizing Program Errors for Cimple Debugging. | Samik Basu, Diptikalyan Saha, Scott A. Smolka |
| 2004 | ISoLA | Quantitative Model checking. | Radu Grosu, Scott A. Smolka |
| 2003 | CAV | Evidence Explorer: A Tool for Exploring Model-Checking Proofs. | Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka |
| 2003 | CONCUR | A Process-Algebraic Language for Probabilistic I/O Automata. | Eugene W. Stark, Rance Cleaveland, Scott A. Smolka |
| 2003 | FORTE | Generation of All Counter-Examples for Push-Down Systems. | Samik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka |
| 2003 | VMCAI | A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. | Ping Yang, C. R. Ramakrishnan, Scott A. Smolka |
| 2001 | ICLP | Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. | K. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka |
| 2001 | NSPW | Model-Carrying Code (MCC): a new paradigm for mobile-code security. | R. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 2001 | RSP | Distributed Prototyping from Validated Specifications. | David Hansel, Rance Cleaveland, Scott A. Smolka |
| 2000 | CAV | XMC: A Logic-Programming-Based Verification Toolset. | C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan |
| 2000 | Coordination | GCCS: A Graphical Coordination Language for System Specification. | Rance Cleaveland, Xiaoqun Du, Scott A. Smolka |
| 2000 | RTSS | Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. | Xiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka |
| 2000 | TACAS | Verification of Parameterized Systems Using Logic Program Transformations. | Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka |
| 1999 | ICECCS | Practical Considerations in Protocol Verification: The E-2C Case Study. | Yifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White |
| 1999 | MASCOTS | Model Checking the Secure Electronic Transaction (SET) Protocol. | Shiyong Lu, Scott A. Smolka |
| 1999 | TACAS | Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. | Yifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren |
| 1998 | CONCUR | Praobabilistic Resource Failure in Real-Time Process Algebra. | Anna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky |
| 1998 | ICALP | Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). | Xinxin Liu, Scott A. Smolka |
| 1998 | LICS | Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. | Eugene W. Stark, Scott A. Smolka |
| 1998 | TACAS | Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). | Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka |
| 1997 | CAV | Efficient Model Checking Using Tabled Resolution. | Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren |
| 1997 | CONCUR | Partial-Order Reduction in the Weak Modal Mu-Calculus. | Y. S. Ramakrishna, Scott A. Smolka |
| 1996 | CAV | The Concurrency Factory: A Development Environment for Concurrent Systems. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1996 | ICDCS | Strong Interaction Fairness via Randomization. | Yuh-Jzer Joung, Scott A. Smolka |
| 1996 | SEKE | A Theory of Testing for Soft Real-Time Processes. | Rance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka |
| 1996 | TACAS | The Concurrency Factory Software Development Environment. | Rance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky |
| 1995 | CAV | Local Model Checking for Real-Time Systems (Extended Abstract). | Oleg Sokolsky, Scott A. Smolka |
| 1994 | CAV | Incremental Model Checking in the Modal Mu-Calculus. | Oleg Sokolsky, Scott A. Smolka |
| 1994 | CONCUR | A Compositional Semantics for Statecharts using Labeled Transition Systems. | Andrew C. Uselton, Scott A. Smolka |
| 1994 | CONCUR | Composition and Behaviors of Probabilistic I/O Automata. | Sue-Hwey Wu, Scott A. Smolka, Eugene W. Stark |
| 1994 | CONCUR | Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. | Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka |
| 1994 | LICS | On the Parallel Complexity of Model Checking in the Modal Mu-Calculus | Shipei Zhang, Oleg Sokolsky, Scott A. Smolka |
| 1992 | CONCUR | Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). | Jos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka |
| 1992 | FORTE | Towards efficient parallelization of equivalence checking algorithms. | Shipei Zhang, Scott A. Smolka |
| 1992 | ICALP | Testing Preorders for Probabilistic Processes. | Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico |
| 1992 | POPL | A Comprehensive Study of the Complexity of Multiparty Interaction. | Yuh-Jzer Joung, Scott A. Smolka |
| 1991 | POPL | Coordinating First-Order Multiparty Interactions. | Yuh-Jzer Joung, Scott A. Smolka |
| 1990 | CONCUR | Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. | Chi-Chang Jou, Scott A. Smolka |
| 1990 | CONCUR | Priority as Extremal Probability. | Scott A. Smolka, Bernhard Steffen |
| 1990 | ICPP | A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication. | Yuh-Jzer Joung, Scott A. Smolka |
| 1990 | LICS | Reactive, Generative, and Stratified Models of Probabilistic Processes | Rob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts |
| 1985 | PODC | On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. | Paris C. Kanellakis, Scott A. Smolka |
| 1983 | PODC | CCS Expressions, Finite State Processes, and THree Problems of Equivalence. | Paris C. Kanellakis, Scott A. Smolka |