 | 2009 |
|---|
| 121 |       | Anu Singh,
C. R. Ramakrishnan,
Scott A. Smolka:
Query-Based Model Checking of Ad Hoc Network Protocols.
CONCUR 2009: 603-619 |
| 120 | | Zijiang Yang,
Bashar Al-Rawi,
Karem Sakallah,
Xiaowan Huang,
Scott A. Smolka,
Radu Grosu:
Dynamic Path Reduction for Software Model Checking.
IFM 2009: 322-336 |
| 119 | | Radu 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) |
| 118 | | Ezio 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 |
|---|
| 117 | | Pei Ye,
Radu Grosu,
Scott A. Smolka,
Emilia Entcheva:
Formal Analysis of Abnormal Excitation in Cardiac Tissue.
CMSB 2008: 141-155 |
| 116 | | Anu Singh,
C. R. Ramakrishnan,
Scott A. Smolka:
A Process Calculus for Mobile Ad Hoc Networks.
COORDINATION 2008: 296-314 |
| 115 | | Ezio 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 |
| 114 | | Oliviero 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 |
| 113 | | Radu 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 |
| 112 | | Sean 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 |
| 111 |  | Oliviero Riganelli,
Radu Grosu,
Scott A. Smolka:
Power Optimization in Fault-Tolerant MANETs.
MASCOTS 2008: 379-380 |
| 110 | | Ezio Bartocci,
Flavio Corradini,
Emilia Entcheva,
Radu Grosu,
Scott A. Smolka:
CellExcite: an efficient simulation environment for excitable cells.
BMC Bioinformatics 9(S-2): (2008) |
| 109 | | Ezio 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 |
|---|
| 108 | | Radu 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 |
| 107 | | Sean Callanan,
Radu Grosu,
Justin Seyster,
Scott A. Smolka,
Erez Zadok:
Model Predictive Control for Memory Profiling.
IPDPS 2007: 1-7 |
| 106 | | Samik Basu,
Scott A. Smolka:
Model checking the Java metalocking algorithm.
ACM Trans. Softw. Eng. Methodol. 16(3): (2007) |
| 2006 |
|---|
| 105 | | Rance Cleaveland,
Scott A. Smolka,
Steve Sims:
An Instrumentation-Based Approach to Controller Model Validation.
ASWSD 2006: 84-97 |
| 104 | | Eugene W. Stark,
Rance Cleaveland,
Scott A. Smolka:
Probabilistic I/O Automata: Theories of Two Equivalences.
CONCUR 2006: 343-357 |
| 103 | | Sean Callanan,
Radu Grosu,
Xiaowan Huang,
Scott A. Smolka,
Erez Zadok:
Compiler-assisted software verification using plug-ins.
IPDPS 2006 |
| 102 | | Radu 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 |
| 101 | | Radu Grosu,
Xiaowan Huang,
Sumit Jain,
Scott A. Smolka:
Open-Source Model Checking.
Electr. Notes Theor. Comput. Sci. 144(3): 27-44 (2006) |
| 100 | | Jirí Srba,
Scott A. Smolka:
Preface.
Electr. Notes Theor. Comput. Sci. 149(1): 1-2 (2006) |
| 99 | | Radu Grosu,
Scott A. Smolka:
Monte Carlo Methods for Process Algebra.
Electr. Notes Theor. Comput. Sci. 162: 203-207 (2006) |
| 98 | | Sean 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 |
|---|
| 97 | | Radu Grosu,
Scott A. Smolka:
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams.
ACSD 2005: 6-14 |
| 96 | | Ping Yang,
Yifei Dong,
C. R. Ramakrishnan,
Scott A. Smolka:
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes.
PADL 2005: 113-127 |
| 95 | | Radu Grosu,
Scott A. Smolka:
Monte Carlo Model Checking.
TACAS 2005: 271-286 |
| 94 | | Curtis 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 |
|---|
| 93 | | Samik Basu,
Diptikalyan Saha,
Scott A. Smolka:
Localizing Program Errors for Cimple Debugging.
FORTE 2004: 79-96 |
| 92 | | Radu Grosu,
Scott A. Smolka:
Quantitative Model checking.
ISoLA (Preliminary proceedings) 2004: 165-174 |
| 91 | | Dina Q. Goldin,
Scott A. Smolka,
Paul C. Attie,
Elaine L. Sonderegger:
Turing machines, transition systems, and interaction.
Inf. Comput. 194(2): 101-128 (2004) |
| 90 | | Faron Moller,
Scott A. Smolka,
Jirí Srba:
On the computational complexity of bisimulation, redux.
Inf. Comput. 194(2): 129-143 (2004) |
| 89 | | David Hansel,
Rance Cleaveland,
Scott A. Smolka:
Distributed prototyping from validated specifications.
Journal of Systems and Software 70(3): 275-298 (2004) |
| 88 | | Ping 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 |
|---|
| 87 | | Dina 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 |
| 86 | | Yifei Dong,
C. R. Ramakrishnan,
Scott A. Smolka:
Evidence Explorer: A Tool for Exploring Model-Checking Proofs.
CAV 2003: 215-218 |
| 85 | | Eugene W. Stark,
Rance Cleaveland,
Scott A. Smolka:
A Process-Algebraic Language for Probabilistic I/O Automata.
CONCUR 2003: 189-203 |
| 84 | | Yifei Dong,
C. R. Ramakrishnan,
Scott A. Smolka:
Model Checking and Evidence Exploration.
ECBS 2003: 214-223 |
| 83 | | Samik Basu,
Diptikalyan Saha,
Yow-Jian Lin,
Scott A. Smolka:
Generation of All Counter-Examples for Push-Down Systems.
FORTE 2003: 79-94 |
| 82 | | Faron Moller,
Scott A. Smolka:
On the Computational Complexity of Bisimulation, Redux.
PCK50 2003: 55-59 |
| 81 | | Ping 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 |
| 80 | | Yifei 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 |
|---|
| 79 | | Radu Grosu,
Erez Zadok,
Scott A. Smolka,
Rance Cleaveland,
Yanhong A. Liu:
High-confidence operating systems.
ACM SIGOPS European Workshop 2002: 205-208 |
| 78 | | Yifei Dong,
Beata Sarna-Starosta,
C. R. Ramakrishnan,
Scott A. Smolka:
Vacuity Checking in the Modal Mu-Calculus.
AMAST 2002: 147-162 |
| 2001 |
|---|
| 77 | | Radu Grosu,
Yanhong A. Liu,
Scott A. Smolka,
Scott D. Stoller,
Jingyu Yan:
Automated Software Engineering Using Concurrent Class Machines.
ASE 2001: 297- |
| 76 | | M. J. P. van Osch,
Scott A. Smolka:
Finite-State Analysis of the CAN Bus Protocol.
HASE 2001: 42- |
| 75 | | K. Narayan Kumar,
C. R. Ramakrishnan,
Scott A. Smolka:
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models.
ICLP 2001: 227-241 |
| 74 | | David Hansel,
Rance Cleaveland,
Scott A. Smolka:
Distributed Prototyping from Validated Specifications.
IEEE International Workshop on Rapid System Prototyping 2001: 97-102 |
| 73 | | R. 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 |
| 72 | | Dina Q. Goldin,
Scott A. Smolka,
Peter Wegner:
Turing Machines, Transition Systems, and Interaction.
Electr. Notes Theor. Comput. Sci. 52(1): (2001) |
| 71 | | Anna 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 |
|---|
| 70 | | C. 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 |
| 69 | | Rance Cleaveland,
Xiaoqun Du,
Scott A. Smolka:
GCCS: A Graphical Coordination Language for System Specification.
COORDINATION 2000: 284-298 |
| 68 | | Samik Basu,
Scott A. Smolka,
Orson R. Ward:
Model Checking the Java Meta-Locking Algorithm.
ECBS 2000: 342-350 |
| 67 | | Xiaoqun 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 |
| 66 | | Eugene W. Stark,
Scott A. Smolka:
A complete axiom system for finite-state probabilistic processes.
Proof, Language, and Interaction 2000: 571-596 |
| 65 | | Abhik 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 |
| 64 | | Xiaoqun Du,
C. R. Ramakrishnan,
Scott A. Smolka:
Real-Time Verification Techniques for Untimed Systems.
Electr. Notes Theor. Comput. Sci. 39(3): (2000) |
| 1999 |
|---|
| 63 | | Madhavan Mukund,
K. Narayan Kumar,
Scott A. Smolka:
Faster Model Checking for Open Systems.
ASIAN 1999: 227-238 |
| 62 | | Yifei Dong,
Scott A. Smolka,
Eugene W. Stark,
Stephanie M. White:
Practical Considerations in Protocol Verification: The E-2C Case Study.
ICECCS 1999: 153- |
| 61 | | Shiyong Lu,
Scott A. Smolka:
Model Checking the Secure Electronic Transaction (SET) Protocol.
MASCOTS 1999: 358- |
| 60 | | Yifei 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 |
| 59 | | Rance Cleaveland,
Zeynep Dayar,
Scott A. Smolka,
Shoji Yuen:
Testing Preorders for Probabilistic Processes.
Inf. Comput. 154(2): 93-148 (1999) |
| 58 | | Xiaoqun Du,
Scott A. Smolka,
Rance Cleaveland:
Local Model Checking and Protocol Analysis.
STTT 2(3): 219-241 (1999) |
| 1998 |
|---|
| 57 | | Anna Philippou,
Rance Cleaveland,
Insup Lee,
Scott A. Smolka,
Oleg Sokolsky:
Praobabilistic Resource Failure in Real-Time Process Algebra.
CONCUR 1998: 389-404 |
| 56 | | K. Narayan Kumar,
Rance Cleaveland,
Scott A. Smolka:
Infinite Probabilistic and Nonprobabilistic Testing.
FSTTCS 1998: 209-220 |
| 55 | | Xinxin Liu,
Scott A. Smolka:
Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract).
ICALP 1998: 53-66 |
| 54 | | Eugene W. Stark,
Scott A. Smolka:
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata.
LICS 1998: 466-477 |
| 53 | | Baoqiu 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 |
| 52 | | Xinxin Liu,
C. R. Ramakrishnan,
Scott A. Smolka:
Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract).
TACAS 1998: 5-19 |
| 51 | | Abhik Roychoudhury,
C. R. Ramakrishnan,
I. V. Ramakrishnan,
Scott A. Smolka:
Tabulation-based Induction Proofs with Application to Automated Verification.
TAPD 1998: 83-88 |
| 50 | | Yuh-Jzer Joung,
Scott A. Smolka:
Strong Interaction Fairness Via Randomization.
IEEE Trans. Parallel Distrib. Syst. 9(2): 137-149 (1998) |
| 1997 |
|---|
| 49 | | Xiaoqun 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 |
| 48 | | Y. 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 |
| 47 | | Y. S. Ramakrishna,
Scott A. Smolka:
Partial-Order Reduction in the Weak Modal Mu-Calculus.
CONCUR 1997: 5-24 |
| 46 | | Sue-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 |
|---|
| 45 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory: A Development Environment for Concurrent Systems.
CAV 1996: 398-401 |
| 44 | | Yuh-Jzer Joung,
Scott A. Smolka:
Strong Interaction Fairness via Randomization.
ICDCS 1996: 475-483 |
| 43 | | Rance Cleaveland,
Insup Lee,
Philip M. Lewis,
Scott A. Smolka:
A Theory of Testing for Soft Real-Time Processes.
SEKE 1996: 474-479 |
| 42 | | Rance Cleaveland,
Philip M. Lewis,
Scott A. Smolka,
Oleg Sokolsky:
The Concurrency Factory Software Development Environment.
TACAS 1996: 391-395 |
| 41 | | Rance Cleaveland,
Scott A. Smolka:
Strategic Directions in Concurrency Research.
ACM Comput. Surv. 28(4): 607-625 (1996) |
| 40 | | Rocco De Nicola,
Scott A. Smolka:
Concurrency: Theory and Practice.
ACM Comput. Surv. 28(4es): 52 (1996) |
| 39 | | Rance Cleaveland,
Scott A. Smolka:
Strategic Directions in Computing Research-Concurrency Working Group Report.
Bulletin of the EATCS 60: 97-122 (1996) |
| 38 | | Scott A. Smolka,
Bernhard Steffen:
Priority as Extremal Probability.
Formal Asp. Comput. 8(5): 585-606 (1996) |
| 37 | | Yuh-Jzer Joung,
Scott A. Smolka:
A Comprehensive Study of the Complexity of Multiparty Interaction.
J. ACM 43(1): 75-115 (1996) |
| 1995 |
|---|
| 36 | | Insup Lee,
Scott A. Smolka:
CONCUR '95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, Proceedings
Springer 1995 |
| 35 | | Oleg Sokolsky,
Scott A. Smolka:
Local Model Checking for Real-Time Systems (Extended Abstract).
CAV 1995: 211-224 |
| 34 | | Faron Moller,
Scott A. Smolka:
On the Computational Complexity of Bisimulation.
ACM Comput. Surv. 27(2): 287-289 (1995) |
| 33 | | Rob J. van Glabbeek,
Scott A. Smolka,
Bernhard Steffen:
Reactive, Generative and Stratified Models of Probabilistic Processes
Inf. Comput. 121(1): 59-80 (1995) |
| 32 | | Jos C. M. Baeten,
Jan A. Bergstra,
Scott A. Smolka:
Axiomatizing Probabilistic Processes: ACP with Generative Probabilities
Inf. Comput. 121(2): 234-255 (1995) |
| 1994 |
|---|
| 31 | | Oleg Sokolsky,
Scott A. Smolka:
Incremental Model Checking in the Modal Mu-Calculus.
CAV 1994: 351-363 |
| 30 | | Andrew C. Uselton,
Scott A. Smolka:
A Compositional Semantics for Statecharts using Labeled Transition Systems.
CONCUR 1994: 2-17 |
| 29 | | Shoji Yuen,
Rance Cleaveland,
Zeynep Dayar,
Scott A. Smolka:
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.
CONCUR 1994: 497-512 |
| 28 | | Sue-Hwey Wu,
Scott A. Smolka,
Eugene W. Stark:
Composition and Behaviors of Probabilistic I/O Automata.
CONCUR 1994: 513-528 |
| 27 | | Shipei Zhang,
Oleg Sokolsky,
Scott A. Smolka:
On the Parallel Complexity of Model Checking in the Modal Mu-Calculus
LICS 1994: 154-163 |
| 26 | | Andrew C. Uselton,
Scott A. Smolka:
A Process Algebraic Semantics for Statecharts via State Refinement.
PROCOMET 1994: 267-286 |
| 25 | | Rajiv Gupta,
Scott A. Smolka,
Shaji Bhaskar:
On Randomization in Sequential and Distributed Algorithms.
ACM Comput. Surv. 26(1): 7-86 (1994) |
| 24 | | Yuh-Jzer Joung,
Scott A. Smolka:
Coordinating First-Order Multiparty Interactions.
ACM Trans. Program. Lang. Syst. 16(3): 954-985 (1994) |
| 1992 |
|---|
| 23 | | Jos C. M. Baeten,
Jan A. Bergstra,
Scott A. Smolka:
Axiomization Probabilistic Processes: ACP with Generative Probabililties (Extended Abstract).
CONCUR 1992: 472-485 |
| 22 | | Shipei Zhang,
Scott A. Smolka:
Towards efficient parallelization of equivalence checking algorithms.
FORTE 1992: 121-135 |
| 21 | | Rance Cleaveland,
Scott A. Smolka,
Amy E. Zwarico:
Testing Preorders for Probabilistic Processes.
ICALP 1992: 708-719 |
| 20 | | Yuh-Jzer Joung,
Scott A. Smolka:
A Comprehensive Study of the Complexity of Multiparty Interaction.
POPL 1992: 142-153 |
| 19 | | Michael Kifer,
Scott A. Smolka:
OSP: An Environment for Operating System Projects.
Operating Systems Review 26(4): 98-100 (1992) |
| 1991 |
|---|
| 18 | | Yuh-Jzer Joung,
Scott A. Smolka:
Coordinating First-Order Multiparty Interactions.
POPL 1991: 209-220 |
| 1990 |
|---|
| 17 | | Chi-Chang Jou,
Scott A. Smolka:
Equivalences, Congruences, and Complete Axiomatizations for Probabilistic Processes.
CONCUR 1990: 367-383 |
| 16 | | Scott A. Smolka,
Bernhard Steffen:
Priority as Extremal Probability.
CONCUR 1990: 456-466 |
| 15 | | Yuh-Jzer Joung,
Scott A. Smolka:
A Completely Distributed and Message-Efficient Implementation of Synchronous Multiprocess Communication.
ICPP (3) 1990: 311-318 |
| 14 | | Rob J. van Glabbeek,
Scott A. Smolka,
Bernhard Steffen,
Chris M. N. Tofts:
Reactive, Generative, and Stratified Models of Probabilistic Processes
LICS 1990: 130-141 |
| 13 | | Paris C. Kanellakis,
Scott A. Smolka:
CCS Expressions, Finite State Processes, and Three Problems of Equivalence
Inf. Comput. 86(1): 43-68 (1990) |
| 1988 |
|---|
| 12 | | Jawahar 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 |
| 11 | | John H. Reif,
Scott A. Smolka:
The Complexity of Reachability in Distributed Communicating Processes.
Acta Inf. 25(3): 333-354 (1988) |
| 10 | | Paris C. Kanellakis,
Scott A. Smolka:
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes.
Algorithmica 3: 421-450 (1988) |
| 9 | | Alessandro 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 |
|---|
| 8 | | Tommaso Bolognesi,
Scott A. Smolka:
Fundamental Results for the Verification of Observational Equivalence: A Survey.
PSTV 1987: 165-179 |
| 7 | | Gurdip Singh,
Scott A. Smolka,
I. V. Ramakrishnan:
Distributed Algorithms for Tree Pattern Matching.
WDAG 1987: 92-107 |
| 1985 |
|---|
| 6 | | Paris C. Kanellakis,
Scott A. Smolka:
On the Analysis of Cooperation and Antagonism in Networks of Communicating Processes.
PODC 1985: 23-38 |
| 1984 |
|---|
| 5 | | Saumya K. Debray,
Ariel J. Frank,
Scott A. Smolka:
On the Existence and Construction of Robust Communication Protocals for Unreliable Channels.
FSTTCS 1984: 136-151 |
| 4 | | Scott A. Smolka,
Ariel J. Frank,
Saumya K. Debray:
Testing Protocol Robustness the CCS Way.
PSTV 1984: 93-108 |
| 3 | | Scott A. Smolka:
Polynomial-Time Analysis for a Class of Communicating processes.
Symposium on Programming 1984: 250-262 |
| 1983 |
|---|
| 2 | | Paris C. Kanellakis,
Scott A. Smolka:
CCS Expressions, Finite State Processes, and THree Problems of Equivalence.
PODC 1983: 228-240 |
| 1 | | Peter Wegner,
Scott A. Smolka:
Processes, Tasks, and Monitors: A Comparative Study of Concurrent Programming Primitives.
IEEE Trans. Software Eng. 9(4): 446-462 (1983) |
