default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAndrew S. Miner
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c33]Dave Gomboc, Christian R. Shelton, Andrew S. Miner, Gianfranco Ciardo:
Comparing Lossless Compression Methods for Chess Endgame Data. ECAI 2024: 4116-4123- 2023
- [c32]Gianfranco Ciardo, Andrew S. Miner:
Research Directions in Decision Diagram Technology. JVA 2023: 46-53 - 2022
- [j12]Junaid Babar, Gianfranco Ciardo
, Andrew S. Miner:
CESRBDDs: binary decision diagrams with complemented edges and edge-specified reductions. Int. J. Softw. Tools Technol. Transf. 24(1): 89-109 (2022) - [c31]Michael C. Gerten, Alexis L. Marsh, James I. Lathrop, Myra B. Cohen, Andrew S. Miner, Titus H. Klinge:
Inference and Test Generation Using Program Invariants in Chemical Reaction Networks. ICSE 2022: 1193-1205 - 2020
- [c30]Shruti Biswal, Andrew S. Miner:
Reachability Set Generation Using Hybrid Relation Compatible Saturation. RP 2020: 37-51
2010 – 2019
- 2019
- [j11]Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner, Hugh D. Potter:
Runtime Fault Detection in Programmed Molecular Systems. ACM Trans. Softw. Eng. Methodol. 28(2): 6:1-6:20 (2019) - [c29]Shruti Biswal, Andrew S. Miner:
Improving Saturation Efficiency with Implicit Relations. Petri Nets 2019: 301-320 - [c28]Elvio Gilberto Amparore, Bernard Berthomieu, Gianfranco Ciardo, Silvano Dal-Zilio, Francesco Gallà, Lom-Messan Hillah, Francis Hulin-Hubard, Peter Gjøl Jensen, Loïg 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:
Presentation of the 9th Edition of the Model Checking Contest. TACAS (3) 2019: 50-68 - [c27]Elvio Gilberto Amparore, Gianfranco Ciardo, Susanna Donatelli, Andrew S. Miner:
i _\mathrm Rank : A Variable Order Metric for DEDS Subject to Linear Invariants. TACAS (2) 2019: 285-302 - [c26]Junaid Babar, Chuan Jiang, Gianfranco Ciardo, Andrew S. Miner:
Binary Decision Diagrams with Edge-Specified Reductions. TACAS (2) 2019: 303-318 - 2018
- [j10]Yaping Jing, Andrew S. Miner:
Computation tree measurement language (CTML). Formal Aspects Comput. 30(3-4): 443-462 (2018) - [j9]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms. Trans. Petri Nets Other Model. Concurr. 13: 73-92 (2018) - [c25]Yaping Jing, Andrew S. Miner:
Action and State Based Computation Tree Measurement Language and Algorithms. QEST 2018: 190-206 - 2017
- [c24]Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner:
Decision Diagrams for Petri Nets: Which Variable Ordering? PNSE @ Petri Nets 2017: 31-50 - [i1]Samuel J. Ellis, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Andrew S. Miner:
Runtime Fault Detection in Programmed Molecular Systems. CoRR abs/1710.09494 (2017) - 2015
- [c23]Pietro Piazzolla, Gianfranco Ciardo, Andrew S. Miner:
Power Consumption Analysis of Replicated Virtual Applications. ASMTA 2015: 188-202 - 2014
- [c22]Junaid Babar, Andrew S. Miner:
Explicit State Space and Markov Chain Generation Using Decision Diagrams. EPEW 2014: 240-254 - [c21]Samuel J. Ellis, Eric R. Henderson, Titus H. Klinge, James I. Lathrop, Jack H. Lutz, Robyn R. Lutz, Divita Mathur, Andrew S. Miner:
Automated requirements analysis for a molecular watchdog timer. ASE 2014: 767-778 - 2011
- [j8]Min Wan, Gianfranco Ciardo, Andrew S. Miner:
Approximate steady-state analysis of large Markov models based on the structure of their decision diagram encoding. Perform. Evaluation 68(5): 463-486 (2011) - 2010
- [c20]Junaid Babar, Marco Beccuti, Susanna Donatelli, Andrew S. Miner:
GreatSPN Enhanced with Decision Diagram Data Structures. Petri Nets 2010: 308-317 - [c19]Andrew S. Miner, Yaping Jing:
A Formal Language toward the Unification of Model Checking and Performance Evaluation. ASMTA 2010: 130-144 - [c18]Junaid Babar, Andrew S. Miner:
Meddly: Multi-terminal and Edge-Valued Decision Diagram LibrarY. QEST 2010: 195-196
2000 – 2009
- 2009
- [j7]Gianfranco Ciardo, Andrew S. Miner, Min Wan:
Advanced features in SMART: the stochastic model checking analyzer for reliability and timing. SIGMETRICS Perform. Evaluation Rev. 36(4): 58-63 (2009) - 2007
- [j6]Gianfranco Ciardo, Gerald Lüttgen, Andrew S. Miner:
Exploiting interleaving semantics in symbolic state-space generation. Formal Methods Syst. Des. 31(1): 63-100 (2007) - [j5]Gianfranco Ciardo, Andrew S. Miner, Min Wan, Andy Jinqing Yu:
Approximating stationary measures of structured continuous-time Markov models using matrix diagrams. SIGMETRICS Perform. Evaluation Rev. 35(3): 16-18 (2007) - 2006
- [j4]Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu:
Logic and stochastic modeling with S m A r T. Perform. Evaluation 63(6): 578-608 (2006) - [j3]Andrew S. Miner:
Saturation for a General Class of Models. IEEE Trans. Software Eng. 32(8): 559-570 (2006) - [c17]Andrew S. Miner, Samik Basu:
Verification of software via integration of design and implementation. IPDPS 2006 - 2005
- [j2]Gianfranco Ciardo, Andrew S. Miner:
Implicit data structures for logic and stochastic systems analysis. SIGMETRICS Perform. Evaluation Rev. 32(4): 4-9 (2005) - 2004
- [j1]Andrew S. Miner:
Implicit GSPN reachability set generation using decision diagrams. Perform. Evaluation 56(1-4): 145-165 (2004) - [c16]Yanxin Wang, Johnny Wang, Andrew S. Miner:
Novel machine learning techniques for anomaly intrusion detection. AMCIS 2004: 551 - [c15]Yanxin Wang, Andrew S. Miner, Johnny Wong, Prem Uppuluri:
Improving Feature Selection in Anomaly Intrusion Detection Using Specifications. ICDCIT 2004: 468 - [c14]Andrew S. Miner, Shuxing Cheng:
Improving Efficiency of Implicit Markov Chain State Classification. QEST 2004: 262-271 - [c13]Andrew S. Miner:
Saturation for a General Class of Models. QEST 2004: 282-291 - [c12]Gianfranco Ciardo, Andrew S. Miner:
SMART: The Stochastic Model checking Analyzer for Reliability and Timing. QEST 2004: 338-339 - [c11]Andrew S. Miner, David Parker:
Symbolic Representations and Analysis of Large Probabilistic Systems. Validation of Stochastic Systems 2004: 296-338 - 2003
- [c10]Gianfranco Ciardo, R. L. Jones III, Andrew S. Miner, Radu Siminiceanu:
Logical and Stochastic Modeling with SMART. Computer Performance Evaluation / TOOLS 2003: 78-97 - [c9]Andrew S. Miner:
Computing response time distributions using stochastic Petri nets and matrix diagrams. PNPM 2003: 10-19 - 2002
- [c8]Gianfranco Ciardo, R. L. Jones III, Robert M. Marmorstein, Andrew S. Miner, Radu Siminiceanu:
SMART: Stochastic Model-checking Analyzer for Reliability and Timing. DSN 2002: 545 - [c7]Andrew S. Miner:
Efficient State Space Generation of GSPNs using Decision Diagrams. DSN 2002: 637-646 - 2001
- [c6]Andrew S. Miner:
Efficient Solution of GSPNs using canonical Matrix Diagrams. PNPM 2001: 101-110 - 2000
- [c5]Andrew S. Miner, Gianfranco Ciardo, Susanna Donatelli:
Using the exact state space of a Markov model to compute approximate stationary measures. SIGMETRICS 2000: 207-216
1990 – 1999
- 1999
- [c4]Andrew S. Miner, Gianfranco Ciardo:
Efficient Reachability Set Generation and Storage Using Decision Diagrams. ICATPN 1999: 6-25 - [c3]Gianfranco Ciardo, Andrew S. Miner:
A data structure for the efficient Kronecker solution of GSPNs. PNPM 1999: 22-31 - 1997
- [c2]Gianfranco Ciardo, Andrew S. Miner:
Storage Alternatives for Large Structured State Spaces. Computer Performance Evaluation 1997: 44-57 - 1995
- [c1]David M. Nicol, Andrew S. Miner:
The fluid stochastic Petri net simulator. PNPM 1995: 214-215
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-28 20:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
