Travelled to:1 × Belgium
1 × Czech Republic
1 × Denmark
1 × Italy
1 × South Korea
2 × USA
Collaborated with:M.Huisman C.Rueda V.Rivera T.Wahls S.Hanvey C.Olarte E.Pimentel D.Yu
Talks about:jml (4) specif (3) java (3) translat (2) static (2) formal (2) check (2) constraint (1) electron (1) approach (1)
Person: Néstor Cataño
DBLP: Cata=ntilde=o:N=eacute=stor
Contributed to:
2014
20122012
20122009
2003
2002Wrote 7 papers:
- SAC-2014-RiveraC #java #source code
- Translating event-B to JML-specified Java programs (VR, NC), pp. 1264–1271.
- PPDP-2012-OlartePRC #approach #automation #concurrent #constraints #linear #verification
- A linear concurrent constraint approach for the automatic verification of access permissions (CO, EP, CR, NC), pp. 207–216.
- SAC-2012-CatanoWRRY #ml #specification
- Translating B machines to JML specifications (NC, TW, CR, VR, DY), pp. 1271–1277.
- TOOLS-EUROPE-2012-CatanoHR #formal method #named #network #policy #privacy #social
- Poporo: A Formal Methods Tool for Fast-Checking of Social Network Privacy Policies (NC, SH, CR), pp. 9–16.
- SAC-2009-CatanoW #case study #java #ml #specification
- Executing JML specifications of Java card applications: a case study (NC, TW), pp. 404–408.
- VMCAI-2003-CatanoH #ml #named #static analysis
- CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
- FME-2002-CatanoH #java #specification #static analysis #using
- Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.