Tag #explosion
21 papers:
ASE-2018-MukelabaiNMBS #case study #combinator #configuration management #industrial- Tackling combinatorial explosion: a study of industrial needs and practices for analyzing highly configurable systems (MM, DN, SM, TB, JPS), pp. 155–166.
SEKE-2013-SilvaOL #declarative #modelling #problem #process- A Solution to the State Space Explosion Problem in Declarative Business Process Modeling (NCS, CALO, RMFL), pp. 26–29.
PEPM-2011-JonssonN #supercompilation- Taming code explosion in supercompilation (PAJ, JN), pp. 33–42.
LICS-2009-Clarke #problem- My 27-year Quest to Overcome the State Explosion Problem (EMC), p. 3.
- SEKE-2008-DingZ #case study #problem
- A Study of the Model Explosion Problem in CTL Model Update (YD, YZ), pp. 752–757.
TACAS-2008-BoonstoppelCE #constraints #generative #named #testing- RWset: Attacking Path Explosion in Constraint-Based Test Generation (PB, CC, DRE), pp. 351–366.
- ASE-2007-LedruDBVR #combinator #generative
- Mastering combinatorial explosion with the tobias-2 test generator (YL, FD, LdB, SV, ER), pp. 535–536.
CBSE-2006-AttieLPC #behaviour #component #design #verification- Behavioral Compatibility Without State Explosion: Design and Verification of a Component-Based Elevator Control System (PCA, DHL, AP, HC), pp. 33–49.
- TACAS-2004-LugiezNZ #approach #automaton #partial order #problem #semantics
- A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata (DL, PN, SZ), pp. 296–311.
DATE-2003-LomenaLWK #approach #performance #scheduling- An Efficient Hash Table Based Approach to Avoid State Space Explosion in History Driven Quasi-Static Scheduling (AGL, MLLV, YW, AK), pp. 10428–10435.
FME-2001-DerepasGP #distributed- Avoiding State Explosion for Distributed Systems with Timestamps (FD, PG, DP), pp. 119–134.
POPL-2001-FlanaganS #exponential #generative #verification- Avoiding exponential explosion: generating compact verification conditions (CF, JBS), pp. 193–205.
CAV-2001-DelzannoRB - Attacking Symbolic State Explosion (GD, JFR, LVB), pp. 298–310.
FoSSaCS-2000-LaroussinieS #bisimulation #equivalence #problem- The State Explosion Problem from Trace to Bisimulation Equivalence (FL, PS), pp. 192–207.
- CAV-2000-Pnueli #abstraction #composition #deduction #symmetry
- Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.
- FME-1997-SchonhoffK #specification #testing
- Specifying the Remote Control of Valves in an Explosion Test Environment (MS, MK), pp. 201–220.
- TACAS-1995-KnoopSV #analysis #exclamation #for free #parallel
- Parallelism for Free: Bitvector Analyses -> No State Explosion! (JK, BS, JV), pp. 264–289.
- CAV-1992-McMillan #problem #using #verification
- Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits (KLM), pp. 164–177.
- CAV-1990-Clarke #logic #model checking #problem
- Temporal Logic Model Checking: Two Techniques for Avoiding the State Explosion Problem (EMC), p. 1.
- CAV-1990-ProbstL #partial order #problem #semantics #using
- Using Partial-Order Semantics to Avoid the State Explosion Problem in Asynchronous Systems (DKP, HFL), pp. 146–155.
- CAV-1990-Valmari
- A Stubborn Attack On State Explosion (AV), pp. 156–165.
