Carlo A. Furia

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Triggerless happy. Intermediate verification with a first-order prover Lecture Notes in Computer Science	2022-11-04	Paper
Turing: his life, his work, his influence	2018-07-23	Paper
Bounded variability of metric temporal logic Annals of Mathematics and Artificial Intelligence	2017-10-13	Paper
A theory of sampling for continuous-time metric temporal logic ACM Transactions on Computational Logic	2015-09-17	Paper
Loop invariants: analysis, classification, and examples ACM Computing Surveys	2015-03-02	Paper
Modeling time in computing. Monographs in Theoretical Computer Science. An EATCS Series	2012-10-11	Paper
What's decidable about sequences? Automated Technology for Verification and Analysis	2010-10-04	Paper
Inferring Loop Invariants Using Postconditions Fields of Logic and Computation	2010-09-03	Paper
scientific article; zbMATH DE number 5605122 (Why is no real title available?)	2009-09-19	Paper
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers Theoretical Aspects of Computing - ICTAC 2008	2009-01-27	Paper
MTL with Bounded Variability: Decidability and Complexity Lecture Notes in Computer Science	2008-12-02	Paper
Practical Efficient Modular Linear-Time Model-Checking Automated Technology for Verification and Analysis	2008-11-20	Paper
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling Lecture Notes in Computer Science	2008-07-08	Paper
On the Expressiveness of MTL Variants over Dense Time Lecture Notes in Computer Science	2008-07-03	Paper
Automated compositional proofs for real-time systems Theoretical Computer Science	2007-05-23	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2005-09-13	Paper

Research outcomes over time

This page was built for person: Carlo A. Furia