Adriano Peron

Theor. Comput. Sci., 2022

Satisfiability and Model Checking for the Logic of Sub-Intervals under the Homogeneity Assumption.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Context-free timed formalisms: Robust automata and linear temporal logics.

[BibT_eX]

[DOI]

Inf. Comput., 2022

Parametric Interval Temporal Logic over Infinite Words.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Games, 2022

A Quantitative Extension of Interval Temporal Logic over Infinite Words.

[BibT_eX]

[DOI]

Proceedings of the 29th International Symposium on Temporal Representation and Reasoning, 2022

ReCover: a Curated Dataset for Regression Testing Research.

[BibT_eX]

[DOI]

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Change-Aware Regression Test Prioritization using Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 48th Euromicro Conference on Software Engineering and Advanced Applications, 2022

Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties.

[BibT_eX]

[DOI]

César Sánchez

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

Benchmarking management techniques for massive IIoT time series in a fog architecture.

[BibT_eX]

[DOI]

Sergio Di Martino

Alberto Riccabone

Vincenzo Norman Vitale

Int. J. Grid Util. Comput., 2021

Complexity analysis of a unifying algorithm for model checking interval temporal logic.

[BibT_eX]

[DOI]

Inf. Comput., 2021

Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 12th International Symposium on Games, 2021

Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems.

[BibT_eX]

[DOI]

Fabio Mogavero

Luigi Libero Lucio Starace

Proceedings of the Quality of Information and Communications Technology, 2021

Asynchronous Extensions of HyperLTL.

[BibT_eX]

[DOI]

César Sánchez

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Web Application Testing: Using Tree Kernels to Detect Near-duplicate States in Automated Model Inference.

[BibT_eX]

[DOI]

Anna Corazza

Sergio Di Martino

Luigi Libero Lucio Starace

Proceedings of the ESEM '21: ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2021

2020

Timeline-based planning over dense temporal domains.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers.

[BibT_eX]

[DOI]

J. Syst. Softw., 2020

Model checking interval temporal logics with regular expressions.

[BibT_eX]

[DOI]

Inf. Comput., 2020

Inspecting Code Churns to Prioritize Test Cases.

[BibT_eX]

[DOI]

Luigi Libero Lucio Starace

Proceedings of the Testing Software and Systems, 2020

On a Temporal Logic of Prefixes and Infixes.

[BibT_eX]

[DOI]

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Module Checking of Pushdown Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

Undecidability of Future Timeline-based Planning over Dense Temporal Domains?

[BibT_eX]

[DOI]

Proceedings of the 21st Italian Conference on Theoretical Computer Science, 2020

2019

Interval vs. Point Temporal Logic Model Checking: An Expressiveness Comparison.

[BibT_eX]

[DOI]

ACM Trans. Comput. Log., 2019

Which fragments of the interval temporal logic HS are tractable in model checking?

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2019

Industrial Internet of Things: Persistence for Time Series with NoSQL Databases.

[BibT_eX]

[DOI]

Vincenzo Norman Vitale

Proceedings of the 28th IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2019

From Dynamic State Machines to Promela.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Model Checking Timeline-Based Systems over Dense Temporal Domains.

[BibT_eX]

[DOI]

Proceedings of the 20th Italian Conference on Theoretical Computer Science, 2019

Taming the Complexity of Timeline-Based Planning over Dense Temporal Domains.

[BibT_eX]

[DOI]

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019

The lecture video recording in university: A case study.

[BibT_eX]

[DOI]

Proceedings of Work in Progress Papers of the Research, 2019

2018

Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy.

[BibT_eX]

[DOI]

Inf. Comput., 2018

Complexity of Timeline-Based Planning over Dense Temporal Domains: Exploring the Middle Ground.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Timed context-free temporal logics (extended version).

[BibT_eX]

[DOI]

CoRR, 2018

Event-Clock Nested Automata.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2018

Decidability and Complexity of Timeline-Based Planning over Dense Temporal Domains.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Timeline-Based Planning over Dense Temporal Domains with Trigger-less Rules is NP-Complete.

[BibT_eX]

[DOI]

Proceedings of the 19th Italian Conference on Theoretical Computer Science, 2018

Timed Context-Free Temporal Logics.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

2017

Dynamic state machines for modelling railway control systems.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2017

Games, Automata, Logics and Formal Verification (GandALF 2014) - Preface.

[BibT_eX]

[DOI]

Carla Piazza

Inf. Comput., 2017

On the Complexity of Model Checking for Syntactically Maximal Fragments of the Interval Temporal Logic HS with Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

An In-Depth Investigation of Interval Temporal Logic Model Checking with Regular Expressions.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 15th International Conference, 2017

2016

Ordered multi-stack visibly pushdown automata.

[BibT_eX]

[DOI]

Dario Carotenuto

Theor. Comput. Sci., 2016

Timed recursive state machines: Expressiveness and complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

Model Checking the Logic of Allen's Relations Meets and Started-by is P<sup>NP</sup>-Complete.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

Checking interval properties of computations.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Model Checking Well-Behaved Fragments of HS: The (Almost) Final Picture.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Interval Temporal Logic Model Checking Based on Track Bisimilarity and Prefix Sampling.

[BibT_eX]

[DOI]

Proceedings of the 17th Italian Conference on Theoretical Computer Science, 2016

