引用次数
引用: 11,221
H-指数: 53
I10-指数 : 158
出版物: 344
A Theory of Testing for Soft Real-Time Processes.
Rance Cleaveland , Insup Lee , Scott A. Smolka , Philip M. Lewis
software engineering and knowledge engineering 474 -479
16
1996
Tabulation-based Induction Proofs with Application to Automated Verification.
I. V. Ramakrishnan , Abhik Roychoudhury , C. R. Ramakrishnan , Scott A. Smolka
TAPD 83 -88
4
1998
Visualization tools for the applied sciences
Alessandro Giacalone , Arie Kaufman , Scott A Smolka , David S Warren
international conference on human computer interaction 451 -459
3
1989
CONCUR '95 : concurrency theory : 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, proceedings
Insup Lee , Scott A. Smolka
Springer-Verlag
3
1995
A complete axiom system for finite-state probabilistic processes
Scott A. Smolka , Eugene W. Stark
Proof, language, and interaction 571 -595
34
2000
Fighting Livelock in the i-Protocol with the Concurrency Factory(Concurrency Theory and Applications '96)
Oleg Sokolsky , Y.S. Ramakrishna , Eugene W. Stark , Scott A. Smolka
数理解析研究所講究録 996 1 -4
1997
Fundamental Results for the Verification of Observational Equivalence: A Survey
Tommaso Bolognesi , Scott A. Smolka
Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII 165 -179
106
1987
Towards efficient parallelization of equivalence checking algorithms
Shipei Zhang , Scott A. Smolka
formal techniques for (networked and) distributed systems 121 -135
11
1992
Handbook of Process Algebra
A. Ponse , J. A. Bergstra , Scott A. Smolka
Elsevier
744
2001
Interactive Computation: The New Paradigm
Scott A Smolka ,
Springer-Verlag New York, Inc.
171
2006
Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol
Xiaowan Huang , Anu Singh , Scott A. Smolka
nasa formal methods 77 -86
7
2010
Compiler-assisted software verification using plug-ins
Erez Zadok , Xiaowan Huang , Sean Callanan , Radu Grosu
international parallel and distributed processing symposium 285 -285
2
2006
A survey on unmanned aerial vehicle collision avoidance systems
Hung Pham , Scott A Smolka , Scott D Stoller , Dung Phan
arXiv: Systems and Control
80
2015
Medical Cyber-Physical Systems - (Track Introduction).
Sicun Gao , Scott A. Smolka , Ezio Bartocci
ISoLA (2) 353 -355
2014
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05)
Jiri Srba , Scott A. Smolka
7th International Workshop on Verification of Infinite-State Systems (INFINITY'05) 1 -70
2005
Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control.
Ashish Tiwari , Radu Grosu , Scott A. Smolka , Junxing Yang
international conference on concurrency theory
8
2016
Proceedings of the 6th International Conference on Concurrency Theory
Insup Lee , Scott A. Smolka
1995
Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Scott A. Smolka , Nir Piterman
2013
Tight Continuous-Time Reachtubes for Lagrangian Reachability
Sicun Gao , Radu Grosu , Jacek Cyranka , Md. Ariful Islam
arXiv: Numerical Analysis
2018
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Lukas Esterle , Ashish Tiwari , Radu Grosu , Scott A. Smolka
arXiv: Systems and Control
2
2017