Search results for "Steven P. Miller"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Darren D. Cofer, Andrew Gacek, Steven P. Miller, Michael W. Whalen, Brian LaValley, Lui Sha	Compositional Verification of Architectural Models.	NASA Formal Methods	2012	DBLP DOI BibTeX RDF
1	Sam M. Doesburg, Urs Ribary, Anthony T. Herdman, Steven P. Miller, Kenneth J. Poskitt, Alexander Moiseev, Michael F. Whitfield, Anne Synnes, Ruth E. Grunau	Altered long-range alpha-band synchronization during visual short-term memory retention in children born very preterm.	NeuroImage	2011	DBLP DOI BibTeX RDF
1	Steven P. Miller, Michael W. Whalen, Darren D. Cofer	Software model checking takes off.	Commun. ACM	2010	DBLP DOI BibTeX RDF
1	Steven P. Miller	Bridging the Gap Between Model-Based Development and Model Checking.	TACAS	2009	DBLP DOI BibTeX RDF
1	Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer	A Formal Architecture Pattern for Real-Time Distributed Systems.	IEEE Real-Time Systems Symposium	2009	DBLP DOI BibTeX RDF
1	Darren D. Cofer, Michael W. Whalen, Steven P. Miller	Model-Checking of Safety-Critical Software for Avionics.	ERCIM News	2008	DBLP BibTeX RDF
1	Steven P. Miller	Formal Methods for Critical Systems.	FMICS	2008	DBLP DOI BibTeX RDF
1	Steven P. Miller	Will This Be Formal?	TPHOLs	2008	DBLP DOI BibTeX RDF	model checking, Formal methods, theorem proving, avionics
1	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	DBLP DOI BibTeX RDF	Model checking, software verification, Model-based development, Flight control
1	Steven P. Miller, Alan C. Tribble, Michael W. Whalen, Mats Per Erik Heimdahl	Proving the shalls.	STTT	2006	DBLP DOI BibTeX RDF	Formal verification, Software requirements, Model-based development
1	Michael W. Whalen, Ajitha Rajan, Mats Per Erik Heimdahl, Steven P. Miller	Coverage metrics for requirements-based testing.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Steven P. Miller	Proving the Shalls: Requirements, Proofs, and Model-Based Development.	RE	2006	DBLP DOI BibTeX RDF
1	Steven P. Miller	Early validation of requirements.	IFIP Congress Topical Sessions	2004	DBLP BibTeX RDF
1	Steven P. Miller, Alan C. Tribble, Mats Per Erik Heimdahl	Proving the Shalls.	FME	2003	DBLP DOI BibTeX RDF
1	Jeffrey M. Thompson, Mats Per Erik Heimdahl, Steven P. Miller	Specification-Based Prototyping for Embedded Systems.	ESEC / SIGSOFT FSE	1999	DBLP DOI BibTeX RDF
1	Patrice Godefroid, John Kelly, Steven P. Miller, Frank Weil	Transferring Formal Methods Technology to Industry. (PDF / PS)	WIFT	1998	DBLP DOI BibTeX RDF
1	Steven P. Miller	Specifying the mode logic of a flight guidance system in CoRE and SCR.	FMSP	1998	DBLP DOI BibTeX RDF	flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control
1	Mandayam K. Srivas, Steven P. Miller	Applying Formal Verification to the AAMP5 Microprocessor: A Case Study in the Industrial Use of Formal Methods.	Formal Methods in System Design	1996	DBLP DOI BibTeX RDF
1	Robert J. Souza, Steven P. Miller	UNIX and Remote Procedure Calls: A Peaceful Coexistence?	ICDCS	1986	DBLP BibTeX RDF

Publications of "Steven P. Miller" ( http://dblp.L3S.de/Authors/Steven_P._Miller )