BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Furia:Carlo_A=

Facilitated 2 volumes:

TOOLS Europe 2012Ed
TOOLS Europe 2012Ed

Contributed to:

FM 20152015
ICSE 20152015
ICSE 20152015
TACAS 20152015
FASE 20142014
FM 20142014
ECOOP 20132013
ICSE 20132013
SAC 20132013
WCRE 20122012
ASE 20112011
ICSE 20112011
SEFM 20112011
TOOLS Europe 20112011
ISSTA 20102010
SEFM 20092009
FM 20082008
FASE 20052005
ASE 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.