Andrew S. Miner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
8
Active years
2000–2025
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | IFM | CTL Model Checking Partially Specified Systems. | Eshita Zaman, Christopher Johannsen, Andrew S. Miner, Gianfranco Ciardo, Samik Basu |
| 2024 | DAC | RexBDDs: Reduction-on-Edge Complement-and-Swap Binary Decision Diagrams. | Gianfranco Ciardo, Andrew S. Miner, Lichuan Deng, Junaid Babar |
| 2024 | ECAI | Comparing Lossless Compression Methods for Chess Endgame Data. | Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo |
| 2022 | ICSE | Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. | Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge |
| 2019 | TACAS | Presentation of the 9th Edition of the Model Checking Contest. | Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gall, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjl Jensen, Log Jezequel, Fabrice Kordon, Didier Le Botlan, Torsten Liebke, Jeroen Meijer, Andrew S. Miner, Emmanuel Paviot-Adet, Jir Srba, Yann Thierry-Mieg, Tom van Dijk, Karsten Wolf |
| 2019 | TACAS | i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. | Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner |
| 2019 | TACAS | Binary Decision Diagrams with Edge-Specified Reductions. | Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner |
| 2004 | ICDCIT | Improving Feature Selection in Anomaly Intrusion Detection Using Specifications. | Yanxin Wang, Andrew S. Miner, Johnny Wong, Prem Uppuluri |
| 2002 | DSN | SMART: Stochastic Model-checking Analyzer for Reliability and Timing. | Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu |
| 2002 | DSN | Efficient State Space Generation of GSPNs using Decision Diagrams. | Andrew S. Miner |
| 2000 | SIGMETRICS | Using the exact state space of a Markov model to compute approximate stationary measures. | Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli |