Scott A. Smolka Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2009
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnu Singh, C. R. Ramakrishnan, Scott A. Smolka: Query-Based Model Checking of Ad Hoc Network Protocols. CONCUR 2009: 603-619
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZijiang Yang, Bashar Al-Rawi, Karem Sakallah, Xiaowan Huang, Scott A. Smolka, Radu Grosu: Dynamic Path Reduction for Software Model Checking. IFM 2009: 322-336
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Scott A. Smolka, Flavio Corradini, Anita Wasilewska, Emilia Entcheva, Ezio Bartocci: Learning and detecting emergent behavior in networks of cardiac myocytes. Commun. ACM 52(3): 97-105 (2009)
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Scott A. Smolka, Radu Grosu: Modeling and simulation of cardiac tissue using hybrid I/O automata. Theor. Comput. Sci. 410(33-34): 3149-3165 (2009)
2008
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva: Formal Analysis of Abnormal Excitation in Cardiac Tissue. CMSB 2008: 141-155
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnu Singh, C. R. Ramakrishnan, Scott A. Smolka: A Process Calculus for Mobile Ad Hoc Networks. COORDINATION 2008: 296-314
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka: StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes. Concurrency, Graphs and Models 2008: 493-502
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka: Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks. HASE 2008: 362-370
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska: Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes. HSCC 2008: 229-243
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok: Software monitoring with bounded overhead. IPDPS 2008: 1-8
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLOliviero Riganelli, Radu Grosu, Scott A. Smolka: Power Optimization in Fault-Tolerant MANETs. MASCOTS 2008: 379-380
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: CellExcite: an efficient simulation environment for excitable cells. BMC Bioinformatics 9(S-2): (2008)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue. Electr. Notes Theor. Comput. Sci. 194(3): 51-67 (2008)
2007
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, S. Mitra, Pei Ye, Emilia Entcheva, I. V. Ramakrishnan, Scott A. Smolka: Learning Cycle-Linear Hybrid Automata for Excitable Cells. HSCC 2007: 245-258
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, Radu Grosu, Justin Seyster, Scott A. Smolka, Erez Zadok: Model Predictive Control for Memory Profiling. IPDPS 2007: 1-7
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, Scott A. Smolka: Model checking the Java metalocking algorithm. ACM Trans. Softw. Eng. Methodol. 16(3): (2007)
2006
105Electronic 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
104Electronic 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok: Compiler-assisted software verification using plug-ins. IPDPS 2006
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis: Deep Random Search for Efficient Model Checking of Timed Automata. Monterey Workshop 2006: 111-124
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka: Open-Source Model Checking. Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJirí Srba, Scott A. Smolka: Preface. Electr. Notes Theor. Comput. Sci. 149(1): 1-2 (2006)
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Scott A. Smolka: Monte Carlo Methods for Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006)
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok: Runtime Verification for High-Confidence Systems: A Monte Carlo Approach. Electr. Notes Theor. Comput. Sci. 164(4): 41-52 (2006)
2005
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Scott A. Smolka: Safety-Liveness Semantics for UML 2.0 Sequence Diagrams. ACSD 2005: 6-14
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Yang, Yifei Dong, C. R. Ramakrishnan, Scott A. Smolka: A Provably Correct Compiler for Efficient Model Checking of Mobile Processes. PADL 2005: 113-127
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Scott A. Smolka: Monte Carlo Model Checking. TACAS 2005: 271-286
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCurtis W. Keller, Diptikalyan Saha, Samik Basu, Scott A. Smolka: FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs. TACAS 2005: 563-569
2004
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, Diptikalyan Saha, Scott A. Smolka: Localizing Program Errors for Cimple Debugging. FORTE 2004: 79-96
92no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Scott A. Smolka: Quantitative Model checking. ISoLA (Preliminary proceedings) 2004: 165-174
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDina Q. Goldin, Scott A. Smolka, Paul C. Attie, Elaine L. Sonderegger: Turing machines, transition systems, and interaction. Inf. Comput. 194(2): 101-128 (2004)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaron Moller, Scott A. Smolka, Jirí Srba: On the computational complexity of bisimulation, redux. Inf. Comput. 194(2): 129-143 (2004)
89Electronic 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)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution. STTT 6(1): 38-66 (2004)
2003
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik: PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003 ACM 2003
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Evidence Explorer: A Tool for Exploring Model-Checking Proofs. CAV 2003: 215-218
85Electronic 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, C. R. Ramakrishnan, Scott A. Smolka: Model Checking and Evidence Exploration. ECBS 2003: 214-223
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka: Generation of All Counter-Examples for Push-Down Systems. FORTE 2003: 79-94
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaron Moller, Scott A. Smolka: On the Computational Complexity of Bisimulation, Redux. PCK50 2003: 55-59
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPing Yang, C. R. Ramakrishnan, Scott A. Smolka: A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution. VMCAI 2003: 116-131
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka: Fighting livelock in the GNU i-protocol: a case study in explicit-state model checking. STTT 4(4): 505-528 (2003)
2002
79Electronic 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
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka: Vacuity Checking in the Modal Mu-Calculus. AMAST 2002: 147-162
2001
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan: Automated Software Engineering Using Concurrent Class Machines. ASE 2001: 297-
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. J. P. van Osch, Scott A. Smolka: Finite-State Analysis of the CAN Bus Protocol. HASE 2001: 42-
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLK. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka: Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models. ICLP 2001: 227-241
74Electronic 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
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLR. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Model-Carrying Code (MCC): a new paradigm for mobile-code security. NSPW 2001: 23-30
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDina Q. Goldin, Scott A. Smolka, Peter Wegner: Turing Machines, Transition Systems, and Interaction. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
71Electronic 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)
2000
70no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan: XMC: A Logic-Programming-Based Verification Toolset. CAV 2000: 576-580
69Electronic 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
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamik Basu, Scott A. Smolka, Orson R. Ward: Model Checking the Java Meta-Locking Algorithm. ECBS 2000: 342-350
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time Systems. IEEE Real-Time Systems Symposium 2000: 175-184
66no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene W. Stark, Scott A. Smolka: A complete axiom system for finite-state probabilistic processes. Proof, Language, and Interaction 2000: 571-596
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Verification of Parameterized Systems Using Logic Program Transformations. TACAS 2000: 172-187
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka: Real-Time Verification Techniques for Untimed Systems. Electr. Notes Theor. Comput. Sci. 39(3): (2000)
1999
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMadhavan Mukund, K. Narayan Kumar, Scott A. Smolka: Faster Model Checking for Open Systems. ASIAN 1999: 227-238
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White: Practical Considerations in Protocol Verification: The E-2C Case Study. ICECCS 1999: 153-
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShiyong Lu, Scott A. Smolka: Model Checking the Secure Electronic Transaction (SET) Protocol. MASCOTS 1999: 358-
60Electronic 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
59no EE 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)
58Electronic 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)
1998
57Electronic 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
56Electronic 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinxin Liu, Scott A. Smolka: Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract). ICALP 1998: 53-66
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugene W. Stark, Scott A. Smolka: Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata. LICS 1998: 466-477
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren: Logic Programming and Model Checking. PLILP/ALP 1998: 1-20
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXinxin Liu, C. R. Ramakrishnan, Scott A. Smolka: Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract). TACAS 1998: 5-19
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka: Tabulation-based Induction Proofs with Application to Automated Verification. TAPD 1998: 83-88
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: Strong Interaction Fairness Via Randomization. IEEE Trans. Parallel Distrib. Syst. 9(2): 137-149 (1998)
1997
49no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka: Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. AMAST 1997: 185-198
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLY. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren: Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLY. S. Ramakrishna, Scott A. Smolka: Partial-Order Reduction in the Weak Modal Mu-Calculus. CONCUR 1997: 5-24
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSue-Hwey Wu, Scott A. Smolka, Eugene W. Stark: Composition and Behaviors of Probabilistic I/O Automata. Theor. Comput. Sci. 176(1-2): 1-38 (1997)
1996
45Electronic 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 XMLYuh-Jzer Joung, Scott A. Smolka: Strong Interaction Fairness via Randomization. ICDCS 1996: 475-483
43no 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
42no EE 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
41no EE 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 XMLRocco De Nicola, Scott A. Smolka: Concurrency: Theory and Practice. ACM Comput. Surv. 28(4es): 52 (1996)
39no 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)
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. Formal Asp. Comput. 8(5): 585-606 (1996)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: A Comprehensive Study of the Complexity of Multiparty Interaction. J. ACM 43(1): 75-115 (1996)
1995
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLInsup Lee, Scott A. Smolka: CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings Springer 1995
35Electronic 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
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFaron Moller, Scott A. Smolka: On the Computational Complexity of Bisimulation. ACM Comput. Surv. 27(2): 287-289 (1995)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen: Reactive, Generative and Stratified Models of Probabilistic Processes Inf. Comput. 121(1): 59-80 (1995)
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka: Axiomatizing Probabilistic Processes: ACP with Generative Probabilities Inf. Comput. 121(2): 234-255 (1995)
1994
31Electronic 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew C. Uselton, Scott A. Smolka: A Compositional Semantics for Statecharts using Labeled Transition Systems. CONCUR 1994: 2-17
29Electronic 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
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSue-Hwey Wu, Scott A. Smolka, Eugene W. Stark: Composition and Behaviors of Probabilistic I/O Automata. CONCUR 1994: 513-528
27no EE 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
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndrew C. Uselton, Scott A. Smolka: A Process Algebraic Semantics for Statecharts via State Refinement. PROCOMET 1994: 267-286
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajiv Gupta, Scott A. Smolka, Shaji Bhaskar: On Randomization in Sequential and Distributed Algorithms. ACM Comput. Surv. 26(1): 7-86 (1994)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: Coordinating First-Order Multiparty Interactions. ACM Trans. Program. Lang. Syst. 16(3): 954-985 (1994)
1992
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka: Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract). CONCUR 1992: 472-485
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShipei Zhang, Scott A. Smolka: Towards efficient parallelization of equivalence checking algorithms. FORTE 1992: 121-135
21Electronic 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: A Comprehensive Study of the Complexity of Multiparty Interaction. POPL 1992: 142-153
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael Kifer, Scott A. Smolka: OSP: An Environment for Operating System Projects. Operating Systems Review 26(4): 98-100 (1992)
1991
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: Coordinating First-Order Multiparty Interactions. POPL 1991: 209-220
1990
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChi-Chang Jou, Scott A. Smolka: Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes. CONCUR 1990: 367-383
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka, Bernhard Steffen: Priority as Extremal Probability. CONCUR 1990: 456-466
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuh-Jzer Joung, Scott A. Smolka: A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication. ICPP (3) 1990: 311-318
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen, Chris M. N. Tofts: Reactive, Generative, and Stratified Models of Probabilistic Processes LICS 1990: 130-141
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Scott A. Smolka: CCS Expressions, Finite State Processes, and Three Problems of Equivalence Inf. Comput. 86(1): 43-68 (1990)
1988
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone: Winston: A Toll for Hierarchical Design and Simulation of Concurrent Systems. Specification and Verification of Concurrent Systems 1988: 140-152
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn H. Reif, Scott A. Smolka: The Complexity of Reachability in Distributed Communicating Processes. Acta Inf. 25(3): 333-354 (1988)
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Scott A. Smolka: On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. Algorithmica 3: 421-450 (1988)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandro Giacalone, Scott A. Smolka: Integrated Environments for Formally Well-Founded Design and Simulation of Concurrent Systems. IEEE Trans. Software Eng. 14(6): 787-802 (1988)
1987
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTommaso Bolognesi, Scott A. Smolka: Fundamental Results for the Verification of Observational Equivalence: A Survey. PSTV 1987: 165-179
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGurdip Singh, Scott A. Smolka, I. V. Ramakrishnan: Distributed Algorithms for Tree Pattern Matching. WDAG 1987: 92-107
1985
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Scott A. Smolka: On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes. PODC 1985: 23-38
1984
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaumya K. Debray, Ariel J. Frank, Scott A. Smolka: On the Existence and Construction of Robust Communication Protocals for Unreliable Channels. FSTTCS 1984: 136-151
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka, Ariel J. Frank, Saumya K. Debray: Testing Protocol Robustness the CCS Way. PSTV 1984: 93-108
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLScott A. Smolka: Polynomial-Time Analysis for a Class of Communicating processes. Symposium on Programming 1984: 250-262
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLParis C. Kanellakis, Scott A. Smolka: CCS Expressions, Finite State Processes, and THree Problems of Equivalence. PODC 1983: 228-240
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Wegner, Scott A. Smolka: Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives. IEEE Trans. Software Eng. 9(4): 446-462 (1983)

