sign in · help · news · about ·

BibSonomy :: author :: Furia ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(50)

<< < 1 | 2 | 3 > >>

Inferring better contracts.
Yi Wei, Carlo A. Furia, Nikolay Kazmin, and Bertrand Meyer ICSE, page 191-200. ACM, (2011)
to dblp by dblp on Jan 28, 2012, 12:00 AM
URL | BibTeX
Automated fixing of programs with contracts.
Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, and Andreas Zeller ISSTA, page 61-72. ACM, (2010)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Stateful testing: Finding more errors in code and contracts.
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer ASE, page 440-443. IEEE, (2011)
to dblp by dblp and 1 other user on Dec 14, 2011, 12:00 AM
URL | BibTeX
Code-based automated program fixing.
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer ASE, page 392-395. IEEE, (2011)
to dblp by dblp on Dec 14, 2011, 12:00 AM
URL | BibTeX
Refinement and Verification of Real-Time Systems
Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, and Dino Mandrioli CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Verifying Eiffel Programs with Boogie
Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Stateful Testing: Finding More Errors in Code and Contracts
Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, and Bertrand Meyer CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, and Matteo Rossi CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Evidence-Based Automated Program Fixing
Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, and Bertrand Meyer CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Theory of Sampling for Continuous-time Metric Temporal Logic
Carlo A. Furia, and Matteo Rossi CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A control-theoretical methodology for the scheduling problem
Carlo A. Furia, Alberto Leva, Martina Maggio, and Paola Spoletini CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
What's Decidable About Sequences?
Carlo A. Furia CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Inferring Loop Invariants using Postconditions
Carlo A. Furia, and Bertrand Meyer CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
Carlo A. Furia, Matteo Pradella, and Matteo Rossi CoRR (2008)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, and Matteo Rossi CoRR (2009)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Specifying Reusable Components
Nadia Polikarpova, Carlo A. Furia, and Bertrand Meyer CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
On Relaxing Metric Information in Linear Temporal Logic
Carlo A. Furia, and Paola Spoletini CoRR (2009)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards Relaxing Metric Information in Linear Temporal Logic.
Carlo A. Furia, and Paola Spoletini ICTCS, page 121-124. (2009)
to dblp by dblp on Nov 18, 2011, 12:00 AM
URL | BibTeX
On Relaxing Metric Information in Linear Temporal Logic.
Carlo A. Furia, and Paola Spoletini TIME, page 72-79. IEEE, (2011)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques.
Julian Tschannen, Carlo A. Furia, Martin Nordio, and Bertrand Meyer SEFM, volume 7041 of Lecture Notes in Computer Science, page 382-398. Springer, (2011)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper