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: Smolka:Scott_A=
Facilitated 1 volumes:
EdContributed to:
2012
20112011
2009
2006
200520052003
2003
20012001200020001999
1998
1998
1998199819971996
199619961995199419941992
1992199119902017Wrote 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.