Coauthor Index

1Bashar Al-Rawi [120]
2Paul C. Attie [91]
3Jos C. M. Baeten [23] [32]
4Ezio Bartocci [109] [110] [113] [115] [118] [119]
5Samik Basu [68] [83] [93] [94] [106]
6Maria Rita Di Berardini [109] [118]
7Jan A. Bergstra [23] [32]
8Shaji Bhaskar [25]
9Tommaso Bolognesi [8]
10Sean Callanan [98] [103] [107] [112]
11Rance Cleaveland [21] [29] [39] [41] [42] [43] [45] [56] [57] [58] [59] [69] [71] [74] [79] [85] [89] [104] [105]
12Flavio Corradini [109] [110] [113] [115] [118] [119]
13Baoqiu Cui [53]
14Samir R. Das [114]
15Zeynep Dayar [29] [59]
16David J. Dean [112]
17Saumya K. Debray [4] [5]
18Yifei Dong [53] [60] [62] [70] [78] [80] [84] [86] [96]
19Xiaoqun Du [49] [53] [58] [60] [64] [67] [69] [70] [80]
20Emilia Entcheva [108] [109] [110] [113] [117] [118] [119]
21Ariel J. Frank [4] [5]
22Alessandro Giacalone [9] [12]
23Rob J. van Glabbeek [14] [33]
24Dina Q. Goldin [72] [87] [91]
25Michael Gorbovitski [112]
26Radu Grosu [77] [79] [92] [95] [97] [98] [99] [101] [102] [103] [107] [108] [109] [110] [111] [112] [113] [114] [115] [117] [118] [119] [120]
27Rajiv Gupta [25]
28David Hansel [74] [89]
29Gerard J. Holzmann [80]
30Xiaowan Huang [101] [102] [103] [120]
31Sumit Jain [101]
32Chi-Chang Jou [17]
33Yuh-Jzer Joung [15] [18] [20] [24] [37] [44] [50]
34Paris C. Kanellakis [2] [6] [10] [13]
35Curtis W. Keller [94]
36Michael Kifer [19]
37K. Narayan Kumar [53] [56] [63] [65] [75]
38Insup Lee [36] [43] [57] [71]
39Philip M. Lewis (Philip M. Lewis II) [42] [43] [45]
40Yow-Jian Lin [83]
41Xinxin Liu [52] [55]
42Yanhong A. Liu [77] [79]
43Shiyong Lu [61]
44Jawahar Malhotra [12]
45Kevin T. McDonnell [49]
46Emanuela Merelli [115]
47S. Mitra [108]
48Faron Moller [34] [82] [90]
49Madhavan Mukund [63]
50Evangelos Nanos [49]
51Rocco De Nicola [40]
52M. J. P. van Osch [76]
53Anna Philippou [57] [71]
54Abhishek Rai [98]
55Y. S. Ramakrishna [47] [48] [49] [60]
56C. R. Ramakrishnan [48] [51] [52] [53] [60] [64] [65] [67] [70] [73] [75] [78] [81] [84] [86] [88] [96] [114] [116] [121]
57I. V. Ramakrishnan [7] [48] [51] [53] [60] [65] [70] [73] [108]
58John H. Reif [11]
59Oliviero Riganelli [111] [114] [115]
60Abhik Roychoudhury [51] [53] [65] [70]
61Diptikalyan Saha [83] [93] [94]
62Karem Sakallah [120]
63Beata Sarna-Starosta [78]
64R. Sekar [73]
65Justin Seyster [107] [112]
66Robert M. Shapiro [12]
67Alexander A. Shvartsman [87]
68Steve Sims [105]
69Anu Singh [116] [121]
70Gurdip Singh [7]
71Oleg Sokolsky [27] [31] [35] [42] [45] [57] [60] [71]
72Elaine L. Sonderegger [91]
73Jirí Srba [90] [100]
74Eugene W. Stark [28] [46] [54] [60] [62] [66] [85] [104]
75Bernhard Steffen [14] [16] [33] [38]
76Scott D. Stoller [77] [112]
77Terrance Swift [48]
78Wenkai Tan [102]
79Chris M. N. Tofts [14]
80Stavros Tripakis [102]
81Mike R. True [98]
82Andrew C. Uselton [26] [30]
83V. N. Venkatakrishnan [70]
84Jeffrey Scott Vitter [87]
85Orson R. Ward [68]
86David Scott Warren [48] [53] [60]
87Anita Wasilewska [113] [119]
88Peter Wegner [1] [72]
89Stephanie M. White [62]
90Sue-Hwey Wu [28] [46]
91Jingyu Yan [77]
92Ping Yang [81] [88] [96]
93Zijiang Yang [120]
94Pei Ye [108] [117]
95Shoji Yuen [29] [59]
96Erez Zadok [79] [98] [103] [107] [112]
97Stanley B. Zdonik [87]
98Shipei Zhang [22] [27]
99Amy E. Zwarico [21]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)