Travelled to:1 × Canada
1 × Finland
1 × Norway
1 × Portugal
1 × Singapore
1 × Switzerland
1 × Uruguay
1 × Vietnam
2 × France
2 × United Kingdom
3 × Italy
3 × USA
Collaborated with:B.Meyer M.Nordio Y.Pei Y.Wei J.Tschannen N.Polikarpova M.Trudel M.Rossi M.Oriol M.Pradella S.Nanz L.Chen Y.P.0001 N.Kazmin M.M.Bersani D.Mandrioli A.Morzenti H.Estler M.Piccioni A.Tikhomirov L.S.Silva S.Buchholz A.Zeller H.Roth A.Horton M.J.Steindorfer
Talks about:program (8) contract (7) autom (6) automat (4) verif (4) time (4) code (4) translat (3) repair (3) orient (3)
Person: Carlo A. Furia
DBLP: Furia:Carlo_A=
Facilitated 2 volumes:
EdEdContributed to:
2015
20152015
2015
20142014
20132013
2013
2012
20112011
20112011
20102009200820052017Wrote 22 papers:
- FM-2015-PolikarpovaTF #library
- A Fully Verified Container Library (NP, JT, CAF), pp. 414–434.
- ICSE-v1-2015-NanzF #case study #comparative #programming language
- A Comparative Study of Programming Languages in Rosetta Code (SN, CAF), pp. 778–788.
- ICSE-v2-2015-PeiFNM #automation #development #ide #program repair
- Automated Program Repair in an Integrated Development Environment (YP, CAF, MN, BM), pp. 681–684.
- TACAS-2015-TschannenFNP #functional #named #object-oriented #source code #verification
- AutoProof: Auto-Active Functional Verification of Object-Oriented Programs (JT, CAF, MN, NP), pp. 566–580.
- FASE-2014-PeiFNM #automation #contract #program repair
- Automatic Program Repair by Fixing Contracts (YP, CAF, MN, BM), pp. 246–260.
- FM-2014-EstlerFNPM #contract
- Contracts in Practice (HCE, CAF, MN, MP, BM), pp. 230–246.
- FM-2014-PolikarpovaTFM #collaboration #flexibility #invariant #semantics
- Flexible Invariants through Semantic Collaboration (NP, JT, CAF, BM), pp. 514–530.
- ECOOP-2013-TrudelFNM #automation #object-oriented #re-engineering #scalability
- Really Automatic Scalable Object-Oriented Reengineering (MT, CAF, MN, BM), pp. 477–501.
- ICSE-2013-PolikarpovaF0WM #question #specification #what
- What good are strong specifications? (NP, CAF, YP, YW, BM), pp. 262–271.
- SAC-2013-FuriaMOTW #automation #random testing #testing
- The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
- WCRE-2012-TrudelFN #automation #c #eiffel
- Automatic C to O-O Translation with C2Eiffel (MT, CAF, MN), pp. 501–502.
- WCRE-2012-TrudelFNMO #c
- C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
- ASE-2011-PeiWFNM #automation
- Code-based automated program fixing (YP, YW, CAF, MN, BM), pp. 392–395.
- ASE-2011-WeiRFPHSNM #contract #fault #testing
- Stateful testing: Finding more errors in code and contracts (YW, HR, CAF, YP, AH, MJS, MN, BM), pp. 440–443.
- ICSE-2011-WeiFKM #contract
- Inferring better contracts (YW, CAF, NK, BM), pp. 191–200.
- SEFM-2011-TschannenFNM #object-oriented #source code #verification
- Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques (JT, CAF, MN, BM), pp. 382–398.
- TOOLS-EUROPE-2011-TrudelOFN #automation #eiffel #java #source code
- Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.
- ISSTA-2010-WeiPFSBMZ #automation #contract #source code
- Automated fixing of programs with contracts (YW, YP, CAF, LSS, SB, BM, AZ), pp. 61–72.
- SEFM-2009-BersaniFPR #modelling #multi #paradigm #realtime #verification
- Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms (MMB, CAF, MP, MR), pp. 13–22.
- FM-2008-FuriaPR #approximate #automation #specification #verification
- Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation (CAF, MP, MR), pp. 132–147.
- FASE-2005-FuriaRMM #automation #composition #proving #realtime
- Automated Compositional Proofs for Real-Time Systems (CAF, MR, DM, AM), pp. 326–340.
- ASE-2017-Chen0F #contract #program repair
- Contract-based program repair without the contracts (LC, YP0, CAF), pp. 637–647.