Michael W Whalen

Citirano

	Sve	Od 2018.
Citati	3594	1609
H-indeks	32	23
i10-indeks	80	48

320

160

240

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220239 11 12 44 41 57 55 60 64 78 102 97 152 177 196 233 281 234 284 244 317 294 215 255

Javni pristup

Prikaži sve

25 članaka

2 članka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Mats HeimdahlProfessor and Department Head, Computer Science and Engineering, University of MinnesotaPotvrđena adresa e-pošte na umn.edu
Andrew GacekAmazon Web ServicePotvrđena adresa e-pošte na amazon.com
Darren CoferRockwell CollinsPotvrđena adresa e-pošte na ieee.org
Anitha MurugesanHoneywell AerospacePotvrđena adresa e-pošte na honeywell.com
Ajitha RajanUniversity of EdinburghPotvrđena adresa e-pošte na staffmail.ed.ac.uk
Sanjai RayadurgamUniversity of MinnesotaPotvrđena adresa e-pošte na umn.edu
Gregory GayChalmers | University of GothenburgPotvrđena adresa e-pošte na chalmers.se
Andreas KatisComputer Scientist, KBR at NASA Ames Research CenterPotvrđena adresa e-pošte na nasa.gov
Neha RungtaAmazon Web ServicesPotvrđena adresa e-pošte na amazon.com
Willem VisserComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
Bernd FischerComputer Science Division, Stellenbosch UniversityPotvrđena adresa e-pošte na cs.sun.ac.za
David HardinCollins AerospacePotvrđena adresa e-pošte na collins.com
Vaibhav SharmaAmazon.com Services LLC and University of MinnesotaPotvrđena adresa e-pošte na umn.edu
Johann SchumannSGT, Inc. NASA AmesPotvrđena adresa e-pošte na nasa.gov
Danielle StewartGalois, Inc.Potvrđena adresa e-pošte na galois.com
Insup LeeProfessor, Computer and Information Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Corina PasareanuCMU/NASA AmesPotvrđena adresa e-pošte na nasa.gov
Soha HusseinLecturer at the University of MinnesotaPotvrđena adresa e-pošte na umn.edu
Oleg SokolskyUniversity of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu
Lui ShaProfessor of Computer Sceince, University of IllinoisPotvrđena adresa e-pošte na cs.uiuc.edu

Prati

Michael W Whalen

Amazon, Inc. and the University of Minnesota

Potvrđena adresa e-pošte na cs.umn.edu - Početna stranica

Model Checking Testing Satisfiability


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
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	178	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	167	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	145	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	133	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	127	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	105	2008
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	91	2012
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	90	2012
Reduction and slicing of hierarchical state machines MPE Heimdahl, MW Whalen Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly …, 1997	90	1997
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	88	2008
Providing the shalls SP Miller, AC Tribble, MW Whalen, MPE Heimdahl International Journal on Software Tools for Technology Transfer, 2006	86	2006
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	78	2013
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	76	2014
The JKind Model Checker A Gacek, J Backes, M Whalen, L Wagner, E Ghassabani Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018	71	2018
Model-based safety analysis A Joshi, MPE Heimdahl, SP Miller, MW Whalen	69	2006
Model-based safety analysis final report A Joshi, M Whalen, M Heimdahl NASA Techreport, 2005	66	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	62	2013
A formal semantics for RSML-e MW Whalen The University of Minnesota, 2000	58	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	55	2005

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori