Travelled to:2 × United Kingdom
3 × USA
Collaborated with:J.V.Baalen ∅ S.Salamah Z.Balsara L.García I.Gallegos O.Ochoa A.Q.Gates C.Vela
Talks about:specif (3) synthesi (2) procedur (2) softwar (2) project (2) experi (2) deduct (2) use (2) get (2) retrospect (1)
Person: Steve Roach
DBLP: Roach:Steve
Contributed to:
2011
2008
2005
2002
1998Wrote 6 papers:
- CSEET-2011-Roach #experience #re-engineering #student
- Retrospectives in a software engineering project course: Getting students to get the most from a project experience (SR), pp. 467–471.
- SEKE-2008-GallegosOGRSV #generative #specification
- A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.
- SEKE-2008-GarciaRS #automation #ltl #named #verification
- PROTEF: Automatic Verification of Pattern-Based LTL Templates (LG, SR, SS), pp. 261–266.
- SAC-2005-BalsaraR #model checking #predict #search-based #using
- Prediction of inherited and genetic mutations using the software model checker SPIN (ZB, SR), pp. 208–209.
- ASE-2002-RoachB #automation #case study #deduction #experience #synthesis
- Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.
- LOPSTR-1998-BaalenR #deduction #synthesis #using
- Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.