Travelled to:1 × Finland
Collaborated with:M.Zulkernine J.M.Atlee P.P.Dasiewicz R.Kazman A.Singh
Talks about:softwar (2) undergradu (1) algorithm (1) guarante (1) automat (1) option (1) failur (1) detect (1) joint (1) engin (1)
Person: Rudolph E. Seviora
DBLP: Seviora:Rudolph_E=
Contributed to:
2002
1996Wrote 2 papers:
- IFM-2002-ZulkernineS #algorithm #automation #detection
- Assume-Guarantee Algorithms for Automatic Detection of Software Failures (MZ, RES), pp. 89–108.
- CSEE-1996-AtleeDKSS #re-engineering
- A Joint CS/E&CE Undergraduate Option in Software Engineering (JMA, PPD, RK, RES, AS), pp. 16–28.