フォロー
Scott  A. Smolka
Scott A. Smolka
Professor of Computer Science, Stony Brook University
確認したメール アドレス: cs.sunysb.edu - ホームページ
タイトル
引用先
引用先
Handbook of process algebra
JA Bergstra, A Ponse, SA Smolka
Elsevier Science, 2001
9462001
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
9281983
Reactive, generative, and stratified models of probabilistic processes
RJ VanGlabbeek, SA Smolka, B Steffen
Information and Computation 121 (1), 59-80, 1995
7151995
Algebraic reasoning for probabilistic concurrent systems
A Giacalone, CC Jou, SA Smolka
Department of Computer Science, SUNY, 1994
3571994
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
291*2006
Equivalences, congruences, and complete axiomatizations for probabilistic processes
CC Jou, S Smolka
CONCUR'90 Theories of Concurrency: Unification and Extension, 367-383, 1990
2691990
Monte carlo model checking
R Grosu, S Smolka
Tools and Algorithms for the Construction and Analysis of Systems, 271-286, 2005
2472005
Axiomatizing probabilistic processes: ACP with generative probabilities
JA Bergstra, JCM Baeten, SA Smolka
Information and Computation 121 (2), 234-254, 1995
185*1995
Composition and behaviors of probabilistic I/O automata
SH Wu, SA Smolka, EW Stark
Theoretical Computer Science 176 (1-2), 1-38, 1997
1761997
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
1582011
Turing machines, transition systems, and interaction
DQ Goldin, SA Smolka, PC Attie, EL Sonderegger
Information and computation 194 (2), 101-128, 2004
1522004
Runtime verification with state estimation
S Stoller, E Bartocci, J Seyster, R Grosu, K Havelund, S Smolka, E Zadok
Runtime Verification, 193-207, 2012
1502012
Incremental model checking in the modal mu-calculus
O Sokolsky, S Smolka
Computer Aided Verification, 351-363, 1994
1331994
A process calculus for mobile ad hoc networks
A Singh, CR Ramakrishnan, SA Smolka
Science of Computer Programming 75 (6), 440-469, 2010
1282010
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
Simple linear-time algorithms for minimal fixed points
X Liu, S Smolka
Automata, Languages and Programming, 53-66, 1998
1241998
Statistical model checking
A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu
Computing and software science: state of the art and perspectives, 478-504, 2019
1192019
On Temporal Logic and Signal Processing
A Donzé, O Maler, E Bartocci, D Nickovic, R Grosu, S Smolka
ATVA, 2012
1172012
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20