Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(31)
Matteo Rossi
24
Matteo Pradella
8
Dino Mandrioli
8
Paola Spoletini
6
Angelo Morzenti
5
Conferences
(12)
FORMATS
3
ICECCS
2
FM
2
ICSE
1
ISCIS
1
Journals
(8)
CORR
9
CSUR
2
TSE
1
TOCL
1
TCS
1
Keywords
(112)
Embed
Subscribe
Academic
Authors
Carlo A. Furia
Edit
Carlo A. Furia
Swiss Federal Institute of Technology Zurich
Publications: 48
|
Citations: 140
|
G-Index: 9
|
H-Index: 7
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Scientific Computing
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
31 co-authors
from 2003 to 2011
; Cited by
103 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(48)
BibTeX
|
RIS
|
RefWorks
Download
Inferring better contracts
Yi Wei
,
Carlo A. Furia
,
Nikolay Kazmin
,
Bertrand Meyer
Conference:
International Conference on Software Engineering - ICSE
, pp. 191-200, 2011
Evidence-Based Automated Program Fixing
Yu Pei
,
Yi Wei
,
Carlo A. Furia
,
Martin Nordio
,
Bertrand Meyer
Journal:
Computing Research Repository - CORR
, vol. abs/1102.1, 2011
Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna
Carlo A. Furia
Journal:
Sigact News - SIGACT
, vol. 42, no. 1, pp. 32-35, 2011
Automated fixing of programs with contracts
(
Citations: 6
)
Yi Wei
,
Yu Pei
,
Carlo A. Furia
,
Lucas S. Silva
,
Stefan Buchholz
,
Bertrand Meyer
,
Andreas Zeller
Conference:
International Symposium on Software Testing and Analysis - ISSTA
, pp. 61-72, 2010
A Tile-Based Approach for Self-Assembling Service Compositions
(
Citations: 3
)
Luca Cavallaro
,
Elisabetta Di Nitto
,
Carlo A. Furia
,
Matteo Pradella
Conference:
International Conference on Engineering of Complex Computer Systems - ICECCS
, pp. 43-52, 2010
Order by:
Citations
(140 times by 71 publications)
A framework for the automatic correction of Constraint Programs
(
Citations: 1
)
Nadjib Lazaar
,
Arnaud Gotlieb
,
Yahia Lebbah
Conference:
International Conference on Software Testing, Verification, and Validation - ICST
, pp. 319-326, 2011
Inferring better contracts
Yi Wei
,
Carlo A. Furia
,
Nikolay Kazmin
,
Bertrand Meyer
Conference:
International Conference on Software Engineering - ICSE
, pp. 191-200, 2011
Angelic debugging
Satish Chandra
,
Emina Torlak
,
Shaon Barman
,
Rastislav Bodík
Conference:
International Conference on Software Engineering - ICSE
, pp. 121-130, 2011
Specification-Based Program Repair Using SAT
Divya Gopinath
,
Muhammad Zubair Malik
,
Sarfraz Khurshid
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 173-188, 2011
MSO logics for weighted timed automata
Karin Quaas
Journal:
Formal Methods in System Design - FMSD
, vol. 38, no. 3, pp. 193-222, 2011
Comments