Michael W Whalen

Cited by

	All	Since 2019
Citations	3822	1545
h-index	34	22
i10-index	82	45

340

170

255

20012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202411 13 45 42 58 55 60 67 78 99 98 157 175 202 223 278 232 284 242 322 296 203 300 181

Public access

View all

27 articles

2 articles

available

not available

Based on funding mandates

Co-authors

Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaVerified email at umn.edu
Andrew GacekAmazon Web ServiceVerified email at amazon.com
Darren CoferRockwell CollinsVerified email at ieee.org
Anitha MurugesanHoneywell AerospaceVerified email at honeywell.com
Ajitha RajanUniversity of EdinburghVerified email at staffmail.ed.ac.uk
Sanjai RayadurgamUniversity of MinnesotaVerified email at umn.edu
Gregory GayChalmers | University of GothenburgVerified email at chalmers.se
Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterVerified email at nasa.gov
Neha RungtaAmazon Web ServicesVerified email at amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Bernd FischerComputer Science Division, Stellenbosch UniversityVerified email at cs.sun.ac.za
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaVerified email at umn.edu
David HardinCollins AerospaceVerified email at collins.com
Danielle StewartGalois, Inc.Verified email at galois.com
Johann SchumannSGT, Inc. NASA AmesVerified email at nasa.gov
Soha HusseinLecturer at the University of MinnesotaVerified email at umn.edu
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Byron CookProfessor of Computer Science, UCL, AmazonVerified email at cs.ucl.ac.uk
Corina PasareanuCMU/NASA AmesVerified email at nasa.gov
Lee PikeAWS Automated ReasoningVerified email at amazon.com

Michael W Whalen

Amazon, Inc. and the University of Minnesota

Verified email at cs.umn.edu - Homepage

Model Checking Testing Satisfiability


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Software model checking takes off SP Miller, MW Whalen, DD Cofer Communications of the ACM 53 (2), 58-64, 2010	206	2010
Coverage metrics for requirements-based testing MW Whalen, A Rajan, MPE Heimdahl, SP Miller Proceedings of the 2006 international symposium on Software testing and …, 2006	181	2006
Compositional verification of architectural models D Cofer, A Gacek, S Miller, MW Whalen, B LaValley, L Sha NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA …, 2012	168	2012
A proposal for model-based safety analysis A Joshi, SP Miller, M Whalen, MPE Heimdahl 24th Digital Avionics Systems Conference 2, 13 pp. Vol. 2, 2005	157	2005
Programs, tests, and oracles: the foundations of testing revisited M Staats, MW Whalen, MPE Heimdahl Proceedings of the 33rd international conference on software engineering …, 2011	137	2011
The risks of coverage-directed test case generation G Gay, M Staats, M Whalen, M Heimdahl IEEE Transactions on Software Engineering 41 (8), 2015	134	2015
The effect of program and model structure on MC/DC test adequacy coverage A Rajan, MW Whalen, MPE Heimdahl Proceedings of the 30th International Conference on Software engineering …, 2008	110	2008
On the danger of coverage directed test case generation M Staats, G Gay, M Whalen, M Heimdahl Fundamental Approaches to Software Engineering: 15th International …, 2012	98	2012
Your" what" is my" how": Iteration and hierarchy in system design MW Whalen, A Gacek, D Cofer, A Murugesan, MPE Heimdahl, ... IEEE software 30 (2), 54-60, 2012	93	2012
Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006	92	2006
Integration of formal analysis into a model-based software development process M Whalen, D Cofer, S Miller, BH Krogh, W Storm Formal Methods for Industrial Critical Systems: 12th International Workshop …, 2008	91	2008
Reduction and slicing of hierarchical state machines MPE Heimdahl, MW Whalen Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997	91	1997
Compositional verification of a medical device system A Murugesan, MW Whalen, S Rayadurgam, MPE Heimdahl Proceedings of the 2013 ACM SIGAda annual conference on High integrity …, 2013	83	2013
Model-based safety analysis A Joshi, MPE Heimdahl, SP Miller, MW Whalen	80	2006
The JKind Model Checker A Gacek, J Backes, M Whalen, L Wagner, E Ghassabani Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	79	2018
Resolute: an assurance case language for architecture models A Gacek, J Backes, D Cofer, K Slind, M Whalen ACM SIGAda Ada Letters 34 (3), 19-28, 2014	79	2014
Model-based safety analysis final report A Joshi, M Whalen, M Heimdahl NASA Techreport, 2005	69	2005
Observable modified condition/decision coverage M Whalen, G Gay, D You, MPE Heimdahl, M Staats 2013 35th International Conference on Software Engineering (ICSE), 102-111, 2013	65	2013
A formal semantics for RSML-e MW Whalen The University of Minnesota, 2000	59	2000
Formal verification of flight critical software S Miller, E Anderson, L Wagner, M Whalen, M Heimdahl AIAA Guidance, Navigation, and Control Conference and Exhibit, 6431, 2005	58	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors