Scott A. Smolka

Scott A. Smolka's AcademicInfluence.com Rankings

Scott A. Smolka

Computer Science

#9544

World Rank

#10019

Historical Rank

Database

#6511

World Rank

#6746

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Scott A. Smolka's Degrees

PhD Computer Science University of California, Berkeley
Masters Computer Science University of California, Berkeley
Bachelors Computer Science University of California, Berkeley

Similar Degrees You Can Earn

Why Is Scott A. Smolka Influential?

(Suggest an Edit or Addition)

(See a Problem?)

Scott A. Smolka's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

CCS expressions, finite state processes, and three problems of equivalence (1983) (710)
Handbook of Process Algebra (2001) (612)
Reactive, generative, and stratified models of probabilistic processes (1990) (578)
Algebraic Reasoning for Probabilistic Concurrent Systems (1990) (273)
Efficient Model Checking Using Tabled Resolution (1997) (234)
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities (1995) (223)
Interactive Computation: The New Paradigm (2006) (204)
Monte Carlo Model Checking (2005) (203)
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes (1990) (202)
Composition and Behaviors of Probabilistic I/O Automata (1994) (180)
Testing Preorders for Probabilistic Processes (1992) (153)
A process calculus for Mobile Ad Hoc Networks (2008) (138)
Turing Machines, Transition Systems, and Interaction (2002) (131)
Model Repair for Probabilistic Systems (2011) (129)
Runtime Verification with State Estimation (2011) (116)
Incremental Model Checking in the Modal Mu-Calculus (1994) (106)
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract) (1998) (104)
From Cardiac Cells to Genetic Regulatory Networks (2011) (97)
CONCUR '95: Concurrency Theory (1995) (96)
Learning and detecting emergent behavior in networks of cardiac myocytes (2008) (90)
On Temporal Logic and Signal Processing (2012) (88)
A Compositional Semantics for Statecharts using Labeled Transition Systems (1994) (85)
Fundamental Results for the Verification of Observational Equivalence: A Survey (1987) (81)
Strategic directions in concurrency research (1996) (79)
On randomization in sequential and distributed algorithms (1994) (75)
Local Model Checking for Real-Time Systems (Extended Abstract) (1995) (71)
A survey on unmanned aerial vehicle collision avoidance systems (2015) (69)
Model checking the secure electronic transaction (SET) protocol (1999) (68)
XMC: A Logic-Programming-Based Verification Toolset (2000) (68)
Adaptive Runtime Verification (2012) (67)
Safety-liveness semantics for UML 2.0 sequence diagrams (2005) (65)
Toward real-time simulation of cardiac dynamics (2011) (64)
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract) (1998) (64)
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (1999) (61)
Software monitoring with controllable overhead (2012) (61)
Model-Carrying Code (MCC): a new paradigm for mobile-code security (2001) (60)
A logical encoding of the π-calculus: model checking mobile processes using tabled resolution (2002) (60)
The Concurrency Factory: A Development Environment for Concurrent Systems (1996) (56)
Logic Programming and Model Checking (1998) (55)
Verification of Parameterized Systems Using Logic Program Transformations (2000) (53)
Efficient Modeling of Excitable Cells Using Hybrid Automata (2005) (52)
A comprehensive study of the complexity of multiparty interaction (1992) (48)
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems (1988) (48)
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes (1994) (47)
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems (1994) (46)
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives (1983) (44)
Modelling excitable cells using cycle-linear hybrid automata. (2008) (43)
A complete axiom system for finite-state probabilistic processes (2000) (43)
Runtime Verification with Particle Filtering (2013) (40)
Neural Simplex Architecture (2019) (38)
Partial-Order Reduction in the Weak Modal Mu-Calculus (1997) (38)
Abstract Model Repair (2012) (37)
OSP: an environment for operating system projects (1991) (36)
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking (2010) (35)
A Process Algebraic Semantics for Statecharts via State Refinement (1994) (35)
Eecient Model Checking Using Tabled Resolution ? (1997) (34)
Hybrid Systems and Biology (2008) (33)
Modeling and simulation of cardiac tissue using hybrid I/O automata (2009) (33)
Query-Based Model Checking of Ad Hoc Network Protocols (2009) (32)
Compositional analysis of expected delays in networks of probabilistic I/O automata (1998) (31)
Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking (2003) (31)
Runtime Assurance Framework Development for Highly Adaptive Flight Control Systems (2015) (30)
Finite-state analysis of the CAN bus protocol (2001) (30)
Strong interaction fairness via randomization (1996) (29)
A comprehensive study of the complexity of multiparty interaction (1996) (29)
Tabled resolution + constraints: a recipe for model checking real-time systems (2000) (29)
On the parallel complexity of model checking in the modal mu-calculus (1994) (28)
Analysis of communicating finite-state processes (1984) (28)
Model checking the Java meta-locking algorithm (2000) (28)
Aspect-Oriented Instrumentation with GCC (2010) (28)
An Instrumentation-Based Approach to Controller Model Validation (2006) (28)
Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems (1988) (27)
Priority as extremal probability (1990) (26)
Towards a GPGPU-parallel SPIN model checker (2014) (26)
Coordinating first-order multiparty interactions (1994) (25)
Learning Cycle-Linear Hybrid Automata for Excitable Cells (2007) (25)
Local model checking and protocol analysis (1999) (24)
Model checking and evidence exploration (2003) (24)
A Process-Algebraic Language for Probabilistic I/O Automata (2003) (24)
On The Verification of Neural ODEs with Stochastic Guarantees (2020) (22)
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles (2017) (22)
On the computational complexity of bisimulation (1995) (22)
Praobabilistic Resource Failure in Real-Time Process Algebra (1998) (21)
Quantitative Model checking (2004) (21)
A Component-Based Simplex Architecture for High-Assurance Cyber-Physical Systems (2017) (21)
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking (2011) (21)
Using Statistical Model Checking for Measuring Systems (2014) (21)
A Theory of Testing for Soft Real-Time Processes (1996) (20)
Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise Uncertainties (2017) (20)
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (2016) (20)
Feedback Control for Statistical Model Checking of Cyber-Physical Systems (2016) (20)
CellExcite: an efficient simulation environment for excitable cells (2008) (19)
Neural Predictive Monitoring (2019) (19)
On the analysis of cooperation and antagonism in networks of communicating processes (1985) (18)
Teaching cardiac electrophysiology modeling to undergraduate students: laboratory exercises and GPU programming for the study of arrhythmias and spiral wave dynamics. (2011) (18)
Compositionality results for cardiac cell dynamics (2014) (17)
Coordinating first-order multiparty interactions (1991) (17)
GCCS: A Graphical Coordination Language for System Specification (2000) (17)
A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication (1990) (17)
Vacuity Checking in the Modal Mu-Calculus (2002) (16)
Neural state classification for hybrid systems (2018) (16)
Tools and Algorithms for the Construction and Analysis of Systems (2013) (16)
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control (2016) (16)
Curvature Analysis of Cardiac Excitation Wavefronts (2013) (16)
Quantitative Regular Expressions for Arrhythmia Detection Algorithms (2016) (15)
InterAspect: aspect-oriented instrumentation with GCC (2012) (15)
Statistical Model Checking (2019) (15)
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking (2014) (15)
Towards efficient parallelization of equivalence checking algorithms (1992) (14)
On the computational complexity of bisimulation, redux (2003) (14)
Generation of All Counter-Examples for Push-Down Systems (2003) (14)
Model checking with probabilistic tabled logic programming (2012) (14)
Data flow analysis of distributed communicating processes (1990) (13)
Approximate Bisimulations for Sodium Channel Dynamics (2012) (13)
Computing bisimulation functions using SOS optimization and δ-decidability over the reals (2015) (13)
On the energy consumption and performance of systems software (2011) (13)
Model-order reduction of ion channel dynamics using approximate bisimulation (2015) (13)
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract) (1992) (12)
Attacking the V: On the Resiliency of Adaptive-Horizon MPC (2017) (12)
Deep Random Search for Efficient Model Checking of Timed Automata (2006) (12)
Open-Source Model Checking (2006) (12)
GoTube: Scalable Stochastic Verification of Continuous-Depth Models (2021) (12)
Localizing Program Errors for Cimple Debugging (2004) (11)
Distributed prototyping from validated specifications (2001) (11)
Model discovery for energy-aware computing systems: An experimental evaluation (2011) (11)
Infinite Probabilistic and Nonprobabilistic Testing (1998) (11)
Quantitative Regular Expressions for Arrhythmia Detection (2019) (11)
The Concurrency Factory Software Development Environment (1996) (11)
Probabilistic reachability analysis of the tap withdrawal circuit in caenorhabditis elegans (2016) (11)
Lagrangian Reachabililty (2017) (10)
Real-Time Verification Techniques for Untimed Systems (2000) (10)
Collision Avoidance for Mobile Robots with Limited Sensing and Limited Information About the Environment (2015) (10)
Dynamic Path Reduction for Software Model Checking (2009) (10)
Data-Driven Robust Control for a Closed-Loop Artificial Pancreas (2019) (10)
The complexity of reachability in distributed communicating processes (1988) (10)
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study (1997) (10)
Evidence Explorer: A Tool for Exploring Model-Checking Proofs (2003) (10)
Lagrangian Reachtubes: The Next Generation (2020) (10)
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol (2010) (9)
Swarm model checking on the GPU (2020) (9)
Verification of quasi-synchronous systems with Uppaal (2014) (9)
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (2005) (9)
Hybrid Automata as a Unifying Framework for Modeling Excitable Cells (2006) (9)
Aspect-Oriented Instrumentation with GCC Appears in the Proceedings of the First International Conference on Runtime Verification (RV 2010) (2010) (9)
Computing compositional proofs of Input-to-Output Stability using SOS optimization and δ-decidability (2017) (8)
Neural predictive monitoring and a comparison of frequentist and Bayesian approaches (2021) (8)
A Cycle-Linear Approach to Modeling Action Potentials (2006) (8)
Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks (2008) (8)
Automated software engineering using concurrent class machines (2001) (8)
Model Checking Tap Withdrawal in C. Elegans (2015) (8)
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (2001) (8)
Software monitoring with bounded overhead (2008) (8)
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems (2019) (8)
Report on the 6th international symposium on programming (1984) (8)
Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue (2007) (8)
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems (2017) (8)
Committed Moving Horizon Estimation for Meal Detection and Estimation in Type 1 Diabetes (2019) (7)
Using integer clocks to verify clock-synchronization protocols (2011) (7)
Declarative vs rule-based control for flocking dynamics (2017) (7)
Introduction to Operating System Design and Implementation - The OSP 2 Approach (2007) (6)
Tight Continuous-Time Reachtubes for Lagrangian Reachability (2018) (6)
Concurrency: theory and practice (1996) (6)
A CSS semantics for NIL (1987) (6)
A CCS semantics for NIL (1987) (6)
GoTube: Scalable Statistical Verification of Continuous-Depth Models (2022) (6)
Formal Verification of Quasi-Synchronous Systems (2015) (6)
Synthesizing stealthy reprogramming attacks on cardiac devices (2018) (6)
Efficient Event-Driven Simulation of Excitable Hybrid Automata (2006) (6)
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems (2017) (5)
Compiler-assisted software verification using plug-ins (2006) (5)
A Distributed Simplex Architecture for Multi-Agent Systems (2020) (5)
Formal Analysis of Abnormal Excitation in Cardiac Tissue (2008) (5)
Testing Protocol Robustness the CCS Way (1984) (5)
Symbolic Analysis of the Neuron Action Potential (2008) (5)
MODELNG THE AODV ROUTING PROTOCOL IN THE ω-CALCULUS (2006) (4)
VERITAS: Visualization Environment Research In The Applied Sciences (1989) (4)
Tabulation-based Induction Proofs with Application to Automated Verification (1998) (4)
Veri ation of Parameterized Systems UsingLogi Program Transformations ? (1999) (4)
Strategic Directions in Computing Research-Concurrency Working Group Report (1996) (4)
Probabilistic reachability for multi-parameter bifurcation analysis of cardiac alternans (2018) (4)
Getting to the Root of the Problem : Focus Statements for the Analysis of Counter-Examples (4)
Neural Programming: Towards adaptive control in Cyber-Physical Systems (2015) (4)
Safe CPS from unsafe controllers (2021) (4)
Visualization tools for the applied sciences (1989) (4)
Bifurcation Analysis of Cardiac Alternans Using \delta -Decidability (2016) (4)
High-confidence operating systems (2002) (4)
CyberCardia project: Modeling, verification and validation of implantable cardiac devices (2016) (3)
The complexity of reachability in distributed communicating processes (1988) (3)
StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes (2008) (3)
Hiding resources that can fail: An axiomatic perspective (2001) (3)
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (2005) (3)
Model Predictive Control for Memory Profiling (2007) (3)
Compositional, Approximate, and Quantitative Reasoning for Medical Cyber-Physical Systems with Application to Patient-Specific Cardiac Dynamics and Devices (2014) (3)
Interactive 3D Human Heart Simulations on Segmented Human MRI Hearts (2021) (3)
The Black-Box Simplex Architecture for Runtime Assurance of Autonomous CPS (2021) (3)
Polynomial-Time Analysis for a Class of Communicating processes (1984) (3)
Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers (2019) (3)
Bifurcation Analysis of Cardiac Alternans Using δ-Decidability (2016) (3)
Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems (2014) (3)
A Simplex Architecture for Hybrid Systems Using Barrier Certificates (2017) (3)
Practical considerations in protocol verification: the E-2C case study (1999) (3)
An STL-based Formulation of Resilience in Cyber-Physical Systems (2022) (3)
Process Algebra and Model Checking (2018) (3)
Probabilistic I/O Automata: Theories of Two Equivalences (2006) (2)
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) (2005) (2)
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems (2019) (2)
Proceedings of the 6th International Conference on Concurrency Theory (1995) (2)
Curvature analysis of cardiac excitation wavefronts (2011) (2)
Power Optimization in Fault-Tolerant MANETs (2008) (2)
Learning Distributed Controllers for V-Formation (2020) (2)
Monte Carlo Methods for Process Algebra (2006) (2)
Resilient Control and Safety for Cyber-Physical Systems (2018) (2)
Medical Cyber-Physical Systems - (Track Introduction) (2014) (2)
Modeling excitable cells using hybrid automata (2008) (2)
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach (2006) (2)
MPC-guided Imitation Learning of Bayesian Neural Network Policies for the Artificial Pancreas (2021) (2)
Axiomatizing probabilistic processes : ACP with generative probabilities (Extended abstract) (1992) (2)
Regular Expressions for Irregular Rhythms (2016) (2)
Collision Avoidance for Mobile Robots with Limited Sensing in Unknown Environments (2015) (2)
Compositional Branching-Time Measurements (2014) (2)
Distributed Algorithms for Tree Pattern Matching (1987) (2)
Specification and evaluation of logic-based model checking (2000) (2)
Flexible debugging with controllable overhead (2009) (2)
Under the Hood of a Stand-Alone Lagrangian Reachability Tool (2019) (2)
Specifying Failures and Recoveries in PACSR (2007) (1)
Compositional Analysis of Expected Delay in Networks of Automata (2000) (1)
Code Generation From Hierarchical Concurrency Specifications (2001) (1)
V-Formation via Model Predictive Control (2020) (1)
Practical techniques for the design, specification, verification, and implementation of concurrent systems (2000) (1)
Evidence Exploration for Model Checking (2003) (1)
On the Energy Consumption and Performance of Systems Software Appears in the proceedings of the 4th Israeli Experimental Systems Conference (ACM SYSTOR 2011) (2011) (1)
On the Existence and Construction of Robust Communication Protocals for Unreliable Channels (1984) (1)
State Reenement in Process Algebra (2007) (1)
Bayesian Neural Predictive Monitoring (2020) (1)
Tabled resolution and constraints for model checking real-time systems and infinite-state systems (2000) (1)
Faster Model Checking for Open Systems (1999) (1)
A Barrier Certificate-Based Simplex Architecture with Application to Microgrids (2022) (1)
Swarm model checking on the GPU (2020) (1)
Preface (2005) (0)
Distributed Control for Flocking Maneuvers via Acceleration-Weighted Neighborhooding (2021) (0)
How to Learn a Model Checker (2017) (0)
FileSys: The File System (2007) (0)
A Change of Perspective Yields Formal Analysis (2011) (0)
Organization of OSP 2 (2007) (0)
Model Checking Cyber-Physical Systems using Particle Swarm Optimization (2017) (0)
Towards Drone Flocking Using Relative Distance Measurements (2022) (0)
Process Algebra (1999) (0)
Preliminary proceedings of INFINITY 2005 (2005) (0)
InterAspect: aspect-oriented instrumentation with GCC (2012) (0)
ModelingandsimulationofcardiactissueusinghybridI/Oautomata I (2009) (0)
Tracking Action Potentials of Nonlinear Excitable Cells Using Model Predictive Control (2013) (0)
Weak Modal Mu-Calculus * (0)
Kanellakis-Smolka 1983 (2021) (0)
Fighting Livelock in the i-Protocol with the Concurrency Factory(Concurrency Theory and Applications '96) (1997) (0)
Model-Checking Support for File System Development (2021) (0)
A CCS by Scott A . Smolka Robert E . Strom semantics for NIL (0)
Tasks: Management of Tasks (a.k.a. Processes) (2007) (0)
Hiding Resources that Can Fail (2001) (0)
Multi-Agent Spatial Predictive Control with Application to Drone Flocking (Extended Version) (2022) (0)
Collision-Free 3D Flocking Using the Distributed Simplex Architecture (2021) (0)
Characterizations of Testing Preorders for Probabilistic Processes (0)
Monitoring with Controllable Overhead (2009) (0)
PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 (2003) (0)
« i Compositional Analysis of Expected Delay in Networks of Automata F 49620-96-1-0087 Final Report (0)
Integrated Environment for Control Software Engineering (2005) (0)
Region Graphs for In nite-State Systems (2007) (0)
Resources: Resource Management (2007) (0)
Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems (1997) (0)
Undergraduate-Level Courses 1 . 1 CSE 306 : Undergraduate Operating Systems (2005) (0)
EATCS Fellows' Advice to the Young Theoretical Computer Scientist (2016) (0)
V-FORMATION AS MODEL PREDICTIVE CONTROL (2020) (0)
Coordinating First-Order (1999) (0)
Collision avoidance for mobile robots with limited sensing and limited information about moving obstacles (2017) (0)
Devices: Scheduling of Disk Requests (2007) (0)
Runtime-Assured, Real-Time Neural Control of Microgrids (2022) (0)
Modeling and verification techniques for ad hoc network protocols (2009) (0)
Runtime Verification (2014) (0)
Memory: Virtual Memory Management (2007) (0)
Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs (2023) (0)
Proceedings of the Paris C. Kanellakis memorial workshop on Principles of computing & knowledge: Paris C. Kanellakis memorial workshop on the occasion of his 50th birthday (2003) (0)
SpecNFS: A Challenge Dataset Towards Extracting Formal Models from Natural Language Specifications (2022) (0)
Software monitoring with controllable overhead (2010) (0)
Advanced Formal Methods for Reactive Systems Engineering (2005) (0)
Turing Ma hines , Transition Systems , and Intera tionDina (2004) (0)
Model-CheckingSupport for File SystemDevelopment (2021) (0)
An STL-based Approach to Resilient Control for Cyber-Physical Systems (2022) (0)
Threads: Management and Scheduling of Threads (2007) (0)
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems (2018) (0)
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings (1995) (0)
Ports: Interprocess Communication (2007) (0)
Scott A. Smolka Research Statement (2005) (0)
Putting it All Together: An Example Session with OSP 2 (2007) (0)
MPC-guided Imitation Learning of Neural Network Policies for the Artificial Pancreas (2020) (0)

This paper list is powered by the following services:

What Schools Are Affiliated With Scott A. Smolka?

Scott A. Smolka is affiliated with the following schools:

Stony Brook University

Scott A. Smolka's Academic­Influence.com Rankings