![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Michael W. Whalen
Person information
- affiliation: Amazon Web Services, USA
- affiliation (former): University of Minnesota, Minneapolis, USA
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c71]Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. TACAS (1) 2024: 3-23 - [i16]Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes:
DRAT Proofs of Unsatisfiability for SAT Modulo Monotonic Theories. CoRR abs/2401.10703 (2024) - [i15]Soha Hussein, Stephen McCamant, Mike Whalen:
Generator-Based Fuzzers with Type-Based Targeted Mutation. CoRR abs/2406.02034 (2024) - 2023
- [c70]Soha Hussein, Stephen McCamant, Elena Sherman
, Vaibhav Sharma, Mike Whalen:
Structural Test Input Generation for 3-Address Code Coverage Using Path-Merged Symbolic Execution. AST 2023: 79-89 - [c69]Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma
, Michael W. Whalen
, Raveesh Yadav:
Automated Analyses of IOT Event Monitoring Systems. CAV (1) 2023: 27-39 - [c68]Benjamin Kiesl-Reiter, Michael W. Whalen:
Proofs for Incremental SAT with Inprocessing. FMCAD 2023: 132-140 - [c67]Dawn Michaelson
, Dominik Schreiber
, Marijn J. H. Heule
, Benjamin Kiesl-Reiter
, Michael W. Whalen
:
Unsatisfiability Proofs for Distributed Clause-Sharing SAT Solvers. TACAS (1) 2023: 348-366 - [c66]Soha Hussein
, Qiuchen Yan, Stephen McCamant, Vaibhav Sharma
, Michael W. Whalen
:
Java Ranger: Supporting String and Array Operations in Java Ranger (Competition Contribution). TACAS (2) 2023: 553-558 - 2022
- [c65]Armin Biere, Md. Solimul Chowdhury, Marijn J. H. Heule
, Benjamin Kiesl, Michael W. Whalen:
Migrating Solver State. SAT 2022: 27:1-27:24 - 2021
- [j22]Danielle Stewart
, Jing Liu, Darren D. Cofer
, Mats Per Erik Heimdahl, Michael W. Whalen, Michael Peterson
:
AADL-Based safety analysis using formal methods applied to aircraft digital systems. Reliab. Eng. Syst. Saf. 213: 107649 (2021) - [j21]Elaheh Ghassabani
, Michael W. Whalen, Andrew Gacek, Mats Per Erik Heimdahl:
Inductive Validity Cores. IEEE Trans. Software Eng. 47(2): 279-299 (2021) - [c64]Anastasia Mavridou, Andreas Katis, Dimitra Giannakopoulou, David Kooi, Thomas Pressburger, Michael W. Whalen:
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET. FM 2021: 503-523 - [c63]Danielle Stewart, Michael W. Whalen, Mats Per Erik Heimdahl, Jing Liu, Darren D. Cofer:
Composition of Fault Forests. SAFECOMP 2021: 258-275 - 2020
- [j20]Judith Bishop
, Kendra M. L. Cooper
, Helen Sharp
, Michael W. Whalen:
Introduction to the special issue on software engineering in practice. Softw. Pract. Exp. 50(3): 187-188 (2020) - [j19]Ying Meng
, Gregory Gay
, Michael W. Whalen:
Ensuring the Observability of Structural Test Obligations. IEEE Trans. Software Eng. 46(7): 748-772 (2020) - [c62]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. ASE 2020: 250-261 - [c61]Vaibhav Sharma
, Soha Hussein
, Michael W. Whalen
, Stephen McCamant, Willem Visser
:
Java Ranger: statically summarizing regions for efficient symbolic execution of Java. ESEC/SIGSOFT FSE 2020: 123-134 - [c60]Vaibhav Sharma
, Soha Hussein
, Michael W. Whalen
, Stephen McCamant, Willem Visser
:
Java Ranger at SV-COMP 2020 (Competition Contribution). TACAS (2) 2020: 393-397 - [i14]Andreas Katis, Grigory Fedyukovich, Jeffrey Chen, David A. Greve, Sanjai Rayadurgam, Michael W. Whalen:
Synthesis of Infinite-State Systems with Random Behavior. CoRR abs/2009.12330 (2020)
2010 – 2019
- 2019
- [j18]John Backes, Pauline Bolignano, Byron Cook, Andrew Gacek, Kasper Søe Luckow, Neha Rungta, Martin Schäf
, Cole Schlesinger, Rima Tanash, Carsten Varming, Michael W. Whalen
:
One-Click Formal Methods. IEEE Softw. 36(6): 61-65 (2019) - [e1]Helen Sharp, Mike Whalen:
Proceedings of the 41st International Conference on Software Engineering: Software Engineering in Practice, ICSE (SEIP) 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE / ACM 2019, ISBN 978-1-7281-1760-7 [contents] - 2018
- [j17]Lars Grunske
, Mike Whalen
:
Guest editorial: advanced topics in automated software engineering. Autom. Softw. Eng. 25(4): 743-744 (2018) - [j16]Darren D. Cofer, Andrew Gacek, John Backes, Michael W. Whalen, Lee Pike, Adam Foltzer, Michal Podhradsky, Gerwin Klein, Ihor Kuz, June Andronick, Gernot Heiser, Douglas Stuart:
A Formal Approach to Constructing Secure Air Vehicle Software. Computer 51(11): 14-23 (2018) - [c59]Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani:
The JKind Model Checker. CAV (2) 2018: 20-27 - [c58]Jaroslav Bendík, Elaheh Ghassabani, Michael W. Whalen, Ivana Cerná
:
Online Enumeration of All Minimal Inductive Validity Cores. SEFM 2018: 189-204 - [c57]Andreas Katis
, Grigory Fedyukovich
, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel
, Michael W. Whalen:
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. TACAS (2) 2018: 176-193 - 2017
- [j15]Vaibhav Sharma, Michael W. Whalen, Stephen McCamant, Willem Visser:
Veritesting Challenges in Symbolic Execution of Java. ACM SIGSOFT Softw. Eng. Notes 42(4): 1-5 (2017) - [c56]Elaheh Ghassabani, Michael W. Whalen, Andrew Gacek:
Efficient generation of all minimal inductive validity cores. FMCAD 2017: 31-38 - [c55]Danielle Stewart, Michael W. Whalen, Darren D. Cofer, Mats Per Erik Heimdahl:
Architectural Modeling and Analysis for Safety Engineering. IMBSA 2017: 97-111 - [c54]Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen, Mats Per Erik Heimdahl, Lucas G. Wagner:
Proof-based coverage metrics for formal verification. ASE 2017: 194-199 - [i13]Andreas Katis, Grigory Fedyukovich, Huajun Guo, Andrew Gacek, John Backes, Arie Gurfinkel, Michael W. Whalen:
Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts. CoRR abs/1709.04986 (2017) - [i12]Andrew Gacek, John Backes, Mike Whalen, Lucas G. Wagner, Elaheh Ghassabani:
The JKind Model Checker. CoRR abs/1712.01222 (2017) - 2016
- [j14]Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen:
Reasoning About Algebraic Data Types with Abstractions. J. Autom. Reason. 57(4): 281-318 (2016) - [j13]Michael W. Whalen, Darren D. Cofer, Andrew Gacek:
Requirements and Architectures for Secure Vehicles. IEEE Softw. 33(4): 22-25 (2016) - [j12]Gregory Gay
, Ajitha Rajan, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage. ACM Trans. Softw. Eng. Methodol. 25(3): 25:1-25:34 (2016) - [c53]Andreas Katis
, Andrew Gacek, Michael W. Whalen:
Towards synthesis from assume-guarantee contracts involving infinite theories: a preliminary report. FormaliSE@ICSE 2016: 36-41 - [c52]John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp:
On Implementing Real-Time Specification Patterns Using Observers. NFM 2016: 19-33 - [c51]Anitha Murugesan
, Michael W. Whalen, Elaheh Ghassabani, Mats Per Erik Heimdahl:
Complete Traceability for Requirements in Satisfaction Arguments. RE 2016: 359-364 - [c50]Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen:
Efficient generation of inductive validity cores for safety properties. SIGSOFT FSE 2016: 314-325 - [i11]Andreas Katis, Michael W. Whalen, Andrew Gacek:
Towards Synthesis from Assume-Guarantee Contracts involving Infinite Theories: A Preliminary Report. CoRR abs/1602.00148 (2016) - [i10]Elaheh Ghassabani, Andrew Gacek, Michael W. Whalen:
Efficient Generation of Inductive Validity Cores for Safety Properties. CoRR abs/1603.04276 (2016) - [i9]Tuan-Hung Pham, Andrew Gacek, Michael W. Whalen:
Reasoning about Algebraic Data Types with Abstractions. CoRR abs/1603.08769 (2016) - [i8]John D. Backes, Michael W. Whalen, Andrew Gacek, John Komp:
On Implementing Real-time Specification Patterns Using Observers. CoRR abs/1604.08155 (2016) - [i7]Andreas Katis, Grigory Fedyukovich
, Andrew Gacek, John D. Backes, Arie Gurfinkel, Michael W. Whalen:
Synthesis from Assume-Guarantee Contracts using Skolemized Proofs of Realizability. CoRR abs/1610.05867 (2016) - 2015
- [j11]Anitha Murugesan
, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl:
Design Considerations for Modeling Modes in Cyber-Physical Systems. IEEE Des. Test 32(5): 66-73 (2015) - [j10]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
The Risks of Coverage-Directed Test Case Generation. IEEE Trans. Software Eng. 41(8): 803-819 (2015) - [j9]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Automated Oracle Data Selection Support. IEEE Trans. Software Eng. 41(11): 1119-1137 (2015) - [c49]Michael W. Whalen, Suzette Person, Neha Rungta, Matt Staats, Daniela Grijincu:
A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics. ICSE (1) 2015: 506-516 - [c48]Dongjiang You, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Gregory Gay:
Efficient observability-based test generation by dynamic symbolic execution. ISSRE 2015: 228-238 - [c47]Michael W. Whalen, Sanjai Rayadurgam, Elaheh Ghassabani, Anitha Murugesan
, Oleg Sokolsky, Mats Per Erik Heimdahl, Insup Lee:
Hierarchical multi-formalism proofs of cyber-physical systems. MEMOCODE 2015: 90-95 - [c46]John Backes, Darren D. Cofer, Steven P. Miller, Michael W. Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. NFM 2015: 82-96 - [c45]Andrew Gacek, Andreas Katis
, Michael W. Whalen, John Backes, Darren D. Cofer:
Towards Realizability Checking of Contracts Using Theories. NFM 2015: 173-187 - [c44]Anitha Murugesan
, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You:
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites. NFM 2015: 279-294 - [c43]Andreas Katis
, Andrew Gacek, Michael W. Whalen:
Machine-Checked Proofs for Realizability Checking Algorithms. VSTTE 2015: 110-123 - [i6]Andreas Katis, Andrew Gacek, Michael W. Whalen:
Machine-Checked Proofs For Realizability Checking Algorithms. CoRR abs/1502.01292 (2015) - [i5]Andrew Gacek, Andreas Katis, Michael W. Whalen, John Backes, Darren D. Cofer:
Towards Realizability Checking of Contracts using Theories. CoRR abs/1502.03005 (2015) - [i4]John Backes, Darren D. Cofer, Steven P. Miller, Mike Whalen:
Requirements Analysis of a Quad-Redundant Flight Control System. CoRR abs/1502.03343 (2015) - 2014
- [c42]Anitha Murugesan
, Mats Per Erik Heimdahl, Michael W. Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim
, Oleg Sokolsky, Insup Lee:
From Requirements to Code: Model Based Development of a Medical Cyber Physical System. FHIES/SEHC 2014: 96-112 - [c41]Anitha Murugesan
, Oleg Sokolsky, Sanjai Rayadurgam, Michael W. Whalen, Mats Per Erik Heimdahl, Insup Lee:
Linking abstract analysis to concrete design: A hierarchical approach to verify medical CPS safety. ICCPS 2014: 139-150 - [c40]Neha Rungta, Oksana Tkachuk, Suzette Person, Jason Biatek, Michael W. Whalen, Joseph Castle, Karen Gundy-Burlet:
Helping system engineers bridge the peaks. TwinPeaks 2014: 9-13 - [c39]Anitha Murugesan
, Lu Feng, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael W. Whalen, Insup Lee:
Exploring the twin peaks using probabilistic verification techniques. TwinPeaks 2014: 18-23 - [c38]Gregory Gay
, Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Moving the goalposts: coverage satisfaction is not enough. SBST 2014: 19-22 - [c37]Michael W. Whalen, Anitha Murugesan
, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Structuring simulink models for verification and reuse. MiSE 2014: 19-24 - [c36]Jason Biatek, Michael W. Whalen, Mats Per Erik Heimdahl, Sanjai Rayadurgam, Michael R. Lowry:
Analysis and testing of PLEXIL plans. FormaliSE 2014: 52-58 - [c35]Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: an assurance case language for architecture models. HILT 2014: 19-28 - [i3]Andrew Gacek, John Backes, Darren D. Cofer, Konrad Slind, Mike Whalen:
Resolute: An Assurance Case Language for Architecture Models. CoRR abs/1409.4629 (2014) - 2013
- [j8]Michael W. Whalen, Andrew Gacek, Darren D. Cofer, Anitha Murugesan
, Mats Per Erik Heimdahl, Sanjai Rayadurgam:
Your "What" Is My "How": Iteration and Hierarchy in System Design. IEEE Softw. 30(2): 54-60 (2013) - [c34]Michael W. Whalen, Gregory Gay, Dongjiang You, Mats Per Erik Heimdahl, Matt Staats:
Observable modified Condition/Decision coverage. ICSE 2013: 102-111 - [c33]Michael W. Whalen:
Up and out: scaling formal analysis using model-based development and architecture modeling. HILT 2013: 41-42 - [c32]Anitha Murugesan
, Michael W. Whalen, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Compositional verification of a medical device system. HILT 2013: 51-64 - [c31]Tuan-Hung Pham, Michael W. Whalen:
RADA: a tool for reasoning about algebraic data types with abstractions. ESEC/SIGSOFT FSE 2013: 611-614 - [c30]Tuan-Hung Pham, Michael W. Whalen:
An Improved Unrolling-Based Decision Procedure for Algebraic Data Types. VSTTE 2013: 129-148 - 2012
- [j7]Willem Visser, Matthew B. Dwyer
, Michael W. Whalen:
The hidden models of model checking. Softw. Syst. Model. 11(4): 541-555 (2012) - [c29]Matt Staats, Gregory Gay
, Michael W. Whalen, Mats Per Erik Heimdahl:
On the Danger of Coverage Directed Test Case Generation. FASE 2012: 409-424 - [c28]Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha:
Compositional Verification of Architectural Models. NASA Formal Methods 2012: 126-140 - [c27]Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai
, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272 - [c26]Temesghen Kahsai, Pierre-Loïc Garoche, Cesare Tinelli
, Mike Whalen:
Incremental Verification with Mode Variable Invariants in State Machines. NASA Formal Methods 2012: 388-402 - [c25]Michael W. Whalen, Anitha Murugesan
, Mats Per Erik Heimdahl:
Your what is my how: Why requirements and architectural design should be iterative. TwinPeaks@RE 2012: 36-40 - [c24]David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham:
A DSL for cross-domain security. HILT 2012: 53-62 - [c23]David S. Hardin, Konrad Slind, Michael W. Whalen, Tuan-Hung Pham:
The Guardol Language and Verification System. TACAS 2012: 18-32 - 2011
- [c22]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Programs, tests, and oracles: the foundations of testing revisited. ICSE 2011: 391-400 - [c21]Matt Staats, Michael W. Whalen, Mats Per Erik Heimdahl:
Better testing through oracle selection. ICSE 2011: 892-895 - [c20]Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai
, Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55 - 2010
- [j6]Steven P. Miller, Michael W. Whalen, Darren D. Cofer:
Software model checking takes off. Commun. ACM 53(2): 58-64 (2010) - [c19]Matt Staats, Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl:
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness. NASA Formal Methods 2010: 161-170 - [c18]Michael W. Whalen, Patrice Godefroid, Leonardo Mariani
, Andrea Polini
, Nikolai Tillmann, Willem Visser:
FITE: future integrated testing environment. FoSER 2010: 401-406 - [p1]Michael W. Whalen, David A. Greve, Lucas G. Wagner:
Model Checking Information Flow. Design and Verification of Microprocessor Systems for High-Assurance Applications 2010: 381-428 - [i2]Patrice Godefroid, Leonardo Mariani, Andrea Polini, Nikolai Tillmann, Willem Visser, Michael W. Whalen:
FITE - Future Integrated Testing Environment. Practical Software Testing: Tool Automation and Human Factors 2010
2000 – 2009
- 2009
- [c17]David S. Hardin, T. Douglas Hiratzka, D. Randolph Johnson, Lucas G. Wagner, Michael W. Whalen:
Development of Security Software: A High Assurance Methodology. ICFEM 2009: 266-285 - 2008
- [c16]Ajitha Rajan, Michael W. Whalen, Matt Staats, Mats Per Erik Heimdahl:
Requirements Coverage as an Adequacy Measure for Conformance Testing. ICFEM 2008: 86-104 - [c15]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
The effect of program and model structure on mc/dc test adequacy coverage. ICSE 2008: 161-170 - [i1]Darren D. Cofer, Michael W. Whalen, Steven P. Miller:
Model-Checking of Safety-Critical Software for Avionics. ERCIM News 2008(75) (2008) - 2007
- [c14]Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm:
Integration of Formal Analysis into a Model-Based Software Development Process. FMICS 2007: 68-84 - [c13]Ajitha Rajan, Michael W. Whalen, Mats Per Erik Heimdahl:
Model Validation using Automatically Generated Requirements-Based Tests. HASE 2007: 95-104 - [c12]Jimin Gao, Mike Whalen, Eric Van Wyk:
Extending Lustre with Timeout Automata. SLA++P@ETAPS 2007: 111-124 - 2006
- [j5]Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl:
Proving the shalls. Int. J. Softw. Tools Technol. Transf. 8(4-5): 303-319 (2006) - [c11]Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller:
Coverage metrics for requirements-based testing. ISSTA 2006: 25-36 - 2005
- [j4]Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis: A New Use of Model Checking. Autom. Softw. Eng. 12(3): 321-347 (2005) - 2003
- [c10]Johann Schumann, Bernd Fischer
, Michael W. Whalen, Jon Whittle:
Certification Support for Automatically Generated Programs. HICSS 2003: 337 - [c9]Mats Per Erik Heimdahl, Michael W. Whalen, Jeffrey M. Thompson:
NIMBUS: A Tool for Specification Centered Development. RE 2003: 349 - 2002
- [c8]Michael W. Whalen, Johann Schumann, Bernd Fischer:
AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description. CADE 2002: 290-294 - [c7]Michael W. Whalen, Johann Schumann, Bernd Fischer:
Synthesizing Certified Code. FME 2002: 431-450 - [c6]Mats Per Erik Heimdahl, Yunja Choi, Michael W. Whalen:
Deviation Analysis Through Model Checking. ASE 2002: 37-46 - 2000
- [j3]Jeffrey M. Thompson, Michael W. Whalen, Mats Per Erik Heimdahl:
Requirements Capture and Evaluation in Nimbus: The Light-Control Case Study. J. Univers. Comput. Sci. 6(7): 731-757 (2000) - [c5]Michael W. Whalen:
High-integrity code generation for state-based formalisms. ICSE 2000: 725-727
1990 – 1999
- 1999
- [c4]Michael W. Whalen, Mats Per Erik Heimdahl:
On the Requirements of High-Integrity Code Generation. HASE 1999: 217-226 - [c3]Michael W. Whalen, Mats Per Erik Heimdahl:
An Approach to Automatic Code Generation for Safety-Critical Systems. ASE 1999: 315-318 - 1998
- [c2]Mats Per Erik Heimdahl, Jeffrey M. Thompson, Michael W. Whalen:
On the Effectiveness of Slicing Hierarchical State Machines: A Case Study. EUROMICRO 1998: 10435-10444 - 1997
- [c1]Mats Per Erik Heimdahl, Michael W. Whalen:
Reduction and Slicing of Hierarchical State Machines. ESEC / SIGSOFT FSE 1997: 450-467 - 1995
- [j2]Paul D. Gader, Michael W. Whalen, Margaret Ganzberger, Daniel J. Hepp:
Handprinted word recognition on a NIST data set. Mach. Vis. Appl. 8(1): 31-40 (1995) - 1991
- [j1]Paul D. Gader, Brian Forester, Margaret Ganzberger, Andrew M. Gillies, Brian T. Mitchell, Michael W. Whalen, Todd Yocum:
Recognition of handwritten digits using template and model matching. Pattern Recognit. 24(5): 421-431 (1991)
Coauthor Index
![](https://dblp.org/img/cog.dark.24x24.png)
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-08-14 22:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint