Scott A. Smolka - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

2010

2009

2008

CellExcite: an efficient simulation environment for excitable cellsEzio Bartocci, Flavio Corradini, Emilia Entcheva, Radu Grosu, Scott A. Smolka. bmcbi, 9(S-2), 2008. [doi]

Spatial Networks of Hybrid I/O Automata for Modeling Excitable TissueEzio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka. ENTCS, 194(3):51-67, 2008. [doi]

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac MyocytesEzio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka. birthday 2008: 493-502 [doi]

Software monitoring with bounded overheadSean Callanan, David J. Dean, Michael Gorbovitski, Radu Grosu, Justin Seyster, Scott A. Smolka, Scott D. Stoller, Erez Zadok. ipps 2008: 1-8 [doi]

Learning and Detecting Emergent Behavior in Networks of Cardiac MyocytesRadu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska. hybrid 2008: 229-243 [doi]

Power Optimization in Fault-Tolerant MANETsOliviero Riganelli, Radu Grosu, Scott A. Smolka. mascots 2008: 379-380

Power Optimization in Fault-Tolerant Mobile Ad Hoc NetworksOliviero Riganelli, Radu Grosu, Samir R. Das, C. R. Ramakrishnan, Scott A. Smolka. hase 2008: 362-370 [doi]

A Process Calculus for Mobile Ad Hoc NetworksAnu Singh, C. R. Ramakrishnan, Scott A. Smolka. coordination 2008: 296-314 [doi]

Formal Analysis of Abnormal Excitation in Cardiac TissuePei Ye, Radu Grosu, Scott A. Smolka, Emilia Entcheva. cmsb 2008: 141-155 [doi]

2007

2006

Compiler-assisted software verification using plug-insSean Callanan, Radu Grosu, Xiaowan Huang, Scott A. Smolka, Erez Zadok. ipps 2006: [doi]

Runtime Verification for High-Confidence Systems: A Monte Carlo ApproachSean Callanan, Radu Grosu, Abhishek Rai, Scott A. Smolka, Mike R. True, Erez Zadok. ENTCS, 164(4):41-52, 2006. [doi]

An Instrumentation-Based Approach to Controller Model ValidationRance Cleaveland, Scott A. Smolka, Steve Sims. aswsd 2008: 84-97 [doi]

Monte Carlo Methods for Process AlgebraRadu Grosu, Scott A. Smolka. ENTCS, 162:203-207, 2006. [doi]

Open-Source Model CheckingRadu Grosu, Xiaowan Huang, Sumit Jain, Scott A. Smolka. ENTCS, 144(3):27-44, 2006. [doi]

Deep Random Search for Efficient Model Checking of Timed AutomataRadu Grosu, Xiaowan Huang, Scott A. Smolka, Wenkai Tan, Stavros Tripakis. monterey 2007: 111-124 [doi]

PrefaceJirí Srba, Scott A. Smolka. ENTCS, 149(1):1-2, 2006. [doi]

Probabilistic I/O Automata: Theories of Two EquivalencesEugene W. Stark, Rance Cleaveland, Scott A. Smolka. concur 2006: 343-357 [doi]

2005

2004

2003

Generation of All Counter-Examples for Push-Down SystemsSamik Basu, Diptikalyan Saha, Yow-Jian Lin, Scott A. Smolka. forte 2003: 79-94 [doi]

Fighting livelock in the GNU i-protocol: a case study in explicit-state model checkingYifei Dong, Xiaoqun Du, Gerard J. Holzmann, Scott A. Smolka. STTT, 4(4):505-528, 2003. [doi]

Evidence Explorer: A Tool for Exploring Model-Checking ProofsYifei Dong, C. R. Ramakrishnan, Scott A. Smolka. cav 2003: 215-218 [doi]

Model Checking and Evidence ExplorationYifei Dong, C. R. Ramakrishnan, Scott A. Smolka. ECBS 2003: 214-223 [doi]

PCK50 - Principles of Computing & Knowledge, Paris C. Kanellakis Memorial Workshop, San Diego, California, USA, June 8th, 2003Dina Q. Goldin, Alexander A. Shvartsman, Scott A. Smolka, Jeffrey Scott Vitter, Stanley B. Zdonik, editors, ACM, 2003.

