Follow
Scott  A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
Verified email at cs.sunysb.edu - Homepage
Title
Cited by
Cited by
Year
Handbook of process algebra
JA Bergstra, A Ponse, SA Smolka
Elsevier Science, 2001
9452001
CCS expressions, finite state processes, and three problems of equivalence
PC Kanellakis, SA Smolka
Proceedings of the second annual ACM symposium on Principles of distributed …, 1983
9261983
Reactive, generative, and stratified models of probabilistic processes
RJ VanGlabbeek, SA Smolka, B Steffen
Information and Computation 121 (1), 59-80, 1995
7091995
Algebraic reasoning for probabilistic concurrent systems
A Giacalone, CC Jou, SA Smolka
Department of Computer Science, SUNY, 1994
3541994
Efficient model checking using tabled resolution
Y Ramakrishna, C Ramakrishnan, I Ramakrishnan, S Smolka, T Swift, ...
Computer Aided Verification, 143-154, 1997
3001997
Interactive computation: The new paradigm
D Goldin, SA Smolka, P Wegner
Springer, 2006
289*2006
Equivalences, congruences, and complete axiomatizations for probabilistic processes
CC Jou, S Smolka
CONCUR'90 Theories of Concurrency: Unification and Extension, 367-383, 1990
2681990
Monte carlo model checking
R Grosu, S Smolka
Tools and Algorithms for the Construction and Analysis of Systems, 271-286, 2005
2462005
Axiomatizing probabilistic processes: ACP with generative probabilities
JA Bergstra, JCM Baeten, SA Smolka
Information and Computation 121 (2), 234-254, 1995
182*1995
Composition and behaviors of probabilistic I/O automata
SH Wu, SA Smolka, EW Stark
Theoretical Computer Science 176 (1-2), 1-38, 1997
1741997
Model repair for probabilistic systems
E Bartocci, R Grosu, P Katsaros, C Ramakrishnan, S Smolka
Tools and Algorithms for the Construction and Analysis of Systems, 326-340, 2011
1542011
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1512004
Runtime verification with state estimation
S Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, S Smolka, E Zadok
Runtime Verification, 193-207, 2012
1472012
Incremental model checking in the modal mu-calculus
O Sokolsky, S Smolka
Computer Aided Verification, 351-363, 1994
1311994
A compositional semantics for Statecharts using labeled transition systems
A Uselton, S Smolka
CONCUR'94: Concurrency Theory, 2-17, 1994
1281994
From cardiac cells to genetic regulatory networks
R Grosu, G Batt, F Fenton, J Glimm, C Le Guernic, S Smolka, E Bartocci
Computer Aided Verification, 396-411, 2011
1272011
A process calculus for mobile ad hoc networks
A Singh, CR Ramakrishnan, SA Smolka
Science of Computer Programming 75 (6), 440-469, 2010
1272010
Simple linear-time algorithms for minimal fixed points
X Liu, S Smolka
Automata, Languages and Programming, 53-66, 1998
1241998
On randomization in sequential and distributed algorithms
R Gupta, SA Smolka, S Bhaskar
ACM Computing Surveys (CSUR) 26 (1), 7-86, 1994
1171994
On Temporal Logic and Signal Processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
ATVA, 2012
1162012
The system can't perform the operation now. Try again later.
Articles 1–20