|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 12 keywords
|
|
|
|
|
Results
Found 45 publication records. Showing 45 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Verifying Eiffel Programs with Boogie  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer |
Stateful Testing: Finding More Errors in Code and Contracts |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Evidence-Based Automated Program Fixing |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia |
Review of The calculus of computation: decision procedures with applications to verification by Aaron R. Bradley and Zohar Manna. |
SIGACT News |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Julian Tschannen, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques. |
SEFM |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
On Relaxing Metric Information in Linear Temporal Logic. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio |
Automated Translation of Java Source Code to Eiffel. |
TOOLS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Pei, Yi Wei, Carlo A. Furia, Martin Nordio, Bertrand Meyer |
Code-based automated program fixing. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wei, Hannes Roth, Carlo A. Furia, Yu Pei, Alexander Horton, Michael Steindorfer, Martin Nordio, Bertrand Meyer |
Stateful testing: Finding more errors in code and contracts. |
ASE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wei, Carlo A. Furia, Nikolay Kazmin, Bertrand Meyer |
Inferring better contracts. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul Z. Kolano, Carlo A. Furia, Richard A. Kemmerer, Dino Mandrioli |
Refinement and Verification of Real-Time Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini |
A control-theoretical methodology for the scheduling problem |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia |
What's Decidable About Sequences? |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer |
Specifying Reusable Components |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
Modeling time in computing: A taxonomy and a comparative survey. |
ACM Comput. Surv. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
A theory of sampling for continuous-time metric temporal logic. |
ACM Trans. Comput. Log. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young |
SCORE: the first student contest on software engineering. |
ACM SIGSOFT Software Engineering Notes |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yi Wei, Yu Pei, Carlo A. Furia, Lucas Serpa Silva, Stefan Buchholz, Bertrand Meyer, Andreas Zeller |
Automated fixing of programs with contracts. |
ISSTA |
2010 |
DBLP DOI BibTeX RDF |
automatic debugging, automatic fixing, dynamic invariants, program synthesis |
| 1 | Carlo A. Furia |
What's Decidable about Sequences? |
ATVA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nadia Polikarpova, Carlo A. Furia, Bertrand Meyer |
Specifying Reusable Components. |
VSTTE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Bertrand Meyer |
Inferring Loop Invariants Using Postconditions. |
Fields of Logic and Computation |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi |
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cavallaro, Elisabetta Di Nitto, Carlo A. Furia, Matteo Pradella |
A Tile-Based Approach for Self-Assembling Service Compositions. |
ICECCS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
A Theory of Sampling for Continuous-time Metric Temporal Logic |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Bertrand Meyer |
Inferring Loop Invariants using Postconditions |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
On Relaxing Metric Information in Linear Temporal Logic |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Comments on temporal logics for real-time system specification. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
Temporal logic |
| 1 | Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms. |
SEFM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
Towards Relaxing Metric Information in Linear Temporal Logic. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi |
Modeling Time in Computing: A Taxonomy and a Comparative Survey |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models |
CoRR |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Practical Automated Partial Verification of Multi-paradigm Real-Time Models. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
timed automata, discretization, bounded model checking, Metric temporal logic, dense time |
| 1 | Carlo A. Furia, Paola Spoletini |
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
MTL with Bounded Variability: Decidability and Complexity. |
FORMATS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
Practical Efficient Modular Linear-Time Model-Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Pradella, Matteo Rossi |
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation. |
FM |
2008 |
DBLP DOI BibTeX RDF |
real-time, sampling, discretization, metric temporal logic, verification techniques, dense time |
| 1 | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
Automated compositional proofs for real-time systems. |
Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators. |
Bulletin of the EATCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
On the Expressiveness of MTL Variants over Dense Time. |
FORMATS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi |
Comments on "An Interval Logic for Real-Time System Specification'. |
IEEE Trans. Software Eng. |
2006 |
DBLP DOI BibTeX RDF |
real-time systems, Formal methods, temporal logic |
| 1 | Carlo A. Furia, Matteo Rossi |
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling. |
FORMATS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi |
A Compositional Framework for Formally Verifying Modular Systems. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti |
Automated Compositional Proofs for Real-Time Systems. |
FASE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Matta, Carlo A. Furia, Matteo Rossi |
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems. |
ISCIS |
2004 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #45 of 45 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")