Carlo A. Furia

Available identifiers

zbMath Open furia.carlo-albertoMaRDI QIDQ714628

List of research outcomes

Publication	Date of Publication	Type
Triggerless Happy	2022-11-04	Paper
https://portal.mardi4nfdi.de/entity/Q3176705	2018-07-23	Paper
Bounded variability of metric temporal logic	2017-10-13	Paper
A theory of sampling for continuous-time metric temporal logic	2015-09-17	Paper
Loop invariants	2015-03-02	Paper
Modeling time in computing.	2012-10-11	Paper
What’s Decidable about Sequences?	2010-10-04	Paper
Inferring Loop Invariants Using Postconditions	2010-09-03	Paper
https://portal.mardi4nfdi.de/entity/Q3396620	2009-09-19	Paper
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers	2009-01-27	Paper
MTL with Bounded Variability: Decidability and Complexity	2008-12-02	Paper
Practical Efficient Modular Linear-Time Model-Checking	2008-11-20	Paper
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling	2008-07-08	Paper
On the Expressiveness of MTL Variants over Dense Time	2008-07-03	Paper
Automated compositional proofs for real-time systems	2007-05-23	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper

Research outcomes over time

This page was built for person: Carlo A. Furia