Interval Temporal Logic Model Checking: The Border Between Good and Bad HS Fragments.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Combining flux balance analysis and model checking for metabolic network validation and analysis.

[BibT_eX]

[DOI]

Nat. Comput., 2015

Constraining Cycle Alternations in Model Checking for Interval Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

Complexity of ITL Model Checking: Some Well-Behaved Fragments of the Interval Logic HS.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Symposium on Temporal Representation and Reasoning, 2015

Modeling Railway Control Systems in Promela.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.

[BibT_eX]

[DOI]

Proceedings of the 24th EACSL Annual Conference on Computer Science Logic, 2015

2014

Checking Interval Properties of Computations.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

An Interoperable Testing Environment for ERTMS/ETCS Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2014

Dynamic State Machines for Formalizing Railway Control System Specifications.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

Test Specification Patterns for Automatic Generation of Test Sequences.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Web and Wireless Geographic Information Systems.

[BibT_eX]

[DOI]

Sergio Di Martino

Taro Tezuka

J. Spatial Inf. Sci., 2013

Timed protocol insecurity problem is NP-complete.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2013

Differential network analysis for the identification of condition-specific pathway activity and regulation.

[BibT_eX]

[DOI]

Gennaro Gambardella

Maria Nicoletta Moretti

Bioinform., 2013

2010

Pushdown module checking.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2010

Analysis of Timed Recursive State Machines.

[BibT_eX]

[DOI]

Stefano Minopoli

Proceedings of the TIME 2010, 2010

Timed protocols insecurity problem is NP-complete.

[BibT_eX]

[DOI]

Nicola Cuomo

Proceedings of the 2010 International Conference on High Performance Computing & Simulation, 2010

2009

TPMC: A Model Checker For Time-Sensitive Security Protocols.

[BibT_eX]

[DOI]

Nicola Cuomo

J. Comput., 2009

2008

Verification of well-formed communicating recursive state machines.

[BibT_eX]

[DOI]

Salvatore La Torre

Theor. Comput. Sci., 2008

2007

2-Visibly Pushdown Automata.

[BibT_eX]

[DOI]

Dario Carotenuto

Proceedings of the Developments in Language Theory, 11th International Conference, 2007

2006

Definability and decidability of binary predicates for time granularity.

[BibT_eX]

[DOI]

J. Appl. Log., 2006

On the relationships between theories of time granularity and the monadic second-order theory of one successor.

[BibT_eX]

[DOI]

Gabriele Puppis

J. Appl. Non Class. Logics, 2006

2004

Representing and Reasoning about Temporal Granularities.

[BibT_eX]

[DOI]

Carlo Combi

Massimo Franceschet

J. Log. Comput., 2004

On the undecidability of logics with converse, nominals, recursion and counting.

[BibT_eX]

[DOI]

Piero A. Bonatti

Artif. Intell., 2004

Structural Model Checking for Communicating Hierarchical Machines.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2004, 2004

2003

A comparison of Statecharts step semantics.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2003

Dynamic Hierarchical Machines.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Specification and Verification of Protocols With Time Constraints.

[BibT_eX]

[DOI]

Margherita Napoli

Mimmo Parente

Proceedings of the Formal Methods for Security and Time: Proceedings of the MEFISTO Project 2003, 2003

Verification of recursive parallel systems

[BibT_eX]

[DOI]

CoRR, 2003

2002

Extending Kamp's Theorem to Model Time Granularity.

[BibT_eX]

[DOI]

Alberto Policriti

J. Log. Comput., 2002

A Logical Approach to Represent and Reason about Calendars.

[BibT_eX]

[DOI]

Carlo Combi

Massimo Franceschet

Proceedings of the 9th International Symposium on Temporal Representation and Reasoning, 2002

2001

Transformations of Timed Cooperating Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2001

Logical definability of Y-tree and trellis systolic omega-languages.

[BibT_eX]

[DOI]

Acta Cybern., 2001

2000

Systolic tree omega-Languages: the operational and the logical view.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2000

The Taming (Timing) of the States.

[BibT_eX]

[DOI]

Alberto Policriti

Log. J. IGPL, 2000

Timed Cooperating Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000

1999

Theories of omega-Layered Metric Temporal Structures: Expressiveness and Decidability.

[BibT_eX]

[DOI]

Alberto Policriti

Log. J. IGPL, 1999

1998

A Logical Characterization of Systolic Languages.

[BibT_eX]

[DOI]

Proceedings of the STACS 98, 1998

1996

Retiming Techniques for Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

Equivalences of Statecharts.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '96, 1996

1995

Statecharts, Transition Structures and Transformations.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'95: Theory and Practice of Software Development, 1995

Systolic Tree Omega-Languages.

[BibT_eX]

[DOI]

Proceedings of the STACS 95, 1995

1994

A Graph Rewriting Framework for Statecharts Semantics.

[BibT_eX]

[DOI]

Proceedings of the Graph Gramars and Their Application to Computer Science, 1994

Transitions as Interrupts: A New Semantics for Timed Statecharts.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computer Software, 1994

1993

Semantics of Full Statecharts Based on Graph Rewriting.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations in Computer Science, International Workshop, 1993

1990

A knowledge-based system for geophysical interpretation.

[BibT_eX]

[DOI]

Proceedings of the 1990 International Conference on Acoustics, 1990

1989

Low-level processing techniques in geophysical image interpretation.

[BibT_eX]

[DOI]

Vito Roberto