BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Belgium
1 × Cyprus
1 × Denmark
1 × France
1 × Israel
1 × Italy
1 × Portugal
1 × The Netherlands
1 × United Kingdom
13 × USA
4 × Germany
Collaborated with:
C.R.Ramakrishnan O.Sokolsky R.Grosu R.Cleaveland Y.Joung Y.Dong X.Liu P.M.Lewis I.V.Ramakrishnan K.N.Kumar E.W.Stark P.Yang A.Roychoudhury D.S.Warren X.Du E.Bartocci A.Gorlin S.Zhang A.E.Zwarico Y.S.Ramakrishna C.W.Keller D.Saha S.Basu I.Lee R.J.v.Glabbeek B.Steffen C.M.N.Tofts P.Katsaros Y.A.Liu S.D.Stoller J.Yan Z.Yang B.Al-Rawi K.A.Sakallah X.Huang S.Callanan A.Rai M.R.True E.Zadok T.Swift J.Cyranka M.A.Islam G.Byrne P.L.Jones G.Batt F.H.Fenton J.Glimm C.L.Guernic V.N.Venkatakrishnan B.Cui
Talks about:
model (15) check (13) system (6) probabilist (5) program (5) process (5) logic (5) concurr (4) verif (4) use (4)

Person: Scott A. Smolka

DBLP DBLP: Smolka:Scott_A=

Facilitated 1 volumes:

TACAS 2013Ed

Contributed to:

ICLP 20122012
CAV 20112011
TACAS 20112011
IFM 20092009
MBT 20062006
PADL 20052005
TACAS 20052005
CAV 20032003
VMCAI 20032003
ASE 20012001
ICLP 20012001
CAV 20002000
TACAS 20002000
TACAS 19991999
ALP/PLILP 19981998
ICALP 19981998
LICS 19981998
TACAS 19981998
CAV 19971997
CAV 19961996
SEKE 19961996
TACAS 19961996
CAV 19951995
CAV 19941994
LICS 19941994
ICALP 19921992
POPL 19921992
POPL 19911991
LICS 19901990
CAV (1) 20172017

Wrote 31 papers:

ICLP-J-2012-GorlinRS #logic programming #model checking #probability
Model checking with probabilistic tabled logic programming (AG, CRR, SAS), pp. 681–700.
CAV-2011-GrosuBFGGSB #network #search-based
From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.
TACAS-2011-BartocciGKRS #probability
Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.
IFM-2009-YangASHSG #model checking #reduction
Dynamic Path Reduction for Software Model Checking (ZY, BAR, KAS, XH, SAS, RG), pp. 322–336.
MBT-2006-CallananGRSTZ #approach #monte carlo #runtime #verification
Runtime Verification for High-Confidence Systems: A Monte Carlo Approach (SC, RG, AR, SAS, MRT, EZ), pp. 41–52.
PADL-2005-YangDRS #compilation #mobile #model checking #performance #process
A Provably Correct Compiler for Efficient Model Checking of Mobile Processes (PY, YD, CRR, SAS), pp. 113–127.
TACAS-2005-GrosuS #model checking #monte carlo
Monte Carlo Model Checking (RG, SAS), pp. 271–286.
TACAS-2005-KellerSBS #c #debugging #model checking #named #source code
FocusCheck: A Tool for Model Checking and Debugging Sequential C Programs (CWK, DS, SB, SAS), pp. 563–569.
CAV-2003-DongRS #model checking #proving
Evidence Explorer: A Tool for Exploring Model-Checking Proofs (YD, CRR, SAS), pp. 215–218.
VMCAI-2003-YangRS #encoding #logic #mobile #model checking #process #using #π-calculus
A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled Resolution (PY, CRR, SAS), pp. 116–131.
ASE-2001-GrosuLSSY #automation #concurrent #re-engineering #using
Automated Software Engineering Using Concurrent Class Machines (RG, YAL, SAS, SDS, JY), p. 297–?.
ICLP-2001-KumarRS #equation #fixpoint #modelling
Alternating Fixed Points in Boolean Equation Systems as Preferred Stable Models (KNK, CRR, SAS), pp. 227–241.
CAV-2000-RamakrishnanRSDDRV #named #tool support #verification
XMC: A Logic-Programming-Based Verification Toolset (CRR, IVR, SAS, YD, XD, AR, VNV), pp. 576–580.
TACAS-2000-RoychoudhuryKRRS #logic programming #program transformation #using #verification
Verification of Parameterized Systems Using Logic Program Transformations (AR, KNK, CRR, IVR, SAS), pp. 172–187.
TACAS-1999-DongDRRRSSSW #case study #comparative #concurrent #tool support #verification
Fighting Livelock in the i-Protocol: A Comparative Study of Verification Tools (YD, XD, YSR, CRR, IVR, SAS, OS, EWS, DSW), pp. 74–88.
ALP-PLILP-1998-CuiDDKRRRSW #logic programming #model checking
Logic Programming and Model Checking (BC, YD, XD, KNK, CRR, IVR, AR, SAS, DSW), pp. 1–20.
ICALP-1998-LiuS #algorithm #fixpoint #linear
Simple Linear-Time Algorithms for Minimal Fixed Points (XL, SAS), pp. 53–66.
LICS-1998-StarkS #analysis #automaton #composition #network #probability
Compositional Analysis of Expected Delays in Networks of Probabilistic I/O Automata (EWS, SAS), pp. 466–477.
TACAS-1998-LiuRS #evaluation #fixpoint #performance
Fully Local and Efficient Evaluation of Alternating Fixed Points (XL, CRR, SAS), pp. 5–19.
CAV-1997-RamakrishnanRRSSW #model checking #performance #using
Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.
CAV-1996-CleavelandLSS #concurrent #development
The Concurrency Factory: A Development Environment for Concurrent Systems (RC, PML, SAS, OS), pp. 398–401.
SEKE-1996-CleavelandLLS #formal method #process #realtime #testing
A Theory of Testing for Soft Real-Time Processes (RC, IL, PML, SAS), pp. 474–479.
TACAS-1996-CleavelandLSS #concurrent #development
The Concurrency Factory Software Development Environment (RC, PML, SAS, OS), pp. 391–395.
CAV-1995-SokolskyS #model checking #realtime
Local Model Checking for Real-Time Systems (OS, SAS), pp. 211–224.
CAV-1994-SokolskyS #calculus #incremental #model checking #μ-calculus
Incremental Model Checking in the Modal μ-Calculus (OS, SAS), pp. 351–363.
LICS-1994-ZhangSS #calculus #complexity #model checking #on the #parallel #μ-calculus
On the Parallel Complexity of Model Checking in the Modal μ-Calculus (SZ, OS, SAS), pp. 154–163.
ICALP-1992-CleavelandSZ #probability #process #testing
Testing Preorders for Probabilistic Processes (RC, SAS, AEZ), pp. 708–719.
POPL-1992-JoungS #complexity #interactive #multi
A Comprehensive Study of the Complexity of Multiparty Interaction (YJJ, SAS), pp. 142–153.
POPL-1991-JoungS #coordination #first-order #interactive #multi
Coordinating First-Order Multiparty Interactions (YJJ, SAS), pp. 209–220.
LICS-1990-GlabbeekSST #generative #modelling #probability #process
Reactive, Generative, and Stratified Models of Probabilistic Processes (RJvG, SAS, BS, CMNT), pp. 130–141.
CAV-2017-CyrankaIBJSG
Lagrangian Reachabililty (JC, MAI, GB, PLJ, SAS, RG), pp. 379–400.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.