On the Computational Complexity of Bisimulation, ReduxFaron Moller, Scott A. Smolka. BIRTHDAY 2003: 55-59

A Process-Algebraic Language for Probabilistic I/O AutomataEugene W. Stark, Rance Cleaveland, Scott A. Smolka. concur 2003: 189-203 [doi]

A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled ResolutionPing Yang, C. R. Ramakrishnan, Scott A. Smolka. vmcai 2003: 116-131 [doi]

2002

Vacuity Checking in the Modal Mu-CalculusYifei Dong, Beata Sarna-Starosta, C. R. Ramakrishnan, Scott A. Smolka. amast 2002: 147-162 [doi]

High-confidence operating systemsRadu Grosu, Erez Zadok, Scott A. Smolka, Rance Cleaveland, Yanhong A. Liu. sigopsE 2002: 205-208 [doi]

2001

Turing Machines, Transition Systems, and InteractionDina Q. Goldin, Scott A. Smolka, Peter Wegner. ENTCS, 52(1), 2001. [doi]

Automated Software Engineering Using Concurrent Class MachinesRadu Grosu, Yanhong A. Liu, Scott A. Smolka, Scott D. Stoller, Jingyu Yan. ASE 2001: 297 [doi]

Distributed Prototyping from Validated SpecificationsDavid Hansel, Rance Cleaveland, Scott A. Smolka. rsp 2001: 97-102 [doi]

Alternating Fixed Points in Boolean Equation Systems as Preferred Stable ModelsK. Narayan Kumar, C. R. Ramakrishnan, Scott A. Smolka. ICLP 2001: 227-241 [doi]

Hiding resources that can fail: An axiomatic perspectiveAnna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, Scott A. Smolka. ipl, 80(1):3-13, 2001. [doi]

Model-Carrying Code (MCC): a new paradigm for mobile-code securityR. Sekar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka. nspw 2001: 23-30 [doi]

Finite-State Analysis of the CAN Bus ProtocolM. J. P. van Osch, Scott A. Smolka. hase 2001: 42

2000

Model Checking the Java Meta-Locking AlgorithmSamik Basu, Scott A. Smolka, Orson R. Ward. ECBS 2000: 342-350 [doi]

GCCS: A Graphical Coordination Language for System SpecificationRance Cleaveland, Xiaoqun Du, Scott A. Smolka. coordination 2000: 284-298 [doi]

Tabled Resolution + Constraints: A Recipe for Model Checking Real-Time SystemsXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka. rtss 2000: 175-184 [doi]

Real-Time Verification Techniques for Untimed SystemsXiaoqun Du, C. R. Ramakrishnan, Scott A. Smolka. ENTCS, 39(3), 2000. [doi]

XMC: A Logic-Programming-Based Verification ToolsetC. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Yifei Dong, Xiaoqun Du, Abhik Roychoudhury, V. N. Venkatakrishnan. cav 2000: 576-580

Verification of Parameterized Systems Using Logic Program TransformationsAbhik Roychoudhury, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka. TACAS 2000: 172-187 [doi]

A complete axiom system for finite-state probabilistic processesEugene W. Stark, Scott A. Smolka. BIRTHDAY 2000: 571-596

1999

Testing Preorders for Probabilistic ProcessesRance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen. iandc, 154(2):93-148, 1999.

Practical Considerations in Protocol Verification: The E-2C Case StudyYifei Dong, Scott A. Smolka, Eugene W. Stark, Stephanie M. White. iceccs 1999: 153 [doi]

Fighting Livelock in the i-Protocol: A Comparative Study of Verification ToolsYifei Dong, Xiaoqun Du, Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Oleg Sokolsky, Eugene W. Stark, David Scott Warren. TACAS 1999: 74-88 [doi]

Local Model Checking and Protocol AnalysisXiaoqun Du, Scott A. Smolka, Rance Cleaveland. STTT, 2(3):219-241, 1999. [doi]

Model Checking the Secure Electronic Transaction (SET) ProtocolShiyong Lu, Scott A. Smolka. mascots 1999: 358 [doi]

Faster Model Checking for Open SystemsMadhavan Mukund, K. Narayan Kumar, Scott A. Smolka. asian 1999: 227-238 [doi]

