Travelled to:1 × France
1 × Italy
1 × United Kingdom
2 × USA
Collaborated with:∅ M.P.E.Heimdahl A.C.Tribble J.M.Thompson M.W.Whalen A.Rajan
Talks about:base (4) model (3) develop (2) requir (2) shall (2) prove (2) prototyp (1) coverag (1) between (1) system (1)
Person: Steven P. Miller
DBLP: Miller:Steven_P=
Contributed to:
2009
2006
2006
2003
1999Wrote 5 papers:
- TACAS-2009-Miller #development #model checking #modelling
- Bridging the Gap Between Model-Based Development and Model Checking (SPM), pp. 443–453.
- ISSTA-2006-WhalenRHM #metric #testing
- Coverage metrics for requirements-based testing (MWW, AR, MPEH, SPM), pp. 25–36.
- RE-2006-Miller #development #modelling #proving #requirements
- Proving the Shalls: Requirements, Proofs, and Model-Based Development (SPM), p. 261.
- FME-2003-MillerTH #proving
- Proving the Shalls (SPM, ACT, MPEH), pp. 75–93.
- ESEC-FSE-1999-ThompsonHM #embedded #prototype
- Specification-Based Prototyping for Embedded Systems (JMT, MPEH, SPM), pp. 163–179.