Travelled to:1 × Cyprus
1 × Finland
1 × Spain
1 × United Kingdom
Collaborated with:J.Hatcliff Robby T.Amtoft M.B.Dwyer J.Hoag D.Greve C.Flanagan G.T.Leavens
Talks about:specif (3) check (3) contract (2) softwar (2) program (2) inform (2) verif (2) flow (2) framework (1) properti (1)
Person: Edwin Rodríguez
DBLP: Rodr=iacute=guez:Edwin
Contributed to:
2010
2008
2005
2004Wrote 4 papers:
- ESOP-2010-AmtoftHR #array #automation #certification #contract #data flow #precise #reasoning #source code #verification
- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays (TA, JH, ER), pp. 43–63.
- FM-2008-AmtoftHRRHG #contract #data flow #specification
- Specification and Checking of Software Contracts for Conditional Information Flow (TA, JH, ER, R, JH, DG), pp. 229–245.
- ECOOP-2005-RodriguezDFHLR #composition #concurrent #ml #multi #source code #specification #thread #verification
- Extending JML for Modular Specification and Verification of Multi-threaded Programs (ER, MBD, CF, JH, GTL, R), pp. 551–576.
- TACAS-2004-RobbyRDH #framework #model checking #specification #using
- Checking Strong Specifications Using an Extensible Software Model Checking Framework (R, ER, MBD, JH), pp. 404–420.