Index of /~emc/papers/Conference Papers

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory - [   ] 01_nonlinear_image.pdf 06-Jul-2004 15:44 151K [   ] 1System description_..> 06-Jul-2004 15:44 173K [   ] 1System description_..> 06-Jul-2004 15:44 134K [   ] 79_impossible_hoarea..> 06-Jul-2004 15:44 1.0M [   ] 83_axiomatizations_h..> 06-Jul-2004 15:44 1.0M [   ] 91_symbolic_partitio..> 06-Jul-2004 15:44 598K [   ] 92_parallel_nonhorn_..> 06-Jul-2004 15:44 867K [   ] 94_ltl_model.pdf 06-Jul-2004 15:44 364K [   ] 95_timing_industrial..> 06-Jul-2004 15:44 1.1M [   ] 95_verification_fbc_..> 06-Jul-2004 15:44 879K [   ] 97_equivalence_abstr..> 06-Jul-2004 15:44 530K [   ] 97_hybrid_spectral_t..> 06-Jul-2004 15:44 609K [   ] A Bayesian Approach ..> 06-Feb-2014 15:33 365K [   ] A Failed Attempt to ..> 06-Jul-2004 15:44 135K [   ] A Language for Compo..> 11-Feb-2014 10:08 1.0M [   ] A Language for Compo..> 06-Jul-2004 15:44 161K [   ] A Machine Checkable ..> 10-Feb-2014 16:12 206K [   ] A Methodology for Ve..> 11-Feb-2014 09:58 603K [   ] A Model Checker for ..> 10-Feb-2014 16:35 293K [   ] A Model Checker for ..> 06-Jul-2004 15:44 258K [   ] A Non-prenex Non-cla..> 06-Feb-2014 15:31 229K [   ] A Parallel Algorithm..> 06-Jul-2004 15:44 704K [   ] A Parallel Algorithm..> 06-Jul-2004 15:44 1.0M [   ] A SAT-Based Algorith..> 07-Feb-2014 15:50 148K [   ] A Synthesis of Two A..> 06-Jul-2004 15:44 762K [   ] A Synthesis of Two A..> 06-Jul-2004 15:44 656K [   ] A Technique for Usin..> 06-Jul-2004 15:44 215K [   ] A Theory of Consiste..> 06-Jul-2004 15:44 204K [   ] A Theory of Consiste..> 06-Jul-2004 15:44 212K [   ] A Tool for Checking ..> 07-Feb-2014 15:59 408K [   ] A Unified Approach f..> 06-Jul-2004 15:44 570K [   ] A language for compo..> 06-Jul-2004 15:44 893K [   ] A parallel algorithm..> 06-Jul-2004 15:44 340K [   ] An Improved Algorith..> 06-Jul-2004 15:44 1.0M [   ] An Improved Algorith..> 06-Jul-2004 15:44 632K [   ] An Improved Algorith..> 06-Jul-2004 15:44 301K [   ] An Improved Algorith..> 06-Jul-2004 15:44 308K [   ] Analog Circuit Verif..> 05-Feb-2014 16:30 146K [   ] Analysis and Verific..> 10-Feb-2014 16:07 137K [   ] Analytica --- An Exp..> 06-Jul-2004 15:44 241K [   ] Analytica A Theorem ..> 10-Feb-2014 13:43 208K [   ] Another Look at LTL ..> 06-Jul-2004 15:44 307K [   ] Approximate Algorith..> 06-Jul-2004 15:44 1.2M [   ] Arithmetic Strengthe..> 07-Feb-2014 15:20 638K [   ] Assume-Guarantee Abs..> 05-Feb-2014 16:17 319K [   ] Assumption Generatio..> 05-Feb-2014 16:19 279K [   ] Automated Abstractio..> 06-Jul-2004 15:44 227K [   ] Automated Assume-Gua..> 07-Feb-2014 15:28 234K [   ] Automated Assume-Gua..> 06-Feb-2014 15:18 278K [   ] Automated Compositio..> 07-Feb-2014 15:57 1.6M [   ] Automated compositio..> 06-Jul-2004 15:44 321K [   ] Automated compositio..> 06-Jul-2004 15:44 248K [   ] Automatic Abstractio..> 31-Jan-2014 16:12 423K [   ] Automatic Verificati..> 06-Jul-2004 15:44 862K [   ] Automatic Verificati..> 10-Feb-2014 13:38 55K [   ] Automatic Verificati..> 11-Feb-2014 09:51 1.1M [   ] Automatic Verificati..> 11-Feb-2014 09:56 3.0M [   ] Automatic verificati..> 06-Jul-2004 15:44 647K [   ] Automatic verificati..> 06-Jul-2004 15:44 690K [   ] AutomaticVerificatio..> 19-Nov-2014 16:16 5.6M [   ] AutomaticVerificatio..> 19-Nov-2014 15:57 7.5M [   ] Avoiding the State E..> 06-Jul-2004 15:44 831K [   ] Avoiding the state e..> 06-Jul-2004 15:44 957K [   ] Bayesian Statistical..> 06-Feb-2014 15:25 526K [   ] Behavioral Consisten..> 06-Jul-2004 15:44 139K [   ] Behavioral consisten..> 06-Jul-2004 15:44 211K [   ] Can message buffers ..> 06-Jul-2004 15:44 564K [   ] Characterizing Corre..> 06-Jul-2004 15:44 506K [   ] Characterizing Kripk..> 06-Jul-2004 15:44 720K [   ] Checking Consistency..> 07-Feb-2014 15:50 835K [   ] Combining Decision D..> 06-Jul-2004 15:44 259K [   ] Combining Decision D..> 06-Jul-2004 15:44 730K [   ] Combining Local and ..> 06-Jul-2004 15:44 213K [   ] Combining Local and ..> 06-Jul-2004 15:44 487K [   ] Combining Symbolic C..> 06-Jul-2004 15:44 136K [   ] Combining Symbolic C..> 06-Jul-2004 15:44 154K [   ] Combining Symbolic M..> 10-Feb-2014 11:26 271K [   ] Comparing Learning A..> 06-Feb-2014 15:28 270K [   ] Compiling Path Expre..> 06-Jul-2004 15:44 1.3M [   ] Compiling path expre..> 06-Jul-2004 15:44 1.3M [   ] Completeness and com..> 06-Jul-2004 15:44 329K [   ] Completeness and com..> 06-Jul-2004 15:44 251K [   ] Compositional Model ..> 06-Jul-2004 15:44 187K [   ] Compositional Reason..> 10-Feb-2014 11:43 323K [   ] Computational Modeli..> 06-Feb-2014 15:16 461K [   ] Computing Differenti..> 06-Feb-2014 15:38 567K [   ] Computing Quantitati..> 06-Jul-2004 15:44 657K [   ] Computing Quantitati..> 06-Jul-2004 15:44 1.1M [   ] Counterexample Guide..> 07-Feb-2014 15:55 157K [   ] Counterexample-Guide..> 06-Jul-2004 15:44 210K [   ] Counterexample-guide..> 06-Jul-2004 15:44 226K [   ] Counterexample-guide..> 06-Jul-2004 15:44 926K [   ] Counterexamples Revi..> 07-Feb-2014 16:56 292K [   ] Deadlock prevention ..> 06-Jul-2004 15:44 499K [   ] Delta-Decidability o..> 05-Feb-2014 16:22 263K [   ] Design and Synthesis..> 10-Feb-2014 13:48 953K [   ] Design and synthesis..> 06-Feb-2014 15:58 17M [   ] Dynamic Component Su..> 07-Feb-2014 15:30 219K [   ] Efficient Craig Inte..> 06-Feb-2014 15:39 469K [   ] Efficient Filtering ..> 06-Jul-2004 15:44 167K [   ] Efficient Filtering ..> 06-Jul-2004 15:44 155K [   ] Efficient SAT Solvin..> 06-Feb-2014 15:34 468K [   ] Efficient Variable O..> 10-Feb-2014 16:04 147K [   ] Efficient Verificati..> 06-Jul-2004 15:44 181K [   ] Environment Abstract..> 07-Feb-2014 15:28 514K [   ] Equivalence Checking..> 11-Feb-2014 09:44 530K [   ] Equivalence Checking..> 11-Feb-2014 09:44 530K [   ] Escher-A Geometrical..> 06-Jul-2004 15:44 779K [   ] Escher_a geometrical..> 06-Jul-2004 15:44 439K [   ] Executable Protocol ..> 06-Jul-2004 15:44 203K [   ] Exploiting Symmetry ..> 10-Feb-2014 13:40 720K [   ] Extending Automated ..> 06-Feb-2014 15:59 774K [   ] Fast Spectrum Comput..> 06-Jul-2004 15:44 342K [   ] Finding Errors in Py..> 31-Jan-2014 16:18 168K [   ] Formal Analysis for ..> 05-Feb-2014 16:32 216K [   ] Formal Verification ..> 06-Feb-2014 15:35 355K [   ] Formal Verification ..> 10-Feb-2014 16:19 62K [   ] Formally Verifying A..> 11-Feb-2014 09:47 442K [   ] Grand Challenge Mode..> 10-Feb-2014 15:45 173K [   ] Hardware Verificatio..> 06-Jul-2004 15:44 58K [   ] High Level Verificat..> 10-Feb-2014 16:03 109K [   ] Hybrid Decision Diag..> 06-Jul-2004 15:44 147K [   ] Hybrid Decision Diag..> 06-Jul-2004 15:44 120K [   ] Improving BDD Variab..> 10-Feb-2014 16:06 144K [   ] Integrating ICP and ..> 06-Feb-2014 15:19 268K [   ] Learning Minimal Sep..> 06-Feb-2014 15:36 457K [   ] Learning Probabilist..> 05-Feb-2014 16:22 296K [   ] Making Predicate Abs..> 06-Jul-2004 15:44 127K [   ] Model Checking Back ..> 07-Feb-2014 15:47 216K [   ] Model Checking Semi-..> 06-Jul-2004 15:44 501K [   ] Model Checking VHDL ..> 10-Feb-2014 11:10 224K [   ] Model Checking and A..> 06-Jul-2004 15:44 1.2M [   ] Model Checking and A..> 06-Jul-2004 15:44 295K [   ] Model Checking and t..> 05-Feb-2014 16:34 549K [   ] Model Checking for S..> 06-Jul-2004 15:44 248K [   ] Model Checking for S..> 06-Jul-2004 15:44 251K [   ] Model Checking.pdf 10-Feb-2014 11:44 190K [   ] Modular Verification..> 06-Jul-2004 15:44 163K [   ] Modular Verification..> 06-Jul-2004 15:44 1.0M [   ] Multiple Clocks.pdf 06-Jul-2004 15:44 333K [   ] Multiple State and S..> 10-Feb-2014 11:05 401K [   ] Non-linear Quantific..> 06-Jul-2004 15:44 122K [   ] NuSMV 2.pdf 06-Jul-2004 15:44 56K [   ] NuSMV 2.ps 06-Jul-2004 15:44 70K [   ] NuSMV2_an Open Sourc..> 06-Jul-2004 15:44 120K [   ] NuSMV2_an Open Sourc..> 06-Jul-2004 15:44 70K [   ] NuSMV_ A New Symboli..> 06-Jul-2004 15:44 387K [   ] NuSMV_ a new symboli..> 06-Jul-2004 15:44 387K [   ] NuSmv a reimplementa..> 10-Feb-2014 16:17 139K [   ] On the Semantic Foun..> 06-Jul-2004 15:44 429K [   ] Parallel Symbolic Co..> 06-Jul-2004 15:44 1.2M [   ] Parthenon A Parallel..> 10-Feb-2014 13:45 161K [   ] Parthenon_A Parallel..> 06-Jul-2004 15:44 1.1M [   ] Partial Order Reduct..> 06-Jul-2004 15:44 158K [   ] Predicate Abstractio..> 06-Jul-2004 15:44 56K [   ] Predicate Abstractio..> 06-Jul-2004 15:44 291K [   ] Predicate Abstractio..> 06-Jul-2004 15:44 273K [   ] Predicate Abstractio..> 06-Jul-2004 15:44 296K [   ] ProbVerus_Probabilis..> 06-Jul-2004 15:44 166K [   ] Program Compatibilit..> 07-Feb-2014 15:30 407K [   ] Program Invariants a..> 06-Jul-2004 15:44 972K [   ] Program Invariants a..> 06-Jul-2004 15:44 966K [   ] Program Slicing of H..> 06-Jul-2004 15:44 267K [   ] ProgramminglanguageC..> 19-Nov-2014 16:21 10M [   ] Progress on the Stat..> 10-Feb-2014 10:57 578K [   ] Proving Ptolemy Righ..> 06-Feb-2014 16:01 530K [   ] Quantifier Eliminati..> 05-Feb-2014 16:32 334K [   ] Ranking Attack Graph..> 07-Feb-2014 15:25 1.9M [   ] Rare-Event Verificat..> 05-Feb-2014 16:21 468K [   ] Reachability for Lin..> 06-Feb-2014 16:03 822K [   ] Real-Time Symbolic M..> 06-Jul-2004 15:44 241K [   ] Reasoning about Netw..> 06-Jul-2004 15:44 535K [   ] ReasoningAboutNetwor..> 19-Nov-2014 16:17 5.4M [   ] Reconfiguration Stra..> 11-Feb-2014 10:02 3.6M [   ] Reconsidering CEGAR.pdf 10-Feb-2014 15:44 375K [   ] Refining Abstraction..> 07-Feb-2014 15:31 243K [   ] Representing Circuit..> 06-Jul-2004 15:44 471K [   ] SAT Based Abstractio..> 06-Jul-2004 15:44 231K [   ] SAT based Predicate ..> 10-Feb-2014 16:03 127K [   ] SAT-Based Algorithms..> 10-Feb-2014 16:02 105K [   ] SAT-Based Compositio..> 06-Feb-2014 16:02 546K [   ] SAT-Based Counterexa..> 06-Jul-2004 15:44 29K [   ] SATABS SAT-Based Pre..> 07-Feb-2014 15:45 84K [   ] Satisfiability Check..> 07-Feb-2014 15:26 466K [   ] Satisfiability Modul..> 31-Jan-2014 16:14 615K [   ] Sequential circuit v..> 06-Jul-2004 15:44 722K [   ] Solving QBF with Cou..> 05-Feb-2014 16:24 324K [   ] Solving QBF with Fre..> 31-Jan-2014 16:13 318K [   ] Spectral Transforms ..> 06-Jul-2004 15:44 607K [   ] State-Event Software..> 07-Feb-2014 15:44 607K [   ] State_event-based so..> 06-Jul-2004 15:44 291K [   ] State_event-based so..> 06-Jul-2004 15:44 300K [   ] Statistical Model Ch..> 05-Feb-2014 16:31 208K [   ] Statistical Model Ch..> 10-Feb-2014 15:36 354K [   ] Statistical Model Ch..> 06-Feb-2014 15:40 681K [   ] Statistical Model Ch..> 06-Feb-2014 15:53 291K [   ] Statistical Verifica..> 06-Feb-2014 15:32 311K [   ] Studies of biologica..> 31-Jan-2014 15:42 188K [   ] Symbolic Model Check..> 06-Jul-2004 15:44 123K [   ] Symbolic Model Check..> 06-Jul-2004 15:44 174K [   ] Symbolic Model Check..> 06-Jul-2004 15:44 164K [   ] Symbolic Model Check..> 10-Feb-2014 11:58 276K [   ] Symbolic model check..> 06-Jul-2004 15:44 74K [   ] Symmetry Reductions ..> 10-Feb-2014 11:08 677K [   ] Synthesis of resourc..> 06-Jul-2004 15:44 1.0M [   ] Temporal Logic Model..> 10-Feb-2014 13:44 78K [   ] The Algebraic Mu-Cal..> 10-Feb-2014 16:15 249K [   ] The Birth of Model C..> 06-Feb-2014 15:56 675K [   ] The Image Computatio..> 06-Feb-2014 16:03 583K [   ] The Localization Red..> 06-Feb-2014 15:17 192K [   ] The Verus Tool A Qua..> 06-Jul-2004 15:44 265K [   ] The Verus language.ps 06-Jul-2004 15:44 309K [   ] The Verus language2.ps 06-Jul-2004 15:44 929K [   ] The complexity of pr..> 06-Jul-2004 15:44 547K [   ] TheComplexityOfPropo..> 19-Nov-2014 16:07 6.4M [   ] Tree-like Counterexa..> 06-Jul-2004 15:44 240K [   ] Tutorial Software Mo..> 07-Feb-2014 15:53 72K [   ] Using Combinatorial ..> 06-Jul-2004 15:44 210K [   ] Using Combinatorial ..> 06-Jul-2004 15:44 210K [   ] Using Cutwidth to Im..> 06-Jul-2004 15:44 97K [   ] Using State Space Ex..> 06-Jul-2004 15:44 896K [   ] VCEGAR Verilog Count..> 07-Feb-2014 15:24 254K [   ] VeriAgent an Approac..> 06-Jul-2004 15:44 186K [   ] Verification Tools f..> 10-Feb-2014 13:42 2.7M [   ] Verification by Netw..> 07-Feb-2014 15:48 288K [   ] Verification of All ..> 10-Feb-2014 12:01 1.1M [   ] Verification of All ..> 06-Jul-2004 15:44 136K [   ] Verification of All ..> 06-Jul-2004 15:44 192K [   ] Verification of All ..> 06-Jul-2004 15:44 193K [   ] Verification of Hybr..> 06-Jul-2004 15:44 298K [   ] Verification of Spec..> 07-Feb-2014 15:56 1.8M [   ] Verification of Supe..> 06-Feb-2014 15:54 316K [   ] Verification of a Sa..> 06-Jul-2004 15:44 229K [   ] Verification of the ..> 06-Jul-2004 15:44 226K [   ] Verifying Concurrent..> 07-Feb-2014 15:27 358K [   ] Verifying IP-Core Ba..> 06-Jul-2004 15:44 60K [   ] Verifying IP-Core Ba..> 06-Jul-2004 15:44 97K [   ] Verifying Parametriz..> 06-Jul-2004 15:44 281K [   ] Verifying Safety Pro..> 06-Jul-2004 15:44 187K [   ] Verifying the Perfor..> 06-Jul-2004 15:44 119K [   ] Verifying the SRT Di..> 06-Jul-2004 15:44 1.5M [   ] Verus_a tool for qua..> 06-Jul-2004 15:44 117K [   ] Word Level Predicate..> 07-Feb-2014 15:29 587K [   ] Word Level Predicate..> 10-Feb-2014 15:43 623K [   ] Word Level Symbolic ..> 11-Feb-2014 09:46 971K [   ] Word level model che..> 06-Jul-2004 15:44 357K [   ] analytica2.ps 06-Jul-2004 15:44 241K [   ] d-complete decision ..> 31-Jan-2014 16:25 292K [   ] dReal An SMT Solver ..> 31-Jan-2014 16:05 178K [   ] efficient generation..> 06-Jul-2004 15:44 220K [   ] hybrid spectral ICIC..> 06-Jul-2004 15:44 217K [   ] hybrid spectralICICS..> 06-Jul-2004 15:44 133K [   ] model_checking_uCalc..> 06-Jul-2004 15:44 1.2M [   ] symbolic model check..> 06-Jul-2004 15:44 360K [   ] turing-award-lecture..> 10-Feb-2014 15:40 11M [   ] verification_sequent..> 11-Feb-2014 09:51 1.1M