dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Scott A. Smolka (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka: Hiding resources that can fail: An axiomatic perspective. Inf. Process. Lett. 80(1): 3-13 (2001)
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren: Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools. TACAS 1999: 74-88
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky: Praobabilistic Resource Failure in Real-Time Process Algebra. CONCUR 1998: 389-404
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory: A Development Environment for Concurrent Systems. CAV 1996: 398-401
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky: The Concurrency Factory Software Development Environment. TACAS 1996: 391-395
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sokolsky, Scott A. Smolka: Local Model Checking for Real-Time Systems (Extended Abstract). CAV 1995: 211-224
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOleg Sokolsky, Scott A. Smolka: Incremental Model Checking in the Modal Mu-Calculus. CAV 1994: 351-363
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShipei Zhang, Oleg Sokolsky, Scott A. Smolka: On the Parallel Complexity of Model Checking in the Modal Mu-Calculus LICS 1994: 154-163

Selection of 8 from 137 records - Scott A. Smolka has 117 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page