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


106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Scott A. Smolka, Steve Sims: An Instrumentation-Based Approach to Controller Model Validation. ASWSD 2006: 84-97
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene W. Stark, Rance Cleaveland, Scott A. Smolka: Probabilistic I/O Automata: Theories of Two Equivalences. CONCUR 2006: 343-357
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed prototyping from validated specifications. Journal of Systems and Software 70(3): 275-298 (2004)
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene W. Stark, Rance Cleaveland, Scott A. Smolka: A Process-Algebraic Language for Probabilistic I/O Automata. CONCUR 2003: 189-203
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu: High-confidence operating systems. ACM SIGOPS European Workshop 2002: 205-208
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid Hansel, Rance Cleaveland, Scott A. Smolka: Distributed Prototyping from Validated Specifications. IEEE International Workshop on Rapid System Prototyping 2001: 97-102
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)
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Xiaoqun Du, Scott A. Smolka: GCCS: A Graphical Coordination Language for System Specification. COORDINATION 2000: 284-298
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen: Testing Preorders for Probabilistic Processes. Inf. Comput. 154(2): 93-148 (1999)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqun Du, Scott A. Smolka, Rance Cleaveland: Local Model Checking and Protocol Analysis. STTT 2(3): 219-241 (1999)
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
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, Rance Cleaveland, Scott A. Smolka: Infinite Probabilistic and Nonprobabilistic Testing. FSTTCS 1998: 209-220
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
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka: A Theory of Testing for Soft Real-Time Processes. SEKE 1996: 474-479
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
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Scott A. Smolka: Strategic Directions in Concurrency Research. ACM Comput. Surv. 28(4): 607-625 (1996)
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Scott A. Smolka: Strategic Directions in Computing Research-Concurrency Working Group Report. Bulletin of the EATCS 60: 97-122 (1996)
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka: Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes. CONCUR 1994: 497-512
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRance Cleaveland, Scott A. Smolka, Amy E. Zwarico: Testing Preorders for Probabilistic Processes. ICALP 1992: 708-719

Selection of 19 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