1998

Logic Programming and Model CheckingBaoqiu Cui, Yifei Dong, Xiaoqun Du, K. Narayan Kumar, C. R. Ramakrishnan, I. V. Ramakrishnan, Abhik Roychoudhury, Scott A. Smolka, David Scott Warren. plilp 1998: 1-20 [doi]

Strong Interaction Fairness Via RandomizationYuh-Jzer Joung, Scott A. Smolka. tpds, 9(2):137-149, 1998. [doi]

Infinite Probabilistic and Nonprobabilistic TestingK. Narayan Kumar, Rance Cleaveland, Scott A. Smolka. fsttcs 1998: 209-220

Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract)Xinxin Liu, Scott A. Smolka. icalp 1998: 53-66 [doi]

Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended Abstract)Xinxin Liu, C. R. Ramakrishnan, Scott A. Smolka. TACAS 1998: 5-19 [doi]

Praobabilistic Resource Failure in Real-Time Process AlgebraAnna Philippou, Rance Cleaveland, Insup Lee, Scott A. Smolka, Oleg Sokolsky. concur 1998: 389-404 [doi]

Tabulation-based Induction Proofs with Application to Automated VerificationAbhik Roychoudhury, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka. tapd 1998: 83-88 [doi]

Compositional Analysis of Expected Delays in Networks of Probabilistic I/O AutomataEugene W. Stark, Scott A. Smolka. lics 1998: 466-477

1997

1996

Strategic Directions in Computing Research-Concurrency Working Group ReportRance Cleaveland, Scott A. Smolka. eatcs, 60:97-122, 1996.

Strategic Directions in Concurrency ResearchRance Cleaveland, Scott A. Smolka. ACM Comput. Surv., 28(4):607-625, 1996.

A Theory of Testing for Soft Real-Time ProcessesRance Cleaveland, Insup Lee, Philip M. Lewis, Scott A. Smolka. seke 1996: 474-479

The Concurrency Factory Software Development EnvironmentRance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky. TACAS 1996: 391-395

The Concurrency Factory: A Development Environment for Concurrent SystemsRance Cleaveland, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky. cav 1996: 398-401

Strong Interaction Fairness via RandomizationYuh-Jzer Joung, Scott A. Smolka. icdcs 1996: 475-483

A Comprehensive Study of the Complexity of Multiparty InteractionYuh-Jzer Joung, Scott A. Smolka. JACM, 43(1):75-115, 1996. [doi]

Concurrency: Theory and PracticeRocco De Nicola, Scott A. Smolka. ACM Comput. Surv., 28(4es):52, 1996.

Priority as Extremal ProbabilityScott A. Smolka, Bernhard Steffen. fac, 8(5):585-606, 1996.

1995

Axiomatizing Probabilistic Processes: ACP with Generative ProbabilitiesJos C. M. Baeten, Jan A. Bergstra, Scott A. Smolka. iandc, 121(2):234-255, September 1995.

CONCUR 95: Concurrency Theory, 6th International Conference, Philadelphia, PA, USA, August 21-24, 1995, ProceedingsInsup Lee, Scott A. Smolka, editors, Volume 962 of Lecture Notes in Computer Science, Springer, 1995.

On the Computational Complexity of BisimulationFaron Moller, Scott A. Smolka. ACM Comput. Surv., 27(2):287-289, 1995.

Local Model Checking for Real-Time Systems (Extended Abstract)Oleg Sokolsky, Scott A. Smolka. cav 1995: 211-224

Reactive, Generative and Stratified Models of Probabilistic ProcessesRob J. van Glabbeek, Scott A. Smolka, Bernhard Steffen. iandc, 121(1):59-80, August 1995.

1994

On Randomization in Sequential and Distributed AlgorithmsRajiv Gupta, Scott A. Smolka, Shaji Bhaskar. ACM Comput. Surv., 26(1):7-86, 1994.

Coordinating First-Order Multiparty InteractionsYuh-Jzer Joung, Scott A. Smolka. TOPLAS, 16(3):954-985, 1994. [doi]

Composition and Behaviors of Probabilistic I/O AutomataSue-Hwey Wu, Scott A. Smolka, Eugene W. Stark. concur 1994: 513-528

PreviousNext