Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Smolka, Scott - Department of Computer Science, SUNY at Stony Brook
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
Coordinating First-Order Multiparty Interactions Yuh-Jzer Joung
A Process-Algebraic Language for Probabilistic I/O Automata
Generation of All Counter-Examples for Push-Down Systems
On the Computational Complexity of Bisimulation, Redux Faron Moller
Model Checking and Evidence Exploration Yifei Dong, C.R. Ramakrishnan, and Scott A. Smolka
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata
Efficient Model Checking Using Tabled Resolution
Efficient Modeling of Excitable Cells Using Hybrid Automata
Model-Carrying Code (MCC): A New Paradigm for Mobile-Code Security
Monte Carlo Model Checking Radu Grosu and Scott A. Smolka
Vacuity Checking in the Modal Mu-Calculus Yifei Dong, Beata Sarna-Starosta, C.R. Ramakrishnan, and Scott A. Smolka
Verification of Parameterized Systems Using Logic-Program Transformations
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools
Automated Software Engineering Using Concurrent Class Machines Radu Grosu Yanhong A. Liu Scott Smolka Scott D. Stoller Jingyu Yan
A Logical Encoding of the -Calculus: Model Checking Mobile Processes Using
Finite-State Analysis of the CAN Bus Protocol Michiel van Osch Scott A. Smolka
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
Composition and Behaviors of Probabilistic I/O Automata
Software Tools for Technology Transfer manuscript No. (will be inserted by the editor)
